Paramodulation and set of support View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1970

AUTHORS

Lawrence Wos , George Robinson

ABSTRACT

N/A

PAGES

276-310

Book

TITLE

Symposium on Automatic Demonstration

ISBN

978-3-540-04914-2
978-3-540-36262-3

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/bfb0060637

DOI

http://dx.doi.org/10.1007/bfb0060637

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1000583910


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "familyName": "Wos", 
        "givenName": "Lawrence", 
        "type": "Person"
      }, 
      {
        "familyName": "Robinson", 
        "givenName": "George", 
        "type": "Person"
      }
    ], 
    "datePublished": "1970", 
    "datePublishedReg": "1970-01-01", 
    "editor": [
      {
        "familyName": "Laudet", 
        "givenName": "M.", 
        "type": "Person"
      }, 
      {
        "familyName": "Lacombe", 
        "givenName": "D.", 
        "type": "Person"
      }, 
      {
        "familyName": "Nolin", 
        "givenName": "L.", 
        "type": "Person"
      }, 
      {
        "familyName": "Sch\u00fctzenberger", 
        "givenName": "M.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/bfb0060637", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-04914-2", 
        "978-3-540-36262-3"
      ], 
      "name": "Symposium on Automatic Demonstration", 
      "type": "Book"
    }, 
    "keywords": [
      "support", 
      "set", 
      "paramodulation", 
      "set of supports"
    ], 
    "name": "Paramodulation and set of support", 
    "pagination": "276-310", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1000583910"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bfb0060637"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/bfb0060637", 
      "https://app.dimensions.ai/details/publication/pub.1000583910"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-01-01T19:17", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/chapter/chapter_30.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/bfb0060637"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/bfb0060637'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/bfb0060637'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bfb0060637'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bfb0060637'


 

This table displays all metadata directly associated to this object as RDF triples.

74 TRIPLES      22 PREDICATES      28 URIs      22 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/bfb0060637 schema:about anzsrc-for:01
2 schema:author Ndcec38148c2f4693a8e9a7071d0a4ce2
3 schema:datePublished 1970
4 schema:datePublishedReg 1970-01-01
5 schema:editor N9c093de602234efa88ce588d5ae5b874
6 schema:genre chapter
7 schema:inLanguage en
8 schema:isAccessibleForFree false
9 schema:isPartOf Nda0154878c5c47388db5fa55ede15be8
10 schema:keywords paramodulation
11 set
12 set of supports
13 support
14 schema:name Paramodulation and set of support
15 schema:pagination 276-310
16 schema:productId N0189631cd5b048ecb5fd273ff0fbb8e7
17 Nf5fe0f34f1794f42a658e49df511d943
18 schema:publisher Nd907de00ddd94de29d34ca4fcf5271f3
19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000583910
20 https://doi.org/10.1007/bfb0060637
21 schema:sdDatePublished 2022-01-01T19:17
22 schema:sdLicense https://scigraph.springernature.com/explorer/license/
23 schema:sdPublisher N03427b92a6894e469c05ef14c09b37a8
24 schema:url https://doi.org/10.1007/bfb0060637
25 sgo:license sg:explorer/license/
26 sgo:sdDataset chapters
27 rdf:type schema:Chapter
28 N0189631cd5b048ecb5fd273ff0fbb8e7 schema:name doi
29 schema:value 10.1007/bfb0060637
30 rdf:type schema:PropertyValue
31 N03427b92a6894e469c05ef14c09b37a8 schema:name Springer Nature - SN SciGraph project
32 rdf:type schema:Organization
33 N086863ae8fb14fe6af972f656d348fb5 schema:familyName Lacombe
34 schema:givenName D.
35 rdf:type schema:Person
36 N38a103ecea174f02834c882a7a8f4297 rdf:first N4358ace780ee4a8cb8461dd58c787e42
37 rdf:rest rdf:nil
38 N4358ace780ee4a8cb8461dd58c787e42 schema:familyName Robinson
39 schema:givenName George
40 rdf:type schema:Person
41 N4cd546803d214bafb2289a8e6bb0a88d schema:familyName Nolin
42 schema:givenName L.
43 rdf:type schema:Person
44 N62d175f5b3f84956875ab8b32522315b rdf:first N4cd546803d214bafb2289a8e6bb0a88d
45 rdf:rest Nab16b94d0af64b19b99b5090b2c4e5fd
46 N67f5424536c3429f977bb4f1bbc227e2 schema:familyName Wos
47 schema:givenName Lawrence
48 rdf:type schema:Person
49 N7224b1842f294597b59e59370aa533cc schema:familyName Sch├╝tzenberger
50 schema:givenName M.
51 rdf:type schema:Person
52 N9c093de602234efa88ce588d5ae5b874 rdf:first Nb9675e64d4ea47fe8f421a0e54cd3a0e
53 rdf:rest Na037d00382c84db88d6048dcd193db36
54 Na037d00382c84db88d6048dcd193db36 rdf:first N086863ae8fb14fe6af972f656d348fb5
55 rdf:rest N62d175f5b3f84956875ab8b32522315b
56 Nab16b94d0af64b19b99b5090b2c4e5fd rdf:first N7224b1842f294597b59e59370aa533cc
57 rdf:rest rdf:nil
58 Nb9675e64d4ea47fe8f421a0e54cd3a0e schema:familyName Laudet
59 schema:givenName M.
60 rdf:type schema:Person
61 Nd907de00ddd94de29d34ca4fcf5271f3 schema:name Springer Nature
62 rdf:type schema:Organisation
63 Nda0154878c5c47388db5fa55ede15be8 schema:isbn 978-3-540-04914-2
64 978-3-540-36262-3
65 schema:name Symposium on Automatic Demonstration
66 rdf:type schema:Book
67 Ndcec38148c2f4693a8e9a7071d0a4ce2 rdf:first N67f5424536c3429f977bb4f1bbc227e2
68 rdf:rest N38a103ecea174f02834c882a7a8f4297
69 Nf5fe0f34f1794f42a658e49df511d943 schema:name dimensions_id
70 schema:value pub.1000583910
71 rdf:type schema:PropertyValue
72 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
73 schema:name Mathematical Sciences
74 rdf:type schema:DefinedTerm
 




Preview window. Press ESC to close (or click here)


...