{"entities":{"Q299194":{"pageid":300961,"ns":120,"title":"Item:Q299194","lastrevid":60859422,"modified":"2026-04-10T19:35:20Z","type":"item","id":"Q299194","labels":{"en":{"language":"en","value":"Algorithms for Kleene algebra with converse"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6596347"}},"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":"Q299194$6FB4C31A-7FBD-479C-9438-7D1224331797","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3edb59e3639fb932a9bfee57f37cacb10ea21bad","datavalue":{"value":{"text":"Algorithms for Kleene algebra with converse","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q299194$C05537D1-E7AB-4E19-BB1F-89C7E847E2C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eeacad939934f6c7885b40638bbd1adbb9fba8ac","datavalue":{"value":"1345.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299194$E3DE009E-2088-4CD3-AB32-AACC025DCAF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fffcc49ccf08288968257b20f203206e3f67d8a","datavalue":{"value":{"entity-type":"item","numeric-id":299192,"id":"Q299192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299194$64ADC1E8-A4DF-4A6A-947F-DA2B5CCB2779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299194$C80696DB-1F17-4722-BA05-DBE921A078DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299194$6F7FE254-B78A-4DCE-97E4-3C373B18712B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d83d2543337a9f3c481a9dc8012543a2c71e114","datavalue":{"value":{"time":"+2016-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q299194$BA372375-9EED-4883-8775-76E4AE14E1D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299194$5EC41886-120E-47F4-B8B6-0D9C6538A070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299194$50861F4B-981B-4AB9-B39E-CE312936C6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299194$ECF4D4B4-5EFC-4DC8-8528-53BE2A44073F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a397ce480dad46dd4b96a6806e057df1e56d3fdf","datavalue":{"value":"6596347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299194$A8A56EEA-D885-423A-8EA2-CB57779F1933","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q299194$8BA50F2C-D643-4E96-B3D4-88C6AE11D827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4373289f055983506c932568f1bfa50f638cdca4","datavalue":{"value":"converse","type":"string"},"datatype":"string"},"type":"statement","id":"Q299194$F2197E62-76D6-40DE-B6C4-6082079B2D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q299194$43FE946D-7F4D-4AE6-A4B3-D0AD9D4A8E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q299194$4757CA71-A2E0-43BD-A14F-23683B6537C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q299194$F156779E-4ACB-410A-8B69-4275879E14D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299194$F639212B-E5E4-4403-8584-4B5B8455680D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"74fb7b0e57b9fca797ae3d6e69eaff9176bc90bb","datavalue":{"value":{"entity-type":"item","numeric-id":32028,"id":"Q32028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299194$B49BA77D-51B3-42C4-9428-92F90FDE93C1","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":"Q299194$FA91D0C1-E1D8-4DD9-AEF1-397620F679B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fd1284cbff5f7fb90c522f5b0cbaba6168bf303","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2015.07.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q299194$61FF1042-80B6-47EC-9201-DB01EC66DECD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a8a5cebfbf80eb42337ee7b4bf386db7d280f54","datavalue":{"value":"W1425245782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299194$8674083F-9B5A-4DE4-A712-76DA92302FD5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a1b7b578a418b9535a9b7258cd9fc07537f457","datavalue":{"value":{"entity-type":"item","numeric-id":5410480,"id":"Q5410480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299194$63F6B92F-991E-4FDB-BD79-5B9EAE7E1594","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":"Q299194$EC53B1F5-2C43-49F2-B6F9-E84FE14B1FF6","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":"Q299194$DB6C9864-81E6-4A1F-851F-C57581B9B898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f2c5bd3751a51585b1dbbe011b98a4eafbff4f","datavalue":{"value":{"entity-type":"item","numeric-id":674338,"id":"Q674338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299194$8BEDB65F-1AE1-4CB1-938C-747F0AF50893","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":"Q299194$1B320300-113C-4216-8B0D-7D5CA4F145D7","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":"Q299194$6F7B90BB-84E3-4618-865D-89533204BE8F","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":"Q299194$9416E447-D992-42BF-A052-7D3967F42C3D","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":"Q299194$408F4CA7-E723-4624-8346-A1C0712B9E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0663d769704bd36d7fb483a298b85543502a88","datavalue":{"value":{"entity-type":"item","numeric-id":4359289,"id":"Q4359289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299194$D2CB9D44-3E89-4040-B304-C9A031F87DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299194$A9557B4A-2601-4688-9C23-1A83D1D73307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d4fd1f08969b87f833c028e2c931fbffa4b757","datavalue":{"value":{"entity-type":"item","numeric-id":1894553,"id":"Q1894553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299194$D3C196E0-2A76-4F45-9FC6-404A17397077","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":"Q299194$5CC432E5-6684-4E36-94A1-6A4D6178A7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd2d5f9bee76143adcf1dd7ff9da058c58dd1fa","datavalue":{"value":{"entity-type":"item","numeric-id":5412011,"id":"Q5412011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299194$EF988FA8-FD39-4145-AA6B-233B498364DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299194$30D2FB97-E743-4E45-8755-DD9B91F5338E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299194$910D7411-6841-4F32-B573-690107D1D12D","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":"Q299194$F51825C6-38B3-4DF3-AE32-4E3B0ECF51BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ec0346c7c69cefc06dbbc0c0175e3cadefef3b","datavalue":{"value":{"entity-type":"item","numeric-id":3289362,"id":"Q3289362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299194$49CB9EFC-B593-4E32-B4CB-5D51C9E79D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4642bcb7c915521a77293757841128c7fd74d05f","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299194$7C41EC58-0833-4F53-B499-BF2682880D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"846bab2d5ef22f22d0f4f2c57ef8626ead1ebd98","datavalue":{"value":{"entity-type":"item","numeric-id":3557075,"id":"Q3557075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299194$CDE9C66D-63BE-4BBC-913A-E07742AF1049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f085b238ed338f810dadaf339888144af184bb5a","datavalue":{"value":{"entity-type":"item","numeric-id":3557062,"id":"Q3557062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299194$0A8483FC-F7A4-404C-8EF3-8AD1C0D98A6C","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":"Q299194$C1C54D2C-9213-46B9-B4F8-1AA4EFEEFAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299194$2D2D103E-6632-45CD-A8B6-7DEBBA7B3275","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":"Q299194$B1E7F832-A223-4FD1-B756-DCA017449A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30913205e97beb5c571c720f15fb23e67f5add3f","datavalue":{"value":{"entity-type":"item","numeric-id":5327344,"id":"Q5327344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299194$0E409496-1462-40A1-86DB-8D311D2BD873","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1db7d9e53d33db53c1b3b061ef085feb3fdc52e5","datavalue":{"value":"Q114851597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299194$872A5FDC-1084-4D5D-B6FA-FBF17AF2EB90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9155ba7d629e34a2567dfdb396adfa8f1cfbb939","datavalue":{"value":"10.1016/J.JLAMP.2015.07.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299194$D4329B94-A845-45CE-81D4-C066A9FBADCE","rank":"normal"}],"P1643":[{"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":"14bc21824b81228f1f9d1b93c9e99635339e6daa","datavalue":{"value":{"amount":"+0.9397610425949096","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q299194$9E467F4E-40B4-4BA0-987B-1CB65FDBF86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e47eec7950ac8680b3e16ff81537095292cbbc4","datavalue":{"value":{"entity-type":"item","numeric-id":5111283,"id":"Q5111283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad585c12aab9f35e33ab92eefa7e841e709708a6","datavalue":{"value":{"amount":"+0.8014322519302368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q299194$13267896-B7F1-4C19-8EBB-8625B947DA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f983fd744d3bd64a25221019a9f735cc027a32d1","datavalue":{"value":{"entity-type":"item","numeric-id":5144679,"id":"Q5144679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54e4c03c43db488b228f1ab57289f238d6a4b4dd","datavalue":{"value":{"amount":"+0.7781936526298523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q299194$04656392-D3B6-45FC-829F-AB40F4C75705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db5315d5931ab4b651a10b2032c43edbde6dfc14","datavalue":{"value":{"entity-type":"item","numeric-id":674338,"id":"Q674338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4dfc1130d3d15089faa2d317d5a73c27a3edc87","datavalue":{"value":{"amount":"+0.7744990587234497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q299194$C46B7E3D-BC36-4756-96E4-822F42A5A0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2651dc685e3510fae612d1697c2cc86fd464987f","datavalue":{"value":{"entity-type":"item","numeric-id":3498428,"id":"Q3498428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c632604ef1d338c8b25fb3e7f05aa1154eb0ef","datavalue":{"value":{"amount":"+0.7733229994773865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q299194$BE0AFB2C-6C62-4DC6-B948-E6ACB5DF4D91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithms for Kleene algebra with converse","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithms_for_Kleene_algebra_with_converse"}}}}}