{"entities":{"Q864513":{"pageid":866361,"ns":120,"title":"Item:Q864513","lastrevid":64934964,"modified":"2026-04-11T23:12:55Z","type":"item","id":"Q864513","labels":{"en":{"language":"en","value":"Universality and semicomputability for nondeterministic programming languages over abstract algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5123666"}},"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":"Q864513$DA72177B-B7E2-42E9-B8F1-BCD16BBDF41E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a667a39511bcb8a244d2ca704089bc9970136ae","datavalue":{"value":{"text":"Universality and semicomputability for nondeterministic programming languages over abstract algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q864513$F1262AAE-4121-43F0-AEDC-BE667607D71F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2548f66486fe1c6ad73e250a7cfbf6a2c1d56d2e","datavalue":{"value":"1106.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864513$71D7A76B-EDE2-466F-ADCC-22E8D3036B2E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"099eee4dee173981cb173d28d101aff3a236d552","datavalue":{"value":{"entity-type":"item","numeric-id":340059,"id":"Q340059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864513$8D65AB80-B934-4642-8DE8-3EE8787CB0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35da54e333af453b6a2a0eff025b95d11f812d6d","datavalue":{"value":{"entity-type":"item","numeric-id":377707,"id":"Q377707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864513$916BE167-29A2-42C1-B206-98C0B64D228B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fbe49172b70054d929e5137c1186ec5713f7e5d","datavalue":{"value":{"entity-type":"item","numeric-id":478398,"id":"Q478398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864513$F598E681-750C-4279-8A8F-86474B30AFAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864513$3F155E44-2916-4655-BB70-495FB6077342","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04c4eacc187712207be9323f3a2e3dcadf2d0f65","datavalue":{"value":{"time":"+2007-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":"Q864513$3D146216-6EA4-48B0-A81A-5713B9E7F12E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864513$98EDE302-A8C2-43ED-A976-596094E5C8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864513$7F9FCB76-3A2F-45D2-85FB-ABF0C0BAB180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864513$2A53E172-682C-4939-A961-DB7FB620D4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864513$FF786C3D-4CA6-42AA-B4DC-EBC74F667250","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79fe3a985e503513c040867e77ab95c0b4bc646e","datavalue":{"value":"5123666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864513$39E8C216-3B80-430C-BD2D-0676D97FC8DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92e51fa732238809c6a3465b0ff5c440258aec32","datavalue":{"value":"many-sorted algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q864513$CC09E01E-2FC8-4506-8549-11E69D3CF1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad03bda6e9f5767e4f8a1807c8f807f01df59f96","datavalue":{"value":"computation on abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q864513$25D19D51-BF4A-4617-8D50-70BEA505AC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9fb240279566e8cb1c8e86db4b2b12d441dc3ba","datavalue":{"value":"abstract computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q864513$05C6FD42-7AB9-4567-8755-C8419C803A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"275ca5db594a8b2d3c907dd1a52065f1a530f68b","datavalue":{"value":"random assignments","type":"string"},"datatype":"string"},"type":"statement","id":"Q864513$701E8C72-26E3-49B5-B4FA-D49939F7732D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ee7fdf2049db9290d38cc9f0709f4ba151de5a1","datavalue":{"value":"guarded commands","type":"string"},"datatype":"string"},"type":"statement","id":"Q864513$E0DACECB-34A7-4611-B5E9-1B22D9FB6021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q864513$5E8E72D2-C999-46C9-B648-48F2CD097EEE","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":"Q864513$DD547113-F1D3-4BD5-B833-20F97674EAF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7398aaf9e7caca11a2ea7ae4c1a7fd4f12df025","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2006.09.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q864513$F02363C9-740C-4DB6-AEEB-26F1FA3F351F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49455a9ed6227d1a08d4b4376be9e612543ff0e9","datavalue":{"value":"W1983544092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864513$2FBDF9F5-4BC1-468F-85BB-75B3AEDE5C40","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864513$56EAD75D-CA1A-4A35-8A53-0F090CA3504E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04423ef643adfc05648864517dad32b25804c149","datavalue":{"value":{"entity-type":"item","numeric-id":3870277,"id":"Q3870277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864513$C9EEA82D-5926-46C3-AE6C-E405462AB52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e186c569b8f49701f179319efa49430fae0cf8c6","datavalue":{"value":{"entity-type":"item","numeric-id":4130977,"id":"Q4130977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864513$7D88B528-2EBA-4AAC-ACF1-924921F4EEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a9aa022552b9c484287fd851be9d83563fa26d","datavalue":{"value":{"entity-type":"item","numeric-id":1292414,"id":"Q1292414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864513$5AF61877-649B-4E5D-8A3E-34BF36784AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24cee6a174c1adf8837379adbe08378cf535222b","datavalue":{"value":{"entity-type":"item","numeric-id":2753183,"id":"Q2753183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864513$04641FF7-6C7C-41E4-A0BF-8500658AB213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20eba8e1fcf73bf6bb9d19e6ccf17fb84b4cc6de","datavalue":{"value":{"entity-type":"item","numeric-id":5277710,"id":"Q5277710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864513$6B19FEF5-9057-4F29-8AF6-8F4C1A949339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"250cc500bc56a0aa8a0926edeeba56984a5a86a4","datavalue":{"value":{"entity-type":"item","numeric-id":1764798,"id":"Q1764798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864513$7C23D075-6351-42A3-948A-B63303C3ABFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1613a6ff5ac7b010de5ba58e55ebd9cdec3d5273","datavalue":{"value":{"entity-type":"item","numeric-id":5765445,"id":"Q5765445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864513$A00B01EB-D000-46E7-BA92-BA1FF2C3ECC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76527e6b7777be6eb46490bf6e2a7179c406a019","datavalue":{"value":"10.1016/J.JLAP.2006.09.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864513$F377351A-C140-4F21-A59B-DEF43EA7A29F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c956b6ee4f99e140fcd30c1c4f0d751cbfa6a57","datavalue":{"value":{"entity-type":"item","numeric-id":4475108,"id":"Q4475108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de7991916de557908b9088fa3781eaf6f617c02e","datavalue":{"value":{"amount":"+0.7383431792259216","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":"Q864513$1CC9E9FA-373A-42E6-BC18-464AF7886E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c496a6f43e67ff066faf45ce7d6fa2084e6c69b3","datavalue":{"value":{"entity-type":"item","numeric-id":4637219,"id":"Q4637219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ccd3985a00af0ee6564321653db3edc9610537a","datavalue":{"value":{"amount":"+0.6991345882415771","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":"Q864513$DBF06172-4748-4A78-91D8-EE5C87B2D38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b3bfa2c62a27d355a9acba4d08d33fbddbfdd57","datavalue":{"value":{"entity-type":"item","numeric-id":3787999,"id":"Q3787999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d230978a0c4a8ac851a941a84be96405136caab2","datavalue":{"value":{"amount":"+0.696071445941925","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":"Q864513$5F0E3A58-7A19-4ACC-B5E8-9958FE993510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb072c806f89cc10442dd682a63a72337e9d083","datavalue":{"value":{"entity-type":"item","numeric-id":4630303,"id":"Q4630303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"556d4567723c5254719dad74f80193a7eea72e2a","datavalue":{"value":{"amount":"+0.6927280426025391","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":"Q864513$D29E5368-21E4-4CFD-9604-01776E7703E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b36bb7ebda938baf2640e8315058974a40a7a76","datavalue":{"value":{"entity-type":"item","numeric-id":1905256,"id":"Q1905256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc7a3891c1192556e547a5581e16a25aec8a5117","datavalue":{"value":{"amount":"+0.692617654800415","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":"Q864513$3678F52D-3F9F-49A2-AE76-02AD1AB2151D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Universality and semicomputability for nondeterministic programming languages over abstract algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Universality_and_semicomputability_for_nondeterministic_programming_languages_over_abstract_algebras"}}}}}