Preface View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s10817-016-9394-0

DOI

http://dx.doi.org/10.1007/s10817-016-9394-0

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1035043998


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", 
    "author": [
      {
        "affiliation": {
          "alternateName": "Laboratoire Sp\u00e9cification et V\u00e9rification", 
          "id": "https://www.grid.ac/institutes/grid.464035.0", 
          "name": [
            "LSV, CNRS and ENS de Cachan, 61, Avenue du Pr\u00e9sident Wilson, 94235, Cachan Cedex, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Demri", 
        "givenName": "St\u00e9phane", 
        "id": "sg:person.016112550611.96", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016112550611.96"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of New Mexico", 
          "id": "https://www.grid.ac/institutes/grid.266832.b", 
          "name": [
            "Department of Computer Science, University of New Mexico, Albuquerque, NM, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kapur", 
        "givenName": "Deepak", 
        "id": "sg:person.01127144134.28", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01127144134.28"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Max Planck Institute for Informatics", 
          "id": "https://www.grid.ac/institutes/grid.419528.3", 
          "name": [
            "Max Planck Institute for Informatics, Saarland Informatics Campus, Building E1 4, 66123, Saarbr\u00fccken, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Weidenbach", 
        "givenName": "Christoph", 
        "id": "sg:person.014137141455.39", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014137141455.39"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2017-01", 
    "datePublishedReg": "2017-01-01", 
    "genre": "non_research_article", 
    "id": "sg:pub.10.1007/s10817-016-9394-0", 
    "inLanguage": [
      "ro"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": [
      {
        "id": "sg:journal.1136522", 
        "issn": [
          "0168-7433", 
          "1573-0670"
        ], 
        "name": "Journal of Automated Reasoning", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "1", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "58"
      }
    ], 
    "name": "Preface", 
    "pagination": "1-2", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "a6efc697ec3369d40c2af6c6644a3713bfd10a24db15934f942d94501300bc90"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s10817-016-9394-0"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1035043998"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s10817-016-9394-0", 
      "https://app.dimensions.ai/details/publication/pub.1035043998"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T12:43", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000363_0000000363/records_70064_00000001.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "https://link.springer.com/10.1007%2Fs10817-016-9394-0"
  }
]
 

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/s10817-016-9394-0'

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/s10817-016-9394-0'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10817-016-9394-0'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10817-016-9394-0'


 

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

72 TRIPLES      18 PREDICATES      24 URIs      18 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s10817-016-9394-0 schema:author N9593affec06c43688644a5fd50319fba
2 schema:datePublished 2017-01
3 schema:datePublishedReg 2017-01-01
4 schema:genre non_research_article
5 schema:inLanguage ro
6 schema:isAccessibleForFree true
7 schema:isPartOf N5b9f1b1b723b4731861c201c4b1bd01e
8 Ndea97268dc10418ea6805cb056dae1d8
9 sg:journal.1136522
10 schema:name Preface
11 schema:pagination 1-2
12 schema:productId N6c5b88284908406fa961ba2b658cbabf
13 N7842a93d927d4790afefcea591d09165
14 Nbd2afe6f90d349ada60d3f03865bd9dd
15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035043998
16 https://doi.org/10.1007/s10817-016-9394-0
17 schema:sdDatePublished 2019-04-11T12:43
18 schema:sdLicense https://scigraph.springernature.com/explorer/license/
19 schema:sdPublisher N8a9ca5caf8db43f5ba0458f38e16cf10
20 schema:url https://link.springer.com/10.1007%2Fs10817-016-9394-0
21 sgo:license sg:explorer/license/
22 sgo:sdDataset articles
23 rdf:type schema:ScholarlyArticle
24 N5b9f1b1b723b4731861c201c4b1bd01e schema:volumeNumber 58
25 rdf:type schema:PublicationVolume
26 N6c5b88284908406fa961ba2b658cbabf schema:name dimensions_id
27 schema:value pub.1035043998
28 rdf:type schema:PropertyValue
29 N7842a93d927d4790afefcea591d09165 schema:name doi
30 schema:value 10.1007/s10817-016-9394-0
31 rdf:type schema:PropertyValue
32 N8a9ca5caf8db43f5ba0458f38e16cf10 schema:name Springer Nature - SN SciGraph project
33 rdf:type schema:Organization
34 N9593affec06c43688644a5fd50319fba rdf:first sg:person.016112550611.96
35 rdf:rest Nd037b075c395457f9138382d5f8c28d4
36 N9df89752fd7846d787d048cbd506c1f2 rdf:first sg:person.014137141455.39
37 rdf:rest rdf:nil
38 Nbd2afe6f90d349ada60d3f03865bd9dd schema:name readcube_id
39 schema:value a6efc697ec3369d40c2af6c6644a3713bfd10a24db15934f942d94501300bc90
40 rdf:type schema:PropertyValue
41 Nd037b075c395457f9138382d5f8c28d4 rdf:first sg:person.01127144134.28
42 rdf:rest N9df89752fd7846d787d048cbd506c1f2
43 Ndea97268dc10418ea6805cb056dae1d8 schema:issueNumber 1
44 rdf:type schema:PublicationIssue
45 sg:journal.1136522 schema:issn 0168-7433
46 1573-0670
47 schema:name Journal of Automated Reasoning
48 rdf:type schema:Periodical
49 sg:person.01127144134.28 schema:affiliation https://www.grid.ac/institutes/grid.266832.b
50 schema:familyName Kapur
51 schema:givenName Deepak
52 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01127144134.28
53 rdf:type schema:Person
54 sg:person.014137141455.39 schema:affiliation https://www.grid.ac/institutes/grid.419528.3
55 schema:familyName Weidenbach
56 schema:givenName Christoph
57 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014137141455.39
58 rdf:type schema:Person
59 sg:person.016112550611.96 schema:affiliation https://www.grid.ac/institutes/grid.464035.0
60 schema:familyName Demri
61 schema:givenName Stéphane
62 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016112550611.96
63 rdf:type schema:Person
64 https://www.grid.ac/institutes/grid.266832.b schema:alternateName University of New Mexico
65 schema:name Department of Computer Science, University of New Mexico, Albuquerque, NM, USA
66 rdf:type schema:Organization
67 https://www.grid.ac/institutes/grid.419528.3 schema:alternateName Max Planck Institute for Informatics
68 schema:name Max Planck Institute for Informatics, Saarland Informatics Campus, Building E1 4, 66123, Saarbrücken, Germany
69 rdf:type schema:Organization
70 https://www.grid.ac/institutes/grid.464035.0 schema:alternateName Laboratoire Spécification et Vérification
71 schema:name LSV, CNRS and ENS de Cachan, 61, Avenue du Président Wilson, 94235, Cachan Cedex, France
72 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...