Preface for the special issue “FM15” View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2018-09

AUTHORS

Frank de Boer, Nikolaj Bjorner

ABSTRACT

N/A

PAGES

459-460

Journal

TITLE

Acta Informatica

ISSUE

6

VOLUME

55

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s00236-018-0323-z

DOI

http://dx.doi.org/10.1007/s00236-018-0323-z

DIMENSIONS

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


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": "Centrum Wiskunde and Informatica", 
          "id": "https://www.grid.ac/institutes/grid.6054.7", 
          "name": [
            "Centrum voor Wiskunde en Informatica (CWI), Amsterdam, The Netherlands"
          ], 
          "type": "Organization"
        }, 
        "familyName": "de Boer", 
        "givenName": "Frank", 
        "id": "sg:person.013436173767.19", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013436173767.19"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Microsoft (United States)", 
          "id": "https://www.grid.ac/institutes/grid.419815.0", 
          "name": [
            "Microsoft Research, Redmond, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Bjorner", 
        "givenName": "Nikolaj", 
        "id": "sg:person.012465101234.14", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012465101234.14"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2018-09", 
    "datePublishedReg": "2018-09-01", 
    "genre": "non_research_article", 
    "id": "sg:pub.10.1007/s00236-018-0323-z", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": [
      {
        "id": "sg:journal.1133515", 
        "issn": [
          "0001-5903", 
          "1432-0525"
        ], 
        "name": "Acta Informatica", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "6", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "55"
      }
    ], 
    "name": "Preface for the special issue \u201cFM15\u201d", 
    "pagination": "459-460", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "2bdcc44cedf4150487fc7560f3ca63377dc549acfc7a5f917e20b34a9fb33d82"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s00236-018-0323-z"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1104476070"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s00236-018-0323-z", 
      "https://app.dimensions.ai/details/publication/pub.1104476070"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T10:04", 
    "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/0000000347_0000000347/records_89826_00000003.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "https://link.springer.com/10.1007%2Fs00236-018-0323-z"
  }
]
 

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/s00236-018-0323-z'

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/s00236-018-0323-z'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s00236-018-0323-z'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s00236-018-0323-z'


 

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

62 TRIPLES      18 PREDICATES      24 URIs      18 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s00236-018-0323-z schema:author N4c463ff687a240d4b0609aad6808839b
2 schema:datePublished 2018-09
3 schema:datePublishedReg 2018-09-01
4 schema:genre non_research_article
5 schema:inLanguage en
6 schema:isAccessibleForFree true
7 schema:isPartOf N0cd81ce4eca44b5fb1d2f23d9ad90020
8 N3a932b126dbe4384b7cdc3d55ebe059b
9 sg:journal.1133515
10 schema:name Preface for the special issue “FM15”
11 schema:pagination 459-460
12 schema:productId N59018bca4e6b43f7bbef95a6be7a817b
13 N79027e1b7fd84c129637e010b5637be9
14 Ne9df6d64f05e45328b259d9838ec2c5c
15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1104476070
16 https://doi.org/10.1007/s00236-018-0323-z
17 schema:sdDatePublished 2019-04-11T10:04
18 schema:sdLicense https://scigraph.springernature.com/explorer/license/
19 schema:sdPublisher Nb0e364bf34a349e2808adf5da7033817
20 schema:url https://link.springer.com/10.1007%2Fs00236-018-0323-z
21 sgo:license sg:explorer/license/
22 sgo:sdDataset articles
23 rdf:type schema:ScholarlyArticle
24 N0cd81ce4eca44b5fb1d2f23d9ad90020 schema:volumeNumber 55
25 rdf:type schema:PublicationVolume
26 N3a932b126dbe4384b7cdc3d55ebe059b schema:issueNumber 6
27 rdf:type schema:PublicationIssue
28 N4c463ff687a240d4b0609aad6808839b rdf:first sg:person.013436173767.19
29 rdf:rest N9ebd4e1d10c04fee8213325dc8d3cc9c
30 N59018bca4e6b43f7bbef95a6be7a817b schema:name doi
31 schema:value 10.1007/s00236-018-0323-z
32 rdf:type schema:PropertyValue
33 N79027e1b7fd84c129637e010b5637be9 schema:name dimensions_id
34 schema:value pub.1104476070
35 rdf:type schema:PropertyValue
36 N9ebd4e1d10c04fee8213325dc8d3cc9c rdf:first sg:person.012465101234.14
37 rdf:rest rdf:nil
38 Nb0e364bf34a349e2808adf5da7033817 schema:name Springer Nature - SN SciGraph project
39 rdf:type schema:Organization
40 Ne9df6d64f05e45328b259d9838ec2c5c schema:name readcube_id
41 schema:value 2bdcc44cedf4150487fc7560f3ca63377dc549acfc7a5f917e20b34a9fb33d82
42 rdf:type schema:PropertyValue
43 sg:journal.1133515 schema:issn 0001-5903
44 1432-0525
45 schema:name Acta Informatica
46 rdf:type schema:Periodical
47 sg:person.012465101234.14 schema:affiliation https://www.grid.ac/institutes/grid.419815.0
48 schema:familyName Bjorner
49 schema:givenName Nikolaj
50 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012465101234.14
51 rdf:type schema:Person
52 sg:person.013436173767.19 schema:affiliation https://www.grid.ac/institutes/grid.6054.7
53 schema:familyName de Boer
54 schema:givenName Frank
55 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013436173767.19
56 rdf:type schema:Person
57 https://www.grid.ac/institutes/grid.419815.0 schema:alternateName Microsoft (United States)
58 schema:name Microsoft Research, Redmond, USA
59 rdf:type schema:Organization
60 https://www.grid.ac/institutes/grid.6054.7 schema:alternateName Centrum Wiskunde and Informatica
61 schema:name Centrum voor Wiskunde en Informatica (CWI), Amsterdam, The Netherlands
62 rdf:type schema:Organization
 




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


...