{"entities":{"Q757079":{"pageid":758928,"ns":120,"title":"Item:Q757079","lastrevid":64103373,"modified":"2026-04-11T17:39:57Z","type":"item","id":"Q757079","labels":{"en":{"language":"en","value":"P-A logic - a compositional proof system for distributed programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193143"}},"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":"Q757079$234DAF59-7AC1-44E2-8359-F6FAB25A35CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58c1002ed07993838daaa32baa0a06fbadffd26a","datavalue":{"value":{"text":"P-A logic - a compositional proof system for distributed programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q757079$C976883D-BC87-4D40-954D-EC5E6E4245D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69bfd1996f74f54f4769fabd3cf0011f377abd10","datavalue":{"value":"0723.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757079$6F51EF78-375B-463C-90A0-D7A1F02DEA01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9410638ffb4a7e7c71bfd7c20e9540719f4a446","datavalue":{"value":"10.1007/BF02311231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757079$CFC46A15-480E-456A-AB4F-22CA67CE10CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebecdc8963b6629e72067e9f36e75100892dbdd","datavalue":{"value":{"entity-type":"item","numeric-id":673874,"id":"Q673874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757079$94C1240A-B7C6-47FD-9D2F-8BEC2741A6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef3979302b875c048dc5c989eccf025415e00902","datavalue":{"value":{"entity-type":"item","numeric-id":757078,"id":"Q757078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757079$F59F99FC-A2D7-444A-BDCF-8C8836596116","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757079$D5F17978-378C-4C0F-B255-60318D80CC59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-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":"Q757079$FB14D363-1754-4092-B661-C0498886E02D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757079$2B596806-16B2-440C-BC6E-6688A8FE51C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757079$B6692415-7D3F-4668-BD9A-D94C3FF412FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a8dbaab4f2935d38222a1905281b33d3ea2ec5d","datavalue":{"value":"4193143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757079$5F48FD71-EE38-4A74-AA88-18327D95FA94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd68288e2c7408982f9f77dc680d0328b2443b0","datavalue":{"value":"OCCAM","type":"string"},"datatype":"string"},"type":"statement","id":"Q757079$2D54770E-E28E-4961-9100-69776587BE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q757079$11E45DFA-2F56-40DA-95B3-D18243894527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f1ce95ecd9083bc7cef41ba0e5eb73bd39f448","datavalue":{"value":"Safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q757079$0B09275A-A2EF-47C7-9334-46405A24825B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f09c6ceb7730fc7ec803b97ad598c619e899276","datavalue":{"value":"lifeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q757079$E0506B28-6972-4FF4-8BF7-B89287381BA2","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":"Q757079$0CC6A4E0-8CBE-4198-AF57-074FB2843748","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757079$7CF8380D-A3F8-4CAC-9ED8-75D99CC244A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757079$B2B4836C-BCD8-4816-A29F-7F436994672E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"924ff7cd258541e547151ab7d7324dd9343127ce","datavalue":{"value":{"entity-type":"item","numeric-id":1242445,"id":"Q1242445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757079$6D5725FD-F469-4D67-B23F-9BF5D95268A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757079$D697E939-2DD6-4BC8-B1F4-32FC76CC6CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757079$F454DC4B-3EB4-4B78-91E1-D2A05FF750AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abb4d5aadd197de7bfe25cc729a40b39875c154","datavalue":{"value":{"entity-type":"item","numeric-id":1164413,"id":"Q1164413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757079$F83B768E-CAEA-4F61-914F-D8D49B4B5977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757079$934EB3C9-A8AD-4F8A-91D5-6ACB1BE943D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0817097b6d61530cc9a7e9ec3f78c24eda4ab674","datavalue":{"value":{"entity-type":"item","numeric-id":1153686,"id":"Q1153686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757079$E8283CE0-DD8B-4563-9D53-7FAC2C8F024B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757079$0AF35E46-7A3A-4BCF-ACC2-283E24AFB6C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e4a104c46b0cc2e3f749b9740995e9c76a18d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838826,"id":"Q1838826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757079$D5B0EC7E-D9E9-4275-A0BD-1BB6B5BE9BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb50d7d6df1ee8a7b92fef22439e11dd3fe9359","datavalue":{"value":{"entity-type":"item","numeric-id":1079011,"id":"Q1079011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757079$24A946A1-1CAC-4029-BC5D-733BEE2AFDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a98806b17c2bbcd29d4513072d41db9b6317d23","datavalue":{"value":{"entity-type":"item","numeric-id":3681905,"id":"Q3681905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757079$03718F47-7A85-42AC-B1E7-41B3A1BE7CE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4f64e93cf38bf6fe392770a344bb7ad66f300b4","datavalue":{"value":"https://doi.org/10.1007/bf02311231","type":"string"},"datatype":"url"},"type":"statement","id":"Q757079$7CFA6D2B-D6D6-4416-B60F-683901543C32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8329625732dc701f0aef3d1162abbbd3689e5771","datavalue":{"value":"W2039277865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757079$7EFF2D49-9078-4248-A5E1-1E0E09763419","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee4294e71cb3b66235c64fdb14d02d42c0ec26b","datavalue":{"value":{"entity-type":"item","numeric-id":4560363,"id":"Q4560363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fefc7793a79cf02ac1e1476abb17d1c5565912c2","datavalue":{"value":{"amount":"+0.7980539202690125","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":"Q757079$8ABBC8CD-B7F3-4699-B00C-B4BCE1B90F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba2de0735a98e19f269809981a88c74ef2b07ed","datavalue":{"value":{"entity-type":"item","numeric-id":3350772,"id":"Q3350772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b713511c29f2c60c4006993411a06497ff3e11c4","datavalue":{"value":{"amount":"+0.7942122220993042","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":"Q757079$AE4AAE3B-886E-495A-96C2-FA2D767962E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ff37d49902b9d5663ee08fe8164dedca9a14e82","datavalue":{"value":{"entity-type":"item","numeric-id":1106014,"id":"Q1106014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c99da2a7f134aa714c0e3681eed5871627d8dbf","datavalue":{"value":{"amount":"+0.778609037399292","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":"Q757079$CA0B3817-5A40-4A7A-9F9E-E86117FCB93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72dea1da88d3e16606045c50684558de89c67ce7","datavalue":{"value":{"entity-type":"item","numeric-id":5958463,"id":"Q5958463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d68e796aa04cf548611be21b282a3aab3fcee4","datavalue":{"value":{"amount":"+0.7738020420074463","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":"Q757079$108DE1DF-7737-474A-9CEB-95E79290C817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5f31e86f45c563be4a57d58b223ba48252e7aae","datavalue":{"value":{"entity-type":"item","numeric-id":1085970,"id":"Q1085970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07687b757389cb43af147ab039c2a1ef2f4fcb23","datavalue":{"value":{"amount":"+0.7685841917991638","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":"Q757079$E111DB5E-E73C-480E-9502-A10C316082EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"P-A logic - a compositional proof system for distributed programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/P-A_logic_-_a_compositional_proof_system_for_distributed_programs"}}}}}