This HTML5 document contains 46 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
wdthttp://www.wikidata.org/prop/direct/
wdtnhttp://www.wikidata.org/prop/direct-normalized/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n13http://dx.doi.org/10.1007/
wikibasehttp://wikiba.se/ontology#
phttp://www.wikidata.org/prop/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n12https://dblp.org/rec/journals/jar/
xsdhhttp://www.w3.org/2001/XMLSchema#
wdshttp://www.wikidata.org/entity/statement/
n7https://scigraph.springernature.com/pub.10.1007/
wdhttp://www.wikidata.org/entity/

Statements

Subject Item
wd:Q56988749
rdf:type
wikibase:Item
schema:description
article scientifique publié en 2007 наукова стаття, опублікована в липні 2007 im Juli 2007 veröffentlichter wissenschaftlicher Artikel wetenschappelijk artikel artículu científicu
p:P577
wds:Q56988749-12CA1773-B043-428A-90A0-EB0DD6354A9B
wdt:P577
2007-07-06T00:00:00Z
p:P2888
wds:Q56988749-FB4BAA18-E634-41D5-AD1F-EE64CC2A3942
wdt:P2888
n7:s10817-007-9079-9
p:P2860
wds:Q56988749-2558B8EC-E624-4633-8004-CD283CB79AD4 wds:Q56988749-3E1CF488-7A4E-4DBE-9869-CA273E4D45E9
wdt:P2860
wd:Q55894875 wd:Q37680122
rdfs:label
A Tableau Decision Procedure for $\mathcal{SHOIQ}$ A Tableau Decision Procedure for $\mathcal{SHOIQ}$
skos:prefLabel
A Tableau Decision Procedure for $\mathcal{SHOIQ}$ A Tableau Decision Procedure for $\mathcal{SHOIQ}$
schema:name
A Tableau Decision Procedure for $\mathcal{SHOIQ}$ A Tableau Decision Procedure for $\mathcal{SHOIQ}$
p:P50
wds:Q56988749-E0805C94-69CB-48E8-9209-95C72E7C7DF3 wds:Q56988749-66729539-85DA-4E87-BBE8-91C96DB3CAEB
wdt:P50
wd:Q5981834 wd:Q7879911
p:P1476
wds:Q56988749-9775EE6C-7999-417D-A841-AD6DD41B8F1F
wdt:P1476
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
p:P304
wds:Q56988749-57AB8740-FA89-4F92-8593-8F3453DC7129
wdt:P304
249-276
p:P31
wds:Q56988749-C214551D-C920-4B73-AA4D-56341496757F
wdt:P31
wd:Q13442814
p:P8978
wds:Q56988749-45B9990E-7280-44C0-A549-0054B1C6396A
wdtn:P8978
n12:HorrocksS07
wdt:P8978
journals/jar/HorrocksS07
p:P1433
wds:Q56988749-195F0A58-8B70-4D77-B4FE-326FA7AEB0D0
wdt:P1433
wd:Q6294821
p:P433
wds:Q56988749-30B07E78-4CD2-4B3D-83DD-FA8A7ED0FCAA
p:P478
wds:Q56988749-6CA3B0D0-7DB2-4B4B-8E0F-87C7345DB825
wdt:P433
3
wdt:P478
39
p:P356
wds:Q56988749-969908F5-367B-46CD-A4F8-31B13DC2A7AF
wdtn:P356
n13:S10817-007-9079-9
wdt:P356
10.1007/S10817-007-9079-9
p:P6104
wds:Q56988749-600DB5E6-89D0-45AE-8DC3-BBDBB00F0F6A
wdt:P6104
wd:Q8487137
p:P894
wds:Q56988749-5F429690-B147-4C4F-A814-C954FEFD66C1
wdt:P894
1132.68734