{"entities":{"Q6174420":{"pageid":13309308,"ns":120,"title":"Item:Q6174420","lastrevid":98778659,"modified":"2026-06-05T18:27:57Z","type":"item","id":"Q6174420","labels":{"en":{"language":"en","value":"Completeness and the finite model property for Kleene algebra, reconsidered"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728638"}},"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":"Q6174420$8FFF8DFD-74FD-4614-AD84-2DF03CCFA339","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29aed26700493ba4936fb76f29d8a40a50b6f262","datavalue":{"value":{"text":"Completeness and the finite model property for Kleene algebra, reconsidered","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174420$03E977C9-E274-463F-8184-93A2181DE017","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1b3da9cdef20b49dd9a7a215525cbd006e63d31","datavalue":{"value":"10.1007/978-3-031-28083-2_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174420$41BCC8C0-FB92-4871-A566-D5585C444EAF","rank":"normal"}],"P16":[{"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":"Q6174420$723857F9-C34D-4133-B529-5101265985C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$7440FE9E-73A2-4683-9341-16C50A755518","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6174420$28FA9C89-F552-4581-BF71-72BED8A3CEA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d94e4451b8ab2c9232d74fc2adb151a46558723","datavalue":{"value":"https://arxiv.org/abs/2212.10931","type":"string"},"datatype":"url"},"type":"statement","id":"Q6174420$66F25CA4-14D0-4C42-857F-DE2F3929CAC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174420$4F60108B-313C-4674-AC48-35589934BB01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54b09636aed3514a708380eaac4c656d6982ab5c","datavalue":{"value":"7728638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174420$6CF930F4-4F1A-48AE-A62E-72EBC9C97B01","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":"Q6174420$B5BA81B9-9BAC-4BFE-8859-B8487FBBDC82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16639ef86ddfa658fb22ce8867e5743e005712bf","datavalue":{"value":"W4323527450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174420$4D466C03-0EB4-45BC-A6FD-BD547333DBA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b389e8c32260009cee4925d8f6ead645371e32","datavalue":{"value":{"entity-type":"item","numeric-id":5408410,"id":"Q5408410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$B53456EC-9EF5-4919-8112-D6F6CB655599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1627b0ef0dc706a0d145ad59d2ccb2cc61cb36","datavalue":{"value":{"entity-type":"item","numeric-id":672142,"id":"Q672142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$4B85D1F9-C623-4D01-A027-B75C13590E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$97533132-B69A-4F6F-B36D-FDC45CBF72D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$8559B30B-5379-47F7-ACF6-39EE5F0D8642","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":"Q6174420$3CD5FF72-2EC2-4DA9-86E9-629B69E2BBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$AA7AF42E-3A21-49B7-A8BE-C1ABD67BDB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$0913C253-0675-4850-B4B5-B7E26FA0D773","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":"Q6174420$56BE6611-BB5F-45F7-9A21-185F6EEFDE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b371b6643dcd783cb1ccf170d2f8367db4f0491","datavalue":{"value":{"entity-type":"item","numeric-id":5222960,"id":"Q5222960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$2AFC7695-70EC-479C-85B4-3773B60C120E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e0bbb1d8cfb9b91bd41f05780d54a53310b43ff","datavalue":{"value":{"entity-type":"item","numeric-id":2352506,"id":"Q2352506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$72B003C4-2603-4915-8B18-CA035529D5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"179c0b6962190b8ad4dd7f09ad71bc7a41594b70","datavalue":{"value":{"entity-type":"item","numeric-id":5757938,"id":"Q5757938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$86497AD9-7D97-4CF7-BECB-E77C9CA8A3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8161e84eaab706e05b908a0f1c584da32d5636","datavalue":{"value":{"entity-type":"item","numeric-id":6174420,"id":"Q6174420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$CC56C407-3BD6-4EE8-8628-0603B40DE0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$D4983CCD-D85F-4B70-BCFD-070D995B4D85","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":"Q6174420$BEB539C8-854B-41A4-8859-56AE1B2F8C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8016482a97a49db71bdb617b79d3757eaddb9f0","datavalue":{"value":{"entity-type":"item","numeric-id":2762494,"id":"Q2762494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$E09AF33C-9FFB-4456-A425-FAE3862C9CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50820dcc1af6c5a368ac6f3fdc4a1d7adb9ffb30","datavalue":{"value":{"entity-type":"item","numeric-id":2767087,"id":"Q2767087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$5D0A2AE2-DF6A-4D57-8B43-3F2AE9374F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b3d9f352573173030232715e42d8599424d97f","datavalue":{"value":{"entity-type":"item","numeric-id":2286746,"id":"Q2286746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$8A9B6431-B6BE-420E-BD3C-3BF81E9E41CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d6388bf1c443d0c5b8e897ffe9d0533c59151c","datavalue":{"value":{"entity-type":"item","numeric-id":3521987,"id":"Q3521987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$BEB3B3D6-7D70-4C2F-860A-F978224BC594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4acb9423d306d0bd0ffa64b987d2982e9421b4","datavalue":{"value":{"entity-type":"item","numeric-id":4038681,"id":"Q4038681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$8245B854-5ED9-4F3B-83A1-B2964D1179B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"572a359ebd12680219af062d2612606f0a5d8e1f","datavalue":{"value":{"entity-type":"item","numeric-id":5570933,"id":"Q5570933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$11467C1D-63CE-49FD-8276-E1DF73B7A9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff2cf228e7f6980c3ee8de846819585d642e9839","datavalue":{"value":{"entity-type":"item","numeric-id":5536277,"id":"Q5536277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$ED7C6825-7FE8-48B9-B1E6-D5F8E2719645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a92debfff6accbd734b0abf78296b7dc601b32","datavalue":{"value":{"entity-type":"item","numeric-id":5472890,"id":"Q5472890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$DD1D6719-42F9-4FAB-8CA0-A14881F24351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$A9448369-B908-4EB4-A65E-907063B16099","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":"Q6174420$3BC279FD-5056-4238-B901-A92687C56A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"413438a11fa9b0ae60010db95a387e72d3a0bcc3","datavalue":{"value":{"entity-type":"item","numeric-id":2981979,"id":"Q2981979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$77AD7BE5-2E51-4FFE-82BC-62CC0A6A7D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$F6AED44F-0BB3-4146-B8B6-A921C961F304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a03efa3e8a787ca556e8f11efd48be51043692c","datavalue":{"value":{"entity-type":"item","numeric-id":5549415,"id":"Q5549415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$7FEDB0A1-65AE-4475-88D2-976D42EA3AB5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174420$5EB5D8F4-E1D4-4410-AD1C-F54DCE5CAB34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness and the finite model property for Kleene algebra, reconsidered","badges":[]}}}}}