milkbread
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
BETA
Graphs
6
Assets
6
Formal methods stubs
Formal methods stubs
Concept
http://dbpedia.org/resource/Category:Formal_methods_stubs
Formal methods stubs
Concept
http://dbpedia.org/resource/Category:Formal_methods_stubs
Wikipage page ID
18,196,759
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
452,907,296
http://www.w3.org/2001/XMLSchema#integer
type
Concept
label
Formal methods stubs
@en
sameAs
Q8466129
Q8466129
broader
Computer science stubs
prefLabel
Formal methods stubs
@en
wasDerivedFrom
Category:Formal_methods_stubs?oldid=452907296