{"entities":{"Q3353014":{"pageid":3363724,"ns":120,"title":"Item:Q3353014","lastrevid":49514179,"modified":"2026-01-07T10:41:47Z","type":"item","id":"Q3353014","labels":{"en":{"language":"en","value":"Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4204337"}},"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":"Q3353014$BF080DE5-7B6F-4A6A-8339-B8720C646505","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32b4d6433da2176274f1b9ed7f64b9b040713b57","datavalue":{"value":{"text":"Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3353014$C0294267-4600-4B87-8C07-40797E9D6FD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d737cc327ce32766b2534879380d5085e950e94","datavalue":{"value":"0729.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3353014$43DFA841-4022-4A5A-B055-4E3DB7640723","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ed1b29a779be18eed2e3b376488f3b2b88f9170","datavalue":{"value":{"entity-type":"item","numeric-id":185815,"id":"Q185815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3353014$5F29550E-C202-48B3-8A67-851F964F8E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86dd1292a8b5a1afaa94642cc6a7d0169c59a759","datavalue":{"value":{"entity-type":"item","numeric-id":409313,"id":"Q409313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3353014$C12DFA64-1009-4082-BF48-882446B5D805","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0e8e2f16e5044e38a454384839ea1083db5e26c0","datavalue":{"value":{"entity-type":"item","numeric-id":559407,"id":"Q559407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3353014$FA1AEE38-8B8C-4EF0-99AF-64AA5F6AE87D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84bd89f27c8cb1358368760527e3f52344795b6d","datavalue":{"value":{"time":"+1993-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":"Q3353014$F4EF1502-A4B7-44C3-B3F5-7D85A0B95FB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7f7a52572eba78f2bb34f5cdaa74374d3bbf202","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/26544","type":"string"},"datatype":"url"},"type":"statement","id":"Q3353014$F9873DAB-B7AC-4596-8CD4-F427F107A84C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3353014$C1387A88-A76D-414A-860A-7A209097B001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3353014$C2D42D3E-58F7-4657-8EFD-C6E2F4A1C99D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8505312f5879b7e8f4aa3cd719461733df97fe39","datavalue":{"value":"4204337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3353014$EC122A9E-18D2-4EFA-A8B8-6ECB0D02876A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0762595aba73aeeee9b7820b2b282493be06f1b9","datavalue":{"value":"intuitionistic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3353014$FCB38829-4490-427D-9605-182EAFBB2A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3353014$70A87F7D-9C9E-4215-A474-144BD76068ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb77ecbec8d7f84816c586f32e55074c64dc9bd8","datavalue":{"value":"almost full relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3353014$30394BBE-8608-414B-ADDC-77AAFADB8073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3353014$856056EB-A8D3-4E3E-964E-B58F43E0E097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3353014$3276BAC9-B406-4B24-8183-539B907C1C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6287f57eb98cf8141bdff198aed16ca23cb8a057","datavalue":{"value":"intuitionistic pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3353014$72BD3A7A-5CFA-4F37-96C5-E7008B33790E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3343f0c24fc935463c91e8f81b3a8b2707c835c","datavalue":{"value":"compactness argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q3353014$0187A135-1A65-40B4-A7B8-CA8C88E722BD","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":"Q3353014$C0906C17-E61C-4672-92C7-287335EA7C8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b08d2b74153e15af286804a053d55306045be46f","datavalue":{"value":"W2165251681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3353014$AA2DBBBA-863C-4F5A-B3DF-4D5277609EE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1591b7ea2da5872765b6cbaa4e0eb5f1bc57396e","datavalue":{"value":"10.1112/JLMS/S2-47.2.193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3353014$5DFFD001-3AC2-4111-9643-2291E01D422F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"084cd59e3f8af72e511a9a0b9081237c2b0aa7cc","datavalue":{"value":{"entity-type":"item","numeric-id":685402,"id":"Q685402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5047f6d69580094a01d77d513c2d0b17f6091495","datavalue":{"value":{"amount":"+0.9084590673446656","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":"Q3353014$58F720CA-7304-499E-BFFB-5170F07396F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b333e04bae6506ab03690ab5e36ecf198cea14","datavalue":{"value":{"entity-type":"item","numeric-id":2274133,"id":"Q2274133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987937a11df653d14141ffea16c13fe51fda8eaf","datavalue":{"value":{"amount":"+0.9083768129348756","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":"Q3353014$E978BB5E-CD9C-43A8-A3E7-870F5002095B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a895dc54639ab21cc7b6646ac9a56d087397622","datavalue":{"value":{"entity-type":"item","numeric-id":1327381,"id":"Q1327381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adde6d4f0d6e8412789beaa217e4980d44166234","datavalue":{"value":{"amount":"+0.8426206707954407","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":"Q3353014$F3ACB6FA-3282-4B3D-94A9-6E93D5E825CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"956b97ae9bd786765e9ca0896991f9818b597f0c","datavalue":{"value":{"entity-type":"item","numeric-id":1913632,"id":"Q1913632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a0cadcef574dc25b44617668fb6c768ec50d79","datavalue":{"value":{"amount":"+0.838410496711731","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":"Q3353014$A6B2AA48-0EC8-44FD-ACD0-41AF4E7C5456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ef81f647cf3e81eb4ac7f88c43eef7f20ee866f","datavalue":{"value":{"entity-type":"item","numeric-id":2968410,"id":"Q2968410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb5499c713d584a82c563995ac0e51d0504cb3a","datavalue":{"value":{"amount":"+0.8293494582176208","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":"Q3353014$DC7FB3D2-3AC5-40F0-B972-EF7693B44F73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3353014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3353014"}}}}}