A Resolution-Based Decision Procedure for View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s10817-008-9100-y

DOI

http://dx.doi.org/10.1007/s10817-008-9100-y

DIMENSIONS

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


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/17", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Psychology and Cognitive Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "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/1702", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Cognitive Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Computing Laboratory, University of Oxford, Oxford, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "Computing Laboratory, University of Oxford, Oxford, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kazakov", 
        "givenName": "Yevgeny", 
        "id": "sg:person.013173133226.01", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013173133226.01"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Computing Laboratory, University of Oxford, Oxford, UK", 
          "id": "http://www.grid.ac/institutes/grid.4991.5", 
          "name": [
            "Computing Laboratory, University of Oxford, Oxford, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Motik", 
        "givenName": "Boris", 
        "id": "sg:person.07401076267.36", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07401076267.36"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2008-03-18", 
    "datePublishedReg": "2008-03-18", 
    "genre": "article", 
    "id": "sg:pub.10.1007/s10817-008-9100-y", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": [
      {
        "id": "sg:journal.1136522", 
        "issn": [
          "0168-7433", 
          "1573-0670"
        ], 
        "name": "Journal of Automated Reasoning", 
        "publisher": "Springer Nature", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "4", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "40"
      }
    ], 
    "keywords": [
      "procedure", 
      "resolution", 
      "decision procedure"
    ], 
    "name": "A Resolution-Based Decision Procedure for", 
    "pagination": "357-357", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1046493520"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s10817-008-9100-y"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s10817-008-9100-y", 
      "https://app.dimensions.ai/details/publication/pub.1046493520"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2022-01-01T18:18", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/article/article_462.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "https://doi.org/10.1007/s10817-008-9100-y"
  }
]
 

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/s10817-008-9100-y'

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/s10817-008-9100-y'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10817-008-9100-y'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10817-008-9100-y'


 

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

79 TRIPLES      20 PREDICATES      30 URIs      19 LITERALS      6 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s10817-008-9100-y schema:about anzsrc-for:08
2 anzsrc-for:0801
3 anzsrc-for:0802
4 anzsrc-for:17
5 anzsrc-for:1702
6 schema:author N79003be4fe6d4358bd9196a84d527678
7 schema:datePublished 2008-03-18
8 schema:datePublishedReg 2008-03-18
9 schema:genre article
10 schema:inLanguage en
11 schema:isAccessibleForFree true
12 schema:isPartOf N1cf6d1f4c4b340538c4671302d9b585d
13 N24c0aeebe6784b64a0c9a687cf607601
14 sg:journal.1136522
15 schema:keywords decision procedure
16 procedure
17 resolution
18 schema:name A Resolution-Based Decision Procedure for
19 schema:pagination 357-357
20 schema:productId N6a240044c2dc448caf61b77063171681
21 N8c99d98c285245239f47c82caafdcf0c
22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046493520
23 https://doi.org/10.1007/s10817-008-9100-y
24 schema:sdDatePublished 2022-01-01T18:18
25 schema:sdLicense https://scigraph.springernature.com/explorer/license/
26 schema:sdPublisher N6583f6cc1230441684c431c664e39f89
27 schema:url https://doi.org/10.1007/s10817-008-9100-y
28 sgo:license sg:explorer/license/
29 sgo:sdDataset articles
30 rdf:type schema:ScholarlyArticle
31 N1cf6d1f4c4b340538c4671302d9b585d schema:volumeNumber 40
32 rdf:type schema:PublicationVolume
33 N24c0aeebe6784b64a0c9a687cf607601 schema:issueNumber 4
34 rdf:type schema:PublicationIssue
35 N6583f6cc1230441684c431c664e39f89 schema:name Springer Nature - SN SciGraph project
36 rdf:type schema:Organization
37 N6a240044c2dc448caf61b77063171681 schema:name dimensions_id
38 schema:value pub.1046493520
39 rdf:type schema:PropertyValue
40 N79003be4fe6d4358bd9196a84d527678 rdf:first sg:person.013173133226.01
41 rdf:rest Nf4d2312d9682424bb6c1a11daaac1874
42 N8c99d98c285245239f47c82caafdcf0c schema:name doi
43 schema:value 10.1007/s10817-008-9100-y
44 rdf:type schema:PropertyValue
45 Nf4d2312d9682424bb6c1a11daaac1874 rdf:first sg:person.07401076267.36
46 rdf:rest rdf:nil
47 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
48 schema:name Information and Computing Sciences
49 rdf:type schema:DefinedTerm
50 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
51 schema:name Artificial Intelligence and Image Processing
52 rdf:type schema:DefinedTerm
53 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
54 schema:name Computation Theory and Mathematics
55 rdf:type schema:DefinedTerm
56 anzsrc-for:17 schema:inDefinedTermSet anzsrc-for:
57 schema:name Psychology and Cognitive Sciences
58 rdf:type schema:DefinedTerm
59 anzsrc-for:1702 schema:inDefinedTermSet anzsrc-for:
60 schema:name Cognitive Sciences
61 rdf:type schema:DefinedTerm
62 sg:journal.1136522 schema:issn 0168-7433
63 1573-0670
64 schema:name Journal of Automated Reasoning
65 schema:publisher Springer Nature
66 rdf:type schema:Periodical
67 sg:person.013173133226.01 schema:affiliation grid-institutes:grid.4991.5
68 schema:familyName Kazakov
69 schema:givenName Yevgeny
70 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013173133226.01
71 rdf:type schema:Person
72 sg:person.07401076267.36 schema:affiliation grid-institutes:grid.4991.5
73 schema:familyName Motik
74 schema:givenName Boris
75 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07401076267.36
76 rdf:type schema:Person
77 grid-institutes:grid.4991.5 schema:alternateName Computing Laboratory, University of Oxford, Oxford, UK
78 schema:name Computing Laboratory, University of Oxford, Oxford, UK
79 rdf:type schema:Organization
 




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


...