{"entities":{"Q5222960":{"pageid":7252530,"ns":120,"title":"Item:Q5222960","lastrevid":40720821,"modified":"2025-04-04T11:32:42Z","type":"item","id":"Q5222960","labels":{"en":{"language":"en","value":"Left-Handed Completeness for Kleene algebra, via Cyclic Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7076873"}},"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":"Q5222960$0183D694-DEDC-4C26-8901-6F76C56D7BAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1098fb587877501810f323447cdc2fcbccb0203c","datavalue":{"value":{"text":"Left-Handed Completeness for Kleene algebra, via Cyclic Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222960$C6C8B4B5-BAEF-4DC3-AE23-597EED3B16E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f00b033e8510136e73a2bb523e710c300b85d683","datavalue":{"value":"1415.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222960$FCE1FE36-13C0-4D31-86A1-4FAB8E5C6871","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c255adfc712bad9b4346c358d68a6d24be790f29","datavalue":{"value":{"entity-type":"item","numeric-id":1694470,"id":"Q1694470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222960$54789EC2-97E9-487B-837B-D3C36DE100F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dc5416b47c2347b27baef4d150fc87d0d7a42fc","datavalue":{"value":{"entity-type":"item","numeric-id":2289073,"id":"Q2289073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222960$70B10E2E-618F-4D2B-A01A-125A36EA6BDE","rank":"normal"},{"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":"Q5222960$B683B74D-DCA8-40D5-850A-BEB611B84FC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222960$DE020616-18F4-46BE-B84C-6FDED7BF614D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311afef0a4b95245df7f6c2908ad6e9d40f3f2be","datavalue":{"value":{"time":"+2019-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222960$92712240-74E6-45A5-AAA3-2596899043DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222960$DCBC09F3-BD08-449E-840F-05C775893FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222960$65265364-02D0-4F3A-8304-A929111049CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4567e55255a62c816a328718c07f845c99e25732","datavalue":{"value":"7076873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222960$E0E8BDB7-D022-4AAF-955A-0FEF1896FA79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222960$B631AE7C-4694-44CD-99E9-B0E371D0E220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66278a5c931b890ca2a4eaf95c16a94ffb623e60","datavalue":{"value":"axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222960$5F91609D-624B-42B2-B447-E58DC701BAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8255afe24ff623e2eec5328fe47d34a79bf3589","datavalue":{"value":"cyclic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222960$F54D694A-D76D-464C-ADEC-8717EAED24DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222960$E26D5730-AA04-440E-BBD4-164B30AB0836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222960$FEED2DE2-EFE7-4927-84C8-2EAD9B570175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222960$3A4A99F9-960F-4273-BA95-B1F4D6B966D1","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":"Q5222960$0663EE05-4BA0-482B-AFF4-F0850176FA3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"834739777c6ffaba03762d3d2ad76b2c78cda164","datavalue":{"value":"https://doi.org/10.29007/hzq3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222960$BDED876C-B7F2-414E-8270-378370C0D9D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"780c62e3ba5003051db0abfa9ce5657749d6ff29","datavalue":{"value":"W2907293811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222960$123818CE-684B-4894-9289-4131FD412689","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18f294e6f85192a5eb880c1042ebdec589ee32cb","datavalue":{"value":"10.29007/HZQ3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222960$C38D688D-8BFB-4AB5-9553-57D3BF592708","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c1e93a54b2f3fccebf4009faae2b8573c236bfb","datavalue":{"value":{"entity-type":"item","numeric-id":5096912,"id":"Q5096912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11ce9981fdb28a8a5f4892e8738c45b66301c6d0","datavalue":{"value":{"amount":"+0.89144933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222960$0182B450-26D4-4877-9500-37B4131C90BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32b7ecac9121fd1f3086abef4e87b9f022bc8d9","datavalue":{"value":{"entity-type":"item","numeric-id":1694471,"id":"Q1694471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec25ed642b2ed2ebbae64258156f3cfff7419d3","datavalue":{"value":{"amount":"+0.88039446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222960$A03EC6F8-12CE-41AF-893A-E3B1A66DD2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1266b47a11467a4691412d554ff2f931e669b080","datavalue":{"value":{"entity-type":"item","numeric-id":2695367,"id":"Q2695367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ad4a119693c20e69f5f03dab4583489eebd9bd8","datavalue":{"value":{"amount":"+0.88036394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222960$8630344A-C260-44C2-B052-79F2079DF0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"511f50fc82e82d52bfde5404ccc01e02f5cc28e7","datavalue":{"value":{"entity-type":"item","numeric-id":1272129,"id":"Q1272129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b6fe06a57da720eb8d674774762ede2ef576ea2","datavalue":{"value":{"amount":"+0.8786509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222960$07EF4C91-C031-4FED-8048-B14FF0F7B305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69924a950fc0563458426994778a5a52e1a7021","datavalue":{"value":{"entity-type":"item","numeric-id":2176687,"id":"Q2176687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f45f42d5f55be7b79047fe4dc83b27b43d2a506c","datavalue":{"value":{"amount":"+0.874207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222960$9E71FCA7-C6F7-4591-A824-5A9B71B20DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73694831dfdedc726b1da0e2a3f40f29fb4b339a","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60a8ed95f680fbe9b42af6d7be4da6a33f50a05","datavalue":{"value":{"amount":"+0.87235403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222960$5B853491-B25A-49B5-85B9-B8FEAFF30B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62aa28113bb0f23a6604e388cf5ce845a9adfce0","datavalue":{"value":{"entity-type":"item","numeric-id":6174420,"id":"Q6174420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"488944f60bee875073f769347dc6190c79ff3e7b","datavalue":{"value":{"amount":"+0.86757916","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222960$B9931D02-3D8E-4593-A3DC-F04D1918AFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdeae1f039e9414abcf563ab9c7c5254fbf9ef7","datavalue":{"value":{"entity-type":"item","numeric-id":3460616,"id":"Q3460616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a16d445b7db0022a52be3745fb2a267e3ad26352","datavalue":{"value":{"amount":"+0.8668832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222960$247103F8-6F6E-4BF6-860B-CCF479D0451B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e33ff1c8d707ca026262c0aeca4dbaeffb246b94","datavalue":{"value":{"entity-type":"item","numeric-id":2401017,"id":"Q2401017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a16d445b7db0022a52be3745fb2a267e3ad26352","datavalue":{"value":{"amount":"+0.8668832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222960$44744B2B-5A10-47AD-8412-191886B92C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48b5ba9c46396364be97047a0a5e62a912332a32","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76910308b46f8c1bde0c6eee1432214da8bf656f","datavalue":{"value":{"amount":"+0.8667742","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222960$63338804-A8B2-463C-BCB6-2121A2480910","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222960","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222960"}}}}}