{"entities":{"Q4977228":{"pageid":7006807,"ns":120,"title":"Item:Q4977228","lastrevid":58385784,"modified":"2026-04-05T00:02:55Z","type":"item","id":"Q4977228","labels":{"en":{"language":"en","value":"Ramsey's theorem for pairs and \\(k\\) colors as a sub-classical principle of arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6756195"}},"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":"Q4977228$D6EC6FE8-2BA5-477F-A750-C8D89E14C636","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea2186ba24fd8045426fac735a63463723d15bf7","datavalue":{"value":{"text":"RAMSEY\u2019S THEOREM FOR PAIRS AND<i>K</i>COLORS AS A SUB-CLASSICAL PRINCIPLE OF ARITHMETIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4977228$DD1C5723-8C28-4979-BB7A-478F710A0F56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f063917dc537387e6805ba68ba2965773933f57","datavalue":{"value":"1419.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977228$33D2EA3A-C494-48D3-8682-2197E506C21F","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":"Q4977228$44A8C65E-3D93-4E8F-896B-AB4DF923F15A","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":"Q4977228$DB968DC9-131B-4E32-BBD8-143D47D5431D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b3a2783a955645e83aada5eb39ffa5fafcd7904","datavalue":{"value":{"time":"+2017-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4977228$4AD21020-ED5E-41CF-B510-A2C4A3F3DA51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52d14db62d93951a8d4c8c12aadb18e66ef44b89","datavalue":{"value":"https://arxiv.org/abs/1601.01891","type":"string"},"datatype":"url"},"type":"statement","id":"Q4977228$7BD9AC28-9070-4CC1-B6C0-4F738BFC502A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977228$BDD7CC8E-FDA5-421E-ABFA-ECA64DC975D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977228$D8366F95-A7C0-4928-997C-14286EE38674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977228$89254961-D944-4C51-A2D3-07F76CEAACCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977228$2EE0D9E6-D780-4C45-BE5B-0AAD3034282B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32cffe53bee8f3c33d7ebf06ef61d277ac405db3","datavalue":{"value":"6756195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977228$C912C743-D72B-4366-883C-85B150B9563A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4977228$2122B9FF-E523-461C-9EB5-BC66BC438177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"880189f3ab141434ac60dc229df6c4a00e086156","datavalue":{"value":"intuitionistic arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4977228$F00C2CE1-5B7C-4A09-8461-58DACD6C8B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0786541c4ea238e023ebb20ab70106f9bc17485","datavalue":{"value":"principle of omniscience","type":"string"},"datatype":"string"},"type":"statement","id":"Q4977228$394179E6-4D1B-40FC-B0B3-5B258C2C06A9","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":"Q4977228$0E24E29C-3331-45BA-BE42-6EDAB1937840","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d635dc2d6eb857a03416e92376f7753fdc0d17d9","datavalue":{"value":"W2964223866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977228$DA8FE281-CEED-4460-8F71-654BBB155841","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0e0310bad5e15bb5e67aa1ab3d8fbe56b30f08","datavalue":{"value":{"entity-type":"item","numeric-id":1780389,"id":"Q1780389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977228$DD6C4DE7-7689-4B24-8BA7-98B9B174EF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a09ce1ae44b7a833baaa2a4e3614e222df45529","datavalue":{"value":{"entity-type":"item","numeric-id":2968410,"id":"Q2968410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977228$58483B8B-FA50-4F74-96B5-918CC6B66FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7b88255d19d24a9c08c861e8270ad6cb0b05ff","datavalue":{"value":{"entity-type":"item","numeric-id":499082,"id":"Q499082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977228$9F1B1449-DACE-4C6F-8595-038AD3970F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977228$922C6EB3-7773-4B45-A6A5-7E2B7CAD7543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c833b542e9fb8bb3e367cbaa0347635e2d40b13c","datavalue":{"value":{"entity-type":"item","numeric-id":4600456,"id":"Q4600456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977228$25C2C7F9-EF64-42B0-A65E-84530FF14280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977228$C3B107FE-64FC-4647-9222-0D9D8F23F941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ad30dcf51cc217162bdb5a03b006ed2d9c1e1c0","datavalue":{"value":{"entity-type":"item","numeric-id":2796522,"id":"Q2796522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977228$90522A19-B395-4C6E-AC32-E739F41ADBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc68fbc256a340ad9770614b514ab49182f4bdd","datavalue":{"value":{"entity-type":"item","numeric-id":5677475,"id":"Q5677475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977228$B0B65E5E-6D88-4511-9D9B-2FFA964445A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"512392765a4a630fc65e161be336f2b7a1fee7c9","datavalue":{"value":{"entity-type":"item","numeric-id":987936,"id":"Q987936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977228$D7C565DF-3B1B-4996-AD4A-73C6165970EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977228$CC6C0047-E860-4065-9AB6-E710A34D55AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36f3302845f20430517558b235df89ad0a7a06cf","datavalue":{"value":{"entity-type":"item","numeric-id":4770951,"id":"Q4770951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977228$5D6A0198-C38A-4777-A41D-941CB1840F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833e63953bb751c560e44882c14c2582ddf6a30c","datavalue":{"value":{"entity-type":"item","numeric-id":5277982,"id":"Q5277982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977228$B4042BBF-951E-46DB-BD06-30E4B7571628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b16e98f2ed75b6b2c580aaaf672acd628aa682d","datavalue":{"value":{"entity-type":"item","numeric-id":2914747,"id":"Q2914747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977228$DBD13619-AD5D-482F-8E9A-A9D661EB809A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98255e1c818a11528cef9f882eef29b6e89687b6","datavalue":{"value":"10.1017/JSL.2016.41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4977228$C79D84A0-B778-4714-A804-A1D5513C2F44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4977228$FE565EC8-39EA-4617-893C-7D03AF657FCF","rank":"normal"}],"P1643":[{"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":"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":"Q4977228$1172A305-C26A-4636-8BF8-24C8BEBA664E","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":"a6e77da911f1a0fbf27a7da88be955a9ee8b00d8","datavalue":{"value":{"amount":"+0.8353795409202576","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":"Q4977228$08875981-3D2C-4B7E-9593-0B6739E0355E","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":"96f0469d93869cc70a3eb2d07ba94e584441543f","datavalue":{"value":{"amount":"+0.8266372680664062","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":"Q4977228$E26EC68C-20AB-4371-98FF-85FA4BCA28F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab542de1a31371e809e72e02a8c90564be6f0a62","datavalue":{"value":{"entity-type":"item","numeric-id":5004544,"id":"Q5004544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"764053d2e826ecb75fc405d81feedabc2129e6f9","datavalue":{"value":{"amount":"+0.807964563369751","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":"Q4977228$BCA1FA7A-5150-4FB8-97AB-A62BD2905178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5919fe0474d517f024afbc61f253715447499c9","datavalue":{"value":{"entity-type":"item","numeric-id":4647115,"id":"Q4647115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc64a605ecf3571d9118984ec9c203012a2bbe2e","datavalue":{"value":{"amount":"+0.8066509366035461","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":"Q4977228$F036CB30-E30F-42B5-B288-A181804A5885","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4977228","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4977228"}}}}}