{"entities":{"Q5925822":{"pageid":8102624,"ns":120,"title":"Item:Q5925822","lastrevid":47575513,"modified":"2026-01-02T03:10:13Z","type":"item","id":"Q5925822","labels":{"en":{"language":"en","value":"Demonic, angelic and unbounded probabilistic choices in sequential programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1567032"}},"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":"Q5925822$5357C3C7-6CF5-45DB-8227-A43B9CCA77BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"643a2c0e1b868e995b715b5104288ab3a56ab884","datavalue":{"value":{"text":"Demonic, angelic and unbounded probabilistic choices in sequential programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5925822$D09743A1-EA6E-48A5-A420-1D9AFC9C93A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5b13b5045f24d9b28e6ee14e28718b308df5ca3","datavalue":{"value":"0971.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925822$39ADB229-CA3D-4238-B0A4-4D6DCFCC5D4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edb7994e252aa9cc656a1cdd08ac08e998723d93","datavalue":{"value":{"entity-type":"item","numeric-id":406450,"id":"Q406450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925822$B0B34B98-5D66-420C-90AC-D2F960CE02EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf440a1d97a3d3fa3fa9dbf8f55a722afca85620","datavalue":{"value":{"entity-type":"item","numeric-id":671410,"id":"Q671410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925822$F154CA54-2197-4CD2-8585-785FC34F693C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925822$CD68D03D-6220-4327-BD69-BB55970C3FEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c95f8cfd0a0684bac364be781d50fcf02036866b","datavalue":{"value":{"time":"+2001-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5925822$B34CD123-BDBF-427F-B0CF-59F84EEA3CD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925822$511500B0-0751-43A4-8E51-6AC041059DD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"708307a25e2a914d2105b12eb6658f4b343d97e4","datavalue":{"value":"1567032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925822$60F4D26D-C88A-44BA-8F78-9BBC95B68747","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a28dde9c20b03052eee4d60278151a9bbef0e570","datavalue":{"value":"conjunctive transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925822$FDB24BAF-03EB-4448-B2E0-55FF2B0F8079","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":"Q5925822$C561CD6D-F538-4F1C-96D2-6CB7A6E5BFE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29bafce16aafa9eec860cef371928796e5cde7d9","datavalue":{"value":"https://doi.org/10.1007/s002360000046","type":"string"},"datatype":"url"},"type":"statement","id":"Q5925822$4694C3F0-6406-48D4-AD83-1A6DF3ECB69D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3fa2d30b649c840cef52bb60451f5be46fb0eaf","datavalue":{"value":"W1999355680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925822$48BDFEE2-40CD-4BAE-8C14-B7DBCB757473","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d7f59df8d8bae5500c3728c3e5fc13cc7393cbe","datavalue":{"value":"10.1007/S002360000046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925822$6244032E-7C45-4894-86A9-456267F6C479","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e101652da24a263a8b807117980cb7f3509644aa","datavalue":{"value":{"entity-type":"item","numeric-id":3636909,"id":"Q3636909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16cbdf1c34db69ca3b4538ece275956cd1b2ad23","datavalue":{"value":{"amount":"+0.8166584968566895","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":"Q5925822$363A9067-DA24-4718-B994-59B57A6D1189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c675f4be317e371cc1adb9259273d81eaeebbe4","datavalue":{"value":{"entity-type":"item","numeric-id":1424351,"id":"Q1424351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5095df859a4e993b0396531611d11a7370e57e00","datavalue":{"value":{"amount":"+0.793229877948761","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":"Q5925822$C3379E76-7EAE-4CBC-AFB2-856AB7B740E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55db6001100ac1396139030a36f4624d4e2e4422","datavalue":{"value":{"entity-type":"item","numeric-id":5958768,"id":"Q5958768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf7be0358afc64f80679eb345d7c4b4ccc901ff","datavalue":{"value":{"amount":"+0.7857716679573059","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":"Q5925822$83862BE2-6172-457F-B0EB-137C523C3320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b978d0f24caaeffbdc3337422450f6ee8e2068e","datavalue":{"value":{"entity-type":"item","numeric-id":1120264,"id":"Q1120264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50b248b54b359b653f8ccd0b3d259be664bc795b","datavalue":{"value":{"amount":"+0.7845913171768188","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":"Q5925822$2EC95A6C-DB0E-4640-B63A-97F5348D9D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3601963ce78459da50cbf994fbef1ebed3015a5e","datavalue":{"value":{"entity-type":"item","numeric-id":1199826,"id":"Q1199826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38c1b915b4388453821234a87e74fb9446e0b38","datavalue":{"value":{"amount":"+0.7560247182846069","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":"Q5925822$9B06F772-671A-440D-B9DF-87F2DA0E3D8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5925822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5925822"}}}}}