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 Nd14549f7a60545e58dc5323166dd1aeb
3 schema:datePublished 1970
4 schema:datePublishedReg 1970-01-01
5 schema:editor Neb5be340b41c4794ab96c20c970d9616
6 schema:genre chapter
7 schema:inLanguage en
8 schema:isAccessibleForFree false
9 schema:isPartOf Na801bcba2f644d40829570feedf5be37
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 Nc6b6089111d14568afecf53e5a158077
17 Nea17f13648c2425ca3bf9145aa562fc8
18 schema:publisher N016e0b23fc974aac8cf4bc05f8553e6f
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 Nf9abc0411a72415f843233e88733d41f
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 N016e0b23fc974aac8cf4bc05f8553e6f schema:name Springer Nature
29 rdf:type schema:Organisation
30 N0f6257df03cb4823b1bff06c8c8a86fc schema:familyName Sch├╝tzenberger
31 schema:givenName M.
32 rdf:type schema:Person
33 N7e572e04789c4d4da64ecbcfe254604b rdf:first Nbb9ffc7bd9dc4bce8c0f5974f41e1947
34 rdf:rest Na5cc22adeba44dc8a6d9d438b0c68c6f
35 N82b86d5816704729ba2f86cbe3142b93 schema:familyName Wos
36 schema:givenName Lawrence
37 rdf:type schema:Person
38 N8a771153094842e78a76a3fd78839a25 schema:familyName Robinson
39 schema:givenName George
40 rdf:type schema:Person
41 Na5cc22adeba44dc8a6d9d438b0c68c6f rdf:first N0f6257df03cb4823b1bff06c8c8a86fc
42 rdf:rest rdf:nil
43 Na801bcba2f644d40829570feedf5be37 schema:isbn 978-3-540-04914-2
44 978-3-540-36262-3
45 schema:name Symposium on Automatic Demonstration
46 rdf:type schema:Book
47 Nb1cbe3b1762b4a458708838d215a2c2f rdf:first N8a771153094842e78a76a3fd78839a25
48 rdf:rest rdf:nil
49 Nb5374f3517f04f7a9a57e810f7fda6de schema:familyName Laudet
50 schema:givenName M.
51 rdf:type schema:Person
52 Nbb9ffc7bd9dc4bce8c0f5974f41e1947 schema:familyName Nolin
53 schema:givenName L.
54 rdf:type schema:Person
55 Nc6b6089111d14568afecf53e5a158077 schema:name doi
56 schema:value 10.1007/bfb0060637
57 rdf:type schema:PropertyValue
58 Ncd72f128f30e42a691578367eb8691f1 rdf:first Ned5d97dcc37040faad300e685350ec35
59 rdf:rest N7e572e04789c4d4da64ecbcfe254604b
60 Nd14549f7a60545e58dc5323166dd1aeb rdf:first N82b86d5816704729ba2f86cbe3142b93
61 rdf:rest Nb1cbe3b1762b4a458708838d215a2c2f
62 Nea17f13648c2425ca3bf9145aa562fc8 schema:name dimensions_id
63 schema:value pub.1000583910
64 rdf:type schema:PropertyValue
65 Neb5be340b41c4794ab96c20c970d9616 rdf:first Nb5374f3517f04f7a9a57e810f7fda6de
66 rdf:rest Ncd72f128f30e42a691578367eb8691f1
67 Ned5d97dcc37040faad300e685350ec35 schema:familyName Lacombe
68 schema:givenName D.
69 rdf:type schema:Person
70 Nf9abc0411a72415f843233e88733d41f schema:name Springer Nature - SN SciGraph project
71 rdf:type schema:Organization
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)


...