PTSTS
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Triples
Insights
Schema
BETA
Class frequency
Class hierarchy
SPARQL
GraphQL
Graphs
6
Assets
6
Formal specification
Formal specification
Concept
http://dbpedia.org/resource/Category:Formal_specification
Formal specification
Hennessy–Milner logic
Link from a Wikipage to another Wikipage
Formal specification
Hennessy–Milner logic
subject
Formal specification languages
broader
Formal specification
Concept
http://dbpedia.org/resource/Category:Formal_specification
Wikipage page ID
30,677,503
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
410,753,571
http://www.w3.org/2001/XMLSchema#integer
wikiPageUsesTemplate
Template:Cat_main
type
Concept
label
Formal specification
@en
broader
Formal methods
prefLabel
Formal specification
@en
wasDerivedFrom
Category:Formal_specification?oldid=410753571&ns=14