{"entities":{"Q3802589":{"pageid":5832495,"ns":120,"title":"Item:Q3802589","lastrevid":81232340,"modified":"2026-05-06T18:02:44Z","type":"item","id":"Q3802589","labels":{"en":{"language":"en","value":"Problem-oriented program verification system ?SPEKTR?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4070285"}},"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":"Q3802589$F2D446BB-695E-4041-AC06-E9CCD3036DC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"195c6015053eba3088d5968b8b9d6acad2b6f483","datavalue":{"value":{"text":"Problem-oriented program verification system ?SPEKTR?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3802589$9A0CA07B-FFC6-4759-8C40-39B4259B9341","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17e3a29f3150d4d0340faeac19698f5f2a73009b","datavalue":{"value":"0655.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3802589$C4C4C901-EB11-4200-ABE4-CEA897681592","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42198ea18ba2369c994983083db828ed70991188","datavalue":{"value":"10.1007/BF01070237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3802589$7EDC2CCF-C96C-443D-BE06-E8EFEEDD6888","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f12ab6a50dca285e32f059f3cef41583e61bc6ed","datavalue":{"value":{"entity-type":"item","numeric-id":174086,"id":"Q174086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3802589$16FE075D-08ED-4312-820C-AAA9E28E5BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d18c6388e68d874d59ef3bb46417a36cba3a3e6d","datavalue":{"value":{"entity-type":"item","numeric-id":1091794,"id":"Q1091794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3802589$C1D21BAA-78F2-45CD-B1AD-F9EDA908E043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"051462c66a3c1f7616f820e39aae5bde172c6e58","datavalue":{"value":{"entity-type":"item","numeric-id":801658,"id":"Q801658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3802589$834ACD81-877C-41F8-BB1F-2633F6B51B15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3802589$F8E5B2E4-132E-4807-8989-99C616BFB080","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3802589$BCB05C0C-45AA-4603-AD35-1F1F982BDCDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3802589$4DAF0249-6C0B-4A0D-A276-EB56CCD00B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3802589$52A89D95-B646-4DD4-BE01-7B23FF5EF18F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46c0d5d0038250c3552e12b7ce74f5ff7b0283e8","datavalue":{"value":"4070285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3802589$F901E5B8-0A8B-4E07-A648-47F448B04783","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3802589$2C650ABB-03A1-4C35-98C4-F763D89873F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad494582a60d65d105f64fbe38226e909baf9ac6","datavalue":{"value":"Hoare's calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3802589$9003F5F5-9853-4C85-B941-86F628B457F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3802589$F5991F92-A435-4074-930B-3F13B7EE6D51","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":"Q3802589$E9893D25-F5B7-481B-85B2-D38BA3ECD644","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbfa73ac9df18013941340d21a3347d9c36dd18","datavalue":{"value":{"entity-type":"item","numeric-id":3857732,"id":"Q3857732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3802589$F25B18B0-0932-4901-91A2-D5B513AE0209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7493bf656ba59564acd6b7893d63e8087a65415a","datavalue":{"value":{"entity-type":"item","numeric-id":3960818,"id":"Q3960818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3802589$215FD8B2-FE4B-44EE-B751-C44555929C44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bd51915b1633dcc22ea8638f4ad41e14f6bca44","datavalue":{"value":"https://doi.org/10.1007/bf01070237","type":"string"},"datatype":"url"},"type":"statement","id":"Q3802589$799B4D4D-0C2F-44F0-83A2-B0517889E611","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5ed6a0228cdf6b06da39ad851218aff5e443ce3","datavalue":{"value":"W2075236461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3802589$96B82465-FD0B-4B25-A54B-D2F189A23FE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06af9405fc7e824174152477e468ea3615239a62","datavalue":{"value":{"entity-type":"item","numeric-id":1386947,"id":"Q1386947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5281c63e44bfd8927befd5664500b302a7f541d6","datavalue":{"value":{"amount":"+0.8987378","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":"Q3802589$118F208B-4533-42D0-8C54-048C6313964A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93d17d44acb6d4aa6cd84af4e4e9342c1526b2e2","datavalue":{"value":{"entity-type":"item","numeric-id":1816342,"id":"Q1816342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ac9b66be3852d0bb0950ae54843dab8be83f72","datavalue":{"value":{"amount":"+0.886467","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":"Q3802589$A3303080-8FD9-4965-B5C0-BD1E8CDB4F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b98ae5b90138066d60d4f09aceea7fae0605e7","datavalue":{"value":{"entity-type":"item","numeric-id":1082069,"id":"Q1082069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45840ede371d84072a7aef97bdd3f9db1f3a6f02","datavalue":{"value":{"amount":"+0.8732305","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":"Q3802589$D8BB9A20-599A-4F22-AC9E-2BCE37C4B025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cfa9698d0a5a745c407ae255f81bb7deaa80bae","datavalue":{"value":{"entity-type":"item","numeric-id":1311971,"id":"Q1311971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"817d768fee963ad6b0698cd9ad517ac22f9a829e","datavalue":{"value":{"amount":"+0.8567191","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":"Q3802589$D34BC550-58E6-42DA-8BD4-BB1D163872CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34ba54a75409a2902c04421224b5f6bd7ce386c","datavalue":{"value":{"entity-type":"item","numeric-id":466002,"id":"Q466002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0adb2484f0bea64867cf639b2703eac88e18d7b6","datavalue":{"value":{"amount":"+0.85350806","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":"Q3802589$30307AD3-959A-421E-A0A6-AEEA37C0770A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d23bb3a37ca2a12a3bcd367720640c4dcc3a0ae","datavalue":{"value":{"entity-type":"item","numeric-id":466416,"id":"Q466416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3bb2ba1f61fa3d86cb685d85bcec541c8a15d63","datavalue":{"value":{"amount":"+0.84710526","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":"Q3802589$5B26EEC5-72BA-41FA-A1C9-650FE80835D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1d31a1939b7e893a04b16b337fd391a8c5a3ef","datavalue":{"value":{"entity-type":"item","numeric-id":4335371,"id":"Q4335371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cfc5b0210de93c33c9faed43ac27eb8e8002b61","datavalue":{"value":{"amount":"+0.84131676","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":"Q3802589$588F72B6-9D67-4EF0-8C78-238BF1DC7615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9acca83a3aed74ca46fe74e28aefccca0902496b","datavalue":{"value":{"entity-type":"item","numeric-id":4934529,"id":"Q4934529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a841c9012a253f4ebaca9a2ca157840477d753","datavalue":{"value":{"amount":"+0.83984756","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":"Q3802589$7D03BC3B-EE87-4A96-982A-71798A9ACA99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Problem-oriented program verification system ?SPEKTR?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Problem-oriented_program_verification_system_%3FSPEKTR%3F"}}}}}