This HTML5 document contains 48 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/
n8https://scigraph.springernature.com/pub.10.1023/a:
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n11http://dx.doi.org/10.1023/A:
wikibasehttp://wikiba.se/ontology#
phttp://www.wikidata.org/prop/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
wdshttp://www.wikidata.org/entity/statement/
wdhttp://www.wikidata.org/entity/
n12https://dblp.org/rec/journals/fmsd/

Statements

Subject Item
wd:Q55889278
rdf:type
wikibase:Item
schema:description
wetenschappelijk artikel article scientifique publié en 2001 im Jahr 2001 veröffentlichter wissenschaftlicher Artikel наукова стаття, опублікована у 2001
p:P577
wds:Q55889278-D47C09CD-EE8C-460F-B414-2C266229224E
wdt:P577
2001-01-01T00:00:00Z
p:P2888
wds:Q55889278-74841B28-4790-4368-9B95-91ED2E873AC7
wdt:P2888
n8:1011276507260
p:P2093
wds:Q55889278-5AF07A35-B9D3-4356-8677-87ACD1962605 wds:Q55889278-2AF2CC69-5BE3-4A1A-8B75-2415BDCB9737
wdt:P2093
Richard Raimi Yunshan Zhu
rdfs:label
Bounded Model Checking Using Satisfiability Solving
skos:prefLabel
Bounded Model Checking Using Satisfiability Solving
schema:name
Bounded Model Checking Using Satisfiability Solving
p:P50
wds:Q55889278-2AE1962D-07C3-401B-8404-1FE577A2F33F wds:Q55889278-E6A93906-D90D-44DE-91F3-B622AE82A705
wdt:P50
wd:Q687404 wd:Q92819
p:P1476
wds:Q55889278-39f160dc-43a0-9fb3-dea9-58de8a7d03af
wdt:P1476
Bounded Model Checking Using Satisfiability Solving
p:P304
wds:Q55889278-92E2B369-FFC7-47BF-A49B-2D1A5821FF8C
wdt:P304
7-34
p:P31
wds:Q55889278-DA4A0386-4633-40B2-BAD0-8E7B3A7A5000
wdt:P31
wd:Q13442814
p:P921
wds:Q55889278-ADE92D49-4A4E-4CD4-916B-4ECA89701F9D
wdt:P921
wd:Q124734256
p:P8978
wds:Q55889278-AEC6A70D-4D81-4818-865C-305FC34B9C4D
wdtn:P8978
n12:ClarkeBRZ01
wdt:P8978
journals/fmsd/ClarkeBRZ01
p:P1433
wds:Q55889278-EAE0F471-7402-455E-B34C-AD8680C2B87D
wdt:P1433
wd:Q15755416
p:P433
wds:Q55889278-2672B35F-4C0C-474F-9647-F970824DAD1E
p:P478
wds:Q55889278-35064362-7402-41D5-9D93-D21B633A7B9C
wdt:P433
1
wdt:P478
19
p:P356
wds:Q55889278-ACB298E7-66E6-4507-9CE5-748E39A96309
wdtn:P356
n11:1011276507260
wdt:P356
10.1023/A:1011276507260
p:P6104
wds:Q55889278-D97A08DA-2FCC-4856-94F6-7D5C2A32572B
wdt:P6104
wd:Q8487137
p:P894
wds:Q55889278-CF0922DC-2D8F-4C59-B60F-5671F13FCECA
wdt:P894
0985.68038
p:P5875
wds:Q55889278-FC240EB0-3EC1-4749-91D3-40E3DF1E013B
wdt:P5875
225178220
p:P6179
wds:Q55889278-E7289298-DEAD-46DB-B2FF-9A4879D1B58D
wdt:P6179
1003795090