{"entities":{"Q3829057":{"pageid":5858963,"ns":120,"title":"Item:Q3829057","lastrevid":90773717,"modified":"2026-06-04T21:19:58Z","type":"item","id":"Q3829057","labels":{"en":{"language":"en","value":"Axiomatic system for proving the properties of simple multimodule programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4104370"}},"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":"Q3829057$6EF74AF5-E40E-4AF6-AFDA-C4D73BE991FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7017d31add43a6138d201b201abcb45a05664fd","datavalue":{"value":{"text":"Axiomatic system for proving the properties of simple multimodule programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3829057$735416C8-FFF5-40E0-BFC2-1D33736827E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19ff3b4152ef8232b9f487bd411106db55508e77","datavalue":{"value":"0674.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829057$C5D6CFDC-5393-4336-BCC0-C82D2440711B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2b18470f7eaab0cc2b48a6feec3bb91f65e68ed","datavalue":{"value":"10.1007/BF01082606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829057$132C293F-D89A-493E-9EC0-356489555AFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f7f4554c9f43b3bd7614165522cd85cb08906c7","datavalue":{"value":{"entity-type":"item","numeric-id":3048202,"id":"Q3048202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3829057$4126C46C-4612-46A6-80BE-14463E153C4C","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":"Q3829057$F3E7550B-F826-4BA6-8314-711BC1A3EEF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3829057$2A99C85B-08EF-40CD-A5A3-17B1A00A8FEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829057$950D7802-5B79-4C48-A345-BBF19A659815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829057$7959BC32-FD3F-4402-9926-C96B242F0E6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb24fb84b84662e548659b8904d18d6db44ff5b2","datavalue":{"value":"4104370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3829057$1207DEE4-453B-46A5-8225-8AEB60DC410F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"958617448cde722b3852fde5cb68031e8ccbf2b0","datavalue":{"value":"distributed programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829057$4E0F53E2-4071-4E40-BFFA-5F7621B37D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6e668a3ae9bf340b9c124844bc54ed667788872","datavalue":{"value":"multimodule program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829057$AFC39109-5DC3-4EA9-AE04-41EFC01D9B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c078ac6b4aa6494d6d5c36981e624a189730ba5a","datavalue":{"value":"axiomatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829057$7CDC828E-87B3-416C-92BC-2A7B50EED31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829057$4BAB775D-4B40-46DC-A9EA-BB6BAE66E565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75dfc3c1a2b2d5cf8b6714ca9704d4dc381f3aab","datavalue":{"value":"state transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829057$C44CD53F-3502-4471-990E-EFFF71A8F64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a531b609de5cc4866d32f3f5896190f29947e64","datavalue":{"value":"Consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829057$CD9D634C-9947-49D5-83F3-E62350A0099D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3829057$8DA9B45A-72F2-430A-A0A3-493C81FDFE70","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":"Q3829057$57609467-CD37-4B00-A3AC-49700CECE9A3","rank":"normal"}],"P223":[{"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":"Q3829057$E8F1D3F0-F38F-4009-8FC5-2D13B9437778","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":"Q3829057$F758487E-9A3A-471A-BA30-ADF35A7A4947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4861b46511d52f3e16fdcadc0451145d8236344","datavalue":{"value":{"entity-type":"item","numeric-id":3756505,"id":"Q3756505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3829057$C9BB04F7-AA68-4CCD-9E61-DA831502B893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a9238fc49995a79f8c006683b1a9c42fafe2bd","datavalue":{"value":{"entity-type":"item","numeric-id":4085221,"id":"Q4085221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3829057$360005B6-2B93-4AD6-8FE6-7991D4F84731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52269c610adadcff26528deece015a685bb99129","datavalue":{"value":{"entity-type":"item","numeric-id":796298,"id":"Q796298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3829057$91567802-EBF2-47C1-9247-DC09A4DE1864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3829057$B43819E2-0849-4B17-9FA5-EC86B758DFDE","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":"1bfaa4bdd3bda210b92902b3f27025cd2dbecc5f","datavalue":{"value":{"amount":"+0.7914620041847229","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":"Q3829057$C1E6FA08-34F1-46D4-A4FE-23BB80B2FA46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6f994329fed0f753fd3a9073563a9a9b20a737","datavalue":{"value":{"entity-type":"item","numeric-id":3680251,"id":"Q3680251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1db57acc2c2e3025c68961e6ccd8b47b9663d11","datavalue":{"value":{"amount":"+0.7511791586875916","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":"Q3829057$B38A2048-1B6D-49A9-BA14-BBA1C2DA6B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf95712cd61486cce6e10eae28ff17b416268869","datavalue":{"value":{"entity-type":"item","numeric-id":3685165,"id":"Q3685165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0a78ed44bdd6290ca02461b89b0ad6483906022","datavalue":{"value":{"amount":"+0.7453854084014893","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":"Q3829057$4DF863EA-B3D3-4036-B722-3A4B3A1AA39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7992c6d71b44c1d68d8fc67a1d1533e98c8963ff","datavalue":{"value":{"entity-type":"item","numeric-id":3793703,"id":"Q3793703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9abf70a886936eba2b613d8828254904b790d351","datavalue":{"value":{"amount":"+0.7420902848243713","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":"Q3829057$79C9A7F0-C68A-4D20-A685-6610293E109D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6690f5123be9fcfe06f9e6da3fedd40a8562dd","datavalue":{"value":{"entity-type":"item","numeric-id":3330490,"id":"Q3330490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe1bba944bc2a1aea615af983035649688ced27e","datavalue":{"value":{"amount":"+0.7363347411155701","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":"Q3829057$7096BFC1-8A74-464A-A7D3-2F0DFA1047D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatic system for proving the properties of simple multimodule programs","badges":[]}}}}}