{"entities":{"Q1694471":{"pageid":1705212,"ns":120,"title":"Item:Q1694471","lastrevid":68151519,"modified":"2026-04-12T21:46:46Z","type":"item","id":"Q1694471","labels":{"en":{"language":"en","value":"A cut-free cyclic proof system for Kleene algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833561"}},"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":"Q1694471$0865894E-8F2D-4B92-A2F3-A13C54A18849","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88294ffacebdd7b79324096ab89d2b7d550306d2","datavalue":{"value":{"text":"A cut-free cyclic proof system for Kleene algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1694471$7B32B292-9414-4CB4-A51C-5FCADD52CF5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5588d57b26aa1e0138ed50a686158d89130c2e0f","datavalue":{"value":"1496.03229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694471$0D84BD00-E7FB-4622-BB2E-2105BEA03604","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"605b25ebc4fecdd5c507b42937419c081af545dd","datavalue":{"value":"10.1007/978-3-319-66902-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694471$5DCD7DD6-75AD-452C-AB88-49715F75F55F","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":"Q1694471$CAAE16FA-C697-4A56-B252-AD108358586C","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":"Q1694471$C7C7554B-C280-464C-94B0-C7EB9102BBFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3340cc79e75714646430612898cfc312969e0dd0","datavalue":{"value":{"time":"+2018-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1694471$0F178222-C81F-48FF-8F5F-BFFCE41C0665","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cdf396230ebef214af087672df680edd00c386b","datavalue":{"value":"http://pure-oai.bham.ac.uk/ws/files/81094094/A_cut_free.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694471$2320EF3E-95E7-472D-B30A-62948093F1B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694471$EFDA37B3-A5CB-4A38-92E6-A4D21F5D50E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694471$AB8D1BDB-7A7F-46D2-9DEE-674CFC8E7CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694471$3A2110A7-FF0C-4B67-83CA-E2B6C4C0EF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694471$52173874-86A2-405B-A21B-038C71A0FEEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebb6f0a0d0b93cb298983939925b76d5245fb22a","datavalue":{"value":"6833561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694471$1353BA2E-69DA-45A5-99A3-8575DC4D5FFA","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":"Q1694471$0D1E6F88-B747-48C9-97D2-D67F00BF8371","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11983dc2755d9d92cdb1a526f188d012726e7087","datavalue":{"value":"W2726021294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694471$38D56167-B75C-4F5B-AB88-BB0CC1735D1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c397d757ff82e89511887c3d410d7b217632e188","datavalue":{"value":{"entity-type":"item","numeric-id":5222960,"id":"Q5222960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670c1b6fe716d8e5ed5aedce4f333304201d7ef5","datavalue":{"value":{"amount":"+0.7938520908355713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1694471$BFA447D7-6B6D-4BF9-8014-2B8F94809B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2651dc685e3510fae612d1697c2cc86fd464987f","datavalue":{"value":{"entity-type":"item","numeric-id":3498428,"id":"Q3498428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec2eae60a41c246337703c382b376fbd0cc2e1e1","datavalue":{"value":{"amount":"+0.7769709229469299","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1694471$BC535DC4-B2C9-4B9B-BCD6-CE746CB62987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9689a123d92b9f35c63ba886192781d404122884","datavalue":{"value":{"entity-type":"item","numeric-id":2408794,"id":"Q2408794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584c5968db9ba40b778098c5fefd325cc67cba55","datavalue":{"value":{"amount":"+0.7493748068809509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1694471$C9815DEF-7386-4370-BB85-5DF6D3D3C4EF","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":"36d0b200f051b1f8788fccee0ebddb483a14968d","datavalue":{"value":{"amount":"+0.7492700219154358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1694471$EB9EA93C-6B09-410B-9867-9BA3A0CA5CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07feede7c37e28000329043b5a16eeee818389d","datavalue":{"value":{"entity-type":"item","numeric-id":5410480,"id":"Q5410480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1030b546f419ef6152030627a7e2f875eee2364d","datavalue":{"value":{"amount":"+0.747089147567749","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1694471$E974E61B-CBE1-4DC6-AA00-DF7FA4FCB504","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A cut-free cyclic proof system for Kleene algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_cut-free_cyclic_proof_system_for_Kleene_algebra"}}}}}