<http://dbkwik.webdatacommons.org/resource/HL0RHnv0thaDyTbWXXoJXw==>	<http://purl.org/dc/terms/subject>	<http://dbkwik.webdatacommons.org/resource/R47S_mgMYRokLs0pjU-9Xg==> .
<http://dbkwik.webdatacommons.org/resource/HL0RHnv0thaDyTbWXXoJXw==>	<http://dbkwik.webdatacommons.org/formalmethods/property/wikiPageUsesTemplate>	<http://dbkwik.webdatacommons.org/resource/TwU-d6GMcKMfGId_orpeow==> .
<http://dbkwik.webdatacommons.org/resource/HL0RHnv0thaDyTbWXXoJXw==>	<http://dbkwik.webdatacommons.org/formalmethods/property/wikiPageUsesTemplate>	<http://dbkwik.webdatacommons.org/resource/6rtchO8QZOwb0xqq7pHkwQ==> .
<http://dbkwik.webdatacommons.org/resource/HL0RHnv0thaDyTbWXXoJXw==>	<http://www.w3.org/2000/01/rdf-schema#label>	"Formal Methods Wiki announcement"@en .
<http://dbkwik.webdatacommons.org/resource/HL0RHnv0thaDyTbWXXoJXw==>	<http://purl.org/dc/terms/subject>	<http://dbkwik.webdatacommons.org/resource/JMdu3im1_JJ8NJsqi4gtAA==> .