{"entities":{"Q3763571":{"pageid":5793477,"ns":120,"title":"Item:Q3763571","lastrevid":51834959,"modified":"2026-01-20T06:55:52Z","type":"item","id":"Q3763571","labels":{"en":{"language":"en","value":"Countable nondeterminism and random assignment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4020452"}},"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":"Q3763571$C85D7B44-F6C5-4034-9670-203713DC50D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"901e7cf3f7c08208fa96e6aaea456b0bcf5b7fd4","datavalue":{"value":{"text":"Countable nondeterminism and random assignment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3763571$DB3D2128-B12C-4847-A9FA-A14A5857C7F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ba0b23547eac9c27f4e174101fec73dca193071","datavalue":{"value":"0627.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763571$58A4D644-19C4-4449-9DAD-97596870CF63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0318fb81521cc96b6c31612e50e0055d23ddcc74","datavalue":{"value":"10.1145/6490.6494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763571$D0FD4CC3-D174-4C9C-B044-B8A0346E556B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6066cea2292dad22804c025246b70830e1a1139","datavalue":{"value":{"entity-type":"item","numeric-id":439941,"id":"Q439941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3763571$42C54BB1-96E9-4F85-ADC1-D3E5141558F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3763571$FCEFC623-017D-4DFF-B207-97BA4A72E151","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3763571$1A7B3296-8554-4100-8816-572C75A78856","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":"Q3763571$CF006BA8-A6F8-4FEC-BCC5-6EA3BDA975C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b374e88889ff5c6d2d95496e6cf0748c4e7c45ec","datavalue":{"value":"https://ir.cwi.nl/pub/10281","type":"string"},"datatype":"url"},"type":"statement","id":"Q3763571$DCA0C3D8-25DC-42D8-9A0F-845A797B3490","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763571$95E2E289-4D69-4DC7-94A3-3CFA49E0F7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763571$07552A2D-6A07-4FA3-9D2E-6127B85F1ECE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70ca942ed51e9a81c0e5eae591a9b614a060620f","datavalue":{"value":"4020452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763571$4CE2FB6D-D85F-4737-AA48-B95EEDFB7322","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27c2e420b7a7dc3b2d33a778c4052dde05e3b536","datavalue":{"value":"continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763571$D6E45CBD-FF4A-47E3-8A6F-DE2A6FB02A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763571$4413B428-B702-49FB-B792-0BE018F22771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0ccc4b88a8724899ad3e4825443f43ce1329224","datavalue":{"value":"powerdomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763571$C78ACC35-E732-4F39-A7B0-F454C4162EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728818d2de29d948f096f35c669fa7265b9147f5","datavalue":{"value":"predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763571$0F285F3E-4F9E-4B35-89EC-0933629426EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16625961388feed0a5f559be4db1f47d18b1e40a","datavalue":{"value":"small programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763571$DE937501-94C9-40F0-8553-87184C47FAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763571$71355E42-392D-4E85-81DF-11F50E14116F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763571$70416078-9E1E-4AFB-A449-4AA6B224F41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0477cf3c1edd252501f8022ff4328376ee7eccc","datavalue":{"value":"transformation semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763571$411D2BBC-DFAE-4EC5-BBE4-E2BD41D97993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c179f8c203fc5bae4a5efa6ac2691005add7690","datavalue":{"value":"weakest precondition semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763571$DB47FD34-922E-498D-A928-6A89B51D2CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763571$3430CABE-A5D0-4FC6-A7F8-3D4DAE76AF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d992103937acbd7525870d32afb85d3e5a49179","datavalue":{"value":"Hoare-like proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763571$50D398E7-2CA6-4166-ABD0-47CA6815FA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4734a47521c48b7b32ae545a74ae18917855b200","datavalue":{"value":"total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763571$5A66536F-014C-42D0-90E9-BAE0BA9F0E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3745f54a3339923feca2ac5349d25baebf1d45d","datavalue":{"value":"soundness and completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763571$E025565A-8CCC-4BA3-83C2-C6D0603BF22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94495819aa49debdf912374aef452174990511a2","datavalue":{"value":"recursive theoretic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763571$16DFB657-30E2-4A29-958C-F284C1DD9290","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":"Q3763571$FB536621-908A-4404-9A49-810811720B19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71250ba696941f1e35a8b81eaa81bf34c8e9917a","datavalue":{"value":"W2014552079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763571$56D0C0DE-1FC1-4D19-A798-1BF54DC08D5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cb1fee1af8e70b135fa4e1cf345215a88bda02f","datavalue":{"value":{"entity-type":"item","numeric-id":5899099,"id":"Q5899099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"614f60094db69d59ae637411d314d6fd42d38746","datavalue":{"value":{"amount":"+0.8082767128944397","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":"Q3763571$2010462F-0BD6-40C4-A229-C1F4BF9860A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d27c1830b6e7e0f309302592c2849c315d657aba","datavalue":{"value":{"entity-type":"item","numeric-id":4029613,"id":"Q4029613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5913b3f5b3c2971bbb0246481b22dff88a0a055e","datavalue":{"value":{"amount":"+0.7941300868988037","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":"Q3763571$D469C72A-DD0D-41C0-AFDD-26991278830F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564d497665b46c0c1d4a8904a118b7917bd17534","datavalue":{"value":{"entity-type":"item","numeric-id":1822934,"id":"Q1822934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3680a2549100ac7ceea55fbdc74aaf2f0c6e5636","datavalue":{"value":{"amount":"+0.789754331111908","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":"Q3763571$70F9E2AD-72C3-47D4-BE83-ECED64B9675A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44084c8d4dcc70d5af88014c2c28bd30faf78ff9","datavalue":{"value":{"entity-type":"item","numeric-id":4204136,"id":"Q4204136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f1aba1ac80e78f9490ef01270953c148994750","datavalue":{"value":{"amount":"+0.7854105830192566","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":"Q3763571$DFBF00E3-D5F3-4A3E-A465-0A381C20A6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed808b35386c6f74f44ba1898b4cef97c46ddf2c","datavalue":{"value":{"entity-type":"item","numeric-id":1082808,"id":"Q1082808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86bf0cc80bd6d05d65d1ecf5c0b766b14254e882","datavalue":{"value":{"amount":"+0.7741667032241821","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":"Q3763571$B67B98B6-545B-4A6D-801A-1CDF60A842D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3763571","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3763571"}}}}}