{"entities":{"Q1271855":{"pageid":1282605,"ns":120,"title":"Item:Q1271855","lastrevid":70042851,"modified":"2026-04-13T12:03:14Z","type":"item","id":"Q1271855","labels":{"en":{"language":"en","value":"Partiality and nondeterminacy in program proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1221592"}},"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":"Q1271855$6942F8E0-D4D1-4DC9-8B74-9CC2746DA14D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb67a2e065491ecd8b1dd4e579b765aa26066bdf","datavalue":{"value":{"text":"Partiality and nondeterminacy in program proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1271855$3D514371-56C6-44FA-BA2C-4A26841E15D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e956b789ed9f42f4a8cf28ecb27609a63f037ebe","datavalue":{"value":"0910.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271855$EDDC38F3-4E84-4741-B531-AD5683356089","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dd164567459a56f4c4581bc4a6f7f197e2ab1ce","datavalue":{"value":"10.1007/PL00003927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271855$4554873A-E42B-4D11-BE89-3BEBA56110C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cb891ece4818441cde8911c125cbd2b830b8c8e","datavalue":{"value":{"entity-type":"item","numeric-id":199021,"id":"Q199021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271855$D06126A0-F4D9-4A3D-AF34-A054AFF22EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"268e3f8d458f6fe8ad377d2f6241c33ca0647f22","datavalue":{"value":{"entity-type":"item","numeric-id":199022,"id":"Q199022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271855$557F3521-05F3-4315-9753-EA63D54391D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271855$227CEA78-D116-4624-BCBE-E2C7B4CF566F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fca5f3a2c1d04c3bfd148f9eb1b9937c36c9646b","datavalue":{"value":{"time":"+1999-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1271855$FD39B96A-EA52-46D5-BCEA-CB86ABD0D9F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271855$15244927-DB1B-40AE-B6EB-26521875483F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271855$00C2796B-861A-476B-BBA5-A19BBBACCED5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4515cb783e7add8ad1033a7ede814a2be709b05e","datavalue":{"value":"1221592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271855$823DBF76-80B3-486F-AC07-66836B531DEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271855$4060AAEB-5DDE-4B6E-A082-97FF5BACA7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271855$FAFA95A6-3A18-430B-B5A5-5A9F6EB69066","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":"Q1271855$46AB1F02-DE6F-410D-B3FB-72C1A5C0CE83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2269ca5081a46773fc6285697892996f91642495","datavalue":{"value":"https://doi.org/10.1007/pl00003927","type":"string"},"datatype":"url"},"type":"statement","id":"Q1271855$88C257A2-780C-48FF-80FF-25A49266C99F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2516fe7ee819288128573670dc8c95c06e734241","datavalue":{"value":"W1994457525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271855$0722AEB0-C7F4-487B-823C-43C25ADE3889","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747da4760684c4ae7c17554623ac1f638033033d","datavalue":{"value":{"entity-type":"item","numeric-id":671651,"id":"Q671651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe3bce30c0b860476b13653aaf4abc6d369792b","datavalue":{"value":{"amount":"+0.7986330389976501","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":"Q1271855$FD9AB9E5-BA5A-4825-90EA-CBC40E3682AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"254b90133dfebce9d9c78c0d556e45f61da83c06","datavalue":{"value":{"entity-type":"item","numeric-id":1091387,"id":"Q1091387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1abcf3c565f08c28960216961dbf5c0c1be8770","datavalue":{"value":{"amount":"+0.7955894470214844","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":"Q1271855$9932405D-153F-4067-830A-08BD13EEEB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776f3f5df5bd13b90f8361457781f76bfbbb6db6","datavalue":{"value":{"entity-type":"item","numeric-id":4250051,"id":"Q4250051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bed82bc7fc87a48c78980e69b794413ff2de84a","datavalue":{"value":{"amount":"+0.7925776243209839","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":"Q1271855$F5229C77-1B53-42E8-A9E2-3FCEBD81214D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a6c2b5c7dbf2c0320ccb96a9147c3e9cb2fa32","datavalue":{"value":{"entity-type":"item","numeric-id":3348897,"id":"Q3348897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ed99d88659d71a090a8b1f411e8f801ac27a72","datavalue":{"value":{"amount":"+0.7913421392440796","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":"Q1271855$F75138C1-24DF-4B13-A127-3E715FBF6D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9221b7e54e7735429974c7d84d06a61112f48402","datavalue":{"value":{"entity-type":"item","numeric-id":792750,"id":"Q792750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"649bf83e96c0df4f0ec3332f4d3bf32ffa315982","datavalue":{"value":{"amount":"+0.7906913161277771","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":"Q1271855$46C8DDF9-C34B-42E3-85B2-6298F6D4EC4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partiality and nondeterminacy in program proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partiality_and_nondeterminacy_in_program_proofs"}}}}}