{"entities":{"Q674338":{"pageid":676187,"ns":120,"title":"Item:Q674338","lastrevid":42633692,"modified":"2025-07-07T11:59:13Z","type":"item","id":"Q674338","labels":{"en":{"language":"en","value":"Equational properties of Kleene algebras of relations with conversion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 986072"}},"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":"Q674338$49BCBB73-4A57-445D-885C-C667002D2E08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0bf6c681025c5a512ac528d1420a2373ec68bcd","datavalue":{"value":{"text":"Equational properties of Kleene algebras of relations with conversion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q674338$C7F9BCC4-5489-428B-869C-0E8A338C6D29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"332cc357594d6bb4cff0f01dd8946653d6c1b391","datavalue":{"value":"0872.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674338$8EF65B59-F72C-4BAF-B32B-529B11942428","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"740e9e5aee0733396c3eb6286685a1efec347c6c","datavalue":{"value":"10.1016/0304-3975(94)00041-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674338$4843BE3E-EC8D-4631-A217-C4D7965DBA82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2839fa7df2030a45c4fad5ee858120056b896af4","datavalue":{"value":{"entity-type":"item","numeric-id":265801,"id":"Q265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674338$561DB837-325B-4FC2-A2BD-B4AFB65E6D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f93d777c3762d228287eeaa71d795f6f09ad77f","datavalue":{"value":{"entity-type":"item","numeric-id":674337,"id":"Q674337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674338$7340907A-C021-442A-82B1-55019ADE4FB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674338$7B1A2EA1-0B4A-4711-8241-118851972189","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q674338$B974D4FB-2EC0-4B3F-948A-E0D5A31BCB46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674338$685765C4-B593-4A6C-9EE0-168007AB9743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674338$9DB10455-5E9F-4ECF-B4CF-C1C8EEE1767A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674338$AF996AF0-B3CA-49B2-B179-203A6E0D4735","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfa4eb99d76a7dbcde9a413389062462b481c153","datavalue":{"value":"986072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q674338$AAA651C6-7E6A-4239-8C40-06987125DDA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4558db164c7f575bb520b3fb6e24a7b3ff697af","datavalue":{"value":"Kleene algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q674338$9E2F9629-668F-4E73-87AC-DD413D95893E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193d29f08e212b1e3cb5c9869fa7daabc2d13569","datavalue":{"value":"equational axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q674338$13586698-B962-44EC-8995-6D19F880F722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29b665dfa39d0a4996709ead335ef5e11707f09","datavalue":{"value":"algebras of binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q674338$BDCC8577-FB71-4D1A-81DE-0C8804D1C494","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":"Q674338$17D590ED-7798-4E4F-BC56-F769EC8470AD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"975593ca4b2b9af72be87491af8461a076c54b55","datavalue":{"value":{"entity-type":"item","numeric-id":2277499,"id":"Q2277499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674338$B3D3A49A-F780-4E58-9383-1CED138818F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a26e6bdd1261de50d5d0497494901fadd8b4db","datavalue":{"value":{"entity-type":"item","numeric-id":3030266,"id":"Q3030266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674338$8D879ABD-7A1C-4FD5-9604-265D40AD548C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12af5d9bc8b3f0f080618d60cd7426f415401c2c","datavalue":{"value":{"entity-type":"item","numeric-id":2366691,"id":"Q2366691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674338$1266B53E-D950-408B-B345-992E38B9E1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687a623f0a9b9a1d72144852d29f427907b2edd6","datavalue":{"value":{"entity-type":"item","numeric-id":4279247,"id":"Q4279247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674338$70BFB1F0-E6DA-441F-83C5-6C14C3870946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddc31b36bf04eab4376f85e6408499afe556bd69","datavalue":{"value":{"entity-type":"item","numeric-id":1344844,"id":"Q1344844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674338$5006D60E-3FB5-4A36-89E0-C0B67F166E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e375c52511dfb34f82e104f95edb5056ad3d650","datavalue":{"value":{"entity-type":"item","numeric-id":3479525,"id":"Q3479525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674338$788E5A49-5EC3-4631-A228-BA7DAB21FD44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674338$DEEFC645-20F0-4BAD-92DA-97D53C243F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"679fbeed1ffc0b11ecce52afab3d172fe091c402","datavalue":{"value":{"entity-type":"item","numeric-id":5894726,"id":"Q5894726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674338$CB7C0DEE-9E19-469D-A024-C8BD72ED25C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674338$A7B17FD7-1C8B-4DBE-BDFE-079A8BB8A45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2865852dc93043079e973d7fca0c6ce6faa956c3","datavalue":{"value":{"entity-type":"item","numeric-id":5659467,"id":"Q5659467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674338$133586BC-EB2C-4672-81E8-B6E9C9522076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be743580b11a4cba8de8bf61590883dc315af5","datavalue":{"value":{"entity-type":"item","numeric-id":4430312,"id":"Q4430312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674338$C949CAD6-45B5-42B8-B6EC-40EE31074355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d58e96e56fa7670a298892e95b3ad874ec0276b","datavalue":{"value":{"entity-type":"item","numeric-id":4011720,"id":"Q4011720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674338$FB7129DB-4BC7-4C76-9309-275ABFA6FF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c6befd6c9a204dbc0e715190e75c5e6af20d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1177930,"id":"Q1177930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674338$22B4FAD6-F143-4782-9E80-F533D8EDFF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb9b6fee7afc6e55aa83396b5c6df38a519c39df","datavalue":{"value":{"entity-type":"item","numeric-id":4273477,"id":"Q4273477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674338$44605F40-FFD0-487F-9506-E6A7732A9651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q674338$BEE32CA4-0C68-4BFF-869E-04C2CAB5D1A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15027f4ccce390c3981b96c750fe982409ef55a","datavalue":{"value":{"entity-type":"item","numeric-id":5712435,"id":"Q5712435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494e6179d08b8a2ac82b7c3a851ceb3ec0984685","datavalue":{"value":{"amount":"+0.9016117","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":"Q674338$E379B611-3D4E-46F0-8C0D-ADE24B259724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebefda19fe220c0ec2e26f7efe760d7c851d2fc6","datavalue":{"value":{"entity-type":"item","numeric-id":655418,"id":"Q655418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42478da9df1fbaa82c0deeecec6bd91a1f63dcfc","datavalue":{"value":{"amount":"+0.8999773","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":"Q674338$B08C1A78-E150-415F-89F4-DD00E144EE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07feede7c37e28000329043b5a16eeee818389d","datavalue":{"value":{"entity-type":"item","numeric-id":5410480,"id":"Q5410480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5952f5e858ed06892b9d06e2f79b33c9d036c07f","datavalue":{"value":{"amount":"+0.8994254","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":"Q674338$24593FD5-B0DA-4772-A2D5-D118B034B777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b39ba2eba10860c67f7de3abce5d01041a8d804","datavalue":{"value":{"entity-type":"item","numeric-id":4338157,"id":"Q4338157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9352b3b1b9f7cd17836271f60b824cbf9398ff5","datavalue":{"value":{"amount":"+0.884152","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":"Q674338$D517DB59-14C1-45E6-8C0D-27E6897BB3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a6aee63a7fb9b54e9b5a1aa02877107628fc66","datavalue":{"value":{"entity-type":"item","numeric-id":4305489,"id":"Q4305489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9352b3b1b9f7cd17836271f60b824cbf9398ff5","datavalue":{"value":{"amount":"+0.884152","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":"Q674338$55DD6547-018C-4ED0-8C34-D90DFAE60131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4fe97e33369164d51d49b1247a883ab1bcb7a98","datavalue":{"value":{"entity-type":"item","numeric-id":5167845,"id":"Q5167845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d690faece70abcc22a7d276a3f249ea5c2567595","datavalue":{"value":{"amount":"+0.8830197","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":"Q674338$4F1E1A66-318E-452D-A0B8-657975B42859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7fe6123e1ea33a51ee893cf9035716be0978f55","datavalue":{"value":{"entity-type":"item","numeric-id":5459176,"id":"Q5459176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23ddafb62ea78a18f5a48b66b2d05572ab0c3c4b","datavalue":{"value":{"amount":"+0.8828717","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":"Q674338$5F12B7B5-F30A-422D-A941-F4BD106D1799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fec5d0c616008f5cac10e35f132478da42b849bd","datavalue":{"value":{"entity-type":"item","numeric-id":1617808,"id":"Q1617808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d050f0f26cb5981b91af4ac975e062b5be30c2ef","datavalue":{"value":{"amount":"+0.8780814","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":"Q674338$7913C83B-57CA-40E0-9BA5-52D0D22DA847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de14af807fe8a5cb60578251aeb009298d98cba2","datavalue":{"value":{"entity-type":"item","numeric-id":4373705,"id":"Q4373705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a3d37ff41db4b6c73282cc8b01b3feb93a58656","datavalue":{"value":{"amount":"+0.8780045","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":"Q674338$3F67C2CE-7B33-4B33-A4DC-9541F9E43D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8dec66fca1aa58bdfaa779e0bc11c1d07a24052","datavalue":{"value":{"entity-type":"item","numeric-id":299194,"id":"Q299194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c30d7faf72537dbe8680b7db68ac1512c8db66c","datavalue":{"value":{"amount":"+0.87586766","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":"Q674338$0490AABC-2BB0-4D67-8A68-42084218C992","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:674338","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:674338"}}}}}