{"entities":{"Q5089285":{"pageid":7118861,"ns":120,"title":"Item:Q5089285","lastrevid":41223258,"modified":"2025-04-21T06:24:39Z","type":"item","id":"Q5089285","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559476"}},"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":"Q5089285$86564D8C-FBCE-4982-A9F0-30DF7ED691ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8934907047e08f1c0fc56f1f125aeddb0d3310ef","datavalue":{"value":{"entity-type":"item","numeric-id":1617831,"id":"Q1617831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089285$350A1BCF-60BB-4962-B003-F0F689B0A6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fffcc49ccf08288968257b20f203206e3f67d8a","datavalue":{"value":{"entity-type":"item","numeric-id":299192,"id":"Q299192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089285$0A964EE2-F4E7-40C2-B36E-100A4A7875BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16db8a833bc92d60ee63ac58039d722a100b64e7","datavalue":{"value":{"entity-type":"item","numeric-id":1653005,"id":"Q1653005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089285$61C83D25-FDD0-4657-9B54-08F98A21B460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d90265da4fe31807d3d924225a855a6075e73c7e","datavalue":{"value":{"entity-type":"item","numeric-id":1734518,"id":"Q1734518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089285$1E4FF89E-1A15-4F8C-AAAB-3D6B402BBCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3fd3af9c88c99f68f4296c6bf25bdaa24b9f76","datavalue":{"value":{"entity-type":"item","numeric-id":265818,"id":"Q265818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089285$9EC5AB25-76C7-43C4-94D1-66551B73AE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089285$6CB086D1-D7A5-4715-AA5E-F6A052786260","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089285$B826CC97-CEE1-4264-86B9-B3C1CAE080E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc82cad3f0ab6ea0c9175421f51a25bfd742ca05","datavalue":{"value":"https://arxiv.org/abs/2007.07593","type":"string"},"datatype":"url"},"type":"statement","id":"Q5089285$25BA9CA9-CB1C-415B-89EB-02D691EC959E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089285$B065C1CB-0A5D-45E0-9AFD-C58951178B05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20180b592d3445d6ac2b78a53619afae7d05a2e1","datavalue":{"value":"7559476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089285$2A659C61-5CBA-425D-89AE-A3043DE69874","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b421d15570bd8e635cdc14719f77419a2d2df369","datavalue":{"value":"concurrent Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089285$C7D462C9-BBE4-42CE-B51D-57D87A1B8495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca1bf3c71dbb6f9273aa387a9488d0a71d6549d","datavalue":{"value":"Kleene algebra with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089285$8CE26F2D-3F52-40DE-BEC2-B230B9DA6235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b95744f68dad02bc69daad3b183aa3ed38f4a8cb","datavalue":{"value":"observations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089285$D8517E5C-1469-4854-9775-38489F23D8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66278a5c931b890ca2a4eaf95c16a94ffb623e60","datavalue":{"value":"axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089285$CF6D6D13-97DE-49D2-A887-B3C24FE23973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089285$329FF3C6-C818-416F-BC4E-E41E6DA5D42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52a0d9da79f806624071a34ce7fe3bc7d1f60ac1","datavalue":{"value":"sequential consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089285$EA58C5CD-9887-4CEB-A166-F8C607E2540F","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":"Q5089285$DC490C09-821C-476A-A556-D9982FC2EA2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99ac8c90ab2230f50f8d8c20958984060e38da7d","datavalue":{"value":"10.4230/LIPICS.CONCUR.2020.20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089285$B8D8EA06-DBA9-4CBD-BCC5-BFF1E1F30B1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0de14b71e3e2426ac9734a6cde962cc2f1720a1","datavalue":{"value":{"entity-type":"item","numeric-id":4992527,"id":"Q4992527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07a06bc212523a0b860f53b91dc32a5bbc004bbc","datavalue":{"value":{"amount":"+0.9429406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089285$9995E32F-CB3E-47E2-86E3-3B2FF87FA2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040151c5d810214d94f2fa1386332c2c43bb6d24","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07241c040c946a3847cd00a9b3e8d4e64059b4da","datavalue":{"value":{"amount":"+0.9401002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089285$9380A480-8EF5-49D1-907D-0A25B90D319F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"758b3007bdaca7410422b3c1f43bf3cbbab4ed00","datavalue":{"value":{"entity-type":"item","numeric-id":2200836,"id":"Q2200836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f2219c4f6fdb022a3e4b34956fb415598f504f","datavalue":{"value":{"amount":"+0.93143356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089285$BBAC3E93-2581-448C-A058-485442FA69A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba6a67ff13712332ec07cffd813f5e21320b3e1","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82979b4bc8c6079a19734975d9c0240287997b75","datavalue":{"value":{"amount":"+0.927804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089285$011BEBAF-CC05-4CB6-BDB5-459B0AF82D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1997ccb6825157f9221a5fe5ba3b572811bcc941","datavalue":{"value":{"entity-type":"item","numeric-id":3651515,"id":"Q3651515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3953eec6e40b70160b8a157800fb0737c96a8b9","datavalue":{"value":{"amount":"+0.9198171","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089285$75FC7591-9BCC-42A8-989A-496A987B17FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bb372b7cddc9fb6a920f24750bb2e86b742ecca","datavalue":{"value":{"entity-type":"item","numeric-id":5111642,"id":"Q5111642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb878426638acdd26ff0e0cc1e677b386e01721","datavalue":{"value":{"amount":"+0.91125166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089285$14CCFE39-CDBC-4974-B42F-3D6D708469EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43ed6845b61b37c396aa6a60c3d24b253cd401d7","datavalue":{"value":{"entity-type":"item","numeric-id":299202,"id":"Q299202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83a314f6eaa72130c6c20951d39a9bc4fff06cf","datavalue":{"value":{"amount":"+0.91032004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089285$5DDA6581-8101-46DC-8608-8C30D42FC2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"957158e4715360f4a15e086d483cd6f65632a9a7","datavalue":{"value":{"entity-type":"item","numeric-id":5410474,"id":"Q5410474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83a314f6eaa72130c6c20951d39a9bc4fff06cf","datavalue":{"value":{"amount":"+0.91032004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089285$EBDD1D96-9937-4B6E-A74A-C513DD5098B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9167e336d7ea79e235bb39d89552456ce762e6f2","datavalue":{"value":{"entity-type":"item","numeric-id":2324010,"id":"Q2324010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe1e37224481869b4d0c599668a8a49fc768126","datavalue":{"value":{"amount":"+0.89797866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089285$7DB7DFEE-3E2E-4A84-98FA-AF8EC377E7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81f481d9e136b35d573d30092afee5961905949","datavalue":{"value":{"entity-type":"item","numeric-id":710676,"id":"Q710676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a365bba7d533d33ad51fee1a217378794781b5","datavalue":{"value":{"amount":"+0.8960653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5089285$73DC54C3-CD07-4FB3-A543-EECE416477E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089285"}}}}}