{"entities":{"Q4579817":{"pageid":6609404,"ns":120,"title":"Item:Q4579817","lastrevid":53163725,"modified":"2026-01-24T08:53:45Z","type":"item","id":"Q4579817","labels":{"en":{"language":"en","value":"Conservativity of ultrafilters over subsystems of second order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6915723"}},"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":"Q4579817$DDE994B7-D2D5-4087-90FA-264B285D3B2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b6507b7947ce1d81525453eaff40a3c37c2dccc","datavalue":{"value":{"text":"CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4579817$C23FFECC-709C-4582-8B62-80C8CC9C52D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79ce5ab41f7629f8f674c94fed05f6d1f4b53855","datavalue":{"value":{"entity-type":"item","numeric-id":453199,"id":"Q453199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$D0FDD0BE-E0BE-432D-BD5B-29FCC81D0B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b4e48a13833dd9894b366d4966e95d03977c89","datavalue":{"value":{"entity-type":"item","numeric-id":175054,"id":"Q175054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$539A4D27-914B-42A4-A01B-1963FC2383D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dfbbfe69f220779a8f4ee2aa35287f4eb47a1e3","datavalue":{"value":{"time":"+2018-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4579817$ECC076EC-845D-45A0-B138-4DFC5EDD51F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96af99cd30b61b7f6469aacb60091970ab0189dc","datavalue":{"value":"https://semanticscholar.org/paper/57d7deb4464f03144d54189bfb23b2d410276b35","type":"string"},"datatype":"url"},"type":"statement","id":"Q4579817$50D08AA0-3EAA-4D3F-A013-28E5CD114474","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579817$629FFAAC-86B8-4FC6-8E0F-45D95FF1D7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579817$489E8363-7B6E-4902-BC70-7A0A87012E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579817$FC662166-D747-4F1F-ADBC-4FA6198D943C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579817$90B53210-BC46-470F-A5AB-8DDEACE13B8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0630bba53c05447a6321f8692b637606d163891d","datavalue":{"value":"6915723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579817$5B357D3B-68ED-4435-8536-1CA81B958956","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4579817$F6B4B17E-A555-472B-8865-C5102BE58E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcad3561c61d4f97ad27779fd167cc89a20b0358","datavalue":{"value":"Hindman's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4579817$6A08743C-0B3C-4C82-B0FE-901427BF184E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf909688155ff81dcb9241a085019f5c99ac5402","datavalue":{"value":"idempotent ultrafilters","type":"string"},"datatype":"string"},"type":"statement","id":"Q4579817$04810E14-91E1-4C93-A7DA-B6BC63968124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95a8a46add34352285be6db22e5e81cf3f879dee","datavalue":{"value":"conservation theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4579817$65C98052-7F5E-45AF-935B-E4BF82EAF9A1","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":"Q4579817$71AB0A5D-4E02-4897-953E-9A6D53D45A3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"055b58f92d90c0226dbd81128fdfa32736d38280","datavalue":{"value":"W2887699351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579817$2AC9DFAF-6236-4B82-AEC0-8DB02ACEA0A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46da379b7393c7674f5add3d3bea57420eb0d58","datavalue":{"value":{"entity-type":"item","numeric-id":1128188,"id":"Q1128188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$7A68A963-0A3E-445F-AEC5-1D37C564AE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ba3ec1a052b9e89178dda950c60e38dfa0948","datavalue":{"value":{"entity-type":"item","numeric-id":3797180,"id":"Q3797180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$AA24DB2A-EC8D-4842-8B61-06054ADA9DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"749fbd9b9dbbfc2041b3cb7d5963cf7edbacf762","datavalue":{"value":{"entity-type":"item","numeric-id":4289290,"id":"Q4289290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$9C2A8EA8-29F2-4927-AE3E-5AA1D2DAFF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2345490e02e8584e228bba5bfc02bb3a93ba1b5","datavalue":{"value":{"entity-type":"item","numeric-id":584266,"id":"Q584266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$75014449-E854-45F1-9348-A010A6404E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa1b421ce158e0c80a0fd32fd98a5e50f6a5d609","datavalue":{"value":{"entity-type":"item","numeric-id":5393634,"id":"Q5393634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$BDAA0F0A-C9AD-4E26-9FFE-19ED693B6F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826cdac53d2b2a0228c9744af77af5a01b9de2b4","datavalue":{"value":{"entity-type":"item","numeric-id":5631201,"id":"Q5631201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$6460BE03-8E99-4AED-B119-1AE5E4ECDECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40cbeacd0e42787015f409701326bb8a26c22f6d","datavalue":{"value":{"entity-type":"item","numeric-id":3370068,"id":"Q3370068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$05EAD45D-9B95-42BF-9466-2FD596B593A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d2926566a07a00551efc10fcd55d9b7471a264","datavalue":{"value":{"entity-type":"item","numeric-id":658129,"id":"Q658129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$75CCD814-FE86-4938-8DB8-4336E9DA263E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a39409e450161ef82421b3aefd08398a69b377","datavalue":{"value":{"entity-type":"item","numeric-id":3191150,"id":"Q3191150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$D1625FF8-A345-4F84-A9E2-B650E582995D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30cc9634805ca4e1cb379f368f02a0b23d8614df","datavalue":{"value":{"entity-type":"item","numeric-id":5313381,"id":"Q5313381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$0989E9F4-3A01-4EC6-A222-0FF6169ABEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb90491f37f6e1f00a16f9148a7c15690ed9f9d0","datavalue":{"value":{"entity-type":"item","numeric-id":1058509,"id":"Q1058509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$DD791171-D784-43AD-8FBD-7469EE48735D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3160510d4b8675d56cd1bf3234099dd47474e3da","datavalue":{"value":{"entity-type":"item","numeric-id":2909619,"id":"Q2909619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$C2DCE2EB-559C-4810-997F-B12E0944B7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3897ad5c00a9a52b799d3542c4b8d873b0f60c9c","datavalue":{"value":{"entity-type":"item","numeric-id":5251363,"id":"Q5251363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$36D3B7B2-6E28-46D2-A5BC-0DDF1DB652A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77d5db4dd99833d3831c23c4ef3d66f48a1fd3b5","datavalue":{"value":{"entity-type":"item","numeric-id":3717036,"id":"Q3717036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$FE49B68C-0404-4C1E-8A77-6C28D939EE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$387A8438-97BE-4826-A2E3-C168DFEEB7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc287ec8a6e146c3e57a73c560da2d9b4de9d84","datavalue":{"value":{"entity-type":"item","numeric-id":3579526,"id":"Q3579526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$DF9AAE1F-6E4A-4351-9F89-2AC9793D7756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab0c0372af2839bcb9588fde426afc57ac0d13c","datavalue":{"value":{"entity-type":"item","numeric-id":2275370,"id":"Q2275370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$92380555-3198-4021-843F-B6846499CA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1833dffb26af37c014afbf39f35fb844fa942d","datavalue":{"value":{"entity-type":"item","numeric-id":3083144,"id":"Q3083144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$E4ECC998-9A75-46AE-A24E-9D02218F54F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2f2d920498f9d0bcfb9aadf036bdfdf37d06be","datavalue":{"value":{"entity-type":"item","numeric-id":2878778,"id":"Q2878778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$EAB3481A-4146-4E5F-9DF9-40208AC1AA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7ceb5698ee0d4d27e8d083746cab0f1780e9fb","datavalue":{"value":{"entity-type":"item","numeric-id":4876410,"id":"Q4876410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4579817$83F8DA4A-7EAC-4070-9377-E4E9E6A39DB8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a90ba6f48ef80a28bbaad55f7bf0b1542ce9bffd","datavalue":{"value":"Q129478542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579817$C927003F-FB5A-453C-9DD0-3C6667B0A1F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2b405807dcaf0716f1eafa8e53110f7a234afe0","datavalue":{"value":"10.1017/JSL.2017.76","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4579817$C71B53A0-4C8B-4E18-AEC8-23A28FA8E8D8","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":"Q4579817$0F9A3D79-1CEE-4874-904F-3BF6DDC9A83E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9808f55e80329daa1e873ea690b636a8636133c9","datavalue":{"value":{"entity-type":"item","numeric-id":3083144,"id":"Q3083144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"279e40e61c5d43eda93d916a60019f6273a6fc11","datavalue":{"value":{"amount":"+0.8261919617652893","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":"Q4579817$215EA598-947C-48DC-8356-6CBCAF223E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975c318218f9656536c8053c984cb2aee72deb75","datavalue":{"value":{"entity-type":"item","numeric-id":2878778,"id":"Q2878778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e9699fd92258026d92a31e25612a89ddf934f89","datavalue":{"value":{"amount":"+0.813006579875946","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":"Q4579817$03866CFB-F90E-4AE4-9743-3DA7AEF5F9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c1d6c34931d2e97e40d55144a986f53345e9d3","datavalue":{"value":{"entity-type":"item","numeric-id":5251363,"id":"Q5251363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd5c51e9af9909bc17d917281239de050e52642","datavalue":{"value":{"amount":"+0.8065929412841797","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":"Q4579817$682470AA-2AF2-435A-AE5E-0527574BB393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec3c7f6b37fdd9f44298ee9c890a6dcc422d8a01","datavalue":{"value":{"entity-type":"item","numeric-id":584266,"id":"Q584266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c84ae3f8dfced8c9ad248cd2f9b1257576f5ba","datavalue":{"value":{"amount":"+0.8016093969345093","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":"Q4579817$88B673AE-D764-4D39-BB4D-2BDF73716A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7949c38bcc6e9f77441d72571a6d82b1c25d04e5","datavalue":{"value":{"entity-type":"item","numeric-id":1058509,"id":"Q1058509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf1a47968e17f5b73096a939bca0503af7ab7244","datavalue":{"value":{"amount":"+0.7644661068916321","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":"Q4579817$AEE4FE55-2680-477A-ADBB-6EAFA144E676","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4579817","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4579817"}}}}}