{"entities":{"Q6563055":{"pageid":14174210,"ns":120,"title":"Item:Q6563055","lastrevid":56976060,"modified":"2026-03-25T10:54:39Z","type":"item","id":"Q6563055","labels":{"en":{"language":"en","value":"On tools for completeness of Kleene algebra with hypotheses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7872355"}},"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":"Q6563055$8BA86E02-5BCF-40A2-B9A4-059BE18A8443","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":"Q6563055$6D551B8C-E486-452A-9919-5799B175C4FD","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":"Q6563055$6B50CBFE-51F1-4E5E-9979-C89954D4EF9D","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":"Q6563055$CDFD45DE-7722-4F70-A24D-EB9508DF2CC4","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":"Q6563055$45E06A9D-0066-49A2-88EE-7800EA4FB6F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563055$2876A268-6F2F-46CF-B2E4-5D74D8F2BEF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52ad18669458f088996fd7b4dd3dee92e307308b","datavalue":{"value":{"time":"+2024-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6563055$A21AEBCD-633D-4A28-9DD4-081AA4B18CAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563055$52A38957-042A-4B5E-82D9-71CD53002789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563055$AB226770-9226-4795-8540-40335C5A26BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0a4b4f9571a763b3cce06489c1a8e3146ba8d7a","datavalue":{"value":"7872355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563055$1D115831-82B2-43FD-A91E-486A5687B7B3","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":"Q6563055$89F47AAD-39C4-4F15-A5B9-6984E99B09B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b389e8c32260009cee4925d8f6ead645371e32","datavalue":{"value":{"entity-type":"item","numeric-id":5408410,"id":"Q5408410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563055$8D231BFC-3097-4837-9811-DC5986D1AC32","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":"Q6563055$9EA2D276-FB51-45B0-A13F-F893079E00D1","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":"Q6563055$C35B089D-6809-4D3C-AD0B-6F43D10FF92F","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":"Q6563055$A37471A2-4BF2-4EDD-8B4E-17342022BEE0","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":"Q6563055$F9126FF4-00D6-4435-A235-04241C5FC796","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":"Q6563055$E30A8CAC-F3FB-45A1-AB84-365EC43D00B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b371b6643dcd783cb1ccf170d2f8367db4f0491","datavalue":{"value":{"entity-type":"item","numeric-id":5222960,"id":"Q5222960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563055$63FF347B-C112-45EE-AD90-0E0921DF0CBD","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":"Q6563055$D9EBBB77-15A7-4134-9410-A60DC9178A47","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":"Q6563055$EA670710-5CAD-4979-89FF-F5CD361DF0D7","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":"Q6563055$BC9AA837-AA28-46C6-9CB2-AE88FFE877FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c31b5b7a3a6c82349713c5f0a561e882b0ebc7e","datavalue":{"value":{"entity-type":"item","numeric-id":4635629,"id":"Q4635629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563055$3C4015EF-DA16-44A7-904E-390FCDD8A2B0","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":"Q6563055$C121D310-A12D-433F-8620-1DCB4DBF6E00","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":"Q6563055$F2BCD62E-FEBB-4F47-8A28-A149A807CF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a9c390298575061fb02cd95521e7691f4fa7dd","datavalue":{"value":{"entity-type":"item","numeric-id":1229100,"id":"Q1229100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563055$49ECA838-1E23-4003-AE09-92F237297459","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":"Q6563055$829094CC-70B4-404F-8AB4-C636F3AC93A7","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":"Q6563055$2192337C-46AC-4279-BC29-9B79B2A0A035","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":"Q6563055$DF652A5E-444D-42A2-8761-DAD9EEE7F55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dd7302ae5c6ff14c7d7d4f9e7c2537339e8f91","datavalue":{"value":{"entity-type":"item","numeric-id":2392416,"id":"Q2392416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563055$75453E8B-A8BB-4768-BE61-CEBE860C1637","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":"Q6563055$1E6CE853-2B5C-4265-8B5C-393E5F557B88","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":"Q6563055$86AB4730-5837-43E4-A4CA-984F1CFBDAD8","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":"Q6563055$C353FC42-E8C8-4825-ACDC-57065BBFC4E9","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":"Q6563055$A8A8B5CB-D491-4B65-9BC7-D71FE08BB97D","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":"Q6563055$9F4B2F6C-BEC5-4E50-9E18-C9C728F07F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97dd8fdb1409a539de2315c652d185143940d35a","datavalue":{"value":{"entity-type":"item","numeric-id":2915142,"id":"Q2915142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563055$19BFFD73-7F10-4A78-BB9D-CAD4D99E3C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5022573b3372ce1bff4b6209eff4c5596a6672","datavalue":{"value":{"entity-type":"item","numeric-id":5224583,"id":"Q5224583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563055$DA01FF42-03A7-4838-B0E7-4C06DD296CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53b96dbe2bf4fe29c861a756c12d08574ef5b423","datavalue":{"value":{"entity-type":"item","numeric-id":2988362,"id":"Q2988362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563055$AAEB3AA5-C511-470C-999B-4BCD0BD178F7","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":"Q6563055$9D025BA1-36A3-4F2A-9D42-F1D3FCBD0D48","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":"Q6563055$7A968721-9770-417D-830D-C52D58ADA506","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":"Q6563055$81DAF0CA-84B5-44D5-8770-3A8CE19D13A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2147224004eb884894bffc39abfd8a746dc2586","datavalue":{"value":{"entity-type":"item","numeric-id":6563055,"id":"Q6563055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563055$0D5C8BD7-93D4-4B39-A25E-1EAF74D0E0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"230d3c554d64e23e301deac41e741a2bd221371d","datavalue":{"value":{"entity-type":"item","numeric-id":6587134,"id":"Q6587134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563055$8F4C423F-BD53-49A8-B521-9FC6B1B2D777","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":"Q6563055$57CCAB7C-9BCC-44FD-BF04-8464C49DDFB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d495009c30b2996fa164b4ea2245b1bc746dc65f","datavalue":{"value":"10.46298/LMCS-20(2:8)2024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563055$CD07C57B-A055-4E05-B59B-72F549D62A1C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563055$D2044B9B-76C5-4ABA-A9D6-466CF44E3F2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6563055","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6563055"}}}}}