Proofs and Algorithms, An Introduction to Logic and Computability View Full Text


Ontology type: schema:Book     


Book Info

DATE

2011

GENRE

Monograph

AUTHORS

Gilles Dowek

PUBLISHER

Springer London

ABSTRACT

N/A

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-0-85729-121-9

DOI

http://dx.doi.org/10.1007/978-0-85729-121-9

ISBN

978-0-85729-120-2 | 978-0-85729-121-9

DIMENSIONS

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


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": "\u00c9cole Polytechnique", 
          "id": "https://www.grid.ac/institutes/grid.10877.39", 
          "name": [
            "Labo. d'Informatique, \u00c9cole Polytechnique, route de Saclay, 91128, Palaiseau CX, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Dowek", 
        "givenName": "Gilles", 
        "type": "Person"
      }
    ], 
    "datePublished": "2011", 
    "datePublishedReg": "2011-01-01", 
    "genre": "monograph", 
    "id": "sg:pub.10.1007/978-0-85729-121-9", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isbn": [
      "978-0-85729-120-2", 
      "978-0-85729-121-9"
    ], 
    "name": "Proofs and Algorithms, An Introduction to Logic and Computability", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "54a5554fa83f3c530959dce14b67eb237bd5c3a7ea145b96873b5c27efcdc482"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-0-85729-121-9"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1017765359"
        ]
      }
    ], 
    "publisher": {
      "location": "London", 
      "name": "Springer London", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-0-85729-121-9", 
      "https://app.dimensions.ai/details/publication/pub.1017765359"
    ], 
    "sdDataset": "books", 
    "sdDatePublished": "2019-04-12T04:02", 
    "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/0000000372_0000000372/records_117103_00000000.jsonl", 
    "type": "Book", 
    "url": "https://link.springer.com/10.1007%2F978-0-85729-121-9"
  }
]
 

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/978-0-85729-121-9'

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/978-0-85729-121-9'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-0-85729-121-9'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-0-85729-121-9'


 

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

45 TRIPLES      18 PREDICATES      23 URIs      18 LITERALS      6 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-0-85729-121-9 schema:author Nc12c3211ff5c466b91166ccf36a07b3f
2 schema:datePublished 2011
3 schema:datePublishedReg 2011-01-01
4 schema:genre monograph
5 schema:inLanguage en
6 schema:isAccessibleForFree false
7 schema:isbn 978-0-85729-120-2
8 978-0-85729-121-9
9 schema:name Proofs and Algorithms, An Introduction to Logic and Computability
10 schema:productId N0d432642466641538590cc7bae2c22b6
11 N16f68466d1404e559929db3319580e3f
12 N1d59d918150a47bc94e89c62542f4ac0
13 schema:publisher N86fa2b7d3a264fa4b657bbb1086b069b
14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017765359
15 https://doi.org/10.1007/978-0-85729-121-9
16 schema:sdDatePublished 2019-04-12T04:02
17 schema:sdLicense https://scigraph.springernature.com/explorer/license/
18 schema:sdPublisher N05fef3ab07c64004958edd1e47f56908
19 schema:url https://link.springer.com/10.1007%2F978-0-85729-121-9
20 sgo:license sg:explorer/license/
21 sgo:sdDataset books
22 rdf:type schema:Book
23 N05fef3ab07c64004958edd1e47f56908 schema:name Springer Nature - SN SciGraph project
24 rdf:type schema:Organization
25 N0d432642466641538590cc7bae2c22b6 schema:name doi
26 schema:value 10.1007/978-0-85729-121-9
27 rdf:type schema:PropertyValue
28 N16f68466d1404e559929db3319580e3f schema:name dimensions_id
29 schema:value pub.1017765359
30 rdf:type schema:PropertyValue
31 N1d59d918150a47bc94e89c62542f4ac0 schema:name readcube_id
32 schema:value 54a5554fa83f3c530959dce14b67eb237bd5c3a7ea145b96873b5c27efcdc482
33 rdf:type schema:PropertyValue
34 N86fa2b7d3a264fa4b657bbb1086b069b schema:location London
35 schema:name Springer London
36 rdf:type schema:Organisation
37 N9cd5c933c47449789cb24ef747615cfa schema:affiliation https://www.grid.ac/institutes/grid.10877.39
38 schema:familyName Dowek
39 schema:givenName Gilles
40 rdf:type schema:Person
41 Nc12c3211ff5c466b91166ccf36a07b3f rdf:first N9cd5c933c47449789cb24ef747615cfa
42 rdf:rest rdf:nil
43 https://www.grid.ac/institutes/grid.10877.39 schema:alternateName École Polytechnique
44 schema:name Labo. d'Informatique, École Polytechnique, route de Saclay, 91128, Palaiseau CX, France
45 rdf:type schema:Organization
 




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


...