<http://dbkwik.webdatacommons.org/resource/ccJDRnjEwJG4OdYwX5b1_A==>	<http://dbkwik.webdatacommons.org/formalmethods/property/wikiPageUsesTemplate>	<http://dbkwik.webdatacommons.org/resource/6rtchO8QZOwb0xqq7pHkwQ==> .
<http://dbkwik.webdatacommons.org/resource/ccJDRnjEwJG4OdYwX5b1_A==>	<http://purl.org/dc/terms/subject>	<http://dbkwik.webdatacommons.org/resource/maSFk3-EFaipsYLYj0wkSw==> .
<http://dbkwik.webdatacommons.org/resource/ccJDRnjEwJG4OdYwX5b1_A==>	<http://purl.org/dc/terms/subject>	<http://dbkwik.webdatacommons.org/resource/owvy5t36DFPxqBTkLSwiBg==> .
<http://dbkwik.webdatacommons.org/resource/ccJDRnjEwJG4OdYwX5b1_A==>	<http://www.w3.org/2000/01/rdf-schema#label>	"ORA Canada"@en .
<http://dbkwik.webdatacommons.org/resource/ccJDRnjEwJG4OdYwX5b1_A==>	<http://www.w3.org/2000/01/rdf-schema#comment>	"ORA Canada was a formal methods\u2191 company based in Ottawa\u2191, Canada\u2191, and run by Dan Craigen with the help of Mark Saaltink. The company produced the EVES proof tool, and the associated Z/EVES tool for Z notation proof support."@en .
<http://dbkwik.webdatacommons.org/resource/ccJDRnjEwJG4OdYwX5b1_A==>	<http://dbkwik.webdatacommons.org/ontology/abstract>	"ORA Canada was a formal methods\u2191 company based in Ottawa\u2191, Canada\u2191, and run by Dan Craigen with the help of Mark Saaltink. The company produced the EVES proof tool, and the associated Z/EVES tool for Z notation proof support."@en .