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
978-3-540-69149-5
978-3-540-69149-5
http://dx.doi.org/10.1007/978-3-540-69149-5
Verified Software: Theories, Tools, Experiments
P356
Q22244830-DFA3C45A-BEBE-4E31-814F-7CE14305393C
P356
978-3-540-69149-5
http://dx.doi.org/10.1007/978-3-540-69149-5