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/0103", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Numerical and Computational Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Institut f\u00fcr Formale Methoden der Informatik, University of Stuttgart, Germany", 
          "id": "http://www.grid.ac/institutes/grid.5719.a", 
          "name": [
            "Institut f\u00fcr Formale Methoden der Informatik, University of Stuttgart, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Diekert", 
        "givenName": "Volker", 
        "id": "sg:person.012621714747.48", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012621714747.48"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Institute of Informatics, University of Warsaw, Poland", 
          "id": "http://www.grid.ac/institutes/grid.12847.38", 
          "name": [
            "Institute of Computer Science, University of Wroclaw, Poland", 
            "Institute of Informatics, University of Warsaw, Poland"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Je\u017c", 
        "givenName": "Artur", 
        "id": "sg:person.015252371751.76", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015252371751.76"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Max Planck Institute f\u00fcr Informatik, Saarbr\u00fccken, Germany", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "Max Planck Institute f\u00fcr Informatik, Saarbr\u00fccken, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Plandowski", 
        "givenName": "Wojciech", 
        "id": "sg:person.010207617143.19", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010207617143.19"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2014", 
    "datePublishedReg": "2014-01-01", 
    "description": "The aim of this paper is to present a PSPACE algorithm which yields a finite graph of exponential size and which describes the set of all solutions of equations in free groups and monoids with involution in the presence of rational constraints. This became possible due to the recently invented recompression technique of the second author.He successfully applied the recompression technique for pure word equations without involution or rational constraints. In particular, his method could not be used as a\u00a0black box for free groups (even without rational constraints). Actually, the presence of an involution (inverse elements) and rational constraints complicates the situation and some additional analysis is necessary. Still, the recompression technique is powerful enough to simplify proofs for many existing results in the literature. In particular, it simplifies proofs that solving word equations is in PSPACE (Plandowski 1999) and the corresponding result for equations in free groups with rational constraints (Diekert, Hagenah and Guti\u00e9rrez 2001). As a byproduct we obtain a\u00a0direct proof that it is decidable in PSPACE whether or not the solution set is finite.", 
    "editor": [
      {
        "familyName": "Hirsch", 
        "givenName": "Edward A.", 
        "type": "Person"
      }, 
      {
        "familyName": "Kuznetsov", 
        "givenName": "Sergei O.", 
        "type": "Person"
      }, 
      {
        "familyName": "Pin", 
        "givenName": "Jean-\u00c9ric", 
        "type": "Person"
      }, 
      {
        "familyName": "Vereshchagin", 
        "givenName": "Nikolay K.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-06686-8_1", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-319-06685-1", 
        "978-3-319-06686-8"
      ], 
      "name": "Computer Science - Theory and Applications", 
      "type": "Book"
    }, 
    "keywords": [
      "solution of equations", 
      "recompression technique", 
      "free group", 
      "word equations", 
      "rational constraints", 
      "finite graphs", 
      "solution set", 
      "existing results", 
      "PSPACE algorithm", 
      "equations", 
      "corresponding results", 
      "second author", 
      "exponential size", 
      "direct proof", 
      "constraints", 
      "monoids", 
      "PSPACE", 
      "proof", 
      "solution", 
      "involution", 
      "graph", 
      "set", 
      "black box", 
      "algorithm", 
      "technique", 
      "results", 
      "situation", 
      "size", 
      "analysis", 
      "byproducts", 
      "box", 
      "presence", 
      "literature", 
      "authors", 
      "Additional analyses", 
      "group", 
      "aim", 
      "paper", 
      "method"
    ], 
    "name": "Finding All Solutions of Equations in Free Groups and Monoids with Involution", 
    "pagination": "1-15", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1050228689"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-06686-8_1"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-06686-8_1", 
      "https://app.dimensions.ai/details/publication/pub.1050228689"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-10T10:49", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220509/entities/gbq_results/chapter/chapter_360.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-06686-8_1"
  }
]

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.

135 TRIPLES      23 PREDICATES      65 URIs      58 LITERALS      7 BLANK NODES