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/17", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Psychology and Cognitive Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1701", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Psychology", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Faculty of Informatics, Masaryk University, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Department of Computer Science, Faculty of Informatics, Masaryk University, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Brim", 
        "givenName": "Lubo\u0161", 
        "id": "sg:person.0645117057.83", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Faculty of Informatics, Masaryk University, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Department of Computer Science, Faculty of Informatics, Masaryk University, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "\u010cern\u00e1", 
        "givenName": "Ivana", 
        "id": "sg:person.016355636647.31", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016355636647.31"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Faculty of Informatics, Masaryk University, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Department of Computer Science, Faculty of Informatics, Masaryk University, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Moravec", 
        "givenName": "Pavel", 
        "id": "sg:person.07732703560.20", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07732703560.20"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Department of Computer Science, Faculty of Informatics, Masaryk University, Czech Republic", 
          "id": "http://www.grid.ac/institutes/grid.10267.32", 
          "name": [
            "Department of Computer Science, Faculty of Informatics, Masaryk University, Czech Republic"
          ], 
          "type": "Organization"
        }, 
        "familyName": "\u0160im\u0161a", 
        "givenName": "Ji\u0159\u00ed", 
        "id": "sg:person.012123225160.07", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012123225160.07"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2007", 
    "datePublishedReg": "2007-01-01", 
    "description": "We present a new approach to combine partial order reduction with fairness in the context of LTL model checking. For this purpose, we define several behaviour classes representing typical fairness assumptions and examine how various reduction techniques affect these classes. In particular, we consider both reductions preserving all behaviours and reductions preserving only some behaviours.", 
    "editor": [
      {
        "familyName": "Brim", 
        "givenName": "Lubo\u0161", 
        "type": "Person"
      }, 
      {
        "familyName": "Haverkort", 
        "givenName": "Boudewijn", 
        "type": "Person"
      }, 
      {
        "familyName": "Leucker", 
        "givenName": "Martin", 
        "type": "Person"
      }, 
      {
        "familyName": "van de Pol", 
        "givenName": "Jaco", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-70952-7_6", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-70951-0", 
        "978-3-540-70952-7"
      ], 
      "name": "Formal Methods: Applications and Technology", 
      "type": "Book"
    }, 
    "keywords": [
      "order reduction", 
      "partial order reduction", 
      "fairness assumptions", 
      "reduction techniques", 
      "new approach", 
      "model checking", 
      "class", 
      "assumption", 
      "behavior", 
      "approach", 
      "fairness", 
      "LTL model checking", 
      "technique", 
      "reduction", 
      "checking", 
      "context", 
      "purpose", 
      "behavior classes"
    ], 
    "name": "On Combining Partial Order Reduction with Fairness Assumptions", 
    "pagination": "84-99", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1048459118"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-70952-7_6"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-70952-7_6", 
      "https://app.dimensions.ai/details/publication/pub.1048459118"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:44", 
    "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_246.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-540-70952-7_6"
  }
]

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.

114 TRIPLES      23 PREDICATES      44 URIs      37 LITERALS      7 BLANK NODES