{"entities":{"Q3813301":{"pageid":5843207,"ns":120,"title":"Item:Q3813301","lastrevid":53567114,"modified":"2026-01-25T07:59:40Z","type":"item","id":"Q3813301","labels":{"en":{"language":"en","value":"The Weakest Libera! Preconditions of Nondeterministic Machines and Robust Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4082986"}},"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":"Q3813301$1CCA4614-9F78-4EE9-9520-710CAD562CA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9aa132bb62f585ab501c96a241c88974b84924a","datavalue":{"value":{"text":"The Weakest Libera! Preconditions of Nondeterministic Machines and Robust Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3813301$ACB5BC6F-6CD5-4C40-9CE3-EC50E6625364","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b1ce71b2f2e6b91fd728d344e1b7f2e6593c93c","datavalue":{"value":"0662.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813301$6B0D6967-303D-433B-817F-B3D79605D70B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de4af915026518f8bbec7a71306d7d02cd915305","datavalue":{"value":"10.1080/02522667.1988.10698940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813301$138D8441-FCA4-4E01-A62E-1881847CD019","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":"Q3813301$A9C2773E-1FCC-4A46-A36F-69DEE4732C1F","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":"Q3813301$0AD3DB0F-A05B-4F02-B193-967113779C0A","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":"Q3813301$E0992729-FC8D-48BE-9986-ADA60CB4E84B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813301$DE87F23A-74A3-4E56-99DD-EE5874C8DB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813301$0386EF81-B832-40A8-B452-9C4FF5649027","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23180c9cbd57501803b6910c6c26ae4e14a920b4","datavalue":{"value":"4082986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813301$949DF68E-C135-418B-9F2B-8DC0EB703400","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddb02aa772d5ca9ab71841ccc7e5dfbc96f0964f","datavalue":{"value":"weakest liberal precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813301$63D04457-CA89-49A2-A3CD-28133C7CD724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"563e6d284a91ec530cc5be4e8182085c2761d4fd","datavalue":{"value":"nondeterministic machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813301$92CC898A-27C7-4846-83B5-3FCDAB79E9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813301$0C1273FB-2F9E-4A87-92D6-56F383509DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d1443f37d29023c29f3415d3f13cf3291e8cc0","datavalue":{"value":"program robustness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813301$5B27A63A-6FB8-4DA6-AAF1-AA787D2256D1","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":"Q3813301$74B70F04-AC77-4EDA-9F7A-093E5ABE6B72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b11b85fd27968bc5600659178c02bc9d3a2ad4ff","datavalue":{"value":"https://doi.org/10.1080/02522667.1988.10698940","type":"string"},"datatype":"url"},"type":"statement","id":"Q3813301$9CFF64A9-FDF5-4902-9FDD-A4EE899621E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"889010d139ff3d940a3c7ca360c9af97123a0c4a","datavalue":{"value":"W1994343429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813301$BD3F3944-D98B-43D6-85B7-5E9DBD8681F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b404367c1839caf0474d9669e49829d92c6667e","datavalue":{"value":{"entity-type":"item","numeric-id":3314964,"id":"Q3314964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3813301$A99F70BC-607D-4F6A-B2C6-F90B762651FB","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":"Q3813301$B74CA786-E3D0-4B46-8B19-3164F0CDA7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b1c3d4b8e38a5893d464ca2032cd2516b274b5f","datavalue":{"value":{"entity-type":"item","numeric-id":3723689,"id":"Q3723689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3813301$31D67761-6D9E-47FF-A612-4971CA1D709F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc10c3dea4be063d7212c1347a7e78e67b16d8c3","datavalue":{"value":{"entity-type":"item","numeric-id":3723689,"id":"Q3723689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a93742f56fb6bbac8038e9b563f1d1e905b0db","datavalue":{"value":{"amount":"+0.8115130662918091","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":"Q3813301$CBE53C94-9267-4A4C-8240-E88E9FF78DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b88e7fc444b61b2c5fd045c40ec97d8427b63ca8","datavalue":{"value":{"entity-type":"item","numeric-id":3740201,"id":"Q3740201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"187449774a58525827dd7893d9c6a67472cdaefb","datavalue":{"value":{"amount":"+0.7524734735488892","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":"Q3813301$102244AD-F045-487B-80B3-60CBFC0AA4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be3b04bb90ac64eb645840d6b517c16aa38d99b","datavalue":{"value":{"entity-type":"item","numeric-id":4725716,"id":"Q4725716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b32a7a1323fe07e2baac588e9749c287f7f37b21","datavalue":{"value":{"amount":"+0.7453277111053467","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":"Q3813301$F1D31F0E-7E53-49B1-A34B-2ACF1AA947BB","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":"5773873b01977b609b476c8c72db706c993f2e7b","datavalue":{"value":{"amount":"+0.7409508228302002","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":"Q3813301$9EDADC32-5E4E-4AE8-ACC9-00A222C3861F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f69baf7cbece8b24e22b1989a1a6ad32c659163","datavalue":{"value":{"entity-type":"item","numeric-id":2838684,"id":"Q2838684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e48dda20ba007361a1fcb6e764a1ad2ef891675","datavalue":{"value":{"amount":"+0.7392585277557373","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":"Q3813301$29469F73-6D34-4D7E-961D-0D15654F0E09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3813301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3813301"}}}}}