{"entities":{"Q1058286":{"pageid":1060134,"ns":120,"title":"Item:Q1058286","lastrevid":67016394,"modified":"2026-04-12T14:21:19Z","type":"item","id":"Q1058286","labels":{"en":{"language":"en","value":"Non-deterministic data types: Models and implementations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3900136"}},"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":"Q1058286$3C2CE6C4-D3A8-4E0C-B11A-3F22A7A5829F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9895ad18b96b6e221ccb2bbda699c9bcf0a3d26d","datavalue":{"value":{"text":"Non-deterministic data types: Models and implementations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1058286$DFFA3741-B148-493C-8B3C-ED41E05523F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9f997e02cbfc8e7c6c6a3924441750697a6629f","datavalue":{"value":"0564.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058286$3A210EE2-CDCC-4D3B-8934-40CD10346822","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1c877c779ee53aa2729230a6cc7022781a67eac","datavalue":{"value":"10.1007/BF00263649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058286$35159115-DB03-448B-8B87-A4DE1556FE25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$C96E85C2-AC30-42F6-8DA0-245052B702EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$FAD7C591-CA66-4BA6-B074-1467A9949C9B","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":"Q1058286$14EDA2D5-D4F3-4651-AA2C-53E5B0B41AAE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec94d228d8557d1c9c5f84fc034e9537408b1a19","datavalue":{"value":"The model theoretic basis for (abstract) data types is generalized from algebras to multi-algebras in order to cope with non-deterministic operations. A programming oriented definition and a model theoretic criterion (called simulation) for implementation of data types are given. To justify the criterion w.r.t. the definition, an abstract framework linking denotational semantics of programming languages and model theory of data types is set up. A set of constraints on a programming language semantics are derived which guarantee that simulation implies implementation. It is argued that any language supporting data abstraction does fulfill these constraints. As an example a simple but expressive language L is defined and it is formally proved that L does conform to these restrictions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058286$84CC2E27-395F-4874-A4D6-4B8EDE9F014E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058286$AD691D3B-9CC9-449F-97EC-1F66C0FA6A33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f3ffe18dbfd4479bc39c5b417ef072d14f302fb","datavalue":{"value":"3900136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058286$4DC8E36F-F9AC-45DC-A407-5DF371BC0068","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26545e275c4ab87aaec371bb7111c1a4a93b74ba","datavalue":{"value":"multi-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058286$BE77D671-9499-4F2B-90DB-C72CDA3F23B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db3c14f059af5cf3ee0ba13f585a1c3e9c3eab09","datavalue":{"value":"non-deterministic operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058286$82623A50-3D30-4C47-92F1-96567E5A7E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"713e3d318158656f8a87b241b7f4f4fe125f1bc0","datavalue":{"value":"implementation of data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058286$59F0319E-CD1D-445C-94CB-4EA511A1E544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6eed51f4e081d8b1a372888091c2be6be0b4ef9","datavalue":{"value":"denotational semantics of programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058286$0510B51A-1DD2-4CE0-B55B-EFFD3B6BA367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"313f5f80cc13850c26e8c53eff623077754a28b3","datavalue":{"value":"model theory of data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058286$D73DDB27-B737-4EDF-8760-C9154780AA22","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":"Q1058286$23BDABD5-964D-484A-8699-0DCE826E21AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64b6ccafd77be295bffb3990c7688874dea1138","datavalue":{"value":{"entity-type":"item","numeric-id":4746778,"id":"Q4746778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$AD575226-6BE1-4AC7-A556-3CA63C538ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbaa022c57ea65c38158769cc9a363816abd1593","datavalue":{"value":{"entity-type":"item","numeric-id":4744218,"id":"Q4744218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$86204525-1E86-4244-B48B-230382F9F209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f1d22759dc3e1d2d1547a2cbe8ef2c19f3df9a","datavalue":{"value":{"entity-type":"item","numeric-id":3912057,"id":"Q3912057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$D5959C17-B7C9-4909-AB4B-74D7E612D7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf74703b34de1626ffd3d7ae5025c7b42a757dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1169290,"id":"Q1169290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$858F08EF-10FA-498B-A595-4DCC04B8717F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e9a6be1b5191961a72bfc3e566efae6e25eb9f","datavalue":{"value":{"entity-type":"item","numeric-id":1838960,"id":"Q1838960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$89C1E761-1128-4FB7-BF73-E488892BA2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc94c0f267a5b105d4bb294ed6fcdf2ef2281a90","datavalue":{"value":{"entity-type":"item","numeric-id":3667921,"id":"Q3667921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$9573E773-D8D9-47D5-87CF-340E8872C37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb8d5e06882c433853d7ee2893203e268f644ef","datavalue":{"value":{"entity-type":"item","numeric-id":3677164,"id":"Q3677164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$D0494DF1-E339-4E9D-87E0-9095A509900F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a89a80ba258b88ead3c75bcb3d478f088a6b8919","datavalue":{"value":{"entity-type":"item","numeric-id":3662610,"id":"Q3662610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$EC92463D-E461-46C1-9D44-4921F8C3CEAC","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":"Q1058286$14566F30-7159-472D-BF46-2F848B91706D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52efcbbe11513c685db1a2de3c5505e7a27397a6","datavalue":{"value":{"entity-type":"item","numeric-id":3947104,"id":"Q3947104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$5256D65B-21A3-4243-AA66-5ED4845DE620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$33317A49-95D8-4963-A5AE-A245719E4DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$51560AC8-803F-460F-B4C4-554E1C7A3B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ac860696e668a9ea3bf009a3485e439b6a4bbd","datavalue":{"value":{"entity-type":"item","numeric-id":3859249,"id":"Q3859249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$285B17AE-5496-45C3-9123-547EB1CD6729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$FCD1E6A9-7C1C-4441-B7B7-1DC7271142A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be2d7a498e1fa1a8eec9f77d2e3dbc81e945234","datavalue":{"value":{"entity-type":"item","numeric-id":3906397,"id":"Q3906397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$ED1D1601-39BC-47DC-BA7B-378F8BE2FA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$A7BA0FA8-B4EB-402E-9DF2-7C02F3ACF55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98167f9cbaf41c1f54c403dbb887c0aa709d5f3d","datavalue":{"value":{"entity-type":"item","numeric-id":3725523,"id":"Q3725523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$3AECED37-5E16-4E40-814B-1FC9A4949094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4253d384646b019f04280faeb4984e28cdef49e","datavalue":{"value":{"entity-type":"item","numeric-id":3677153,"id":"Q3677153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$E821F7B8-A386-4ED9-8C01-16FBFA6453DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be75b2de8c8bc279b3324aa378900b2836e97b9","datavalue":{"value":{"entity-type":"item","numeric-id":3666260,"id":"Q3666260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$A5920BDD-D62A-442E-AEDB-D9EF6B699B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e729b9d812db35a50bbc3f596c98bea6b96263","datavalue":{"value":{"entity-type":"item","numeric-id":913484,"id":"Q913484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$97A65B67-5461-43B5-8DEC-6092D851BD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058286$0CC260D5-314B-4BA5-8CAC-1321080BCE0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ace55b87b7a07b18201bf6ce3c80ab7d5be284","datavalue":{"value":{"entity-type":"item","numeric-id":4858905,"id":"Q4858905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9623182827c1efddda25955c94a1ff33fb09d0f7","datavalue":{"value":{"amount":"+0.91782004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1058286$835140F1-CD59-47FA-A653-BB2F1A898C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfcdfe6f88ad9576e3c454392c269e12c96a83c0","datavalue":{"value":{"entity-type":"item","numeric-id":3816965,"id":"Q3816965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e234a02502c979685ef2ddcf615cd26bcf084a6","datavalue":{"value":{"amount":"+0.8811957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1058286$FF36D4C3-8FF3-42F6-8A23-643458C0CDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c60706c3e7f76580ebae914508f3fd28c6d55158","datavalue":{"value":{"entity-type":"item","numeric-id":3341863,"id":"Q3341863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30c6e34e92ea4bb10b5047018c398dc0a9394497","datavalue":{"value":{"amount":"+0.8672503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1058286$86116188-601D-4218-8D47-7D2F03550215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1944b6133c0cb8b4c186c14c63afb6b95e4250d3","datavalue":{"value":{"entity-type":"item","numeric-id":4939692,"id":"Q4939692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c3e13f1bb5710160b701c820b9ab441d6a72316","datavalue":{"value":{"amount":"+0.8565542","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1058286$CCBC6E87-9E85-41E1-BC33-618097012BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dee7c397d8da6ae52bc3d1fa366e899f0680b72","datavalue":{"value":{"entity-type":"item","numeric-id":3392968,"id":"Q3392968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f01c3f14fe1bee14a9ab4b08ed3dbddc8f306d5","datavalue":{"value":{"amount":"+0.85353684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1058286$45818808-3C3A-4EF2-9D22-CFA7DB7E57FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79960c67441c0801e9a93b87e74062f60af9e0bb","datavalue":{"value":{"entity-type":"item","numeric-id":3992226,"id":"Q3992226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61dfff982b41209cf7074f446eb4ca3a51307e3a","datavalue":{"value":{"amount":"+0.85175353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1058286$59C606C5-07D3-4700-A441-70043C795FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c39dbc3eb35dcff01f6cd7dac6201e782557e73","datavalue":{"value":{"entity-type":"item","numeric-id":5740658,"id":"Q5740658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"847dc91e2edb8913127dc6700b6fe6b35f4f28f3","datavalue":{"value":{"amount":"+0.8499357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1058286$0ACDAF9B-B1D7-40DF-A5F4-28B75932AFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69bafdab3e813455a298724f4785bb562e89cc45","datavalue":{"value":{"entity-type":"item","numeric-id":4992399,"id":"Q4992399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c84351ee429de03fa723916746c152fd4b7b7f7","datavalue":{"value":{"amount":"+0.845939","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1058286$F53D356C-6874-4812-8F7E-8BBCCDAD06DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e3b9351f04c4486275722680018c00cca8856cb","datavalue":{"value":{"entity-type":"item","numeric-id":3323252,"id":"Q3323252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada8d338919adce9d041cc18320559437034a6ad","datavalue":{"value":{"amount":"+0.84543896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1058286$DC28555F-4556-48C4-9AD8-344E9D861385","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-deterministic data types: Models and implementations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-deterministic_data_types:_Models_and_implementations"}}}}}