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"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0101", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Pure Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, University of Edinburgh, UK", 
          "id": "http://www.grid.ac/institutes/grid.4305.2", 
          "name": [
            "Department of Computer Science, University of Edinburgh, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Moller", 
        "givenName": "Faron", 
        "id": "sg:person.010425236217.29", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1990", 
    "datePublishedReg": "1990-01-01", 
    "description": "In this paper, we examine equational axiomatisations for PA, the process algebra of Bergstra and Klop, which is a simple subset of their full language ACP. The language PA has two combinators for concurrent execution: the usual full merge operator \u2225 and the more esoteric left merge operator \u230a. Though this latter combinator is somewhat semantically unusual, we demonstrate its importance by proving that, whereas a finite sound and complete equational theory exists for PA, no such finite theory can exist for PA in the absence of the left merge operator.", 
    "editor": [
      {
        "familyName": "Paterson", 
        "givenName": "Michael S.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/bfb0032072", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "3-540-52826-1"
      ], 
      "name": "Automata, Languages and Programming", 
      "type": "Book"
    }, 
    "keywords": [
      "process algebra", 
      "finite theory", 
      "complete equational theory", 
      "merge operator", 
      "equational theory", 
      "equational axiomatisation", 
      "algebra", 
      "operators", 
      "simple subset", 
      "theory", 
      "Bergstra", 
      "Klop", 
      "axiomatisation", 
      "combinators", 
      "concurrent execution", 
      "subset", 
      "importance", 
      "execution", 
      "sound", 
      "PA", 
      "absence", 
      "ACP", 
      "paper"
    ], 
    "name": "The importance of the left merge operator in process algebras", 
    "pagination": "752-764", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1035812790"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/bfb0032072"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/bfb0032072", 
      "https://app.dimensions.ai/details/publication/pub.1035812790"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:47", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_407.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/bfb0032072"
  }
]

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.

82 TRIPLES      23 PREDICATES      49 URIs      42 LITERALS      7 BLANK NODES