{"entities":{"Q1329200":{"pageid":1339950,"ns":120,"title":"Item:Q1329200","lastrevid":43037327,"modified":"2025-07-17T03:07:26Z","type":"item","id":"Q1329200","labels":{"en":{"language":"en","value":"The verification of modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 598170"}},"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":"Q1329200$2B4B642E-9992-499C-857E-0690AA65A257","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d76e76b67191278fcc64f0bbab898308c1b6483","datavalue":{"value":{"text":"The verification of modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1329200$354E2736-5766-4A7F-80BA-3AD1280024FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f53784e83cd883907e8b555a98ac9e1198dbaf3","datavalue":{"value":"0806.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329200$C658CC8B-F0D2-4BE8-AC64-988C943E662B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf6bac262f89e47dec4c651c64141dca6ded8d38","datavalue":{"value":"10.1007/BF01221100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329200$931EADFC-BB80-4A23-92B5-5E18FD384F11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c3148aec313a02e6c2fdd6275819883a763f27f","datavalue":{"value":{"entity-type":"item","numeric-id":360255,"id":"Q360255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329200$0F8D614E-7BAE-492F-A5CD-BFF1ED8D86B6","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":"Q1329200$DB5D4B1E-8A10-4B04-A3EC-3EE45FEC9CD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"489485f02f87b2a6e7bf05282bc879b8f2dcc5dd","datavalue":{"value":{"time":"+1994-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1329200$C6A01BCB-0DCC-4CA8-B46F-0EFE95C94484","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329200$6D66A0AC-B313-4EA1-B34E-7CE2ADB4867B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329200$97A61CE4-7BEC-47CF-A5E0-A7D3389D627F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"491a3783e8ab6be3aae9ab604d594614d62a32b4","datavalue":{"value":"598170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329200$02654B61-17D3-4C25-84E3-5E92A20C9F2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae20b0ad3f6489b55984c0942e20bc26339567a3","datavalue":{"value":"module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329200$8EE9E162-703D-4AA8-9AA8-A60EF0F51B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a273b477b1df074eea31ef84d0794c36600742c","datavalue":{"value":"algebraic interfaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329200$135DD19C-8216-47A9-AE73-B5B742007D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329200$A6AAB072-4728-4D4C-A1E8-72D752D4FB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329200$314D6530-EE08-47FD-9148-2E70595F66DB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7d0761a5bae9825f32d247a187e817e7789d9cce","datavalue":{"value":"Q58198188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329200$BD773BC3-72E4-4ACE-9183-A134BD09C395","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":"Q1329200$43FB35A7-D82C-42AA-8D85-1481C938A16B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7ba3498ed2533cc8294291e8da029cff90e0457","datavalue":{"value":{"entity-type":"item","numeric-id":1329200,"id":"Q1329200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329200$83064ACC-A121-488C-A206-1D5E825FAB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a5c7cd7ac3d2606682d37e43d5ee5309dc46e88","datavalue":{"value":{"entity-type":"item","numeric-id":4028366,"id":"Q4028366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329200$48093E1C-3E80-421B-A5EC-ED7B9089338B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97efb904cf6e01e8680572cb5f98da8e907a5574","datavalue":{"value":{"entity-type":"item","numeric-id":796299,"id":"Q796299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329200$0D0FA041-BD74-41A1-9ECF-1BE0F113640B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2490f30e81186db7858efa3c3ca13c7e14df0a2","datavalue":{"value":{"entity-type":"item","numeric-id":1089795,"id":"Q1089795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329200$A2E4A55A-386B-4E13-8D13-A95267604D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c23a54cf5c2c32f027cfca2700657a849c9c7aec","datavalue":{"value":{"entity-type":"item","numeric-id":800082,"id":"Q800082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329200$1560A88F-459A-4E35-81E8-0378AFD6D07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329200$8B3393DD-180D-4CFF-AA29-0417FBD3FB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810521b66dcaf77930b207eb0e5ca579b224f2bf","datavalue":{"value":{"entity-type":"item","numeric-id":3995131,"id":"Q3995131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329200$CC401116-C6EC-439D-9B94-C81D4EEFA1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329200$3E18E1D0-8F11-4E8B-A813-E3E40298F226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34478b49dce3160ab1e7018f4565d0a1d82937d2","datavalue":{"value":{"entity-type":"item","numeric-id":801666,"id":"Q801666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329200$F5818E09-DE85-4278-894A-12661EA8C4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f5f7f66378af973224e264ccdd4b43fec6cf46","datavalue":{"value":{"entity-type":"item","numeric-id":4743710,"id":"Q4743710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329200$5017A678-E3E0-401E-BC88-C863D5734927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7819fc98e58f6a1c5d2d0b94742c5cd4395d85","datavalue":{"value":{"entity-type":"item","numeric-id":3768378,"id":"Q3768378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329200$7F1BEF2A-AFA9-4332-B9DC-C82D54B4D885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a178498bab7a101c51172938d9bf5da16ec08dad","datavalue":{"value":{"entity-type":"item","numeric-id":4162693,"id":"Q4162693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329200$95F2B431-F04F-4D84-8D6C-500985C47D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc7c80135ed65b38d7fef7c0e832d27cd87588f","datavalue":{"value":{"entity-type":"item","numeric-id":3995530,"id":"Q3995530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329200$3D05BE5F-A274-48E0-B96C-AC2F99938BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef64c206d28eef311c6d5acae9d03579ed6da28","datavalue":{"value":{"entity-type":"item","numeric-id":3962451,"id":"Q3962451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329200$681D02BB-16CC-49D0-981D-7A975301922C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03f0d58636ba080342733786a2e2395ad4e7bde","datavalue":{"value":{"entity-type":"item","numeric-id":4003336,"id":"Q4003336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329200$F9E7080F-232E-4718-A198-03FDAD8B7628","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a85d5eaa5026aae2b79cbf852b48788095678a","datavalue":{"value":{"entity-type":"item","numeric-id":4028366,"id":"Q4028366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b60cdb476df6b6d01006d8652bb1c9f3b968add","datavalue":{"value":{"amount":"+0.9433231","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1329200$57BB9777-5900-4EAB-9251-ABA0A6E6CCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b658ffc108fa5dc7180328da3d53373f0950d571","datavalue":{"value":{"entity-type":"item","numeric-id":6056642,"id":"Q6056642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"986c05f18fe2bc065585cf44447a1774a474e497","datavalue":{"value":{"amount":"+0.8981756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1329200$1AB786A1-BB0E-421C-9B25-3577230B10FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35ff78c8d48a3efe9392d20b836a33597645858c","datavalue":{"value":{"entity-type":"item","numeric-id":5186711,"id":"Q5186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3ad363c217e9263530ebfc13d0f3c32f870f64","datavalue":{"value":{"amount":"+0.88366324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1329200$5D32ACE7-9B28-4E54-9520-E679DE780CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5937e7faee34f50d3eb4b9e3f05c1a28f9062d6","datavalue":{"value":{"entity-type":"item","numeric-id":4625145,"id":"Q4625145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17dc90b01ab814996531767c5b4144dcb48bcd4","datavalue":{"value":{"amount":"+0.8830291","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1329200$6DC97F94-28EF-4BDC-B3A9-6D90BF22EDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f416fab8a7371bf70e6cfc3b3e66dc9f3ad65fa","datavalue":{"value":{"entity-type":"item","numeric-id":4037386,"id":"Q4037386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f67c555b711cacb1413344bc1421dee7e4b9b2d2","datavalue":{"value":{"amount":"+0.8789109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1329200$97CD0573-D4C0-45EE-AEAF-F38D4D2031DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4619d27d4dec37f0f3c9c07ff065c408d361f8","datavalue":{"value":{"entity-type":"item","numeric-id":4037111,"id":"Q4037111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f67c555b711cacb1413344bc1421dee7e4b9b2d2","datavalue":{"value":{"amount":"+0.8789109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1329200$7A289209-B4B3-4287-987C-A0B20BB25DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd61de02ab022b2df42d3efe71626fe9c443d90a","datavalue":{"value":{"entity-type":"item","numeric-id":3630170,"id":"Q3630170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb096410c6225e69aa909e947c9559d3f1479647","datavalue":{"value":{"amount":"+0.87465847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1329200$15458884-17C1-4DEF-8D3A-FA6BC29F2DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31692980790302da348a59a3d2ed3ce6349363b","datavalue":{"value":{"entity-type":"item","numeric-id":3395261,"id":"Q3395261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ab40a2cfc2427496ba677e83a74423998ede1a","datavalue":{"value":{"amount":"+0.87151146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1329200$C0D6511A-8E44-4CF9-A30E-BD42D0ECD1FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1329200","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1329200"}}}}}