{"entities":{"Q43914":{"pageid":43970,"ns":120,"title":"Item:Q43914","lastrevid":105426614,"modified":"2026-10-09T10:05:48Z","type":"item","id":"Q43914","labels":{"en":{"language":"en","value":"Kleene Algebra"}},"descriptions":{"en":{"language":"en","value":"AFP entry Kleene_Algebra"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"92edd44dc93af183992a39733099a3e5a87df076","datavalue":{"value":"32203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43914$DBB48A6D-4B95-4DF3-8A23-B2FAA15C1DD2","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$1EFF966D-EFD3-4827-81CD-BCF53984B7B4","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"54b58d30e3a2093bb125aa9b516f2f3b81ba7293","datavalue":{"value":"https://www.isa-afp.org/entries/Kleene_Algebra.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43914$604C64DC-571E-4D7A-A1B0-5FE06D5FCBB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43914$AE8FA46B-6BF7-478D-A1D1-2FE392CD2EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95bde9084e6ca63a8492631a417b047b22c72453","datavalue":{"value":"05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43914$DA3148D7-4BDB-4FAF-AB71-D38440F28164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c42d8309659ef226cd875765a3c9064bb7558782","datavalue":{"value":"20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43914$B24A93F4-20B9-4099-85D4-EC030D622624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43914$F08C680C-3657-47BD-A6A2-ED2C3FD72464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43914$6880E84E-B2FF-4386-A262-2AACC1806FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24f8ba20e8ffa07910d0666302c1f09a25449c97","datavalue":{"value":"5.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43914$A684BFC9-0B8C-4C01-87F1-3D231D8090CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f5cf7d30d31540f6bb1acf1f51059cded1668d0e","datavalue":{"value":"20.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43914$11EEECD2-26B9-4E1F-A347-43C8784CA5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43914$C1446A7D-6433-4B3B-AD8F-EF93A4F8CE78","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$1670E683-E4AC-4E43-BE8C-DFCB24BFE99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$0C06A9DE-EA11-4059-B3A5-FECFBBF34665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"331995fe532c23e24d72d01a1bd6245fafcd9671","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$4CDB3489-E12E-4F0F-85F5-C28F8C6035C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"65cd7f06de3fe4515776b59789e3a881f448c551","datavalue":{"value":{"entity-type":"item","numeric-id":43913,"id":"Q43913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$ED7A1909-014B-4EE8-B0AB-E82766A781C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$38B5B920-7C81-40B0-AE11-9D30ADA01F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"3780eee939d0a6e96d45e65c74bed949cc1565b3","datavalue":{"value":{"entity-type":"item","numeric-id":13546,"id":"Q13546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$E5945883-36E5-4E86-8317-BCE9B95E2D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$7F133F7D-FCDD-4B3F-A47E-49A51B511F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c40ffea6bb23c071d9036451e5684911d5c616f6","datavalue":{"value":{"entity-type":"item","numeric-id":40314,"id":"Q40314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$5B057740-E3E7-48CA-AAD6-680A23682012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"85d5a2bfb7e5cd7e1dfb166523d6500a685410a1","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$CA5CA47F-ECA0-48E4-83A2-DF37E1DD084D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"181a8497f7a319d54026dcfccf5a714e5c58403f","datavalue":{"value":{"entity-type":"item","numeric-id":40512,"id":"Q40512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$03BB2090-F821-4964-A3B7-4861D54DC80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c59d46165b4eb2bb811e83cf8d5f0edfc7f164a8","datavalue":{"value":{"entity-type":"item","numeric-id":43928,"id":"Q43928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$1B62A9D4-2DEE-45AF-93D7-5D740FE109FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$ECA5640B-D9F1-4F28-80E6-42D42C078FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a84cec67941530633e685a8ee56a19ae6a02d7e8","datavalue":{"value":{"entity-type":"item","numeric-id":56258,"id":"Q56258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$EE74919E-12D2-41EE-9C31-B275430394BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f659a0f84020c7c9cd05ca15cec41dfa781088c0","datavalue":{"value":{"entity-type":"item","numeric-id":35704,"id":"Q35704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$13050F38-2E77-4993-9334-2E364D41DB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cf16ca8b4217a77a4217a7973bcd79e35c3e2bb9","datavalue":{"value":{"entity-type":"item","numeric-id":5974121,"id":"Q5974121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$B4C04D7F-0E1E-40B4-9FD3-C9745F2AEE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f37aaa72463d35f8933622cc257886a0465bc696","datavalue":{"value":{"entity-type":"item","numeric-id":5972481,"id":"Q5972481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$C25EF201-F686-42AB-8141-2DFCA7741D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a1718a76c81b10dcc81cbdbe69fc8fe178db7b09","datavalue":{"value":{"entity-type":"item","numeric-id":16299,"id":"Q16299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$285C6E77-0E61-4977-8C73-A16E782E3AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6ea1daaaad60197d0d83fc7ac701579957406893","datavalue":{"value":{"entity-type":"item","numeric-id":16063,"id":"Q16063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$4902A2D2-34C0-4D28-A555-F9DC279E5D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"09e2993cb5d494a347b340b5a9f971135cd04442","datavalue":{"value":{"entity-type":"item","numeric-id":43942,"id":"Q43942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$35A34576-CB52-44AA-A737-54472C1FE2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"deb8ff1d94ce91499b3c889ad52e2af0d30c31a1","datavalue":{"value":{"entity-type":"item","numeric-id":43956,"id":"Q43956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$4050C726-4C9A-40BE-BD52-8817738A0085","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e025c136397ce5d3bf36111c805b46ef1956884d","datavalue":{"value":"https://isa-afp.org/entries/Kleene_Algebra.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43914$54CC8834-760F-4ACC-BFC5-1035479987D1","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"a4dbfcbe3ae3d36e41d2050bf2f236247628049c","datavalue":{"value":"Alasdair Armstrong","type":"string"},"datatype":"string"},"type":"statement","id":"Q43914$1EF824F7-43F7-4BBE-8CA4-01CC360F80CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"791c9af3f632028a8094f425e13128d157950d83","datavalue":{"value":"Georg Struth","type":"string"},"datatype":"string"},"type":"statement","id":"Q43914$7A43461B-998C-4C11-A28D-DA08AE802035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"2f854883aaf7cde2ebd962b9b518c74b730cb624","datavalue":{"value":"Tjark Weber","type":"string"},"datatype":"string"},"type":"statement","id":"Q43914$AC712589-4281-4E2D-A4DA-B8C5944FCE72","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f9cb3a35bb225babecffc3cbe7643a8e77686136","datavalue":{"value":"These files contain a formalisation of variants of Kleene algebras and their most important models as axiomatic type classes in Isabelle/HOL. Kleene algebras are foundational structures in computing with applications ranging from automata and language theory to computational modeling, program construction and verification. We start with formalising dioids, which are additively idempotent semirings, and expand them by axiomatisations of the Kleene star for finite iteration and an omega operation for infinite iteration. We show that powersets over a given monoid, (regular) languages, sets of paths in a graph, sets of computation traces, binary relations and formal power series form Kleene algebras, and consider further models based on lattices, max-plus semirings and min-plus semirings. We also demonstrate that dioids are closed under the formation of matrices (proofs for Kleene algebras remain to be completed). On the one hand we have aimed at a reference formalisation of variants of Kleene algebras that covers a wide range of variants and the core theorems in a structured and modular way and provides readable proofs at text book level. On the other hand, we intend to use this algebraic hierarchy and its models as a generic algebraic middle-layer from which programming applications can quickly be explored, implemented and verified.","type":"string"},"datatype":"string"},"type":"statement","id":"Q43914$B07B8A7F-CC47-45C7-BE86-4E2A4FC396EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b2e611a60bbb1cbb1ab23d8301e40dbbe2b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":2915136,"id":"Q2915136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$F3ACC38D-C68F-4647-93EC-F99E336C6F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e68522e480793ad08c3035e092f5d824e5fae6d","datavalue":{"value":{"entity-type":"item","numeric-id":3783521,"id":"Q3783521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$8899852F-6D45-4DD6-9376-748BADA2C36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$8D101999-8491-4395-8E96-1CF8081980D2","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":"Q43914$A01298B2-1A11-4D80-AF59-6E06481326CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e20f649ee163fc027b520d68f4bd0a0844cef5","datavalue":{"value":{"entity-type":"item","numeric-id":2721093,"id":"Q2721093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$2FBB8CD8-0CA9-4CA8-9DF0-9D2CD286A61A","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":"Q43914$8523DB12-2B97-4572-8CA0-21EE18F506FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12fe299e2acf1d80201c464e52b99b82f6c1b5e","datavalue":{"value":{"entity-type":"item","numeric-id":3630173,"id":"Q3630173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$2BA54243-5DD9-47AB-9494-7DB9342BD004","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":"Q43914$2E7D69F5-67C5-47DF-A43F-27EC1745C35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90ce2baffc43563f7c49b8f5f238edbcb4e1d8b","datavalue":{"value":{"entity-type":"item","numeric-id":1391737,"id":"Q1391737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$C5C8DE97-4B97-4B59-83D8-2CE5E9AE09F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d033b0480cb3f4fe29c5cd97ee8fdad8a665383","datavalue":{"value":{"entity-type":"item","numeric-id":2908498,"id":"Q2908498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$D7085BF5-5867-46DB-9520-24D9053B8940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca23da055412797c29f8737a832166566f69c4c4","datavalue":{"value":{"entity-type":"item","numeric-id":3007567,"id":"Q3007567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$19D64A3D-93F1-4B6F-8916-F7EBBB7A7B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$B11B5EB4-9662-4372-9A76-E31CFEC3134A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$0457D3C6-E0E7-4B92-81F2-79E7034BDD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360383bb8da6b25f21760984236c3aab0e481c29","datavalue":{"value":{"entity-type":"item","numeric-id":604456,"id":"Q604456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$0105961F-B31A-4ADC-AE69-3F1E4D892DC9","rank":"normal"},{"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":"Q43914$38CA577F-4304-415F-93B3-BE1DDE028790","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":"Q43914$4DEBF50C-DBCB-4B24-A22D-D50CC2B8C6C3","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":"Q43914$4A1A7425-7D9E-47CE-8E8E-3E7588980CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dd7302ae5c6ff14c7d7d4f9e7c2537339e8f91","datavalue":{"value":{"entity-type":"item","numeric-id":2392416,"id":"Q2392416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$D80D009C-AEA6-4661-85F4-65BC2F44BB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e70c7ea0ca2c1202e957f84568392d9e230059","datavalue":{"value":{"entity-type":"item","numeric-id":5387864,"id":"Q5387864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$902E1BBA-75E7-4ACC-BA03-FDF409D3E2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6560cb7faf7ddacbb3391ec3e97070336eb2cb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3671335,"id":"Q3671335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$47DD52FE-0A02-403C-B34C-CCDBCD8E52F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a974f637709b7c0bbe6bc15d0ab90624a923b2","datavalue":{"value":{"entity-type":"item","numeric-id":4287490,"id":"Q4287490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$E7023FD1-7869-486F-BE81-7C4512D575D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db93140569675f5c8c07160bf09fb1adedae60f7","datavalue":{"value":{"entity-type":"item","numeric-id":549683,"id":"Q549683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$BFFC6609-CD3A-4E36-A6C3-AAD1C482B49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6daed1a8fcaca7a71aaae67ae286b4fdbaf987","datavalue":{"value":{"entity-type":"item","numeric-id":817587,"id":"Q817587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$3D79A8A8-AA24-4A85-8646-A8996CBD2E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4736b8f52d3360a8824f86f9655f4169ce694d1a","datavalue":{"value":{"entity-type":"item","numeric-id":1931903,"id":"Q1931903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$7BF548DF-FC3B-4919-9D50-3686FC3D4EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8da2e24fdd01894aa0bb79da3299dbde4fd16ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1425190,"id":"Q1425190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$ED054900-16A2-447B-AD71-036BE913CD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435bac34a3d647ebababaf5903b7b54b1189ce2b","datavalue":{"value":{"entity-type":"item","numeric-id":1881265,"id":"Q1881265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$56E5FE4B-650C-4E72-9DC2-3CDBF08592B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe7a66982317f943528a01ca680cec7be690c105","datavalue":{"value":{"entity-type":"item","numeric-id":4158997,"id":"Q4158997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$F8439FB6-BF33-4471-85E1-3A6B64E0A342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cd1ee8ddef8c3617a21c4911ab4abb48a578a69","datavalue":{"value":{"entity-type":"item","numeric-id":4808696,"id":"Q4808696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$A2895082-0334-447E-BEB3-4AA247B7B334","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"aa8f6bd5a2b4440f838b34acf103bdf45fee4f56","datavalue":{"value":{"entity-type":"item","numeric-id":7360797,"id":"Q7360797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$C30CDCBA-2FBA-49DF-9133-F228086CA780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$A40C29A1-BCEE-4DDC-8054-ACFAFF6C4899","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"421496a141fb0326412f04e59c431545a872e1c1","datavalue":{"value":{"time":"+2013-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q43914$2EBF69DE-B873-4871-AA8A-7690B531A5D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a270cda9b66de4f914a2f9952e1dc8e7871bd2af","datavalue":{"value":{"text":"Kleene Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q43914$DCD86D83-286A-479B-9C96-7579A2BD3F40","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43914$EF54ECBB-2EFE-47B7-B59B-6065FD11E17B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kleene Algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kleene_Algebra"}}}}}