Canonical Equational Proofs View Full Text


Ontology type: schema:Book     


Book Info

DATE

1991

GENRE

Monograph

AUTHORS

Leo Bachmair

PUBLISHER

Birkhäuser Boston

ABSTRACT

N/A

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-1-4684-7118-2

DOI

http://dx.doi.org/10.1007/978-1-4684-7118-2

ISBN

978-0-8176-3555-8 | 978-1-4684-7118-2

DIMENSIONS

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


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": "Stony Brook University", 
          "id": "https://www.grid.ac/institutes/grid.36425.36", 
          "name": [
            "Department of Computer Science, State University of New York at Stony Brook, 11794, Stony Brook, NY, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Bachmair", 
        "givenName": "Leo", 
        "type": "Person"
      }
    ], 
    "datePublished": "1991", 
    "datePublishedReg": "1991-01-01", 
    "genre": "monograph", 
    "id": "sg:pub.10.1007/978-1-4684-7118-2", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isbn": [
      "978-0-8176-3555-8", 
      "978-1-4684-7118-2"
    ], 
    "name": "Canonical Equational Proofs", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "e5728e5478866ee47b64845a6548ec8beb76f28c80ad5480744129ba0febd9d7"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-1-4684-7118-2"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1048164439"
        ]
      }
    ], 
    "publisher": {
      "location": "Boston, MA", 
      "name": "Birkh\u00e4user Boston", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-1-4684-7118-2", 
      "https://app.dimensions.ai/details/publication/pub.1048164439"
    ], 
    "sdDataset": "books", 
    "sdDatePublished": "2019-04-12T04:05", 
    "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_117125_00000002.jsonl", 
    "type": "Book", 
    "url": "https://link.springer.com/10.1007%2F978-1-4684-7118-2"
  }
]
 

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-1-4684-7118-2'

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-1-4684-7118-2'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-1-4684-7118-2'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-1-4684-7118-2'


 

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-1-4684-7118-2 schema:author N5f58ad55e9214059b766d080e7a51aba
2 schema:datePublished 1991
3 schema:datePublishedReg 1991-01-01
4 schema:genre monograph
5 schema:inLanguage en
6 schema:isAccessibleForFree false
7 schema:isbn 978-0-8176-3555-8
8 978-1-4684-7118-2
9 schema:name Canonical Equational Proofs
10 schema:productId N15ff3ca6e1074ad7890e41775c409fca
11 N44ca20db2f09452bb4449a27fc1af740
12 Nea99a1f91fe642f2ac54d7c24896e693
13 schema:publisher N8fd973dd00634d078734b7e42c50161d
14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048164439
15 https://doi.org/10.1007/978-1-4684-7118-2
16 schema:sdDatePublished 2019-04-12T04:05
17 schema:sdLicense https://scigraph.springernature.com/explorer/license/
18 schema:sdPublisher N6a1cff021d8c41de838b5b6aa284227f
19 schema:url https://link.springer.com/10.1007%2F978-1-4684-7118-2
20 sgo:license sg:explorer/license/
21 sgo:sdDataset books
22 rdf:type schema:Book
23 N026c450f56fc426b9a2ba30e69473851 schema:affiliation https://www.grid.ac/institutes/grid.36425.36
24 schema:familyName Bachmair
25 schema:givenName Leo
26 rdf:type schema:Person
27 N15ff3ca6e1074ad7890e41775c409fca schema:name doi
28 schema:value 10.1007/978-1-4684-7118-2
29 rdf:type schema:PropertyValue
30 N44ca20db2f09452bb4449a27fc1af740 schema:name readcube_id
31 schema:value e5728e5478866ee47b64845a6548ec8beb76f28c80ad5480744129ba0febd9d7
32 rdf:type schema:PropertyValue
33 N5f58ad55e9214059b766d080e7a51aba rdf:first N026c450f56fc426b9a2ba30e69473851
34 rdf:rest rdf:nil
35 N6a1cff021d8c41de838b5b6aa284227f schema:name Springer Nature - SN SciGraph project
36 rdf:type schema:Organization
37 N8fd973dd00634d078734b7e42c50161d schema:location Boston, MA
38 schema:name Birkhäuser Boston
39 rdf:type schema:Organisation
40 Nea99a1f91fe642f2ac54d7c24896e693 schema:name dimensions_id
41 schema:value pub.1048164439
42 rdf:type schema:PropertyValue
43 https://www.grid.ac/institutes/grid.36425.36 schema:alternateName Stony Brook University
44 schema:name Department of Computer Science, State University of New York at Stony Brook, 11794, Stony Brook, NY, USA
45 rdf:type schema:Organization
 




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


...