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-05-10T09:59", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220509/entities/gbq_results/article/article_460.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 N953a4a58d0c8412881e9cd15919bab0e
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 N310b1fcfc50142108bf13d5ac20f7002
13 N8e5d4a98809b45f7b39da09995284532
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 N6f7e24e7e6914dd0803f3380f7430e0f
21 Nd713727ca3af4d9c92526163254bbe0f
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-05-10T09:59
25 schema:sdLicense https://scigraph.springernature.com/explorer/license/
26 schema:sdPublisher N732142bd5cf34c01b883966d4a9b0afd
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 N310b1fcfc50142108bf13d5ac20f7002 schema:volumeNumber 40
32 rdf:type schema:PublicationVolume
33 N4934b0aa15914acaa18d26379e53feda rdf:first sg:person.07401076267.36
34 rdf:rest rdf:nil
35 N6f7e24e7e6914dd0803f3380f7430e0f schema:name dimensions_id
36 schema:value pub.1046493520
37 rdf:type schema:PropertyValue
38 N732142bd5cf34c01b883966d4a9b0afd schema:name Springer Nature - SN SciGraph project
39 rdf:type schema:Organization
40 N8e5d4a98809b45f7b39da09995284532 schema:issueNumber 4
41 rdf:type schema:PublicationIssue
42 N953a4a58d0c8412881e9cd15919bab0e rdf:first sg:person.013173133226.01
43 rdf:rest N4934b0aa15914acaa18d26379e53feda
44 Nd713727ca3af4d9c92526163254bbe0f schema:name doi
45 schema:value 10.1007/s10817-008-9100-y
46 rdf:type schema:PropertyValue
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)


...