{"entities":{"Q5449700":{"pageid":7479259,"ns":120,"title":"Item:Q5449700","lastrevid":100996166,"modified":"2026-06-05T23:38:37Z","type":"item","id":"Q5449700","labels":{"en":{"language":"en","value":"\\(\\Pi\\frac12\\)-comprehension and the property of Ramsey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5250618"}},"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":"Q5449700$68256192-7EC2-4A93-9A04-155A30C5482C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2275d13a4a6b0c31cb085392fc5c7027ecf5887f","datavalue":{"value":"1140.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5449700$F2D144A7-BA89-4518-82FA-4785352684AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9461c80e1bd8740abe10530a97f1af44607cded3","datavalue":{"value":{"entity-type":"item","numeric-id":636378,"id":"Q636378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5449700$17967F3F-04BC-4DA1-8B71-3D9AA4AB04BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8aa7aa3a26128a7d9920918d3814f181c8274e7","datavalue":{"value":{"time":"+2008-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5449700$EA458926-E3BF-46C2-9130-06B3F8EA512A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5449700$114B2C0F-0337-4488-8E39-ABDBF133DF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5449700$FCF7C0A8-55EA-4EC0-AEEF-F7D86F690507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5449700$F85D202A-40BC-4F4E-960A-90D658F4C391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5449700$0700FDDC-CFB9-41FC-86B4-D59B5511F11C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9abc32c327029498bc28dbd4b8da43db44b3314","datavalue":{"value":"5250618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5449700$3D83953D-996B-4FF8-AB51-DFC525B91294","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5449700$2B5DD4B8-35E8-4949-8B16-1A6981102A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12fe3d93818556d981ab269736c237cbc3a660f0","datavalue":{"value":"Ramsey","type":"string"},"datatype":"string"},"type":"statement","id":"Q5449700$35074DA6-C15D-4F16-93CE-CD75047B0F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5449700$EE601BDA-A266-48B9-A00E-47C567426DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"811b99c464ee232736e6d9086a869dc6b0964066","datavalue":{"value":"\\(\\sigma\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5449700$D52544F7-E5ED-41EA-AB4B-679BF8FAD7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7dc60e53154487079c6842a1b0b675ed5447a0e","datavalue":{"value":"\\(R\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5449700$EF57DDAB-548B-4F82-8B75-9C69E117C6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a079a99a25f1220078e38b9d632dfa70e0228f4","datavalue":{"value":"\\(\\Pi^1_2\\)-comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q5449700$55C7E295-12DD-44C2-A68B-3DA42D887D14","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":"Q5449700$A5E336C1-0FD7-4B3F-83D5-9997649B8E4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e55cb142d8dfb415518dbedd0b5dda75f1374323","datavalue":{"value":{"entity-type":"item","numeric-id":1016505,"id":"Q1016505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba265de6a3ec7bb2ff83c89442614e69d1128459","datavalue":{"value":{"amount":"+0.8524602651596069","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":"Q5449700$45949CE1-8658-4DEE-8264-2B04F5B933B8","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":"e608aa5ec73144f350a3b26e12afbc935fbbc571","datavalue":{"value":{"amount":"+0.8371067643165588","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":"Q5449700$B6255649-FA63-4C3E-A3F3-F2C73CB76E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e0ce4da0562e48802d4d33b42e34d41eb397d00","datavalue":{"value":{"entity-type":"item","numeric-id":436224,"id":"Q436224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0ac71dde52f39b317bf3f14b59c46cbe7c8017e","datavalue":{"value":{"amount":"+0.7616109251976013","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":"Q5449700$F23F88ED-6AAE-4939-B002-846F0B95DCE9","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":"a4713b34985ed70dbb2279c456344c37fddc499a","datavalue":{"value":{"amount":"+0.7580503821372986","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":"Q5449700$2A726110-9826-4DF2-8C12-D8D9E090475A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea210ee7c00a41c9154bb273eff1706ba0fc2d1f","datavalue":{"value":{"entity-type":"item","numeric-id":4915224,"id":"Q4915224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5e4cedfb2fc114dddf43e2d52d57497d943e19","datavalue":{"value":{"amount":"+0.7552850842475891","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":"Q5449700$A5A314AB-BB0F-4CCC-AC07-42AB8A15810F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(\\Pi\\frac12\\)-comprehension and the property of Ramsey","badges":[]}}}}}