{"entities":{"Q2695367":{"pageid":2706111,"ns":120,"title":"Item:Q2695367","lastrevid":44638785,"modified":"2025-11-24T14:42:46Z","type":"item","id":"Q2695367","labels":{"en":{"language":"en","value":"On tools for completeness of Kleene algebra with hypotheses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7670530"}},"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":"Q2695367$6609AFB6-4C92-48E9-A91E-66E325B0E1C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42e796ebc84db2a9a6d109c3f74b7b49155e98d1","datavalue":{"value":{"text":"On tools for completeness of Kleene algebra with hypotheses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2695367$AFD52785-A6F4-41B0-B950-CFB84EB853EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85e2e4c48e72e51b261074c841007c367d521fcf","datavalue":{"value":"10.1007/978-3-030-88701-8_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695367$DBD6F622-8A4D-418F-8A43-02CE45FD6427","rank":"normal"}],"P16":[{"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":"Q2695367$52ADE8C6-6492-451F-82BF-510D5D85EFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3fd3af9c88c99f68f4296c6bf25bdaa24b9f76","datavalue":{"value":{"entity-type":"item","numeric-id":265818,"id":"Q265818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695367$6B9BA3F4-0DE9-4B42-AFB2-A3BDD5428547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8934907047e08f1c0fc56f1f125aeddb0d3310ef","datavalue":{"value":{"entity-type":"item","numeric-id":1617831,"id":"Q1617831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695367$9BFB31A4-424A-4A00-9ED7-04AFB3D55F8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55ec59bb5a9318d90bccd7149395feea6793e4e5","datavalue":{"value":{"time":"+2023-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2695367$1104CD59-36F2-4A88-81B8-9941A9E6B1FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"370d03ed47a8297a553e47c40bf0c06633feb39d","datavalue":{"value":"https://arxiv.org/abs/2210.13020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2695367$B265DF0F-51C9-408D-A9EF-90D7FD7F9BBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695367$3A5F2433-351A-4EB1-8D5E-236F6CFD497F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6deef7342eba5af66db6b2209141b9e5bbd0369","datavalue":{"value":"7670530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695367$D8382BC2-D021-4DD7-9EA0-DFED110F4397","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":"Q2695367$CE104B5C-B947-42FF-B604-3DBCC11CF45F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15e90e76b7a773ada4c30738cd28f57c11314224","datavalue":{"value":"W3209101957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2695367$1FC6D467-796D-4A79-B555-4B4F62959C1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c61781cc78dfda75a4d398e6fe0f2b802016c6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5618323,"id":"Q5618323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695367$7F13EB57-9428-48B7-928F-6819C77F9D0A","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":"Q2695367$26702BD7-E0A3-4FE1-B453-8F710B89D313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decc60dfbdecb52e4624e62a3849ec2745afa0d5","datavalue":{"value":{"entity-type":"item","numeric-id":5747648,"id":"Q5747648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695367$A86908F4-D58B-417A-BD1D-F79D8A03B012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fa757ff465e473a319959fd796de45eb13d7e6","datavalue":{"value":{"entity-type":"item","numeric-id":5111642,"id":"Q5111642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695367$E68CAD13-55B3-4907-B270-0AD46DFE1CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695367$DD918B59-FD9A-4074-87A4-308F69C1BC3B","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":"Q2695367$F0CFBB82-2B3D-4FE7-BA50-FFEC30DFA75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2bd3ae521df703510b3399d9623e60b0a68761","datavalue":{"value":{"entity-type":"item","numeric-id":5310647,"id":"Q5310647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695367$148EF699-0D03-44EA-8289-1A1D7DD102FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d4053c16b8e88bf6141f457746ce76fcc1d1ef","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695367$6CD6120B-32F6-4E98-B2EA-C98E4F73ACB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8efa5cfc723c2d16deb93f9ef1dee93a2e7aad","datavalue":{"value":{"entity-type":"item","numeric-id":5875403,"id":"Q5875403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695367$4B98FA70-62E0-4FC1-BDFE-3D9A1B95C4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35362ba3b6099772c8a3da858a8bba1efb800751","datavalue":{"value":{"entity-type":"item","numeric-id":2200836,"id":"Q2200836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695367$2FC0FB69-2176-46B6-B20F-F05D877184A3","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":"Q2695367$E7723258-F961-452A-BDE7-FE860F3F0F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13d4d25d9b41b80813e9e3772d78e6f24c19a44","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695367$3EE1DECA-2FE8-4D40-AC6E-C8FE8729AFE8","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":"Q2695367$F67D9776-7A02-482F-9686-A6DBAD6C5DAE","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":"Q2695367$5EB5715C-E39E-431C-BD81-D08175B87B9D","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":"Q2695367$5D597D05-2812-4112-9886-387C48055086","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":"Q2695367$ACF6227F-DB02-4CAC-9F21-20B874578D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c6befd6c9a204dbc0e715190e75c5e6af20d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1177930,"id":"Q1177930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695367$8A842B04-36C0-4980-B25F-795D0B8A7212","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":"Q2695367$2AEAD574-1B3D-42C5-92AA-115398DF4A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"529c2a0b4dbbe96b3864eb81d73b0b34227e7c0e","datavalue":{"value":{"entity-type":"item","numeric-id":2695367,"id":"Q2695367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2695367$09B181B8-AFAE-4683-86B1-83CF59FA9929","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":"Q2695367$60BB9905-E84B-4BAA-8146-B297CE9A9F6A","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":"Q2695367$2C14D8B2-B213-4BEF-9138-C658085753ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2695367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2695367"}}}}}