{"entities":{"Q2210872":{"pageid":2221615,"ns":120,"title":"Item:Q2210872","lastrevid":57781377,"modified":"2026-04-02T12:23:39Z","type":"item","id":"Q2210872","labels":{"en":{"language":"en","value":"Free Kleene algebras with domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7271813"}},"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":"Q2210872$5283EC66-91B6-4588-8BE3-76A3B963208A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcbf3aeb85bfda897cd5a524fdab213e6660266c","datavalue":{"value":{"text":"Free Kleene algebras with domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2210872$F49C9A62-3D54-4BF2-AE2D-49BCA44ABBDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55ce6163437483422a8a38355514b7077f5b7cb9","datavalue":{"value":"1484.08014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210872$F65EB7CC-DB38-4BB9-A805-EB910B51D729","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b92a6ba590b3da9e6ff65dd407d49b77ab96196","datavalue":{"value":{"entity-type":"item","numeric-id":2031545,"id":"Q2031545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$E2C9925E-1290-48D5-A848-36BF3940F023","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":"Q2210872$BCC97A2F-28EB-4E25-BFA1-14C76701EBE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74b6275d7d5b9070917d49297441fe3ab07d4c10","datavalue":{"value":{"time":"+2020-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2210872$194BB97C-D1DF-4094-94B0-8983D4002E6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4db6546f284ae88a9eaa49946ea6d6713738e494","datavalue":{"value":"https://arxiv.org/abs/1907.10386","type":"string"},"datatype":"url"},"type":"statement","id":"Q2210872$6A4A8608-8698-4307-A61B-D78E31599231","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210872$5083A818-B234-4F7C-8091-490BAD30761A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210872$66F4FFC8-4F26-4542-9E15-24E852176CAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa4a6ecc808d1595bdb17e61623536c7c7d7e9ae","datavalue":{"value":"7271813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210872$EF0ACD3D-2F59-4360-A55D-06F233B0F7C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2210872$B3F5E060-80D3-42F5-BAD6-E00186E82161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5af092c73a275779817e247d7573bd8c69ee28","datavalue":{"value":"domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2210872$2786E146-5759-4042-BC87-4B3732C8B6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2210872$B9C8676F-4841-4D2F-9CBE-303660416D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2210872$F3B7E36E-2B89-43B2-BE92-7B1B93C0FFD5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb1fca4ee5c1238a4c8891e4fb1e1d7c9da30b5e","datavalue":{"value":{"entity-type":"item","numeric-id":27652,"id":"Q27652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$0061078F-4C1A-4802-9E00-64CE9DD071BB","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":"Q2210872$768D0F3C-030F-447D-8902-87883BCE6B9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b373dff265fe6b5be451d7b4c1d97b74020102b","datavalue":{"value":"W3099647140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210872$64E764AE-5193-4CCB-83EA-24514C64684B","rank":"normal"}],"P223":[{"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":"Q2210872$62732A4B-BE5A-4BB5-890F-C23CBD098215","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":"Q2210872$57B8F501-E603-4233-8145-77E7A6A69743","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":"Q2210872$4200CD3E-4B35-4643-A914-1A9A2AFC26D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0dc16508877fecb9994b520f0ed77f4ce3b776","datavalue":{"value":{"entity-type":"item","numeric-id":5505433,"id":"Q5505433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$4258DEEA-0C46-49D4-B402-CBEC5D1E5D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5703d8b9ac3f2ec42c5cea3cb6310bb02f051a","datavalue":{"value":{"entity-type":"item","numeric-id":627202,"id":"Q627202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$ACAA31DB-22BE-44F8-836F-0C72EEBF4A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$2C533B1D-23BC-4C81-A85F-0E566392011C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$5D8F5F50-D10F-44FA-BFAC-48F826764D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad41d7ed6062ed37e24819062319c4422c4d05f","datavalue":{"value":{"entity-type":"item","numeric-id":3976902,"id":"Q3976902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$39EA8F59-E90E-415C-BB99-CBC683F35E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65dbc3da207286a3a7d7356197c0b87ef2966f5","datavalue":{"value":{"entity-type":"item","numeric-id":3637973,"id":"Q3637973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$1EFFCF7A-4001-4409-A773-1A474A86FF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$3A596E0C-5CB1-4A02-93BC-F7CEF6178A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68850b44856e5297eff5a55f742e3f5f57024a22","datavalue":{"value":{"entity-type":"item","numeric-id":5964103,"id":"Q5964103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$97965758-57EF-4C06-9BEB-2C359A9D818F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c40c022b102dd80d2baf27b86604da87797cad06","datavalue":{"value":{"entity-type":"item","numeric-id":3519505,"id":"Q3519505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$4B02EC4D-CA2C-42C6-855F-EAB8A08F27F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6acc5fd30b5fd39f7c7593bfdba57e2a920d202","datavalue":{"value":{"entity-type":"item","numeric-id":700879,"id":"Q700879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$4AA5A83C-567F-45D2-8929-8A4FE231056C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee461a47b62bbe0731282ee65211fbeed1d726b2","datavalue":{"value":{"entity-type":"item","numeric-id":624383,"id":"Q624383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$D0EF7D6F-9C92-4519-ABAE-C0E284988A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b505b8d56ce32f5bd927de5ce0f364ed7bc3b98a","datavalue":{"value":{"entity-type":"item","numeric-id":1371311,"id":"Q1371311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$AB4A2471-0575-4330-946C-3FE3C9B55B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"563edd960cfe18aa924676529e2b02eae5631c93","datavalue":{"value":{"entity-type":"item","numeric-id":3498417,"id":"Q3498417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$32FD74C1-ADF8-45F3-9E92-2943BB2C2F07","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":"Q2210872$DD8D759A-760E-4270-923E-E4343F80A7AA","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":"Q2210872$88F167A4-A154-4B6E-BE69-AD320831CD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e82c4b6456929b87e3efd7f43c96a6bb187b57","datavalue":{"value":{"entity-type":"item","numeric-id":3230356,"id":"Q3230356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$C80AE46D-F41F-4470-AE53-2848C80B0AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66ccb759190ed6fe5a6f7e7ca0faf992aa8f2107","datavalue":{"value":{"entity-type":"item","numeric-id":4061136,"id":"Q4061136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$B611FAED-AF41-48DD-9E9C-BC1058BD5468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d5f7fdd407b024c3b8e20cb24651ffce7db825","datavalue":{"value":{"entity-type":"item","numeric-id":1134756,"id":"Q1134756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$4775A93F-1DA6-44DB-8391-9B97A4AA679A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423ec7b9196aa111192f3d490408ae5a970b17e2","datavalue":{"value":{"entity-type":"item","numeric-id":5828004,"id":"Q5828004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$9908B2A6-301F-4FE8-A1AA-C2176384A437","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":"Q2210872$4A685C37-37F5-47F4-9E6F-F84FF6C264F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8130f2722eee5805fe3d1adf9ecbc232a8ab0c2a","datavalue":{"value":{"entity-type":"item","numeric-id":5513061,"id":"Q5513061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$E7B5B487-7CFA-423F-8E9C-AEA8FE8AC63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d0db42d1e7ffe4bd0e047971cf943a92a08f69","datavalue":{"value":{"entity-type":"item","numeric-id":5597568,"id":"Q5597568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$954D3EB7-F259-43FF-BF14-9F33297B83ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd6bade1c3454eda14333c0a2ad28ec83785b4","datavalue":{"value":{"entity-type":"item","numeric-id":5781189,"id":"Q5781189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$648865CB-B211-4122-9BE7-1A94C8491C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596de411b49ce1afeb2a9f323b9f3e8e566bb4f2","datavalue":{"value":{"entity-type":"item","numeric-id":5182409,"id":"Q5182409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$F192B4CC-88BB-4138-94D0-B696C272E34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e38317ed57fc37393d70f25867e0ee99e190247","datavalue":{"value":{"entity-type":"item","numeric-id":5813195,"id":"Q5813195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2210872$92A2D163-79F2-4A62-B608-1F3424F00B62","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c84d17f74df6d283bc7f538388a2b1f90424b740","datavalue":{"value":"10.1016/J.JLAMP.2020.100606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2210872$4486970C-BFC7-48E6-91B0-073818048B15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967e8e3abf5ee8837a570c44a1e24bb64cd25178","datavalue":{"value":{"entity-type":"item","numeric-id":4348001,"id":"Q4348001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1590d11186eb501119a0a1205996a0333fe4362","datavalue":{"value":{"amount":"+0.7902835011482239","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":"Q2210872$D5CED135-CBE8-4DA7-8467-85D7BF4C4BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f999f5050d9fcf9ce093e8d12b05d728e8d7bab","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa2cf58e3e4f83fb33007214258e5524c2f7590","datavalue":{"value":{"amount":"+0.7738857269287109","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":"Q2210872$4B5F1F4E-D2F7-40EA-B304-44F179C754CC","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":"a498be7de640f5059e160db5683ec1efbbd7bc3f","datavalue":{"value":{"amount":"+0.7721403241157532","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":"Q2210872$3825AB16-B411-410E-AE69-6603E50F403A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fdbb167983b39d28d1730bcabc0f8fa8af8eea3","datavalue":{"value":{"entity-type":"item","numeric-id":1344844,"id":"Q1344844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bc6140b45b2f10d433e47c49b6de4a905f863e2","datavalue":{"value":{"amount":"+0.7528560161590576","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":"Q2210872$504F7FA0-0C09-459D-97FF-7FE9A320961C","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":"2bc6140b45b2f10d433e47c49b6de4a905f863e2","datavalue":{"value":{"amount":"+0.7528560161590576","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":"Q2210872$A5C24958-BD48-4587-8678-258A55BF6D13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2210872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2210872"}}}}}