mhoogeveen97
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Table
SPARQL
Graphs
6
6
Services
1
1
Assets
7
7
Insights
Schema
BETA
Class frequency
Class hierarchy
Formal methods organizations
Formal methods organizations
Concept
http://dbpedia.org/resource/Category:Formal_methods_organizations
BCS-FACS
Dansk Datamatik Center
Programming Research Group
United Nations University International Institute for Software Technology
APCB
Altran Praxis
British Colloquium for Theoretical Computer Science
ForTIA
Formal Methods Europe
Z User Group
subject
Formal methods organizations
Concept
http://dbpedia.org/resource/Category:Formal_methods_organizations
Wikipage page ID
28,882,273
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
385,776,069
http://www.w3.org/2001/XMLSchema#integer
type
Concept
label
Formal methods organizations
@en
sameAs
Q8466125
Q8466125
broader
Formal methods
Software engineering organizations
prefLabel
Formal methods organizations
@en
wasDerivedFrom
Category:Formal_methods_organizations?oldid=385776069