{"entities":{"Q6159945":{"pageid":13294806,"ns":120,"title":"Item:Q6159945","lastrevid":55458304,"modified":"2026-02-17T16:52:08Z","type":"item","id":"Q6159945","labels":{"en":{"language":"en","value":"On the Logical Strength of Confluence and Normalisation for Cyclic Proofs."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7700634"}},"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":"Q6159945$4C78BBC0-7581-4193-8C59-F9FF30ED3AC4","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":"Q6159945$5F5C3CEB-6BC8-4467-A5D8-8BB3E3656622","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3088b6e1c2b1fc23f329cc708e78f720e11947f4","datavalue":{"value":{"time":"+2023-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159945$598068F6-97B0-4207-90A2-1028DEB76314","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159945$B70C8B1F-A353-4A95-8C56-3A482821B560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159945$DF7EBC06-D80C-454E-A1E6-DD7BD6421DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159945$F3790DA6-E165-477F-A19C-D8025EA01D76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e73c01612b4167ad4902c1959291f1c8a51ed40","datavalue":{"value":"7700634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159945$9F5FDFFD-EB8B-462F-A59C-1690FF51F44F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159945$810099F7-6EF3-4F00-BED1-C7E43E3C2065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159945$A26FE5EA-1732-4E89-A3FE-93E4683E641E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a961edf82f2ef0a56763562e8f82f39d7178e1a","datavalue":{"value":"system T","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159945$7992BA2E-24F7-40C6-9AC5-82C08846D1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7dbc9c45eeeebda94a7a1591d5ed6936b62077b","datavalue":{"value":"circular proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159945$BECDF272-3132-4260-9630-D4D725CDE279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159945$532C8A06-E2A2-40FC-A6F3-5F72D268F495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee85ef68a8f6c254cedcb4be71f63e93d1f63ac7","datavalue":{"value":"type structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159945$75D2A1AF-35E8-4ABD-A9CF-918A5108B9A8","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":"Q6159945$68A36108-2902-4DBA-BAF4-0F3004DAD501","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99efbf470a0f5aba623ef6913a0228c4f363aff2","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2021/14267/pdf/LIPIcs-FSCD-2021-29.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159945$2AE82C6B-4320-4D2D-80CB-73BE0B868BB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ab30eee02ddd2fe33f2abb08a47186554866cd3","datavalue":{"value":"W3183395447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159945$29C7107E-DAE5-4119-9C35-BE79C56E58FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1454080aedeaf611a8bb9103cb4739562d6ffab0","datavalue":{"value":{"text":"On the Logical Strength of Confluence and Normalisation for Cyclic Proofs.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6159945$80BE40B3-4A91-4F42-90B5-08AEE79F8432","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"caba66ebe78ec3b49951219566dd65de25ce7d8b","datavalue":{"value":"10.4230/LIPICS.FSCD.2021.29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159945$D476691F-F428-455A-BFCE-909A7DBD0411","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aadfa86451afae3efec984c4829a469ac4dca4e","datavalue":{"value":{"entity-type":"item","numeric-id":5717056,"id":"Q5717056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb5dedcf7c77bd68dbc38ff17e8e9d92c696867","datavalue":{"value":{"amount":"+0.7321707010269165","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":"Q6159945$C4D6F119-7E86-4D81-976B-0F362053F257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d42fe49bfdcf25b8a646b75d36b1c49087f911e","datavalue":{"value":{"entity-type":"item","numeric-id":3422018,"id":"Q3422018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40ffe77205292b6ccb54eacb8987b9dc9647759","datavalue":{"value":{"amount":"+0.7296544313430786","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":"Q6159945$DA9A98D6-270F-4895-BA0B-0B98EDFB4EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e2fd85bde00e97748545fc2f6f4716bbe769912","datavalue":{"value":{"entity-type":"item","numeric-id":6649449,"id":"Q6649449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94495a101704d3177921fdef15421e3576a67032","datavalue":{"value":{"amount":"+0.7287279963493347","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":"Q6159945$F308CCB2-7E4A-4FB3-B6C8-652B9754E662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c79724a902ef851155de58df4436c9dc71307a9e","datavalue":{"value":{"entity-type":"item","numeric-id":5149155,"id":"Q5149155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0fd6b94d53db38c2828a6c626713a44079a5f37","datavalue":{"value":{"amount":"+0.7250767350196838","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":"Q6159945$5FC799C1-BBB3-4FA2-98AE-FA4C355E0640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d3790d308f4eef46048b7c5e54eadf8bc34016","datavalue":{"value":{"entity-type":"item","numeric-id":5394567,"id":"Q5394567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63571db1ad04dae593a4ef70b312ed232023b80a","datavalue":{"value":{"amount":"+0.7212788462638855","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":"Q6159945$EEE134B1-FF6B-45C1-B561-87085579BE81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159945","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159945"}}}}}