{"entities":{"Q2968410":{"pageid":2979135,"ns":120,"title":"Item:Q2968410","lastrevid":85588643,"modified":"2026-06-03T10:02:36Z","type":"item","id":"Q2968410","labels":{"en":{"language":"en","value":"Ramsey theorem for pairs as a classical principle in intuitionistic arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6694179"}},"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":"Q2968410$FCD93B7D-646D-4D46-BBA9-9D78816F4DA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1bf10cfea6671dc993f2601fa556e138363e024","datavalue":{"value":"1359.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968410$E490A02F-2B1D-44E7-80E2-C09599716B54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968410$D9F8B082-83D2-4D58-B01E-9F08123C0404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cd82a286f91886831e771d7fa217c07b3dd41bd","datavalue":{"value":{"entity-type":"item","numeric-id":324246,"id":"Q324246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968410$085C0ACC-5980-4641-8BD2-80AEFA5E66A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"856edffdf82e86092e797d3b8ee58dc208c2c6a3","datavalue":{"value":{"time":"+2017-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2968410$878FE9AF-EB8B-4966-9B25-CF3F1A3FED07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968410$40B14E35-DACD-4AB0-9D62-BB65E6089B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968410$DBB2BC68-2FE4-4722-A259-AFB56B607EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968410$CC08FAFB-F467-4470-88AE-10622F76BA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968410$5BB65079-3239-4D3B-A95B-71B1F3B0C374","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3303c49231a5c471a116f99c943ff760a200064","datavalue":{"value":"6694179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968410$BEF35AFF-71F0-46F3-9405-F771E7AA01A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968410$BC210341-38A6-46DF-B9BE-A389190DDF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51cbb56a576577859efdc725b8785988c0c562c9","datavalue":{"value":"constructivism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968410$9AC05AC2-9214-4C47-B8A6-0C6026610812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968410$4264E21E-D35B-49C6-97B8-FC7504CAB041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459bec42b17ec11c660be8df9263264e5e78596c","datavalue":{"value":"Ramsey theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968410$636EDDBA-AC63-4273-A9AE-FE3DE80E565F","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":"Q2968410$5791C77E-C6D8-48CD-A78C-70043BC80C7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49f2a9be2231a9bc5ce2eb7a9883f93d89bbf165","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2014/4626/pdf/5.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2968410$3A4D299C-A322-43FA-912F-512D96CED6CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5418ffd73d3459c8aec509731f363ceee8bce2cc","datavalue":{"value":"W2271772548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968410$2E899CF0-FF23-4958-80F4-23873BE06392","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57eeaf1281679ac01885bd44dfb7f37e7e071808","datavalue":{"value":{"text":"Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2968410$23902C1D-3B6D-4BE0-8AA4-4F9528E8B218","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c6c094eaa2ab11f144ed78f0afc0faa310917ed","datavalue":{"value":"10.4230/LIPICS.TYPES.2013.64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968410$88A806CD-643E-495C-B5D7-DF2E0759C0CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12cd2d9b2abd0686998793010b04c658af22212b","datavalue":{"value":{"entity-type":"item","numeric-id":4977228,"id":"Q4977228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93435da2d43950deb6af21aa511bfd7acd2793fc","datavalue":{"value":{"amount":"+0.8770732879638672","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":"Q2968410$FA86B4C5-D674-4600-9AFC-04464A7C18F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f072dcc93454753bc9f43ca36a2eacb0dcd52a","datavalue":{"value":{"entity-type":"item","numeric-id":3353014,"id":"Q3353014"},"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":"Q2968410$7FA8D420-5C2C-4AFB-A6A2-FFE8A63B9F7B","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":"fd50a2218a070d8fefe36a5ad7c23a4d4c7238e1","datavalue":{"value":{"amount":"+0.8194474577903748","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":"Q2968410$A086639F-35C7-438E-B638-0439E7B7FF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da304cc127955d6011df962755fbdb986fa89afd","datavalue":{"value":{"entity-type":"item","numeric-id":1644984,"id":"Q1644984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ddd784a2929381ed87d2f4c548a93b847c27906","datavalue":{"value":{"amount":"+0.8003146648406982","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":"Q2968410$09CC0060-7B4A-4243-828C-2EE1D2A4ED02","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":"59e683489fb252662e4d342dddb861ec71ec3d8b","datavalue":{"value":{"amount":"+0.7863874435424805","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":"Q2968410$02A58841-E937-4220-852B-62EE87396B49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ramsey theorem for pairs as a classical principle in intuitionistic arithmetic","badges":[]}}}}}