{"entities":{"Q903368":{"pageid":905216,"ns":120,"title":"Item:Q903368","lastrevid":65254395,"modified":"2026-04-12T01:20:08Z","type":"item","id":"Q903368","labels":{"en":{"language":"en","value":"On the expressive power of Kleene algebra with domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6526579"}},"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":"Q903368$8DD1EE91-234B-473D-9733-4F105FB0591D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"816373b4e2e75fcf7e9ce53fa73d45a9ded95934","datavalue":{"value":{"text":"On the expressive power of Kleene algebra with domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q903368$7DD9A188-FCFF-49CD-B10C-9F5806EE4F3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b105787a186ab1898038850a3f29371fbec8609","datavalue":{"value":"1347.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903368$E7E64138-F6F5-4054-9618-6CFA9951DA60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903368$B4968CEC-0157-45D2-B4BD-A8A9699A477A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903368$EF1E6C23-5222-438C-8A0E-0D920FE20FEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d7f5e784a490a0ad9da214c96404dca97411669","datavalue":{"value":{"time":"+2016-01-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q903368$A9261C54-2214-40A4-A2A1-DB27D1BDD6BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a98a31c85db262e23f7ce8ebe59c1b53762b31e5","datavalue":{"value":"https://arxiv.org/abs/1507.07246","type":"string"},"datatype":"url"},"type":"statement","id":"Q903368$901677BB-3AE6-497F-94F4-B51213AE5E99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903368$12E4CA24-F782-42C8-8CE1-F267E3A2B22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903368$E9B8C7CF-1280-436D-9FE1-BD520FA37D78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b772e0d8cb3860ce6d914598a31ff667e7c6dd11","datavalue":{"value":"6526579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903368$8214B353-B1A6-40D7-86CA-24A854100279","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3a6b28706d72e31c003ae9a5f1cddb4e776c4a0","datavalue":{"value":"semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q903368$E89345C4-BAAE-47CF-B3F4-82D622D4CAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4558db164c7f575bb520b3fb6e24a7b3ff697af","datavalue":{"value":"Kleene algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q903368$D585D1A0-A0C4-4E9B-9DA1-C0F51BF64ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q903368$6EC1B90A-61E0-45A5-9EDE-5A5DEAC095C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q903368$E7036742-3A66-4FC4-BF5C-2947894DA0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q903368$ED58521A-6B06-468C-87A6-A3BAA5171EB8","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":"Q903368$A66FFD5F-285A-493D-B7CC-F9E48B1B29B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97e5a79dc5e9b56df3e9259403813d93e784b4d9","datavalue":{"value":"W1007073359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903368$232C82CB-602D-4C0A-9FE6-0275E0C5FE22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13d4d25d9b41b80813e9e3772d78e6f24c19a44","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903368$0AA2847F-C024-41F8-9A73-E1FFBC792261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08dc42b0e7ff775d175e9650bc18837bb9e6bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903368$D61F2CD7-07C7-48DE-BCAB-30FC87AD8A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5703d8b9ac3f2ec42c5cea3cb6310bb02f051a","datavalue":{"value":{"entity-type":"item","numeric-id":627202,"id":"Q627202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903368$FE717CC1-6D22-4A93-821E-B2D66C454D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903368$1BC6376A-D3C2-4E62-9E94-2C94CC75E677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62386516d9e4edfd13150a63c443c59cb377920e","datavalue":{"value":{"entity-type":"item","numeric-id":820135,"id":"Q820135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903368$1FF7CE1D-2679-41C3-BD49-6B6ECF0C039E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0dc16508877fecb9994b520f0ed77f4ce3b776","datavalue":{"value":{"entity-type":"item","numeric-id":5505433,"id":"Q5505433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903368$3B0B81C5-2C6C-4CF9-B8BB-DD4489E1C736","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f778d8449397051be857b48256403d5cd1a2c8a4","datavalue":{"value":"10.1016/J.IPL.2015.11.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903368$B47BA3D2-D789-4B3C-8D14-45A914E15626","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a957b6c28a5dff15b6735747b3947f86495cae6c","datavalue":{"value":{"entity-type":"item","numeric-id":6174424,"id":"Q6174424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"446cd10dd4b1b8473bb5d89fb4922a98aefe7d17","datavalue":{"value":{"amount":"+0.9501082","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":"Q903368$4ED3DD0A-C161-44B9-8804-E4C37559C015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f999f5050d9fcf9ce093e8d12b05d728e8d7bab","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f56721baad42969b596de9d3e1e0f18819a3f6a","datavalue":{"value":{"amount":"+0.94187504","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":"Q903368$E56ACD83-C587-4A8F-810A-1AD5AF0379D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd09d9d5507b82aa0fa3251b7c2c96e7392e71e5","datavalue":{"value":{"entity-type":"item","numeric-id":2210872,"id":"Q2210872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14b5a51a91199f8de45212012e846ef21755f5a4","datavalue":{"value":{"amount":"+0.9043319","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":"Q903368$2D195E99-AD29-499D-BFCF-3C53630E1BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce39e8aac244cc9131807d878325c5e2b09df46","datavalue":{"value":{"entity-type":"item","numeric-id":5894726,"id":"Q5894726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f4d8c6661e9e2bf8aed9e3fe3bcd8bcccf099d7","datavalue":{"value":{"amount":"+0.8993981","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":"Q903368$367CE7F3-8261-47AC-8DBA-7F833B651638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe217c8d6414475f15bd3c7d5f22adab9333973e","datavalue":{"value":{"entity-type":"item","numeric-id":2506487,"id":"Q2506487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b224ff0888f9ec0c1d90637eec30f8efc1747c05","datavalue":{"value":{"amount":"+0.8969468","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":"Q903368$18995AFD-C576-4548-A83F-A3E5F0AD1FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95744fa36a377744a3acfd81e1e708ca56c6b135","datavalue":{"value":{"entity-type":"item","numeric-id":4202947,"id":"Q4202947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3cd1a03832e4c0e3d0bb2cbb44bc6491d40f108","datavalue":{"value":{"amount":"+0.8897381","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":"Q903368$A9B81ADA-8276-4022-944B-766558E73427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e5af88672658cb1d859e58acdd2fd31423022d","datavalue":{"value":{"entity-type":"item","numeric-id":2362883,"id":"Q2362883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f599baa7116ea94b0460dd54c004654da724778","datavalue":{"value":{"amount":"+0.8859173","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":"Q903368$E6F033A2-C0AD-4808-A8CA-2A259F0F97FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650a5191431c389f4b50414a67244057acd8c1c9","datavalue":{"value":{"entity-type":"item","numeric-id":2289074,"id":"Q2289074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb43a304b665c8f1882337dac1047aae4530c924","datavalue":{"value":{"amount":"+0.88489234","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":"Q903368$D4C005C3-548F-4C96-8C80-525EFDB27C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c39bc9531029ecabd7b863e48197314776b58e2","datavalue":{"value":{"entity-type":"item","numeric-id":2848139,"id":"Q2848139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6fbcaf303d1dc46b6442f7d6594da080b11ec9e","datavalue":{"value":{"amount":"+0.88452345","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":"Q903368$E4A19664-C055-4C92-B1A0-8BBC877BF7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e94f2fcf66d8876b75f385508c58a4bca97285","datavalue":{"value":{"entity-type":"item","numeric-id":2491638,"id":"Q2491638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"304c107d16cbb244b9bde6018e95c62120ec12e6","datavalue":{"value":{"amount":"+0.8845234","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":"Q903368$2BBFCB3C-6FC9-46B5-97D6-A35EF9ABFDCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the expressive power of Kleene algebra with domain","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_expressive_power_of_Kleene_algebra_with_domain"}}}}}