{"entities":{"Q1061740":{"pageid":1072492,"ns":120,"title":"Item:Q1061740","lastrevid":66059772,"modified":"2026-04-12T07:15:56Z","type":"item","id":"Q1061740","labels":{"en":{"language":"en","value":"Dialogues, strategies, and intuitionistic provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3910391"}},"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":"Q1061740$7AB3E35B-AB03-4F40-A603-6424914DFD6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e66bfce503ab5f67a3e362385373979664c2318","datavalue":{"value":{"text":"Dialogues, strategies, and intuitionistic provability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1061740$70BC428B-7D03-44BE-91EA-997FAB5396D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b7100164ea0a40663252314763e886be1a5b4ce","datavalue":{"value":"0571.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061740$B002EE58-E993-4AB7-BDBB-5E9BB94EDEBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b3f7fc972ff8e1fd867b14e15ac45c5275d73ed","datavalue":{"value":"10.1016/0168-0072(85)90016-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061740$6C0BEB36-2FFE-4E95-8974-B7A0BA95C8A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f7037365ea7a82807e50e341e920a8fe3ca6fa7","datavalue":{"value":{"entity-type":"item","numeric-id":768533,"id":"Q768533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061740$1066380C-145D-4670-8AE2-94A7D2969DFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061740$E6FA607C-28A7-49F7-A7C2-47A80D4A9547","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1061740$099B72A4-D8CF-4D83-ACB9-BC4EEF3EC4D9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3300d34176e3afeb77a58a57e8057fa9b0717177","datavalue":{"value":"This paper presents an equivalent theorem proof, namely that for every winning strategy in certain Lorenzen-style dialogue games there is a proof in LJ, the Gentzen consecution calculus for intuitionistic logic, and vice versa. There is an algorithm for transforming either into the other. In addition, for propositional languages, every LJ proof can be transformed into an irreducible normal form.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061740$A3425D89-9375-494D-901F-37C192610EA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061740$35D846B1-25F0-4F1F-8F26-1B8C8E04A2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061740$7E347AB6-A9D4-4DEF-8A4E-ED86B1E9CA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061740$66BF0607-3F35-4CB9-AC1D-149EA4A64632","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4c8c0ec5502b4d3671d9c2eaa3974f1c74f172e","datavalue":{"value":"3910391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061740$5278C3E5-DE93-433B-A0EF-5A8819B3E464","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061740$8DE884FA-1AAB-4FC2-9BA9-BB0FB9951C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"117816c464c7958f447f6e07568eeff4b735729a","datavalue":{"value":"winning strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061740$D7152F48-FE4E-403D-973E-DC99FDCC0DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecfe5765d993dcaacd4e27fc47164633852fc7fc","datavalue":{"value":"dialogue games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061740$7AAC3E84-EEB8-402D-A5BE-B80371D8A513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42a09cef419b17699c3123fa47a9a9d46c8c27c6","datavalue":{"value":"Gentzen consecution calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061740$848AB711-9B0C-42D5-9BE2-98C42E64000C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061740$35D1BF0D-6663-435B-AB7F-64200F88A048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db35b618868160c29bf01deef7798351e55690a2","datavalue":{"value":"irreducible normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1061740$2ED71A15-F6B1-4488-A4CD-A6F63294220B","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":"Q1061740$EE6D09EE-8014-466C-AA34-7815CEEB0C4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6fa4625a9d49b7e405b900c00ef169a1c1acfa2","datavalue":{"value":"https://doi.org/10.1016/0168-0072(85)90016-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1061740$0880C73B-EE3B-4D0C-9791-203935894991","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2cd3db25fc54d803daf29f993a86ca5dfc722073","datavalue":{"value":"W2002823922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1061740$AACF462B-31B6-42D6-ADC3-2BD7EAD82529","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061740$52A7047C-FBCF-4BC0-B7A4-D565DEF0BB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1ba34627b9178a148ca69b62835f8ca77d84eb","datavalue":{"value":{"entity-type":"item","numeric-id":4342083,"id":"Q4342083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061740$824CDF96-FCC3-4E4F-980D-180E655B77EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"580dc50b6a43cb32c0e28a6d1454c3bc5b55b2e3","datavalue":{"value":{"entity-type":"item","numeric-id":5569434,"id":"Q5569434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061740$28463408-2FFD-408F-A6BD-F72915ABA5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33c2392713a92d4b19d03448288a94a4fe3f89db","datavalue":{"value":{"entity-type":"item","numeric-id":3290716,"id":"Q3290716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061740$F5D972FA-218E-4DCB-95AF-E3297EDC0FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f4ae871f9a1b9258698ec1a820ff040cafb3f5","datavalue":{"value":{"entity-type":"item","numeric-id":5573944,"id":"Q5573944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061740$472040BD-29AF-4E57-9A55-F5F0D3A405E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05e8eb6c2b860f100237f73f9e56019c1ab1884c","datavalue":{"value":{"entity-type":"item","numeric-id":3874172,"id":"Q3874172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061740$BBF51368-C82A-402D-8409-BFCCA03FD8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061740$7C564085-3034-44CC-9043-D58147DE3E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ad95be10e125d43bf9dc2e5484acaa44f85a06","datavalue":{"value":{"entity-type":"item","numeric-id":2529967,"id":"Q2529967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1061740$AE97A2F1-36F6-411B-97EB-873C713287E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2a40a8ea5ffad56f16cbd491bed848ba81c0a8","datavalue":{"value":{"entity-type":"item","numeric-id":5187859,"id":"Q5187859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ee791405987db4405139375492d8c1c3160bc2","datavalue":{"value":{"amount":"+0.7861371040344238","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":"Q1061740$CB6B14F5-3F3E-4CAF-B91B-FF8F9CB12875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c51de2f4e72a5c58ef834ac8ee21af96d97fadcd","datavalue":{"value":{"entity-type":"item","numeric-id":3101111,"id":"Q3101111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae5bad8f111dec9f599b5d133adaf44a7446b600","datavalue":{"value":{"amount":"+0.7792376279830933","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":"Q1061740$B1E72A2C-9153-42E6-8128-D48DC9C3B408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4912bb52ea6a7a38e6b228822ee162b4d5b8d3f6","datavalue":{"value":{"entity-type":"item","numeric-id":332080,"id":"Q332080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fa0292428e2787eac17e566f2af2ccb5c4d454d","datavalue":{"value":{"amount":"+0.7740440964698792","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":"Q1061740$A6A48935-4DA9-4BB4-AF20-9D85D3C757F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e67e2e5395d4220ccebb5da76231f6df77d8d173","datavalue":{"value":{"entity-type":"item","numeric-id":3007292,"id":"Q3007292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f43b7b7e25fc48a8a27893418c1532aed74dfabe","datavalue":{"value":{"amount":"+0.7708237767219543","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":"Q1061740$AE871163-3119-461A-A22B-FC91578D8AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3dcd254756916527e11b18b2b22b6aac25bb79","datavalue":{"value":{"entity-type":"item","numeric-id":5013625,"id":"Q5013625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec6128a5ac998bfb5acd493393c7e67c7aef80ea","datavalue":{"value":{"amount":"+0.769657552242279","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":"Q1061740$F0F3E581-0BAB-475B-B2BF-9C1C771F2C06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dialogues, strategies, and intuitionistic provability","badges":[]}}}}}