{"entities":{"Q1019026":{"pageid":1020874,"ns":120,"title":"Item:Q1019026","lastrevid":69431115,"modified":"2026-04-13T06:57:10Z","type":"item","id":"Q1019026","labels":{"en":{"language":"en","value":"A comparison of tools for teaching formal software verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5558122"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019026$3021E8DD-412D-4490-A356-CD3974E93524","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec7ec58d432598977dd6c798eaf35cf01b506d75","datavalue":{"value":{"text":"A comparison of tools for teaching formal software verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1019026$FE34BE39-FBF4-41C4-A4E1-F366B5DDACAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec453f0431f94c8234603b95eb2255de45810a6d","datavalue":{"value":"1160.68439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019026$8EB5F8C7-B828-4D03-AF61-CD4D0D8B9761","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"953e36190c1928fdf946c6aa09d1e7ae950cb5a7","datavalue":{"value":{"entity-type":"item","numeric-id":962254,"id":"Q962254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019026$F7B8B93A-5AD0-4A9A-AF02-A3C4E24C9916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7af07974ad8783087ab1b975cd3d810e876a707f","datavalue":{"value":{"entity-type":"item","numeric-id":671654,"id":"Q671654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019026$2D43D5F1-B3BB-4B2B-AC3D-A80D39BF7B5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019026$110964C4-8398-4005-AA6A-90F5E7142886","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ce65d071e7340c2588abccb76c05f02030105cc","datavalue":{"value":{"time":"+2009-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1019026$8D681237-6925-4422-B240-A49219E1F39F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019026$C6EFCCC9-4DF0-4164-B9FB-2D45C64D81FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3a08b43e3a3bf8382dc87d10e7473656e1c4f73e","datavalue":{"value":"97C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019026$C16E37D3-DEEA-418F-B530-325ECBBD733F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5b879cb89d5fcb3b6951db11b8f96a665bef77a","datavalue":{"value":"5558122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019026$BC8D2862-4882-4E97-9987-83070174BECF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4e9ef6563cde3aee6dc1dd7aa791fb88368d377","datavalue":{"value":"formal software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019026$9659964A-438A-414B-BB25-0A1C8A757AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21fcdaae7bd7f916f8c05d335a3efea2b56f1f01","datavalue":{"value":"Frege Program Prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019026$09512F9E-2984-4CC2-A82E-6115542CB798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e200a6d94620ea6b2930c3abb43ba039201063c","datavalue":{"value":"Key system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019026$2DEB04C8-1D05-4A7E-9AEA-CF72C4C70D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42cd9254555adbe947684218c1fc23c2dbd80386","datavalue":{"value":"perfect developer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019026$6D2A8137-97E3-43A2-8FB2-407D3491B1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e13bc8441d7666d4310a93839316ebef38c603a6","datavalue":{"value":"prototype verification system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1019026$87174A94-E6F5-487A-985B-C9B31898DC56","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b685930ebed3a7153a01d37145262ebf0aed0063","datavalue":{"value":"Q57551400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019026$EBFF6F95-694F-4FB7-BBF2-6C59C2D8151E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019026$FAE9BD98-BFB7-4C03-B7F8-664ECAEAF8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019026$3FB7AB90-DC73-42BC-BC23-6E8821C1C0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29391b19386946f3f8609d95651483db905027b9","datavalue":{"value":{"entity-type":"item","numeric-id":22439,"id":"Q22439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019026$1DF8D8C1-15FE-4F85-A69D-E47B576E9667","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019026$7195175A-4A5E-4B5D-8E99-2989EDC3984B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0139ce82dc3629aa9285e3b2503af8d6b944bbc","datavalue":{"value":"https://doi.org/10.1007/s00165-008-0084-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1019026$C0DAC00E-482B-4B9C-8F67-5E9F41325B76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6993c46f104da03afbdbce1555f1f64045f97bd","datavalue":{"value":"W2066685587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019026$47EAC7EE-194A-4BE8-8FC2-BB72E7550E8A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019026$E8E7E94D-B19C-4565-AFCA-94E21D64A2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"149ff32ca36e33fdae222d2078b5f41470083e61","datavalue":{"value":{"entity-type":"item","numeric-id":4721623,"id":"Q4721623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019026$AC17DF3F-2B32-4FB6-B15E-AF171BD92988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18c9e2ac644564fdcbd6dbaf23e45f320cce72","datavalue":{"value":{"entity-type":"item","numeric-id":4818818,"id":"Q4818818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1019026$7798FA6E-D9BA-413F-8A2D-7B90862B7244","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0ed287d65a8b5382422f5005bf8f17524e5115a","datavalue":{"value":"10.1007/S00165-008-0084-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1019026$1C01C200-FEE0-4D45-8E3F-A9FB656ED4C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b247565fd34f906c1708cfd2fb10fd7373feaef8","datavalue":{"value":{"entity-type":"item","numeric-id":5408525,"id":"Q5408525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86289103d1957e38326d8eacaffb68cdb8c6f023","datavalue":{"value":{"amount":"+0.7327165007591248","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019026$19C3AA82-F89E-4281-9D95-5B9F800E7AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a51455d403e873eceee0b12bd906bf6b494716f7","datavalue":{"value":{"entity-type":"item","numeric-id":5503618,"id":"Q5503618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c49bbb2ce98c92ccdda4773311ab13c4a16022f","datavalue":{"value":{"amount":"+0.7209779024124146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019026$EA24973F-3687-49B8-BE6E-7D4F615BE40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f443a7429723175f4fe233bac2ab3d4741f8908","datavalue":{"value":{"entity-type":"item","numeric-id":1019024,"id":"Q1019024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de274595a8aa9515590fc04af6c53bcf9420b44a","datavalue":{"value":{"amount":"+0.7204805612564087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019026$672DDBFB-E19F-4D03-AE12-5A1C2DFCDBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"210574bcc38bb618c6c23b425089318a4a60069e","datavalue":{"value":{"entity-type":"item","numeric-id":1865842,"id":"Q1865842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b894f7d3f52502457855916749cabd8ea765e64c","datavalue":{"value":{"amount":"+0.7200156450271606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019026$00911681-4A97-470D-94A5-026F19FB84B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a14bbc2415120cf6e4ae74ad733245df7d23b91","datavalue":{"value":{"entity-type":"item","numeric-id":5034385,"id":"Q5034385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29792aca5f5d4f8f653f8c1e674d528410b3a8ad","datavalue":{"value":{"amount":"+0.710598349571228","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1019026$DE68BC47-9121-4A9F-9A4D-31687F92E586","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A comparison of tools for teaching formal software verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_comparison_of_tools_for_teaching_formal_software_verification"}}}}}