{"entities":{"Q6174424":{"pageid":13309312,"ns":120,"title":"Item:Q6174424","lastrevid":37552496,"modified":"2024-08-02T14:12:47Z","type":"item","id":"Q6174424","labels":{"en":{"language":"en","value":"On the complexity of Kleene algebra with domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728641"}},"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":"Q6174424$6E3881A2-73D4-45AC-A69F-3EBBD2DEFD13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cd63b8231e474dd77b11b4ca9586169a534f13a","datavalue":{"value":{"text":"On the complexity of Kleene algebra with domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174424$F0ABD2A7-3F72-47B2-BF1E-B5A448DB94EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a57a9c302434bd8cf43e7d1fa72b98a7147fb629","datavalue":{"value":"10.1007/978-3-031-28083-2_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174424$C48E89DE-F873-439C-9D39-A32972705474","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09805c4574013ec5efe52d1a718be5de2476fee3","datavalue":{"value":{"entity-type":"item","numeric-id":777890,"id":"Q777890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174424$2C3278A9-1E06-423C-8074-1EEA56B814C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174424$06F38C29-2EAF-4BAE-A538-8A722D5690CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6174424$4B634068-1AAC-47E4-BB60-171FA1314D1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174424$349086EC-D72E-4E96-97E2-9C5CDD700BB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6188bdc8f29c3720866f5cc620266cdd5c409e6","datavalue":{"value":"7728641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174424$3C373C82-7358-432F-ACBF-E65986E6F583","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174424$57FCD4E0-9934-416B-965C-5486E43ACFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174424$E7B4EC2D-7E39-4813-A76A-6187D5155657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15496944d6b77dbdbba8f5ea5b6ed3d22cf6c0ea","datavalue":{"value":"Kleene algebra with domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174424$7CC665A8-ECDD-494A-9ED6-87BB7031CC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174424$D86A95EA-3C46-4ABF-BD57-204EC1A6B308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f810c5b997587ffa8336e428e8e172b33fc253a","datavalue":{"value":"test algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6174424$2BE7F941-4254-4005-A010-A6B035255F53","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":"Q6174424$F1E52B40-2E3C-425D-AF2C-80575C1D03F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f095c36d9bfd236006309370666736c666d02e54","datavalue":{"value":"https://doi.org/10.1007/978-3-031-28083-2_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q6174424$26D28462-EAA2-472C-B8BA-E1274F5CB3C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7f812ea3b3f714eba4ab651ee890c82202508cd","datavalue":{"value":"W4323527483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174424$26D703C2-EBE4-41B6-8F6B-6B9FF0B4D21F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc62f32ebe5f2c566c09500f98ee202c262830a","datavalue":{"value":{"entity-type":"item","numeric-id":736461,"id":"Q736461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174424$49A3FB08-FE51-4C1E-BC69-832EF5EBEEFE","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":"Q6174424$3180819E-3EE2-4131-8E17-0FB9A7349FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a599e78b7f6ac88556b4a2cd8e0cd4dea641b7c2","datavalue":{"value":{"entity-type":"item","numeric-id":3521996,"id":"Q3521996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174424$B45AE2FC-2621-463B-ADBE-84933EFB5BDF","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":"Q6174424$46374A41-AD98-460E-A97D-E25F840F99DA","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":"Q6174424$16A9504E-F161-453B-9F9C-F381E6D85CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2dfd1e259262179d91ec21c2adc91e97790347","datavalue":{"value":{"entity-type":"item","numeric-id":5202997,"id":"Q5202997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174424$53A51996-6638-4DC7-A641-132AB02A89A8","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":"Q6174424$CBFE3F24-0B85-4859-8A84-C927DFE06A0C","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":"Q6174424$EBC7D72F-6CFF-44AE-81A8-EF651D1799A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04088e13e4fd05284e481f98be52aee6476ae046","datavalue":{"value":{"entity-type":"item","numeric-id":4218938,"id":"Q4218938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174424$2A6A5EAC-1719-4EF7-937E-6AC0F04BE6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174424$DCC70457-35DF-4EED-9BEB-F3B58AFB0F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b34302f879326447349f9923ae6968b52f89837","datavalue":{"value":{"entity-type":"item","numeric-id":3897035,"id":"Q3897035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174424$9E15A65E-2A96-456A-9B14-2D11721EC721","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":"Q6174424$0EFB0053-FF36-4BAE-A52B-4D9EF0E85706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be40b4c67de5ab978f49a9d78fa540049976ba35","datavalue":{"value":{"entity-type":"item","numeric-id":4005203,"id":"Q4005203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174424$45D98342-3ABD-4AD5-A692-CFF06031D4F3","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":"Q6174424$2F299C69-8F44-4223-952B-A14D65FE32E9","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":"Q6174424$3242E93A-629F-4685-AF28-7DD3356267F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12ce99e75f00697efa1f5f9afd862b773370cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1147690,"id":"Q1147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174424$B538DB0B-0A55-4A71-A301-2D54EB6EB4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4550eeffc2b92b2df2a27423ede62913b3368183","datavalue":{"value":{"entity-type":"item","numeric-id":2210872,"id":"Q2210872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174424$03A929DF-E6CC-4858-98DD-D8AAE43B4990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62386516d9e4edfd13150a63c443c59cb377920e","datavalue":{"value":{"entity-type":"item","numeric-id":820135,"id":"Q820135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174424$18A37244-7DE1-458D-901C-B70CFE77005E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ace79583a1d2ed52952e2d9ce828b653abb4c6b1","datavalue":{"value":{"entity-type":"item","numeric-id":1189900,"id":"Q1189900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174424$DEF3960D-B637-4DD7-8F0B-3D5F3302BD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ed2be9418a43957af5bd4e04a6d0289797fc5e2","datavalue":{"value":{"entity-type":"item","numeric-id":903368,"id":"Q903368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174424$C42B613C-A8DE-404F-BBFB-A1008E6D0A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627a1b0b4eeada58cbae49941c80f9dab9432ace","datavalue":{"value":{"entity-type":"item","numeric-id":1095141,"id":"Q1095141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174424$FC688F9F-53A1-44C5-8442-E5A2C94C73D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6174424","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6174424"}}}}}