{"entities":{"Q4939692":{"pageid":6969274,"ns":120,"title":"Item:Q4939692","lastrevid":47444353,"modified":"2026-01-01T18:43:32Z","type":"item","id":"Q4939692","labels":{"en":{"language":"en","value":"Encapsulating non-determinacy in an abstract data type with determinate semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1400711"}},"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":"Q4939692$46A1C34F-221D-4C3F-8E10-B54950721D7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd8738f9b89caabfbae32a49a629a7a0777aa252","datavalue":{"value":{"text":"Encapsulating non-determinacy in an abstract data type with determinate semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4939692$F2A9E2E8-7355-4E20-B782-05D782ABBBE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"860e306f81dd4d8777b9a726f4553fe39e3768b6","datavalue":{"value":"1155.68451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939692$0BF8AD9C-39C6-49F5-B2D0-3AEB93266C8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bb4bd4abee5eb40828516eeaf5987b30227a55f","datavalue":{"value":"10.1017/S0956796800000046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939692$C0B46008-B05F-4620-9225-CEDF4C79E10D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939692$F8537A66-0118-4BF4-9950-E6C60FE38DEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09a44795720544c6f367ce769f28cc2e9bf7cf0a","datavalue":{"value":{"time":"+2000-02-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":"Q4939692$46939C27-4FB4-4B0A-9B1E-6A5660962BCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939692$CA602BC2-9900-4460-8AE7-A0BD54F0C0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939692$51F8718F-C7AC-4B0C-8DBE-BACD964B9D66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0db90417230b704f24d8bddc1511ab9cfc93e5e6","datavalue":{"value":"1400711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939692$A7B2CEC1-39EC-4344-9A5B-BF1ED0B4BFD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"753c5281f8a95199c4fdf6a8912c9f0e7b68416b","datavalue":{"value":"polymorphic abstract data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939692$9257B98E-C6E3-4901-9D9E-F0DC40D22CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9040a4007079ddc84b1ebc49541df033b598a02","datavalue":{"value":"indeterminate behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939692$74636D2A-7A10-44DB-B3D1-C28A69056008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27a13ead675cb7abfc5914f9a0f07ba1574d4f05","datavalue":{"value":"determinate semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939692$A2E4915D-9B5D-4153-9E9F-94A775457625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a7209357145ec1cbfa5ba150a99dddcba5b6652","datavalue":{"value":"improving values","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939692$5D02E0E3-7472-4E83-9775-147CF67778D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112c87e8a580dbf5f66ce64e708fa657330da5ae","datavalue":{"value":"functional programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939692$7F19BB2A-ABB8-49A8-B073-2840B3CCC61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278150f3f5525aea8a3fc4b8995b8eb0d2aa0dbc","datavalue":{"value":"procedural programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939692$0DAF81B8-B838-4072-9EFC-468FEC18133C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33669a46e6c8e8b36873d1f752821b7694a60c9","datavalue":{"value":"parallel algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939692$B9043AFA-156D-42E1-A183-1B101B06A0A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"908c517c9d29c02220a2759ce391187dc7825060","datavalue":{"value":{"entity-type":"item","numeric-id":1115175,"id":"Q1115175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939692$542EA401-42D6-480D-B14A-F514D47AE6E7","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":"Q4939692$344D2A89-EB9F-4048-99A2-4B0FAA0D48AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c52b21e2b050930655d553363cf317d38372f3f","datavalue":{"value":{"entity-type":"item","numeric-id":3885184,"id":"Q3885184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939692$26ED7A64-3253-4A46-A082-5E2176C0C3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9e223a12b69efce1fd32c79550bdb024c1646d","datavalue":{"value":{"entity-type":"item","numeric-id":3899499,"id":"Q3899499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939692$E8883110-C4EE-4507-9927-8BD6D490B0FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd7ce64914b3dc47ea64c0abd9b90347ec42975d","datavalue":{"value":{"entity-type":"item","numeric-id":3792225,"id":"Q3792225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff059fe0a3a49f57cc51a3fbd7ec92eb8a30348","datavalue":{"value":{"amount":"+0.7782595157623291","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":"Q4939692$93EFA54C-0343-4DC5-A293-BC3C17E51C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68479dc183e0bcd597873055dc91981559b37280","datavalue":{"value":{"entity-type":"item","numeric-id":4727404,"id":"Q4727404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a30c63a7a7cc6d68a1b6a53ca8667f67ae76d8","datavalue":{"value":{"amount":"+0.7405284643173218","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":"Q4939692$CA4F922B-0028-456B-9040-4DBC959B6938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c824a56d820ea65e5bd2fe214cde0414ec26a46e","datavalue":{"value":{"entity-type":"item","numeric-id":5309370,"id":"Q5309370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0a9333032e1a7a6deb6b4696d607640ed7908ff","datavalue":{"value":{"amount":"+0.734898030757904","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":"Q4939692$9C81AEBF-59CC-4453-AF24-047190CADF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f1d19eeaba7690e11aa21cdbf8c6d39f05e4c6","datavalue":{"value":{"entity-type":"item","numeric-id":4664063,"id":"Q4664063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e814f7e365b6c681afdf9d7135088a990a5dcf1d","datavalue":{"value":{"amount":"+0.7285107374191284","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":"Q4939692$8349A8D8-1041-48E5-BF0E-43E78CDB3EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b050437c0caa678540f0eb1e033f684d9701a64","datavalue":{"value":{"entity-type":"item","numeric-id":2755026,"id":"Q2755026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4889da49e5205cf6976afbe847cda42ccfa08029","datavalue":{"value":{"amount":"+0.7240878939628601","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":"Q4939692$60C4DE0B-4B39-4B1E-B096-58B23E3F9318","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4939692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4939692"}}}}}