Abstraction model checking

http://dbpedia.org/resource/Abstraction_model_checking

rdf:langString Abstraction model checking
xsd:integer 67777356
xsd:integer 1025420653
xsd:nonNegativeInteger 84
dbpedia:Abstract_model_checking
dbpedia:Abstract_model_checking
<http://rdf.freebase.com/ns/m.027yppd>
<https://global.dbpedia.org/id/8S1Un>
dbpedia:Template:R_from_move
dbpedia:Template:Redirect_category_shell
<http://en.wikipedia.org/wiki/Abstraction_model_checking?oldid=1025420653&ns=0>
<http://en.wikipedia.org/wiki/Abstraction_model_checking>

data from the linked data cloud