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
135594944
135594944
http://d-nb.info/gnd/135594944
Gerard J. Holzmann
P227
00f2c81e457eee8d451ad1ff813879cdcc73dd47
P227
q4588721-3CC19267-818D-4741-9B07-B0D42CD27579
P227
135594944
http://d-nb.info/gnd/135594944