{"entities":{"Q6844593":{"pageid":20564251,"ns":120,"title":"Item:Q6844593","lastrevid":84280961,"modified":"2026-05-14T14:38:27Z","type":"item","id":"Q6844593","labels":{"en":{"language":"en","value":"An elementary proof of the FMP for Kleene algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8172251"}},"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":"Q6844593$CA050AC5-9B63-473A-B762-7E09FF021E7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbdc4d96fa4b39c5341d0c8412f577ba6e2015cb","datavalue":{"value":{"text":"An elementary proof of the FMP for Kleene algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6844593$61388AE2-22BD-44B9-97DF-84365FDCC7D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f30c432e01470eab8ffb16700e5799297dbc3dc0","datavalue":{"value":"10.46298/FI.12445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6844593$68972397-CC3A-4545-9B6A-F12A337E6D1F","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":"Q6844593$51C15B21-B2DA-4BEA-AC1E-B59930FF5B09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6844593$08E916E3-7E1B-4DC6-9F10-A7E122B869CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fd4d0920ce6fc28c1318bef8a350d844e6e9665","datavalue":{"value":{"time":"+2026-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6844593$EBDA9C7A-366E-42DF-876E-00D2F1E431DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6844593$2C6A1B37-1D93-4755-B996-4CEC0BD71C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6844593$A5332810-1796-4F1E-8BC4-D3253F93666B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77b64ccc2c3daeb41d09d48fd88dcf5a9c6a5056","datavalue":{"value":"8172251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6844593$13D32DAB-6CD7-4EB0-B5C6-F3DDD2C16890","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":"Q6844593$33AB9386-E039-4F1B-AA5C-DA3EA68FA2F4","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":"Q6844593$BD183DBB-1EF0-49C3-A532-AD70F2A87403","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":"Q6844593$D18D4077-E8C7-42B5-BB03-5AEB339B7C22","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":"Q6844593$C6E3AD30-66D7-4CEE-8500-5526F328B04F","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":"Q6844593$546AA2A8-1809-4437-B18F-20FED5C6DB35","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":"Q6844593$F41BE747-5CB1-41C9-BFBF-35CB482F0579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0712512ae39e64635b9634cdec19b25e852ac","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6844593$74F4B995-E380-48A9-BB7F-1ED092945D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f49fa1f49f14748f70e9226f387711ddcf8fdc3","datavalue":{"value":{"entity-type":"item","numeric-id":2881083,"id":"Q2881083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6844593$AECEE4E6-11CC-47B6-B4D7-F7AA0ADEE704","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":"Q6844593$75EB1EFE-902B-4C98-808F-43BD60B12BA6","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":"Q6844593$FF1FE14B-6165-437C-AF2E-8212F9CB6400","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":"Q6844593$F6B855D6-714C-4B8E-B4EA-40D392D1772A","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":"Q6844593$78447FF9-CE1C-43C4-AC03-A27AB84911F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74bab51510c8cdbb460d74e8577b6009e7a0a2c5","datavalue":{"value":{"entity-type":"item","numeric-id":6587137,"id":"Q6587137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6844593$EC6C75DC-EEA2-4EDB-AAE3-897265D61299","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":"Q6844593$6459ABFE-911F-42B2-B6DA-9469BB79439C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c200a502106ccfaae5cf68ef362e25173d34302","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6844593$2E92E3ED-87CB-4C32-A59B-8342298AB03A","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":"Q6844593$E098D35E-0FA8-46AC-AE3A-E5322CBC272C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96dbdba31b3984497d94bc0ffe28161af5341915","datavalue":{"value":{"entity-type":"item","numeric-id":299205,"id":"Q299205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6844593$FC2F697C-2EE4-4C69-BDD5-18A3EEA2E888","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":"Q6844593$AEC6B6A4-10C3-402A-A4F7-7F06423FB36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff113de308b1c1550c0c295ec2c0108ce1a9d565","datavalue":{"value":{"entity-type":"item","numeric-id":2324010,"id":"Q2324010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6844593$5C11A543-7813-417F-848C-DADA600CBEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b73f4691b4a6685db216576416bc84cf79fe5934","datavalue":{"value":{"entity-type":"item","numeric-id":1734519,"id":"Q1734519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6844593$3E5992CB-D520-4EB4-BA65-81C0BD945822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc11302650095b8014b4cfac23c2bd493ca57fc","datavalue":{"value":{"entity-type":"item","numeric-id":3358736,"id":"Q3358736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6844593$2EE0DC36-26E6-4A30-A7A6-B16080DBEBB5","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":"Q6844593$A43AC930-93FB-48B6-9342-2F48FB487125","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":"Q6844593$9ECEBEFB-CA12-4D3E-BC9A-BD8F2FC3EAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e48550f7ecf2005ecd5986c285d6ef1cec9ca6","datavalue":{"value":{"entity-type":"item","numeric-id":5756670,"id":"Q5756670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6844593$6FF6B022-59D1-450A-AA1B-4C0AD93C8EEC","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":"Q6844593$BF57BD7F-F02F-4F5A-9FFC-CB411CE385D9","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":"Q6844593$C0DB12AE-FE83-4764-B02A-72B5EA8D52C4","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":"Q6844593$44676415-B78C-4E37-B7BF-8673DFFEE880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1358697765dcf85a758449b77a558fb086c297ee","datavalue":{"value":{"entity-type":"item","numeric-id":5267434,"id":"Q5267434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6844593$1EB0DF16-59A1-4585-B3F6-AD77188F6484","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":"Q6844593$172744D7-706D-4BCE-A12B-D9A6512CC358","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":"Q6844593$2740E3D6-B9D3-4696-84EC-A61908BBC931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbd4cedfec7c0f2dbd075d5e80961dd0fbd55fd","datavalue":{"value":{"entity-type":"item","numeric-id":5410478,"id":"Q5410478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6844593$18A8ACF9-E9BF-492B-A567-6459B7D61C91","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":"Q6844593$1B67945E-39D1-44EB-9D01-8F7C7A74C8CE","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":"Q6844593$F9516A0C-3BB7-41AD-B403-71F559DF0508","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":"Q6844593$737B86C7-ED01-4943-892E-D6A1BED4B942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c6b98388b89d8af66d2f317e11af36012757de","datavalue":{"value":{"entity-type":"item","numeric-id":2819822,"id":"Q2819822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6844593$DF8FF1E6-B7FF-4C04-9B17-F5160B1AC201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6373225ca0fd8b276b99611bf9e3cf11d15d33","datavalue":{"value":{"entity-type":"item","numeric-id":5596826,"id":"Q5596826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6844593$62498C8C-E695-4C40-B3B7-398020831245","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":"Q6844593$FEC9E4F4-060D-45A0-81FA-B66305A0B1E7","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":"Q6844593$95E98C7B-035F-4088-A5FF-BFC7F42A0D40","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":"Q6844593$6C5A599D-F765-47F6-8EF8-1B9685247760","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":"Q6844593$1692A7CA-C887-416A-A660-2E79B3F46AD5","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":"Q6844593$BB4524E0-F9A5-4BA2-A580-180CA8420C47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An elementary proof of the FMP for Kleene algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_elementary_proof_of_the_FMP_for_Kleene_algebra"}}}}}