eslavco
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Table
SPARQL
Graphs
7
7
Services
1
1
Assets
6
6
Insights
Schema
BETA
Class frequency
Class hierarchy
Program proving
Program proving
http://dbpedia.org/resource/Program_proving
Program_proving
primaryTopic
Program proving
http://dbpedia.org/resource/Program_proving
Wikipage page ID
13,833,883
http://www.w3.org/2001/XMLSchema#integer
Wikipage redirect
Formal verification
Wikipage revision ID
165,988,421
http://www.w3.org/2001/XMLSchema#integer
label
Program proving
@en
wasDerivedFrom
Program_proving?oldid=165988421
isPrimaryTopicOf
Program_proving