Foreword View Full Text


Ontology type: schema:ScholarlyArticle     

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s10703-006-0010-5

DOI

http://dx.doi.org/10.1007/s10703-006-0010-5

DIMENSIONS

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


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", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computer Software", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0805", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Distributed Computing", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "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": "Institute for Informatics I4, Boltzmannstr. 3, D-85748 Garching, TU Munich, Germany", 
          "id": "http://www.grid.ac/institutes/grid.6936.a", 
          "name": [
            "Institute for Informatics I4, Boltzmannstr. 3, D-85748 Garching, TU Munich, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Leucker", 
        "givenName": "Martin", 
        "id": "sg:person.011643654305.97", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011643654305.97"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2006-07-08", 
    "datePublishedReg": "2006-07-08", 
    "genre": "article", 
    "id": "sg:pub.10.1007/s10703-006-0010-5", 
    "inLanguage": "af", 
    "isAccessibleForFree": false, 
    "isPartOf": [
      {
        "id": "sg:journal.1052628", 
        "issn": [
          "0925-9856", 
          "1572-8102"
        ], 
        "name": "Formal Methods in System Design", 
        "publisher": "Springer Nature", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "2", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "29"
      }
    ], 
    "name": "Foreword", 
    "pagination": "115-116", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1040179117"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s10703-006-0010-5"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s10703-006-0010-5", 
      "https://app.dimensions.ai/details/publication/pub.1040179117"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2022-05-10T09:54", 
    "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/article/article_423.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "https://doi.org/10.1007/s10703-006-0010-5"
  }
]
 

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/s10703-006-0010-5'

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/s10703-006-0010-5'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10703-006-0010-5'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10703-006-0010-5'


 

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

71 TRIPLES      19 PREDICATES      26 URIs      16 LITERALS      6 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s10703-006-0010-5 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 anzsrc-for:0803
4 anzsrc-for:0805
5 schema:author Nf2d10ed0e93c4446a65fab5a960a0d47
6 schema:datePublished 2006-07-08
7 schema:datePublishedReg 2006-07-08
8 schema:genre article
9 schema:inLanguage af
10 schema:isAccessibleForFree false
11 schema:isPartOf Nb6a0984763244cdbaa7c2ae12a036c86
12 Nf520bdef22a7417588f2541b22e4ede4
13 sg:journal.1052628
14 schema:name Foreword
15 schema:pagination 115-116
16 schema:productId N379633dfd733405284eff0332c587af0
17 Na5a61be9a7ab4261b1e3bb1ea8e13d18
18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040179117
19 https://doi.org/10.1007/s10703-006-0010-5
20 schema:sdDatePublished 2022-05-10T09:54
21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
22 schema:sdPublisher Nfdc2c97de6854d56a24e5fec297ad846
23 schema:url https://doi.org/10.1007/s10703-006-0010-5
24 sgo:license sg:explorer/license/
25 sgo:sdDataset articles
26 rdf:type schema:ScholarlyArticle
27 N03e687c2005a4c818bde80a4bce5ef94 rdf:first sg:person.011643654305.97
28 rdf:rest rdf:nil
29 N379633dfd733405284eff0332c587af0 schema:name dimensions_id
30 schema:value pub.1040179117
31 rdf:type schema:PropertyValue
32 Na5a61be9a7ab4261b1e3bb1ea8e13d18 schema:name doi
33 schema:value 10.1007/s10703-006-0010-5
34 rdf:type schema:PropertyValue
35 Nb6a0984763244cdbaa7c2ae12a036c86 schema:issueNumber 2
36 rdf:type schema:PublicationIssue
37 Nf2d10ed0e93c4446a65fab5a960a0d47 rdf:first sg:person.0645117057.83
38 rdf:rest N03e687c2005a4c818bde80a4bce5ef94
39 Nf520bdef22a7417588f2541b22e4ede4 schema:volumeNumber 29
40 rdf:type schema:PublicationVolume
41 Nfdc2c97de6854d56a24e5fec297ad846 schema:name Springer Nature - SN SciGraph project
42 rdf:type schema:Organization
43 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
44 schema:name Information and Computing Sciences
45 rdf:type schema:DefinedTerm
46 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
47 schema:name Computation Theory and Mathematics
48 rdf:type schema:DefinedTerm
49 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
50 schema:name Computer Software
51 rdf:type schema:DefinedTerm
52 anzsrc-for:0805 schema:inDefinedTermSet anzsrc-for:
53 schema:name Distributed Computing
54 rdf:type schema:DefinedTerm
55 sg:journal.1052628 schema:issn 0925-9856
56 1572-8102
57 schema:name Formal Methods in System Design
58 schema:publisher Springer Nature
59 rdf:type schema:Periodical
60 sg:person.011643654305.97 schema:affiliation grid-institutes:grid.6936.a
61 schema:familyName Leucker
62 schema:givenName Martin
63 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011643654305.97
64 rdf:type schema:Person
65 sg:person.0645117057.83 schema:familyName Brim
66 schema:givenName Luboš
67 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0645117057.83
68 rdf:type schema:Person
69 grid-institutes:grid.6936.a schema:alternateName Institute for Informatics I4, Boltzmannstr. 3, D-85748 Garching, TU Munich, Germany
70 schema:name Institute for Informatics I4, Boltzmannstr. 3, D-85748 Garching, TU Munich, Germany
71 rdf:type schema:Organization
 




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


...