awgldk
/
wikidata
/
Login
Register
TriplyDB
Wikidata
Browser
Table
SPARQL
Graphs
1
1
Services
1
1
Assets
0
0
Insights
Schema
BETA
Class frequency
Class hierarchy
Model_checking
Model_checking
Article
https://vi.wikipedia.org/wiki/Model_checking
Model_checking
Article
https://vi.wikipedia.org/wiki/Model_checking
about
Model checking
inLanguage
vi
http://www.w3.org/2001/XMLSchema#string
isPartOf
https://vi.wikipedia.org/
name
Model checking
@vi
type
Article