{"entities":{"Q4858291":{"pageid":6887871,"ns":120,"title":"Item:Q4858291","lastrevid":90963077,"modified":"2026-06-04T21:54:28Z","type":"item","id":"Q4858291","labels":{"en":{"language":"en","value":"DIALOGUE THEORY OF PROOFS FOR ARITHMETIC, ANALYSIS, AND SET THEORY"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 825457"}},"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":"Q4858291$380B16B7-60B3-450B-98AD-47176B681C49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ecbac8145245039127a0adff76008df23bc5e39","datavalue":{"value":{"text":"DIALOGUE THEORY OF PROOFS FOR ARITHMETIC, ANALYSIS, AND SET THEORY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4858291$82A0642C-98A1-4DA0-A027-C0869798A6A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62e1642358dfd27d8424ce6b0de9f5fef71f8292","datavalue":{"value":"0836.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858291$395F5BFF-8F94-471E-9D09-D0B7C64BF842","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a598c1cbf97b3373f832c8c36b01b1f5b3c352c","datavalue":{"value":{"entity-type":"item","numeric-id":2713181,"id":"Q2713181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858291$6AF44DD3-2B81-4DFF-869B-0F5BA4FEC71A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"115cf4d2c9e610e628a83af65a3b073ef85b727f","datavalue":{"value":{"entity-type":"item","numeric-id":3134490,"id":"Q3134490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858291$99DDAFD3-F7C7-4C65-82C5-1DF6282E1EE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"556c75146a38246bf29cd3f9c2668d597d55ab94","datavalue":{"value":{"time":"+1996-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4858291$18DEF041-BECE-4634-A194-E58EA2CD7D20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858291$D7C150F4-11BC-49D6-8A30-5C46023E33D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858291$B2EE0967-FEAC-4D12-9334-279C1515F27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858291$7F97B88E-FF58-4A8B-845E-9AEEB8707780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858291$5C9DD621-A3A3-47C8-8213-C445335CB1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858291$1B99B0C1-1DFD-441A-B394-E0D3F08F4906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858291$6F53015C-0B66-40B4-B22F-14C705B3747E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858291$6544B325-F679-45DE-9F72-BA399C6407AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57b903e24597416b8796341890e14ac24ae8082b","datavalue":{"value":"825457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858291$E782FA14-E3CC-4C40-AC59-78E518A977C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0762595aba73aeeee9b7820b2b282493be06f1b9","datavalue":{"value":"intuitionistic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858291$EA733B14-C558-4EEB-8A16-671B1CA160B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57e7221db39bf9b3993ac689b6d1bd5044870197","datavalue":{"value":"intuitionistic ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858291$2CFA8BB7-BF78-4C88-94DC-70BFA066CB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c1e3f89346905ad3bf729e551ae459af53a9b","datavalue":{"value":"impredicative extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858291$896AA83E-55B8-4C72-8D54-8E5C05758D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880189f3ab141434ac60dc229df6c4a00e086156","datavalue":{"value":"intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858291$41BEE74D-5748-4DAD-8BF9-66ECE1E82407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858291$9D62E656-39C4-483F-86D0-21480EE39BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"745fec169852dccc23ff4583447d1e5556dd5648","datavalue":{"value":"classical arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858291$8D0FB989-911A-4495-9B18-81C2CD9A5495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1617677cd502f254b00f4af79c46a86cf4fb54d","datavalue":{"value":"classical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858291$C8082967-BC1D-4D75-A37A-4800F266F4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83bfc76b8aea6ac33bd8daed90d8d939ecef60da","datavalue":{"value":"classical set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858291$CAF5C50B-7975-466C-A1B0-C8B00BEC7666","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":"Q4858291$465394B2-BC07-4FD3-8D9D-020DD6B8E556","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e08c7ee210e135d3625658071e683da37faca7f1","datavalue":{"value":"https://doi.org/10.1070/im1995v044n03abeh001614","type":"string"},"datatype":"url"},"type":"statement","id":"Q4858291$54C7CD23-5FC5-486E-8EB6-86108C2EEA69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22ed071f8509e606057ee153467cf285042b9978","datavalue":{"value":"W2013867795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858291$60406F7D-AF31-4218-AEFF-2DD8428A244D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de3e42dae1fcdb0d80d531fe617a140438221aea","datavalue":{"value":"10.1070/IM1995V044N03ABEH001614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858291$E70B7304-F383-4348-BC0C-25162BE7C810","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3611978b892fa24a17f5670e0dc08da7f46164dc","datavalue":{"value":{"entity-type":"item","numeric-id":4391177,"id":"Q4391177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd06076dc9c4db0d7035fc1443dad7bf2ea7621","datavalue":{"value":{"amount":"+0.7760214805603027","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":"Q4858291$2763068E-C53B-4FC4-8EF9-BE217F5D0B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f18fd094053abb5e6d6c97c497297cfdb682bd0e","datavalue":{"value":{"entity-type":"item","numeric-id":911585,"id":"Q911585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"532b2437f59149930b2f015f8c6e4c761c2d613e","datavalue":{"value":{"amount":"+0.7760213017463684","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":"Q4858291$BB07EF39-6F7E-499A-8DB3-324C3A4B3C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6abce847cf695a1699d312233c2b4b9995b7529","datavalue":{"value":{"entity-type":"item","numeric-id":580341,"id":"Q580341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f59338a826c1b890c0296ac7bfe5a46b8a145b5b","datavalue":{"value":{"amount":"+0.7533732652664185","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":"Q4858291$8A73DE38-4A71-42D8-B766-15962359D268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12952f4718c74bfd88ecd73b13454497dd29bc0a","datavalue":{"value":{"entity-type":"item","numeric-id":4368450,"id":"Q4368450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b7326841e4e8e5a03189a9c421ad8d61f9126ca","datavalue":{"value":{"amount":"+0.746921956539154","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":"Q4858291$3DB708E3-B421-4448-8C1C-3F7645DDA2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36f1bf8e3b11c34df5e8dde567d17a92b5203b2","datavalue":{"value":{"entity-type":"item","numeric-id":5351967,"id":"Q5351967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b7326841e4e8e5a03189a9c421ad8d61f9126ca","datavalue":{"value":{"amount":"+0.746921956539154","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":"Q4858291$C50247A6-1C65-4B6F-8B51-E980C8110442","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"DIALOGUE THEORY OF PROOFS FOR ARITHMETIC, ANALYSIS, AND SET THEORY","badges":[]}}}}}