{"entities":{"Q582037":{"pageid":583804,"ns":120,"title":"Item:Q582037","lastrevid":62948199,"modified":"2026-04-11T09:11:07Z","type":"item","id":"Q582037","labels":{"en":{"language":"en","value":"Auxiliary variables in partial correctness programming logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4129961"}},"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":"Q582037$C466510E-F35A-49C6-8EC8-3B8961FB6507","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8304511aeb5b049d2b210dfb1c00a7c7ca028ff5","datavalue":{"value":{"text":"Auxiliary variables in partial correctness programming logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q582037$1E79A130-C0AC-41A3-81F3-7E8194BAE7A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb9ca6ae85cff0c2278929f4027278c8ff141145","datavalue":{"value":"0689.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582037$4ACDF382-D391-4970-9340-03FC90A632BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73c45ec64743b5ac106e3123f8210990632661b7","datavalue":{"value":"10.1016/0020-0190(89)90191-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582037$658A910B-ADD8-4273-8578-8601361392AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aa5d9524ddedb224bdc12102f476ab6fbd60bd1","datavalue":{"value":{"entity-type":"item","numeric-id":582036,"id":"Q582036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582037$DC98739A-CA1E-4E3F-8D95-50B8859D535C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582037$4D26DB6D-0201-46D0-9F7B-7069607278F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q582037$467FDFD6-933D-4950-B368-DD7087FCACA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582037$CB9D8119-46B9-46A3-9DA2-EFAA9A0BEC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582037$393BDA95-03AD-4493-A23B-56F3D16EC3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582037$17F08971-6FA0-4A45-B62D-52F33D07680B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7662b5e3cf81ea91ce33c32dec83b382a6f71d9d","datavalue":{"value":"4129961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582037$75773729-E93A-41C5-831E-798D19B66B4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q582037$B0366B42-DC1E-432A-9CCF-15B6337FBD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc4bafe6ad5e2f3cf1072f045d8b2c71e6dde0cd","datavalue":{"value":"programming logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q582037$80A84B2D-F7DE-4221-8B33-DBC1FBFC3B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q582037$6B95B63A-2B5B-466A-8F99-B2F7984970FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000d915dbeef2d4af5fccf3e65c57aca9a8df70a","datavalue":{"value":"Auxiliary variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q582037$A35C4761-7129-4E1F-83FA-0F517083374A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d25a22cb2c2062100f72167f480460ddf35f8444","datavalue":{"value":"Owicki-Gries logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q582037$FEC2C947-3F1F-4C9B-9737-771278B4BC2F","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":"Q582037$21DA58CB-427A-474D-A634-31DF2D642075","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e6051fc6c1a51ec8986606370802f3dea6cda57","datavalue":{"value":"https://doi.org/10.1016/0020-0190(89)90191-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q582037$3E075AC3-94E8-432D-96AD-00C32EE8280C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56c9256ce44a75c4e8416e9c9f1b0ecdd56edab7","datavalue":{"value":"W1973624402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q582037$513B7C17-68ED-4E61-9C36-833771F69C4A","rank":"normal"}],"P223":[{"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":"Q582037$84FF1D72-1D71-41ED-83F6-18C571B096A7","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":"Q582037$1B5F83D0-31C0-4C26-86FF-40D65A35D7A8","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":"Q582037$8D8B37CE-8698-4C1D-A4E8-09977FD7B44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"012b92d370d97f0cd4ff2cdadd43bc8000a781f0","datavalue":{"value":{"entity-type":"item","numeric-id":1114384,"id":"Q1114384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582037$D5C333EE-53AC-4B6B-97CA-03DB1DF9FFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q582037$75267E8F-73F8-49A4-B58E-1A107071AD2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb004d9e5faab01527129ff8d0da7da78b232f0","datavalue":{"value":{"entity-type":"item","numeric-id":1977126,"id":"Q1977126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e85bcb926bdff77d2fdfa5bce09cd403db7e7742","datavalue":{"value":{"amount":"+0.811176598072052","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":"Q582037$2EB8F8F2-173E-4E2F-876A-FAAAE808AEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc0987284c42212d108d75b0b08fad927782469","datavalue":{"value":{"entity-type":"item","numeric-id":3163402,"id":"Q3163402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1459aaed8e68244dc9c910d3abdb4a7a60ae64ed","datavalue":{"value":{"amount":"+0.7222915887832642","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":"Q582037$4FD7CF8B-CB56-4244-877D-032ACAC6679C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88ec505860a7105eca1b116a86a251712ac10d3","datavalue":{"value":{"entity-type":"item","numeric-id":2026798,"id":"Q2026798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e039ea7f561104cd8f50c397eb1cde1b327299d","datavalue":{"value":{"amount":"+0.7045117020606995","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":"Q582037$07644220-F35C-4BD7-8469-5B1FD4948BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e49925a4e6c465ee95c5f39f6ba4e65df97fa392","datavalue":{"value":{"entity-type":"item","numeric-id":673461,"id":"Q673461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ce9fd32a727c3633aa0ee1b369b94f7959f8cc","datavalue":{"value":{"amount":"+0.6575009822845459","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":"Q582037$907BC39D-5A64-4BC0-895B-393D30144EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be14ee3b3bd3e590de36c2e655d28daca8a3e4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4250662,"id":"Q4250662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edf7da11c08c7cc3489b1f2aa4bd09923d6c6785","datavalue":{"value":{"amount":"+0.6516838669776917","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":"Q582037$2407266B-38FD-4A78-B87A-B485A4715ED8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Auxiliary variables in partial correctness programming logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Auxiliary_variables_in_partial_correctness_programming_logics"}}}}}