<http://dbkwik.webdatacommons.org/resource/MEBeWT8lBWpk1ZvodzUTqg==>	<http://purl.org/dc/terms/subject>	<http://dbkwik.webdatacommons.org/resource/49rPncCdyEq2Cg9Y1_3pkQ==> .
<http://dbkwik.webdatacommons.org/resource/h0MxkABLDNXQndrx84ecIw==>	<http://purl.org/dc/terms/subject>	<http://dbkwik.webdatacommons.org/resource/49rPncCdyEq2Cg9Y1_3pkQ==> .
<http://dbkwik.webdatacommons.org/resource/49rPncCdyEq2Cg9Y1_3pkQ==>	<http://dbkwik.webdatacommons.org/formalmethods/property/wikiPageUsesTemplate>	<http://dbkwik.webdatacommons.org/resource/mJZGqBIpglcBxkVeQaBgTw==> .
<http://dbkwik.webdatacommons.org/resource/lXyjPOS9nNN6k9Z7PcI-ng==>	<http://purl.org/dc/terms/subject>	<http://dbkwik.webdatacommons.org/resource/49rPncCdyEq2Cg9Y1_3pkQ==> .
<http://dbkwik.webdatacommons.org/resource/dydpxqP84UZjlQOzUh-hhQ==>	<http://purl.org/dc/terms/subject>	<http://dbkwik.webdatacommons.org/resource/49rPncCdyEq2Cg9Y1_3pkQ==> .
<http://dbkwik.webdatacommons.org/resource/1zy5lfCG-PH-hHni_Ggzig==>	<http://purl.org/dc/terms/subject>	<http://dbkwik.webdatacommons.org/resource/49rPncCdyEq2Cg9Y1_3pkQ==> .
<http://dbkwik.webdatacommons.org/resource/VwOUBrYudVVC5_ebqE-4ZA==>	<http://purl.org/dc/terms/subject>	<http://dbkwik.webdatacommons.org/resource/49rPncCdyEq2Cg9Y1_3pkQ==> .
<http://dbkwik.webdatacommons.org/resource/cm_Z8wGHa8EWaEO4Z_HeRQ==>	<http://purl.org/dc/terms/subject>	<http://dbkwik.webdatacommons.org/resource/49rPncCdyEq2Cg9Y1_3pkQ==> .
<http://dbkwik.webdatacommons.org/resource/BwGJOsbw7JCpjHWdGPEAeg==>	<http://purl.org/dc/terms/subject>	<http://dbkwik.webdatacommons.org/resource/49rPncCdyEq2Cg9Y1_3pkQ==> .
<http://dbkwik.webdatacommons.org/resource/49rPncCdyEq2Cg9Y1_3pkQ==>	<http://www.w3.org/2000/01/rdf-schema#label>	"Formal Methods Europe"@en .
<http://dbkwik.webdatacommons.org/resource/0rR7airxNqs0_TspUuaJRw==>	<http://purl.org/dc/terms/subject>	<http://dbkwik.webdatacommons.org/resource/49rPncCdyEq2Cg9Y1_3pkQ==> .
<http://dbkwik.webdatacommons.org/resource/rulyrqnOA6DkOtvdno38rQ==>	<http://purl.org/dc/terms/subject>	<http://dbkwik.webdatacommons.org/resource/49rPncCdyEq2Cg9Y1_3pkQ==> .