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 Nbaffd3fd972142d29763a2b065ca1e86
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 N1dd6899dbf3847b695734b9a1324869f
11 N71c7779667db4cd4bdec8d68eaffa4b0
12 Ndb6f751fda4c4189b9dff29f2ccd2672
13 schema:publisher N08bdfbf14c3f4782845012a566bafc29
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 Nec39d54041f64514ac6d126cb0502ffe
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 N08bdfbf14c3f4782845012a566bafc29 schema:location London
24 schema:name Springer London
25 rdf:type schema:Organisation
26 N1dd6899dbf3847b695734b9a1324869f schema:name dimensions_id
27 schema:value pub.1017765359
28 rdf:type schema:PropertyValue
29 N602c29f863e246fb813fa6745976cec2 schema:affiliation https://www.grid.ac/institutes/grid.10877.39
30 schema:familyName Dowek
31 schema:givenName Gilles
32 rdf:type schema:Person
33 N71c7779667db4cd4bdec8d68eaffa4b0 schema:name readcube_id
34 schema:value 54a5554fa83f3c530959dce14b67eb237bd5c3a7ea145b96873b5c27efcdc482
35 rdf:type schema:PropertyValue
36 Nbaffd3fd972142d29763a2b065ca1e86 rdf:first N602c29f863e246fb813fa6745976cec2
37 rdf:rest rdf:nil
38 Ndb6f751fda4c4189b9dff29f2ccd2672 schema:name doi
39 schema:value 10.1007/978-0-85729-121-9
40 rdf:type schema:PropertyValue
41 Nec39d54041f64514ac6d126cb0502ffe schema:name Springer Nature - SN SciGraph project
42 rdf:type schema:Organization
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)


...