{"entities":{"Q6605343":{"pageid":14216500,"ns":120,"title":"Item:Q6605343","lastrevid":40586416,"modified":"2025-03-07T10:58:08Z","type":"item","id":"Q6605343","labels":{"en":{"language":"en","value":"On the complexity of reasoning in Kleene algebra with commutativity conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7913486"}},"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":"Q6605343$7E97140F-E4AC-4D2F-B692-FE3F670F44D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c6b082851e2aa3dbaa9ddae806c30e7fffb165d","datavalue":{"value":{"text":"On the complexity of reasoning in Kleene algebra with commutativity conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6605343$3735C0C2-7D28-47A7-B0F5-EE572AE26A33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f464157f4b6badfc2280646eb36c7901bae31311","datavalue":{"value":"10.1007/978-3-031-47963-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6605343$D6E35CB9-8AFE-4E33-AC29-9A9D0F5ACFF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b5d368681ff8e32a8d60dd595e043e935c9e45a","datavalue":{"value":{"entity-type":"item","numeric-id":1679986,"id":"Q1679986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605343$527F970F-69D7-435B-86DF-29C12B1D381F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a848dfc87132e68be776a9e5e9186f0b24654d3a","datavalue":{"value":{"time":"+2024-09-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":"Q6605343$9C9DBE91-7329-4A1A-93BC-51647702110C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6605343$8EC23B9F-C325-4084-9352-5D601B655BC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e40cf00a283649d2cc98aa304372b08cae85b2ec","datavalue":{"value":"7913486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6605343$B5FF8731-B908-4E67-9577-1365409572F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6605343$2EF9D204-EFCB-4159-94D3-81F9D5E8E843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c32ff8728bc9b88e9bb44f8fe92ee2e26238f356","datavalue":{"value":"commutativity conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6605343$2FD72064-9D3D-466F-988E-F37CCD92914A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93077cc6db36e07d535db7c75a2f03eb0743cd04","datavalue":{"value":"algorithmic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6605343$FCC45B99-6BA3-45FE-A365-522D103080D7","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":"Q6605343$9F845436-C784-48C6-8C33-628701680949","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605343$85D0B509-1CE7-45BF-BC95-32CB1F7EAE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9291780fa49d906483f3b2217ba1558a6098769","datavalue":{"value":{"entity-type":"item","numeric-id":3437263,"id":"Q3437263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605343$28C64256-8408-4AE9-8E32-029B44780C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e6abd173db405d6471938fbd375158ea21bafe9","datavalue":{"value":{"entity-type":"item","numeric-id":2289074,"id":"Q2289074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605343$B1D5F3E6-4115-49CA-BA1B-D8C1B4E2D3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad4ec81c040ffa033582bf046876ee538e368e05","datavalue":{"value":{"entity-type":"item","numeric-id":1099641,"id":"Q1099641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605343$0270056A-5FA4-4A91-B156-9FDF9D03C19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f55855a72b9f4d80cd929534bf10e34c53cca81","datavalue":{"value":{"entity-type":"item","numeric-id":4601893,"id":"Q4601893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605343$4D8D8695-C500-42C2-B840-1A7342E17B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e54a01d8a977ffbf68bd945a598c7f0f888b33","datavalue":{"value":{"entity-type":"item","numeric-id":2506487,"id":"Q2506487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605343$798C6A34-7401-4137-ABFE-C2FF595D494D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4be82556f4392c3a11aabb4e7e7b5078ed0ae9f","datavalue":{"value":{"entity-type":"item","numeric-id":5167845,"id":"Q5167845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605343$37E2C2F7-6C40-4A13-8F87-9A465F0F4FD7","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":"Q6605343$A60F679A-9641-4BEE-A6F6-28AE6FB561A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a9befaa74d9d6b94f0b1b26d45626432a2e020","datavalue":{"value":{"entity-type":"item","numeric-id":2067638,"id":"Q2067638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605343$F3147176-9EC9-4CC1-BE9D-27942DA8599A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fbff93b5a8bb3e1512db64c0482ca429b98b26b","datavalue":{"value":{"entity-type":"item","numeric-id":5875402,"id":"Q5875402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605343$50637D07-9CB9-40E6-9428-F7DB4E039AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc8272a2eed684dcc743719a6651c947badf1e2","datavalue":{"value":{"entity-type":"item","numeric-id":1836661,"id":"Q1836661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605343$240185A6-1C39-471F-A3F6-689D09CE135D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c451ae4bc57a2401ca0a06eefdc1ba5da11477","datavalue":{"value":{"entity-type":"item","numeric-id":5848891,"id":"Q5848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605343$D5E3D242-1949-4644-9252-B1C3B89F0686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476ec162b1325ee688bc547d2e9b6993d2ba1361","datavalue":{"value":{"entity-type":"item","numeric-id":3590769,"id":"Q3590769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605343$47AE72A6-D692-4AB7-A9CF-3EAF895D9447","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":"Q6605343$C1A13D57-6471-4AC2-A6AE-EDFBF627E198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e41e727256a841004087d7e7c7c1a89c7aa839","datavalue":{"value":{"entity-type":"item","numeric-id":5596827,"id":"Q5596827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605343$19E0BDC7-76E0-4F80-9D2B-6B8AEF2E2E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea79bf0b8998e59df4aaa18289fafa2fe7f354f5","datavalue":{"value":{"entity-type":"item","numeric-id":3392275,"id":"Q3392275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605343$7447D87B-F97F-41E7-9A1C-1DB7D0DE7212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce200084adecb8f68f1a9df0d30109bbf00bda09","datavalue":{"value":{"entity-type":"item","numeric-id":2957964,"id":"Q2957964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6605343$C05FD631-8C85-4F64-8EEF-B95928A6BAF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6605343","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6605343"}}}}}