{"entities":{"Q797986":{"pageid":799834,"ns":120,"title":"Item:Q797986","lastrevid":64450659,"modified":"2026-04-11T19:57:29Z","type":"item","id":"Q797986","labels":{"en":{"language":"en","value":"A general proof rule for procedures in predicate transformer semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3870576"}},"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":"Q797986$58DF9451-1EDE-4AFE-9181-CAD1008BDD70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c8c758261afa3ac67f4883c7f2b79e9899ecc3d","datavalue":{"value":{"text":"A general proof rule for procedures in predicate transformer semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q797986$7E38090D-196A-41F7-9034-7B22AE32538A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ef01961ea878c792e51bec6e90ce7ad504db1e1","datavalue":{"value":"0546.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797986$3551820A-A3C1-4132-8BE4-7406DA6B1AC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"368f3eff992210540edd3170ac1062469b77a84b","datavalue":{"value":"10.1007/BF00264276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797986$58A16931-D5A8-4CF2-938B-5A7FAB3CD307","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f3afe6a1a62a4538b2439fef487959c710cf5c5","datavalue":{"value":{"entity-type":"item","numeric-id":685121,"id":"Q685121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797986$67F760B2-D5D9-4F61-AE2E-6B316C6069AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797986$C588F010-BED3-4AF1-880A-9EBCA871F75A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q797986$C63122AB-016A-4E1B-A2E9-B6A8DF074BAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797986$0C2C4AFD-081E-43BD-9DCD-3FBB280AA73C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aff0adca038281849e0f27c8b2eb38a7af7688b3","datavalue":{"value":"3870576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797986$D3117909-C424-4F5C-8DED-7EB377F9ACBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q797986$EC6DEA8B-155D-4BEE-A58C-E92A43DB41BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q797986$E5A66F30-5FB7-456D-8D62-423FAD25E19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc54e2ee713bf6ef933abe433da86dc03aec7ba","datavalue":{"value":"proof rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q797986$1C319AA3-B9C5-4B01-891C-F698E501EC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a32ec6f9df26104fd1a27ca4deac78da51240f1","datavalue":{"value":"procedure call","type":"string"},"datatype":"string"},"type":"statement","id":"Q797986$9D5B989B-BE3A-43B5-89D6-C1594112A4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09163f453bb22eff112ba67cbcc52754d2a1d900","datavalue":{"value":"parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q797986$A19404C8-EFED-40AA-A28D-23C42B056A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ffcd080b8a6812ca6b84c24d951f3535846f3a","datavalue":{"value":"recursive procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q797986$85D7B392-B261-4C00-9BA4-088A83AC9FA3","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":"Q797986$B88AE415-B53B-479B-9742-715A5CB97276","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"802a0c27b04ac0644666aa61d3e3c24e02d5c481","datavalue":{"value":"https://doi.org/10.1007/bf00264276","type":"string"},"datatype":"url"},"type":"statement","id":"Q797986$F6D86921-DA3B-4AEB-8FA0-367EAC74AD67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73558408b75acffa6762609e6074aac6f8e72358","datavalue":{"value":"W2015744089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797986$295EE11C-5E92-464C-B419-1B26C831ACD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac1e03e79ab26cf28f54964f9fe002b3c2a096b2","datavalue":{"value":{"entity-type":"item","numeric-id":2870114,"id":"Q2870114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b125b17cab09fa6ad4a5d537b4ac47642fe97f2e","datavalue":{"value":{"amount":"+0.887577","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":"Q797986$D4492FEB-F8AB-4C8C-BD30-58DE6497D780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be9108c8fcfb83f075bfefb84dde5377179e381","datavalue":{"value":{"entity-type":"item","numeric-id":1101439,"id":"Q1101439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d5aca9af18dd9f5762582b6ba4105331052cb4","datavalue":{"value":{"amount":"+0.88437897","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":"Q797986$3030896B-26D1-4436-9635-A83A792ACF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab0fdf86f28858c64e4537be93177dfbf7fe7b9c","datavalue":{"value":{"entity-type":"item","numeric-id":4202945,"id":"Q4202945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf5587d3a519dd7aac147a22c9e8ee4fc23ac5a","datavalue":{"value":{"amount":"+0.8775741","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":"Q797986$16E9B286-8B1F-48FA-93BE-74492C769B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b67969910583224a3306c0e15d490bca1fb01f3","datavalue":{"value":{"entity-type":"item","numeric-id":3569038,"id":"Q3569038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"683b6fe383b02b5f2773b6a7b35242b66b03a178","datavalue":{"value":{"amount":"+0.87634814","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":"Q797986$E71EEE07-2027-4A01-B639-5E8E0AC1FD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19077c4a91a76f2b9613650b2b5d1c2d1487498a","datavalue":{"value":{"entity-type":"item","numeric-id":3841095,"id":"Q3841095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"427f6635fd6458b58ce415cfe70fa0fd90e9e944","datavalue":{"value":{"amount":"+0.874917","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":"Q797986$AF53AC04-55FE-4D28-AF8E-23BA488C8667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"199518c26887155607064620671f29c885713d7e","datavalue":{"value":{"entity-type":"item","numeric-id":672318,"id":"Q672318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd5b9055b5414e53dc898b445561e86bbdd6310","datavalue":{"value":{"amount":"+0.8735744","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":"Q797986$C81B8383-D432-4DAA-B7AA-26CBA1DD6C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b3ecfe5c7d42630d730fe08b10545cd61919954","datavalue":{"value":{"entity-type":"item","numeric-id":1974480,"id":"Q1974480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da660c37effc8ce66b3dfd12d6f7c3cfaadf1ab2","datavalue":{"value":{"amount":"+0.873043","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":"Q797986$C498A722-565A-4B93-BB1A-BADE7730FE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02875efcda45dd6c3450fa983afbefd43cb26b91","datavalue":{"value":{"entity-type":"item","numeric-id":5285991,"id":"Q5285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fcf004197dbc8e18bfc0621eacffdb664fd269c","datavalue":{"value":{"amount":"+0.8719529","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":"Q797986$40085D66-2150-4877-8468-3A3906F5AA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"963e97bfe29ecc4051b00561305d548e4d1322e6","datavalue":{"value":{"entity-type":"item","numeric-id":3135115,"id":"Q3135115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd7f0ce27a92c4486cdd8784ced687f9f6ff54a1","datavalue":{"value":{"amount":"+0.87159115","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":"Q797986$A19025C6-28CF-42C0-B59F-11F72BB6D2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5bd0fa66fd9009baaa2529908f98e3f28360a72","datavalue":{"value":{"entity-type":"item","numeric-id":5055713,"id":"Q5055713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9dc56377873f4190a47d8a89463b8fdcf90018c","datavalue":{"value":{"amount":"+0.87005204","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":"Q797986$009AE836-1FE4-4F86-96F3-5E982A150892","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A general proof rule for procedures in predicate transformer semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_general_proof_rule_for_procedures_in_predicate_transformer_semantics"}}}}}