{"entities":{"Q2488271":{"pageid":2499014,"ns":120,"title":"Item:Q2488271","lastrevid":48535972,"modified":"2026-01-05T03:39:08Z","type":"item","id":"Q2488271","labels":{"en":{"language":"en","value":"Upper and lower Ramsey bounds in bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2198600"}},"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":"Q2488271$4890FC3F-D885-4725-B0F2-88139498E448","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96e91951bb5f23103d6bb93ef4ca93bf08444c73","datavalue":{"value":{"text":"Upper and lower Ramsey bounds in bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2488271$03BFB5C0-CEB2-457B-8B43-FBE4F735E19A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50f2e606b5409a861030810ef755b599fdf4e160","datavalue":{"value":"1073.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2488271$A2BF82F0-AB0E-4519-B772-AD656FA45638","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c8d3dd785f169d807c863d95c650fc3a0abdf7d","datavalue":{"value":{"entity-type":"item","numeric-id":719238,"id":"Q719238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488271$889E8809-36F7-4F2B-936F-28C1BBBA5B3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488271$71CCB632-6BC9-4D44-9DAC-85DE3D548FAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aca40131a4b359e0412a5ddeceecc24f8a40f1e6","datavalue":{"value":{"time":"+2005-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2488271$76E7425C-E413-4A56-B229-45B56084F759","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2488271$88F6175B-15D2-4AA5-8560-966C6B36ADC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2488271$F1753BA0-FCA4-4FF7-B47B-B7AE2CA1928A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"505dab9721154d1029d881b944cbf9d233b6d0c1","datavalue":{"value":"05D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2488271$E1F89C57-60D3-4500-B393-E8D32C2D44A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8898f6b784221b9ef5b3d5f422a2e96e48ca197","datavalue":{"value":"2198600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2488271$54CA4459-3077-4817-BEB1-E1BFCF1C71B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2488271$FC0EFE2D-6577-40C6-9E2F-D00F3C1BD73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f9e038ce90ce67b356cbe14c3c3f15dfb789be","datavalue":{"value":"Ramsey theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2488271$2A42B620-9AD2-44A7-9F02-F85E22BD17F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e940ac37279303889e6f8c6cd8870094f89fb3aa","datavalue":{"value":"probabilistic method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2488271$9837B080-29EE-4990-A420-D88B06242B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c5d788dff212a5ac668b31d3f2ad47b96140a66","datavalue":{"value":"weak pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2488271$61346284-4FCB-4A98-9E39-490590ED6D5A","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":"Q2488271$F98A4404-9384-4A39-BD9D-BEDF33944D0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2fab7d7565220417f5417d902481928a74c29f4","datavalue":{"value":"https://doi.org/10.1016/j.apal.2005.01.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2488271$F5B05075-5AD4-4B90-B940-ADFFA82F1728","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"adb3a9ee8cc39ce758d195efe05fc6c2ee28618d","datavalue":{"value":"W1974091179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2488271$F7E6640C-5200-40D3-A26E-58707ABB4BE8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4799e5a32c687eea79d573479ff8c58240f3cb62","datavalue":{"value":{"entity-type":"item","numeric-id":4004078,"id":"Q4004078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488271$530CA039-6617-44F4-AC0E-0C5220F66231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035feb3d68e7fcb8cc1f5afc2267fb8cc293e0bf","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488271$36EB5FCA-96DC-482D-8485-82606603F7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227f9bd909ea70ff61f3b0d2ac13dd319a35dbb3","datavalue":{"value":{"entity-type":"item","numeric-id":1283131,"id":"Q1283131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488271$978B6B3F-011E-46C2-9FF5-D5E230C9361D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b68ad89f6b12cd173b52173b7d5744b406e1ef96","datavalue":{"value":{"entity-type":"item","numeric-id":4745846,"id":"Q4745846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488271$71FF4037-563E-4FE7-BE77-AB43E29557FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd55c6a27d0cff933bb9d5f63cfa16200575e253","datavalue":{"value":{"entity-type":"item","numeric-id":1171072,"id":"Q1171072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488271$E06F75A2-4DCC-4522-96C4-762DF0B42BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3647fe00e3b83141b14436c1949063f538c83988","datavalue":{"value":{"entity-type":"item","numeric-id":3997075,"id":"Q3997075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488271$4C6F9F74-1508-4B2F-9A6C-F5442B6162C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ccdc2885bcd85970cf2540be17a7b4af1868eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1887654,"id":"Q1887654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488271$8375FA06-EDFA-41F2-B807-5142FC7083B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a8301ee2a4412c50f6ca3708d56cc316c8339c","datavalue":{"value":{"entity-type":"item","numeric-id":4010360,"id":"Q4010360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488271$61FCD8A4-704C-4922-AA5A-9F142F6BA4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488271$C725D3BC-D8BA-4C8B-9ADF-487B6942A13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50db42f9199207d4f2b18fa509c632877a00c82","datavalue":{"value":{"entity-type":"item","numeric-id":2773242,"id":"Q2773242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488271$FAB17DAC-46B6-4ED7-B111-70674559968E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba38e8b8f35cc91bfd6f9f77a77d04fdd59ef416","datavalue":{"value":{"entity-type":"item","numeric-id":5894824,"id":"Q5894824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488271$994E2A4C-15B8-4A7D-9F7B-8F278F1FAC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17618ddb1fd34bf255fc52b39503d1e91d300018","datavalue":{"value":{"entity-type":"item","numeric-id":5654035,"id":"Q5654035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488271$60BA3D69-3A4C-4F7D-BFFC-E85A2ACBE6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b936472256c474ab8250b72e7c010873198894","datavalue":{"value":{"entity-type":"item","numeric-id":4206725,"id":"Q4206725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488271$BCAEC825-DDB3-453A-9DBB-74C401466587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d7511d270f64486d840c0978a8069f4bf37c1a","datavalue":{"value":{"entity-type":"item","numeric-id":4281694,"id":"Q4281694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488271$AE1F1416-DA14-4FBF-A9F4-69B54F447D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f4859b896346c19dda4c5c4345766d2110894c","datavalue":{"value":{"entity-type":"item","numeric-id":1886325,"id":"Q1886325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488271$1F19A4EE-BBFD-45BF-B797-DCA29E29D3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9350e5bd2483453be87e332e76349d3a3f76f138","datavalue":{"value":{"entity-type":"item","numeric-id":1849868,"id":"Q1849868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488271$8DB14E14-059F-4A3E-B7AF-217B55E63261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b9bc1853ab14424b497fe30f9c8d95648e793f3","datavalue":{"value":{"entity-type":"item","numeric-id":3809826,"id":"Q3809826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2488271$B43B2122-CD8E-4EA4-8D3F-D43FDE7E3AF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45f1dd27ecadcd5dafcb3ba0a87dd07330f49799","datavalue":{"value":"10.1016/J.APAL.2005.01.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2488271$CFDD45CA-6814-449B-8C1D-A2117B6186AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857c204f23944b2c12931c268fef439acfac30f6","datavalue":{"value":{"entity-type":"item","numeric-id":4281694,"id":"Q4281694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b6957f2d7019af4ba9e88ed3f88575cb5737b8","datavalue":{"value":{"amount":"+0.8360301852226257","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":"Q2488271$F3EE5410-28D5-42E8-9808-6411048C0995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36741582d6da03a748034d80455fc376d2ececd5","datavalue":{"value":{"entity-type":"item","numeric-id":1283131,"id":"Q1283131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd9b46a41fd6c6a28dc353cc5d36f717f4db8ba","datavalue":{"value":{"amount":"+0.8297879099845886","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":"Q2488271$70788B38-FFA0-4148-88A4-DDA7452CA7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55a8bd8faadaa9decbe55cc2dd67b9789060ffcd","datavalue":{"value":{"entity-type":"item","numeric-id":1157345,"id":"Q1157345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fd48edcd8c3cf7813a6840ea7826e8fbc905d4f","datavalue":{"value":{"amount":"+0.8117221593856812","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":"Q2488271$251C0A5E-61EB-4ACD-AF22-DD7CB2E187EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18e75a3b97b229fb82c7817d2fdb0166d5e934e6","datavalue":{"value":{"entity-type":"item","numeric-id":5326475,"id":"Q5326475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f5c3a7be9686642b757f383c0cbc4547dbe308","datavalue":{"value":{"amount":"+0.7887914180755615","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":"Q2488271$40DD9DBF-644A-4BEE-8A94-F843E63FCE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33eecd953379b9640fb9789025f49817866e3e2d","datavalue":{"value":{"entity-type":"item","numeric-id":4973862,"id":"Q4973862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5790d7ee12afd30ff61a8f035b0c42d93493fc55","datavalue":{"value":{"amount":"+0.7840477824211121","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":"Q2488271$934D05CB-BF4B-4E1A-8D14-2CD327894297","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2488271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2488271"}}}}}