{"entities":{"Q3723689":{"pageid":5753595,"ns":120,"title":"Item:Q3723689","lastrevid":50763068,"modified":"2026-01-15T02:15:30Z","type":"item","id":"Q3723689","labels":{"en":{"language":"en","value":"Some Variants of the Weakest Precondition in Nondeterminism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3954263"}},"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":"Q3723689$A1A88DE1-C1DF-443C-8245-76DD07D83031","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a2473862581a70b9ae86aefe9d6acadaa9f3f8d","datavalue":{"value":{"text":"Some Variants of the Weakest Precondition in Nondeterminism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3723689$4F822E84-2C84-4788-B376-FF23B7790B65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5643de7efd1a0b304f0ce3d7558851deae94940d","datavalue":{"value":"0593.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723689$6D575253-DF73-40F5-8A18-10B5EF8AADCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3131453a0dff01269c12e8c0ce05254235f991cb","datavalue":{"value":"10.1080/02522667.1986.10698832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723689$E2B4A77B-6972-47E2-98BB-252CACCBF259","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dc549f4f57cb8fb7d6b43a60e626a42f722a9b9","datavalue":{"value":{"entity-type":"item","numeric-id":1050778,"id":"Q1050778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723689$8E18844F-02E3-4464-AE4D-3F3168F64BB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6a0a77cb14b02661b1e5854858fdaace54fd1d17","datavalue":{"value":{"entity-type":"item","numeric-id":2764972,"id":"Q2764972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723689$2784C89A-0E12-4BBE-89A7-2749F1F170CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3723689$79A67E73-69C4-46BB-9B28-ECB79FEA3CBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723689$8374C086-5F49-449A-984C-73107C0917A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723689$7AF64F3C-1AFF-4AF6-8C23-4CA5805A3FFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58621c3675dcf88f355b6383c9d021b705c79d6d","datavalue":{"value":"3954263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723689$BFDFE0F7-001B-4396-B663-10B1919E7FEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723689$02A1EB14-EDA1-4571-BDBD-54C2A1710554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723689$1565BAE1-61F1-4481-B72E-F4128BC436F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723689$139B2949-3117-4954-97EB-84D2AB139F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723689$883FEC4D-40A1-4B70-91AB-94BAA2904BD0","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":"Q3723689$140FBFBC-9D26-414C-9F45-16BACC237C06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62cd77f5003efef93c4100f4b22259827838bc90","datavalue":{"value":"https://doi.org/10.1080/02522667.1986.10698832","type":"string"},"datatype":"url"},"type":"statement","id":"Q3723689$9ECB1AA3-5A51-4646-B1D1-67F7BA46EBDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e14b49719e00511e9389152283d0d7e4baa4cf57","datavalue":{"value":"W1988458526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723689$3317A03E-69B0-44E7-A338-CD2B1C55A189","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723689$C9182BFB-B1AB-40A4-B85F-242596385814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723689$E81EE5CC-B5D0-4246-9F10-BACE40EB9B88","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":"Q3723689$B8C3B554-59DD-4A4E-9F27-746FFAD222EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ee3c3a23d51f4b4342339ba02f16c06b7d06df","datavalue":{"value":{"entity-type":"item","numeric-id":1346768,"id":"Q1346768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f48871208083e4fece6219c6b667a52dc6be965","datavalue":{"value":{"amount":"+0.8953267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3723689$949F63EF-FEC1-41E3-93D3-0344CF70AA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d51c5415f5cc6dd0804ccdacf176a148df37dec","datavalue":{"value":{"entity-type":"item","numeric-id":3783508,"id":"Q3783508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eea33c91f962533d2ab6092ce550c5a05d18795","datavalue":{"value":{"amount":"+0.8803138","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3723689$BE69AD5F-55B2-4562-8329-1D17735C4423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"046db96a9736fe5523f1944521b4d47c9ecbf0f3","datavalue":{"value":{"entity-type":"item","numeric-id":3813301,"id":"Q3813301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5091f2a2cb344238083aa48517154b8c5a3342ab","datavalue":{"value":{"amount":"+0.87976307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3723689$E666B6F4-4F13-42BF-B84F-C1CCCEC69455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0540aa0018170f49a93c924f7ec9a9f0f9f5232","datavalue":{"value":{"entity-type":"item","numeric-id":3971273,"id":"Q3971273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"599a4e0c6256f8f3c013f93e5a4331ac1827ecc7","datavalue":{"value":{"amount":"+0.87912714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3723689$9D547110-5ED5-47D0-8327-5BAF703529FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080ce8ed2ff81eed979e6694d95fe0f358c2162f","datavalue":{"value":{"entity-type":"item","numeric-id":3801525,"id":"Q3801525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8dd2cc8c71f383ae9d301a5ea00ec76d02839a7","datavalue":{"value":{"amount":"+0.8704774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3723689$997ADE37-71C5-472E-9596-6A8F09DFC9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e391b0aa8c6dfe5663003fdb3f9604dbe9836802","datavalue":{"value":{"entity-type":"item","numeric-id":3842954,"id":"Q3842954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"953ea915dcd54cd2ffe28ad8d1053899e65c15ee","datavalue":{"value":{"amount":"+0.8679365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3723689$73518387-01BB-48FE-AE84-6F1DD86140AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76c1b504be1795bcad419cee0368931403c45d98","datavalue":{"value":{"entity-type":"item","numeric-id":293340,"id":"Q293340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b76a6062f97e70868cf9cb571b14baffa862570","datavalue":{"value":{"amount":"+0.8635022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3723689$3B4AF759-BA56-4CBE-9021-6B264B1EE1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d25ec6b4aa330c9adf2f3ce4c1155d4b952dce02","datavalue":{"value":{"entity-type":"item","numeric-id":4513575,"id":"Q4513575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b126b1e71518ee4310a2e888d2b8112e0bec1ce","datavalue":{"value":{"amount":"+0.8617844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3723689$038CAA61-F8AA-4BBA-8557-302996DE77E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59559767141003304d4d46434d3ab270f16aed32","datavalue":{"value":{"entity-type":"item","numeric-id":3541980,"id":"Q3541980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"674f0db3f7a03ef6b2ccb037b0f151c724595551","datavalue":{"value":{"amount":"+0.86019385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3723689$F73D5B7A-E986-4D4E-AC0A-468F075009A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b17a4c09cadfc312d1c735800a532722547ea9","datavalue":{"value":{"entity-type":"item","numeric-id":1104780,"id":"Q1104780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f7fb35bb1c4992d43f2a9b12b6f1be674512f9","datavalue":{"value":{"amount":"+0.85736305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3723689$5FCAA1F8-0AF9-4390-BEFF-A492CD3486D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3723689","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3723689"}}}}}