{"entities":{"Q851128":{"pageid":852976,"ns":120,"title":"Item:Q851128","lastrevid":64826913,"modified":"2026-04-11T22:29:47Z","type":"item","id":"Q851128","labels":{"en":{"language":"en","value":"Angelic nondeterminism in the unifying theories of programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073783"}},"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":"Q851128$A6547242-1611-4E9C-AC35-98DD6338AF3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efe3e5e72756e5a3448c2a655b31c9c97b4bc532","datavalue":{"value":{"text":"Angelic nondeterminism in the unifying theories of programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q851128$2413B237-88B9-452D-8A06-43CC88321F67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f7198f4d4fb9be49d61995fd4af64dd918266d0","datavalue":{"value":"1105.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851128$8E01BFB6-F1C2-48AE-AC4A-849B48DE1226","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$414E2E22-B580-4C78-BE43-E076AB1CF3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$67E7A75C-7C78-4FBC-BC4D-9A13720FD72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4098e59db3e4bc21f0b732220a541be8ca257f0","datavalue":{"value":{"entity-type":"item","numeric-id":851127,"id":"Q851127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$FB282B6F-A015-4FDD-8AB8-93C58F178DAA","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":"Q851128$5EC059FF-A53C-4085-B851-1E9D1B8441AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e72da49a9cdc23965ff0d1c9fcf6159ca75a2a61","datavalue":{"value":{"time":"+2006-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q851128$7CE0A5FB-5B6F-47DC-919C-E42CE3DE8CA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"576794a46c622a65c878ba5516ce10b2b2f5f503","datavalue":{"value":"https://research.tees.ac.uk/ws/files/6483463/58302.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q851128$3386799F-5860-4F01-BFB5-BA71EBA6F6CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851128$E660953B-ED4C-4728-B16C-B0F0DC9C5FFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0648a1a5e3b88142a9400780ead3d46c5c8456ca","datavalue":{"value":"5073783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851128$6AE060A6-C0A8-4C38-B3E4-07995B425A55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q851128$78470A22-CFEA-4D77-B58C-C9813669A3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q851128$69DE4B5F-EFDA-498C-B866-CC06BF68373D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94972d89ba4503b868daad8e0a5b1c846954d436","datavalue":{"value":"relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q851128$D2948C8F-F4AF-4C00-B178-CA4F4D90F42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728818d2de29d948f096f35c669fa7265b9147f5","datavalue":{"value":"predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q851128$221B2056-67F9-422C-9EE0-67C327D905D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"50f64be83cd865b14d65168a98dcda7f24e44b9b","datavalue":{"value":{"entity-type":"item","numeric-id":33627,"id":"Q33627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$4F86C46F-08DB-4AA3-B601-3DCE6FC4771C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9189048b3936abda7e80b02cf829681849623735","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$A4387E21-AC52-42BD-ADCC-C304C85C271F","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":"Q851128$AF146D20-BCB0-45C8-BFDF-E838871499F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af4732574764c0c87d75ce6c6fb17a525ca88760","datavalue":{"value":"W2031356495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851128$C2308EB0-34B7-4590-B540-AD84EC2C1053","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f96f1b5184988ef14c3a8dd82b1d2786ba8272","datavalue":{"value":{"entity-type":"item","numeric-id":913495,"id":"Q913495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$73C19282-775E-421E-AE5F-6C4C8646803A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0b116a99357b3d672b8fba8948de48e57254ee","datavalue":{"value":{"entity-type":"item","numeric-id":1199826,"id":"Q1199826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$47C65EA2-91CD-4D19-83EE-EF3F2F011228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baeb25f4fb815e01a646bc0cad5a704a60441177","datavalue":{"value":{"entity-type":"item","numeric-id":4808846,"id":"Q4808846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$20D7A1ED-97DD-43E1-8B7C-722BA0C19139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2179d8546d5ce60e354479db662e7bc4b3f5aef8","datavalue":{"value":{"entity-type":"item","numeric-id":706512,"id":"Q706512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$4F96B6FA-948F-4093-B287-60A942225D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811cb62d11b6ce3303afc4e81f04db67c0aeb226","datavalue":{"value":{"entity-type":"item","numeric-id":3842954,"id":"Q3842954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$61AB51B9-D072-4361-AE39-9B9807DE3D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de6837c1039b580a2b129c1e17dd7bde403e279","datavalue":{"value":{"entity-type":"item","numeric-id":1293891,"id":"Q1293891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$39E96A04-D77F-47DD-BCCB-9CB61E1E337B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce518a67fc2c21ebfa7578ab17f109fb208d0578","datavalue":{"value":{"entity-type":"item","numeric-id":2863831,"id":"Q2863831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$6B6434F9-7C25-4B27-AAB6-669B2418BA86","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":"Q851128$75C3247D-109A-447E-A35E-C10F7D5EFCA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145ba4ed8ff284bc41a418ac8911941d54ea5802","datavalue":{"value":{"entity-type":"item","numeric-id":1177155,"id":"Q1177155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$B519D2D5-6E45-4A2C-B6F5-4A34B7D8C568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099ed24753c6cc2436c52e6d9ab3529d0f79274f","datavalue":{"value":{"entity-type":"item","numeric-id":1091121,"id":"Q1091121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$11A2E382-A67D-4FF7-9C5D-D0973894BA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e451b0339876f0a92875e49346cdc0622e878095","datavalue":{"value":{"entity-type":"item","numeric-id":2767980,"id":"Q2767980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$238DC8CD-4078-49AF-9DFE-1CF393FC3798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7117f24da0591c5d932469565889626f20871e7c","datavalue":{"value":{"entity-type":"item","numeric-id":5313088,"id":"Q5313088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$16744492-22CC-49F6-B6ED-2DFB4CE06002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77f245ea8916cb83f592d198c55741e96f6f763","datavalue":{"value":{"entity-type":"item","numeric-id":913482,"id":"Q913482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$162F9D2A-137F-432E-83DA-2FCC3C0BC2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c621fa8227c39a838853eddce9768e0dfe2aedfd","datavalue":{"value":{"entity-type":"item","numeric-id":1815345,"id":"Q1815345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$F34B4451-EFAC-460C-837C-70FE51B1AF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$0AD128FB-3431-4E1D-9E02-79EF267E43D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15eb2c039713d01ab8b3b55a4699b056bc69884a","datavalue":{"value":{"entity-type":"item","numeric-id":5902058,"id":"Q5902058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$03800A81-E4AB-44C2-B442-D6C621301071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0198e68f6dc9303aefc05c74bbadbddc5c16bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4472182,"id":"Q4472182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$3A66273C-8FCF-4004-8B9B-A05DF3338CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df24839d625a390053c16402f9628907f226566","datavalue":{"value":{"entity-type":"item","numeric-id":5901607,"id":"Q5901607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q851128$592D7786-2EB0-4313-91B1-13FE597039E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"915e775b30f2ace14f34c4180b2adcc8a0535fc5","datavalue":{"value":"10.1007/S00165-006-0001-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q851128$82D50436-CD69-4F42-8820-4D328F1FBF89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91574d13fd6e5374a445f53ab5094f555d549705","datavalue":{"value":{"entity-type":"item","numeric-id":2863831,"id":"Q2863831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8ecdecb56e19c09cf1469e22f2d6a5916804362","datavalue":{"value":{"amount":"+0.9912057518959044","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":"Q851128$FC4BA78F-7DBC-42AC-92B6-C58D030BC9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb827bf4cd035673ef1d8ed970514ce3851fb3d8","datavalue":{"value":{"entity-type":"item","numeric-id":1757156,"id":"Q1757156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20fc37faa87c692f4f7b7607448939af8aa0a1bf","datavalue":{"value":{"amount":"+0.8005136847496033","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":"Q851128$30CFE44C-DD1A-45E5-B0CF-12ACEE381E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2adf84d1e32c114b81435d5a21edb385d703c84","datavalue":{"value":{"entity-type":"item","numeric-id":2938175,"id":"Q2938175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"248d8398ec4c0acf78934189b358d40e18edc571","datavalue":{"value":{"amount":"+0.7973795533180237","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":"Q851128$489D7761-137D-4DAF-A2A8-0FA24053D298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2af24cb56e6aecbda332e0c17b2c95cbc94e5847","datavalue":{"value":{"entity-type":"item","numeric-id":870278,"id":"Q870278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a47ee89c97b3ca1fee0230a3aaeb9b7719fd9a2a","datavalue":{"value":{"amount":"+0.7739949822425842","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":"Q851128$DB8FF4B5-BC0E-4EF4-A622-F7FDE6F1B590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55f848d7187098da03e1569d28382c495e622f08","datavalue":{"value":{"entity-type":"item","numeric-id":2814614,"id":"Q2814614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b7d548b1ec4859a44f7e04f9385c8767fe5fec","datavalue":{"value":{"amount":"+0.770967423915863","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":"Q851128$45A6391F-76F9-4E1E-9849-8C1835D3898C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Angelic nondeterminism in the unifying theories of programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Angelic_nondeterminism_in_the_unifying_theories_of_programming"}}}}}