About: State space enumeration

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageWikiLink	dbr:Model_checking dbc:Programming_language_implementation dbr:Formal_methods dbc:Formal_methods dbr:Satisfiability dbc:Logic_in_computer_science dbr:Computer_science dbr:State_space dbr:Program_state
dbp:wikiPageUsesTemplate	dbt:Confusing dbt:Reflist
dct:subject	dbc:Programming_language_implementation dbc:Formal_methods dbc:Logic_in_computer_science
gold:hypernym	dbr:Methods
rdfs:label	State space enumeration (en)
owl:sameAs	freebase:State space enumeration yago-res:State space enumeration wikidata:State space enumeration dbpedia-global:State space enumeration
prov:wasDerivedFrom	wikipedia-en:State_space_enumeration?oldid=1085236420&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:State_space_enumeration
is dbo:wikiPageWikiLink of	dbr:Formal_verification
is foaf:primaryTopic of	wikipedia-en:State_space_enumeration

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International