{"entities":{"Q5111283":{"pageid":7140857,"ns":120,"title":"Item:Q5111283","lastrevid":46185244,"modified":"2025-12-24T00:10:39Z","type":"item","id":"Q5111283","labels":{"en":{"language":"en","value":"Reversible Kleene lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204400"}},"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":"Q5111283$8F7D3611-51F1-4FC4-9595-35BD4423DECF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f998a774bc667a157f208a273b0f54aabdc90434","datavalue":{"value":"1441.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111283$1EFBEB1C-2197-4759-9615-43525AF11F84","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":"Q5111283$4C288755-734F-4B9D-93BD-4704D1BF4EE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111283$C4D437E9-21A2-4E81-9505-B5D46D354139","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111283$9A2CCD61-43D0-4D46-AE2B-87B32E65B667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111283$8F3B9ED7-5160-4A20-ACE3-432B1C7DBE04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea1ba4602353a9e472afb645eb214ebcc87437c9","datavalue":{"value":"7204400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111283$EC930AD9-74A6-4C94-81BD-D606B302761F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111283$688CD126-D71C-4945-8295-449E6ED0AB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111283$1226D9A5-77C1-4EBD-AAFE-5248ECE1DCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111283$DB4267A6-CCBC-4F5B-8AAF-FE020D76FE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111283$8D270FAA-E93E-495F-BAC4-8C7121888128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111283$E1E261AC-6AD7-4D94-A11B-3C4F6904C217","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":"Q5111283$F4C73185-E374-479E-AB01-74E84FFD5ADC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"448dbc6aaaeebf39275bdc6bb66393cad39f4944","datavalue":{"value":{"entity-type":"item","numeric-id":655418,"id":"Q655418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111283$A39CD458-557F-4BB6-8B1F-4B01156933FC","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":"Q5111283$88E883A4-66B6-45A2-AF9D-CCC6987BCCE3","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":"Q5111283$A9BA10AB-B96D-4168-8D64-D53BE7E80852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ec64d922fdba0495c923c147113c514724720e","datavalue":{"value":{"entity-type":"item","numeric-id":5111283,"id":"Q5111283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111283$D669AE85-B3AB-419F-A319-17EA920A5398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"974ecd8f41629729af8d58aa2a6d8cff75f6bcba","datavalue":{"value":{"entity-type":"item","numeric-id":4635792,"id":"Q4635792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111283$D677D656-4E0B-47D0-8E22-CF09A1C85758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cc36919a8d6db6f0f116fcd32c8b88a3dbdb3e","datavalue":{"value":{"entity-type":"item","numeric-id":4608581,"id":"Q4608581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111283$37B3C3F4-8FEF-436E-9F03-F42672EFF3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f56de3bbd3ed952277f7f0990ad30aa7c6ac33c1","datavalue":{"value":{"entity-type":"item","numeric-id":5367072,"id":"Q5367072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111283$4933840A-FEE3-4D03-BF4D-C062C3159070","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":"Q5111283$9391EC2B-3DDE-4359-A480-1D9C58DFE0F6","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":"Q5111283$68408230-FA05-4965-B7FA-DCEEEB8EA219","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":"Q5111283$54E68E4B-9EE7-4CA3-800A-8FE9FDED5747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b0f4db04f9c75ea19ea5967c0becb3d0ef7a1f","datavalue":{"value":{"entity-type":"item","numeric-id":3888558,"id":"Q3888558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111283$D4C1CF33-76C5-4DE7-BA7B-DE530769004E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ce30afe72127c359cea294013065496e27b834","datavalue":{"value":{"entity-type":"item","numeric-id":3000621,"id":"Q3000621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111283$B8142ED2-92EF-4137-97DA-72BA248B8F3F","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":"Q5111283$4BC41B07-5FB8-46E2-BE7C-F108BDACFD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4118243111efeb828f4d7d13d9c4d889c12f39e3","datavalue":{"value":{"entity-type":"item","numeric-id":3449483,"id":"Q3449483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111283$BD70C261-604D-4700-BF83-93CC597754C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99dddc8d0831ef327f6036da01011edb5f55f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3460616,"id":"Q3460616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111283$298FCD1B-9C94-4D07-A13A-08ED72184893","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":"Q5111283$067E6148-C929-40E4-97DF-AD7803BE2D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111283$82D446F3-F059-4B7C-BA01-B288F1B75206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fcfe987d8cbbd43f7b7238b024d7a85de33a069","datavalue":{"value":{"entity-type":"item","numeric-id":3936212,"id":"Q3936212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111283$15D4369C-689D-41B5-84DF-9EFCEE60DF48","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca0af4afcd2762a92e8ad8c4997122f6da23726f","datavalue":{"value":"https://hal.archives-ouvertes.fr/hal-01474911","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111283$B29C4085-EEA7-46D4-B7EC-14CC870FE245","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8cfa6a74a4cbf53398b27915c5d96a50a8fc25ac","datavalue":{"value":"W2772999042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111283$F4680C87-C31C-4F49-9641-C58D7F7EAD15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f44842fb4bab74d1f8d8918d85a49c611c94aea0","datavalue":{"value":{"text":"Reversible Kleene lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111283$AB2D6492-1858-4B9A-A342-0160358B6C73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d53a2d726e48fee69198fa332787f3fe69961c09","datavalue":{"value":"10.4230/LIPICS.MFCS.2017.66","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111283$5C1A50D4-99B0-436B-AB1B-2D3864BE2B1A","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":"74cc604971c8137fceedb5236611fc75d3fe5121","datavalue":{"value":{"amount":"+0.8116302490234375","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":"Q5111283$C69EA14D-8E3E-4B00-A8AE-F7C59BEBAA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bd61e2009714a9608ab94a4ec18ff168d673f26","datavalue":{"value":{"entity-type":"item","numeric-id":4635792,"id":"Q4635792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f602466dedbb77513bc250a956b49614cb9f12","datavalue":{"value":{"amount":"+0.8063065409660339","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":"Q5111283$E748E0B7-5497-4793-8B71-24388B400482","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":"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":"Q5111283$5B29A835-79CF-4C29-B4C9-EBE866880259","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":"6bd3192ea12c0d640393e632ccb4fd99ec035e1c","datavalue":{"value":{"amount":"+0.7898600697517395","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":"Q5111283$B91B0A02-2879-4F78-A777-6F310AAC19AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d23320f8475bd7922d6bf0f5d7ec99bde34f077","datavalue":{"value":{"entity-type":"item","numeric-id":5367072,"id":"Q5367072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b875fe64e75812bb4b2c29dc8a1bdb41574cf3","datavalue":{"value":{"amount":"+0.7889742255210876","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":"Q5111283$6F7C29E2-7F3C-400E-B0AF-5A055F5D44D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111283"}}}}}