Browse Wiki & Semantic Web

	This page has no properties.

	No properties link to this page.

http://dbpedia.org/resource/Kripke_structure

http://dbpedia.org/ontology/wikiPageID	31628762
http://dbpedia.org/ontology/wikiPageLength	47
http://dbpedia.org/ontology/wikiPageRedirects	http://dbpedia.org/resource/Kripke_structure_%28model_checking%29 +
http://dbpedia.org/ontology/wikiPageRevisionID	426548566
http://dbpedia.org/ontology/wikiPageWikiLink	http://dbpedia.org/resource/Kripke_structure_%28model_checking%29 +
http://www.w3.org/ns/prov#wasDerivedFrom	http://en.wikipedia.org/wiki/Kripke_structure?oldid=426548566&ns=0 +
http://xmlns.com/foaf/0.1/isPrimaryTopicOf	http://en.wikipedia.org/wiki/Kripke_structure +
owl:sameAs	http://dbpedia.org/resource/Kripke_structure +
rdfs:label	Kripke structure

http://dbpedia.org/resource/Saul_Kripke +	http://dbpedia.org/ontology/notableIdea
http://dbpedia.org/resource/Linear_temporal_logic + , http://dbpedia.org/resource/Temporal_logic + , http://dbpedia.org/resource/CTL%2A + , http://dbpedia.org/resource/Transition_system + , http://dbpedia.org/resource/KeY + , http://dbpedia.org/resource/List_of_terms_relating_to_algorithms_and_data_structures + , http://dbpedia.org/resource/Linear_time_property + , http://dbpedia.org/resource/Saul_Kripke +	http://dbpedia.org/ontology/wikiPageWikiLink
http://dbpedia.org/resource/Saul_Kripke +	http://dbpedia.org/property/notableIdeas
http://en.wikipedia.org/wiki/Kripke_structure +	http://xmlns.com/foaf/0.1/primaryTopic
http://dbpedia.org/resource/Kripke_structure +	owl:sameAs

Navigation menu