{"entities":{"Q6482532":{"pageid":13978679,"ns":120,"title":"Item:Q6482532","lastrevid":40964070,"modified":"2025-04-16T08:25:24Z","type":"item","id":"Q6482532","labels":{"en":{"language":"en","value":"Paris\u2013Harrington theorem"}},"descriptions":{"en":{"language":"en","value":"A certain principle in Ramsey theory is true, but not provable in Peano arithmetic"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"c8566a493116758818d5a26d859f86220f609b7b","datavalue":{"value":{"entity-type":"item","numeric-id":6480412,"id":"Q6480412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6482532$1691C03D-8907-40BB-95E0-AF152FBBE8DB","rank":"normal"}],"P989":[{"mainsnak":{"snaktype":"value","property":"P989","hash":"a448eebb85f523c732650356e71abcafda90185c","datavalue":{"value":"\\binom{N}{n} = |\\mathcal{P}_n(S)| \\ge R(\\,\\underbrace{ m, m, \\ldots , m }_k\\,)","type":"string"},"datatype":"math"},"type":"statement","id":"Q6482532$3E7A7FCF-F5B7-4D22-BE07-70B0B3D3226A","rank":"normal","references":[{"hash":"e095c1777d78c6310fee7299bfc6f5735414b4b7","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"0c2cea297152a3f12f4296fca42de18f460a63f3","datavalue":{"value":{"entity-type":"item","numeric-id":56456,"id":"Q56456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]}],"P558":[{"mainsnak":{"snaktype":"value","property":"P558","hash":"7165912d8843909abc52d98b59dfe99ccb79c644","datavalue":{"value":{"entity-type":"item","numeric-id":6482531,"id":"Q6482531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6482532$84010C2F-D5E8-412A-A0FB-C36C7575FB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P558","hash":"d119189b97bd0dc97a06b1a4ae5b531d1d25dd91","datavalue":{"value":{"entity-type":"item","numeric-id":264026,"id":"Q264026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6482532$28A749F4-7E9A-4210-8C7A-7B346D8F9439","rank":"normal"}],"P373":[{"mainsnak":{"snaktype":"value","property":"P373","hash":"5d61b987ecb1857c078425795f7e59de603dc8df","datavalue":{"value":"2776950143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6482532$3325EEAA-7F55-4A0E-8065-BCABBC2B0A87","rank":"normal"}],"P239":[{"mainsnak":{"snaktype":"value","property":"P239","hash":"79641fe152a138de2dab6278a86c33de5e482c2d","datavalue":{"value":"/m/0b4jb9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6482532$D459C1B4-9D9C-40BE-9899-ED84F59AD29E","rank":"normal"}],"P1192":[{"mainsnak":{"snaktype":"value","property":"P1192","hash":"ca22309920ef43fecbdf922f5297bc2901101af1","datavalue":{"value":"Paris-HarringtonTheorem","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6482532$26B1B753-FD07-46B7-B357-4A0C8BAB337B","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"ceb72e8792937a8b01ebf71f4977ee16c1bd3b2a","datavalue":{"value":{"entity-type":"item","numeric-id":6480413,"id":"Q6480413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P34":[{"snaktype":"value","property":"P34","hash":"897e7608d12ed086dd74eb339efced091b10fb25","datavalue":{"value":{"entity-type":"item","numeric-id":56366,"id":"Q56366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P34"],"id":"Q6482532$C60BB7AB-DE3D-4FAD-A7C7-130DCF081944","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4f1289f616b8ac8d860618afd2db77baf9e4fb3c","datavalue":{"value":"Q7137494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6482532$D8D09699-0595-4C4D-932B-AA1405A4FEB4","rank":"normal"}]},"sitelinks":{}}}}