{"entities":{"Q2863831":{"pageid":2874551,"ns":120,"title":"Item:Q2863831","lastrevid":51884894,"modified":"2026-01-20T11:39:48Z","type":"item","id":"Q2863831","labels":{"en":{"language":"en","value":"Angelic nondeterminism and unifying theories of programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235701"}},"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":"Q2863831$9DB61347-2881-499B-9221-CF5DCA2D4F96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1657daea25d8bebfb696a0c2d39c2c53c716a9b3","datavalue":{"value":"1276.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863831$35596C76-6360-4232-9D71-352BAD0AE1D2","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":"Q2863831$138E1489-8DBC-4151-9A0B-F265FD0E1925","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":"Q2863831$253FF68D-49A5-4672-AF22-C6406D8A6BE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863831$52E9CF51-5CCF-4020-A978-81F88CC41AEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9923baf73a36bf7b7063c40735decbe9204461bd","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105050905?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863831$F2E9C1CD-145B-4D21-A2F3-BB7AC9AC5C9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863831$0F107194-03EE-4BAA-8741-5731B651ED82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c00657f72ea5cbe90d0e6aadb5d46d52b4f836a1","datavalue":{"value":"6235701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863831$F51B6ABC-259C-44D9-9164-8DFB235B737A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863831$A7A375C1-6DF0-43F7-8611-BA7512156946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863831$D7816D53-E712-438A-AF98-EED507E8DDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94972d89ba4503b868daad8e0a5b1c846954d436","datavalue":{"value":"relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863831$8843A627-DBC9-445F-8129-D75282842968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728818d2de29d948f096f35c669fa7265b9147f5","datavalue":{"value":"predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863831$E019A94B-AA88-4254-9EA3-40403EC44CA5","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":"Q2863831$DDDEB399-2B9E-4E5B-84FD-E14A0A16153C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c921c4889b97365f4deaf6df31af8a3feb8ad2f","datavalue":{"value":{"text":"Angelic nondeterminism and unifying theories of programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863831$33B3699F-3747-4CC0-84DC-E62540DD2D5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616776eb0c1c07140e105d4888c87eacb8c49d22","datavalue":{"value":{"entity-type":"item","numeric-id":851128,"id":"Q851128"},"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":"Q2863831$53D60D69-C888-463A-B09C-910D1B532E93","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":"edb859fccb79dce86b3173417da72a665d42f253","datavalue":{"value":{"amount":"+0.8063420653343201","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":"Q2863831$9FCFE682-B3F0-4A7C-8AB6-5188F83246B5","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":"a812f8f91558ff2194eff1784469a35c5e189fe5","datavalue":{"value":{"amount":"+0.799036979675293","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":"Q2863831$A4996E39-14AD-4F21-9040-DA8BE93FA112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f3745dd2b20fe4f2b04f34642ab57dd24c1baaf","datavalue":{"value":{"entity-type":"item","numeric-id":3055738,"id":"Q3055738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd89fe09dc9f62b18266a1a01378e603d3a1b7c","datavalue":{"value":{"amount":"+0.788180947303772","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":"Q2863831$96DD5BB7-5DAD-47C7-9299-16D79927F65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"687d4e36e0188adebac5ebaaa109ac2a3562936b","datavalue":{"value":{"entity-type":"item","numeric-id":5307484,"id":"Q5307484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17bf5aecddbb815b2a772cd77f8a052c4befaec9","datavalue":{"value":{"amount":"+0.775282621383667","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":"Q2863831$D9890A66-3006-42B4-A0D8-681215227CF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863831","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863831"}}}}}