{"entities":{"Q5046723":{"pageid":7076300,"ns":120,"title":"Item:Q5046723","lastrevid":58415112,"modified":"2026-04-05T03:02:11Z","type":"item","id":"Q5046723","labels":{"en":{"language":"en","value":"The algebra of non-deterministic programs: demonic operations, orders and axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7613863"}},"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":"Q5046723$976319FF-FFF7-4FB4-B869-6022DAD25E37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8b34198abf9c0f9a2848ce2b16deb2186486cca","datavalue":{"value":{"text":"The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5046723$CD082AF7-A645-4A88-98D0-07C6D3B278D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bea054a22416008112a2ec05b0232838fc40e685","datavalue":{"value":"1499.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046723$9ADB058B-1492-46E2-98D1-39B68EEAE47A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"709d2f7c0623248e05e6feee291b66d1df38f714","datavalue":{"value":{"entity-type":"item","numeric-id":236473,"id":"Q236473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5046723$1A17971E-B5AD-4CFA-898A-BD3F1739789C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11e861291b7fc659c2533ae46450bc9cf4867572","datavalue":{"value":{"entity-type":"item","numeric-id":596006,"id":"Q596006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5046723$E12003C0-4BA4-4E2B-ABCC-FDDA2A129E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"290b302b4bd6785e5f63e4d3d037b3f5d9b208a7","datavalue":{"value":{"entity-type":"item","numeric-id":915469,"id":"Q915469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5046723$DBEA8CE2-9F8D-4CE3-BEBE-8C307E2CB49A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5046723$C7A0E238-3C3A-4CE7-AD02-E658B54B78CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5046723$20B78E16-A3C7-4A49-97BA-B588B721F13A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e122e1d2570438c770e811aec698081bc63e0ab","datavalue":{"value":"https://arxiv.org/abs/2009.12081","type":"string"},"datatype":"url"},"type":"statement","id":"Q5046723$CDE1CBA4-420A-4240-AA45-BE67DB94F3AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046723$0511C5AB-13F2-4F96-9FF1-50F53F155E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046723$6DA2E2FB-A7BD-4966-A94E-1036CAEE232F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046723$3398BE65-5726-44FF-BC01-61097B81B7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046723$EC2BE7A8-1266-4896-87A7-59A28918AAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046723$EA79FA21-5B95-440A-8C2F-75C2B34F4531","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59363f729c9ddbda407006cce31d4a1da1c495f0","datavalue":{"value":"7613863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046723$FB90497D-0B67-4EBE-9F5C-5ED4A38D79CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d02b378943109911c8a310a92c0fba5567f35f5","datavalue":{"value":"demonic composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5046723$6B54AB0D-0D2F-4817-B492-FAD970EFB52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d9128760971151ef7bbb47a7cbd7928601c0068","datavalue":{"value":"demonic refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5046723$AF9DF7FA-9C2C-49C7-A679-3855F3870CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92866b1654af1a662b0f26d63d8a7f6a99d8a2f4","datavalue":{"value":"binary relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5046723$D666B3F5-429E-4794-BB41-965967836A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85ff68dfcbf42565a610875e7b73e01550088cbb","datavalue":{"value":"non-deterministic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q5046723$E392BE89-1384-450A-8611-6B9EB6170864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4734a47521c48b7b32ae545a74ae18917855b200","datavalue":{"value":"total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5046723$6419FF1F-65A6-4BBA-A8F7-DFAA77CA1BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5046723$841A8CDC-A206-4552-A523-B3E6130B8D95","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":"Q5046723$DC7218EA-ACBC-4E10-8B76-C660C4F73AD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"070bff66ec3cd584671b184e95dbc6a76b4652d3","datavalue":{"value":"W3198957077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046723$94732C4B-023F-42D8-A3BC-52D89B6CBB3B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"522fa19062147fb04bd32c8b9dcad63c8aadd15e","datavalue":{"value":"Q114632536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046723$46582B24-D7A8-473E-B4DE-296413C35A98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5efca5d2de3b27c48ed30f755177e7033c53acd8","datavalue":{"value":"10.1093/JIGPAL/JZAB026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046723$7851FF18-05FB-4588-BEB3-08E2C560E921","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d05cbb7766e39508690157d7936c3ce61daa7e7c","datavalue":{"value":{"entity-type":"item","numeric-id":2663185,"id":"Q2663185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d04b39946658bcafa69d2a3804f919016ca528","datavalue":{"value":{"amount":"+0.837785542011261","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":"Q5046723$AD0986B2-C234-4E22-A804-746F1E29D149","rank":"normal"},{"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":"a52ce57dc7f4abd6ee798e26a4166ccda16a070b","datavalue":{"value":{"amount":"+0.8144770264625549","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":"Q5046723$5A0663C6-4B03-4A86-83FE-E87CF8B9ADF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bce561abacc58f217096dda2d716acce1177fd","datavalue":{"value":{"entity-type":"item","numeric-id":3988838,"id":"Q3988838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39741fffe1e1acfe571fa124940588b8fe918c0b","datavalue":{"value":{"amount":"+0.8144516944885254","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":"Q5046723$E77CF97A-2C27-41DE-A6C3-4C0C66E09B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc372ddcd05f1d33bb670f2df9fe27a034e54e01","datavalue":{"value":{"entity-type":"item","numeric-id":1079010,"id":"Q1079010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"517062647f24156e1f3fa49245d834d8157e5c6c","datavalue":{"value":{"amount":"+0.791092038154602","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":"Q5046723$489A3F7C-263C-4581-B6AF-D8E3095EA133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"458f86184d95cf96c74b49983644f56c5e917713","datavalue":{"value":{"entity-type":"item","numeric-id":1774651,"id":"Q1774651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3bd0ca850f9206af65edae394f71aabe30a9bbf","datavalue":{"value":{"amount":"+0.780238151550293","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":"Q5046723$C68F28A2-A270-47AF-BC89-51F32A104960","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5046723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5046723"}}}}}