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/09", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Engineering", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0906", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Electrical and Electronic Engineering", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Swarthmore, College, 19081, Swarthmore, PA", 
          "id": "http://www.grid.ac/institutes/grid.264430.7", 
          "name": [
            "Swarthmore, College, 19081, Swarthmore, PA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Barker-Plummer", 
        "givenName": "Dave", 
        "id": "sg:person.013205411157.02", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013205411157.02"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "CTA, INCORPORATED, 6116 Executive Blvd, 20852, Rockville, Maryland", 
          "id": "http://www.grid.ac/institutes/grid.433150.0", 
          "name": [
            "CTA, INCORPORATED, 6116 Executive Blvd, 20852, Rockville, Maryland"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Bailin", 
        "givenName": "Sidney C.", 
        "id": "sg:person.011667755735.32", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011667755735.32"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Swarthmore, College, 19081, Swarthmore, PA", 
          "id": "http://www.grid.ac/institutes/grid.264430.7", 
          "name": [
            "Swarthmore, College, 19081, Swarthmore, PA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Merrill", 
        "givenName": "Andrew S.", 
        "type": "Person"
      }
    ], 
    "datePublished": "1992", 
    "datePublishedReg": "1992-01-01", 
    "description": "In this paper we describe a sequent calculus-based theorem prover called \u22125. The underlying logic of & is that of Zermelo set theory. In addition to the usual rules of first-order sequent based systems, the logic contains inference rules to handle set abstraction terms, including the ability to unify formulae involving such terms, and the ability to introduce new abstraction terms as instantiations. & also has novel derived rules and heuristics for making choices in the course of the proof of a theorem.", 
    "editor": [
      {
        "familyName": "Kapur", 
        "givenName": "Deepak", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-55602-8_210", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-55602-2", 
        "978-3-540-47252-0"
      ], 
      "name": "Automated Deduction\u2014CADE-11", 
      "type": "Book"
    }, 
    "keywords": [
      "inference rules", 
      "set theory", 
      "abstraction terms", 
      "Zermelo set theory", 
      "logic", 
      "natural deduction", 
      "underlying logic", 
      "rules", 
      "instantiation", 
      "heuristics", 
      "sequents", 
      "terms", 
      "proof", 
      "system", 
      "deduction", 
      "ability", 
      "theorem", 
      "usual rules", 
      "such terms", 
      "choice", 
      "theory", 
      "addition", 
      "formula", 
      "course", 
      "paper"
    ], 
    "name": "&: Automated natural deduction", 
    "pagination": "716-720", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1005028390"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-55602-8_210"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-55602-8_210", 
      "https://app.dimensions.ai/details/publication/pub.1005028390"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-08-04T17:16", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220804/entities/gbq_results/chapter/chapter_216.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-55602-8_210"
  }
]

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

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

100 TRIPLES      22 PREDICATES      50 URIs      43 LITERALS      7 BLANK NODES