http://dbpedia.org/resource/Template:Formalmethods-stub

xsd:integer 18196796
xsd:integer 661429042
<http://dbpedia.org/resource/Template:Asbox>
<http://en.wikipedia.org/wiki/Template:Formalmethods-stub?oldid=661429042&ns=10>

data from the linked data cloud