{"entities":{"Q4517449":{"pageid":6547042,"ns":120,"title":"Item:Q4517449","lastrevid":58270089,"modified":"2026-04-04T12:25:43Z","type":"item","id":"Q4517449","labels":{"en":{"language":"en","value":"Coding into \ud835\udc3e by reasonable forcing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1534659"}},"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":"Q4517449$08A6D704-F5CA-4349-8549-9E25656F398A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9197698fac5084d717e012e1e74da19023b35161","datavalue":{"value":{"text":"Coding into \ud835\udc3e by reasonable forcing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4517449$1052EFD1-3159-4FDE-9762-175D71C7FEF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b9ce29213bfac888df15123b7e56a95dc876d6a","datavalue":{"value":"0960.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4517449$6B7A64C4-1281-4224-8C3E-3678C1B1C0DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1ee84c991c6f26306a8ceaa70e8748f1be9d557","datavalue":{"value":"10.1090/S0002-9947-00-02636-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4517449$2D9C6ECA-A0E5-429A-852A-1FAA99EA59FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4517449$988939CD-AB6E-4027-9F9D-F4DB354F844B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cd41bcd6eb3eaebdb801c878ba706a0044ed940","datavalue":{"value":{"time":"+2000-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4517449$7C30FE0C-2D1D-440E-9ED1-973C3E63A761","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"521170f562b445e11af18a9f14c1b6cf9989297e","datavalue":{"value":"https://arxiv.org/abs/math/9706208","type":"string"},"datatype":"url"},"type":"statement","id":"Q4517449$4C8B9BC3-2C70-4AE5-BAEE-8F1A626C3B4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4517449$7E36C551-8BE9-4702-A65F-CEF3EA3F4F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4517449$4DEB6C95-65FB-4A84-A4AE-024A3DDFDED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4517449$B7D14379-6109-40F2-ADAF-245D44A08D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4517449$651239B2-8807-46BC-9D8A-724C12AACDF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8ed16beed533d64259b8306158f314c902841f0","datavalue":{"value":"1534659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4517449$473954EE-E8EB-4F41-B7FE-BED7CC9F42C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b12abbcb0a7b047891aaa5ec845e0574a8f7e04","datavalue":{"value":"descriptive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4517449$FF59ACDD-2742-44C1-9F68-975F7294AC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c935625d3f6e4200b7f4a806b54c9ac19fef216f","datavalue":{"value":"proper forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4517449$6C32896B-E357-43B3-AD46-3CC3039399D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebca3a6c115ad9fc460e4a0debbc4ce171f41fbc","datavalue":{"value":"large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4517449$A2895F83-DF7F-46E0-B020-0D2F1B786D82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aa8175c1d7434282d2dbafd0143922a2082a35f","datavalue":{"value":{"entity-type":"item","numeric-id":1128185,"id":"Q1128185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4517449$1771DC4B-2089-430C-8B40-E0AB7C49AB17","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":"Q4517449$5580559E-A780-47F8-A01D-47E78BBFAAEA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eccbcfd7e342f92ce474b668987130a65c2b46aa","datavalue":{"value":{"entity-type":"item","numeric-id":3921212,"id":"Q3921212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4517449$964C2F2B-CA0E-495B-A463-D230191FE484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"091ddff374729fc3317014333245c945f773418a","datavalue":{"value":{"entity-type":"item","numeric-id":1902975,"id":"Q1902975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4517449$390EF41D-2959-43EF-806C-57A762B207C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f26bfd5f925a623cfb1eec360c3c78276804f06","datavalue":{"value":{"entity-type":"item","numeric-id":3852172,"id":"Q3852172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4517449$220376DD-D5DB-46B9-A9A0-494457A47690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c58f7bdccf2923e456230c28aae927d3f37654","datavalue":{"value":{"entity-type":"item","numeric-id":2747719,"id":"Q2747719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4517449$F6C3C1C0-65EF-431B-88B6-63722E6D527D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c2ee7c5068c57e4cbee6ecb461fa2034d834f2","datavalue":{"value":{"entity-type":"item","numeric-id":4508280,"id":"Q4508280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4517449$247625BE-E03A-4A90-82B4-6927E73CDD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8b8a6775d5469cb38a525083dac4fb4fc78cd0","datavalue":{"value":{"entity-type":"item","numeric-id":4694313,"id":"Q4694313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4517449$6060B2B0-FCE7-465D-8A65-FDB8CD0F2B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6a8bf8b994d68b52578a6bb51287e3b6c09cc8","datavalue":{"value":{"entity-type":"item","numeric-id":5690487,"id":"Q5690487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4517449$5D566E5F-5832-41E3-AE8C-46F41F85D882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64527fef4b906e17ba8fb3bb677fb4a237760c16","datavalue":{"value":{"entity-type":"item","numeric-id":4779661,"id":"Q4779661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4517449$FF2655C4-62CD-407E-B596-4A552FEE04AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e946293557bc9082c85487711f9db321c55546","datavalue":{"value":{"entity-type":"item","numeric-id":1279969,"id":"Q1279969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4517449$406C3193-7B23-4B99-BFB9-74C63ADB77B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b19deed47db666086915db0156d9fce1f42d466","datavalue":{"value":{"entity-type":"item","numeric-id":3784061,"id":"Q3784061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4517449$EE5C4E70-07B6-41FA-B841-B25AFDA93A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e24094cbc1645e503f8563246337221043264b8","datavalue":{"value":{"entity-type":"item","numeric-id":1110505,"id":"Q1110505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4517449$B5D2F9F3-0FAD-425E-BB53-FFE39AE089A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11a2508f3772c794240828603fc6da8c1a306e06","datavalue":{"value":"W1870892404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4517449$A4F7E2ED-D8C7-4165-9E42-91EBD1F0296E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7777f371545c25195a88f5bb05135972d84ee85","datavalue":{"value":{"entity-type":"item","numeric-id":1096623,"id":"Q1096623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c20894f45e12035523b2be48807b68f426082207","datavalue":{"value":{"amount":"+0.8018555045127869","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":"Q4517449$D14B6972-BB65-4EC5-BFFD-9BAC3492060D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a6c39b6ae97b3643f8844f986032c35142a5116","datavalue":{"value":{"entity-type":"item","numeric-id":3199412,"id":"Q3199412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7926b54b24ecf07d16d88c7c0c565cbb6bc99248","datavalue":{"value":{"amount":"+0.7969022393226624","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":"Q4517449$1D55BE12-024C-44E2-807F-9F08CF08EB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afab3b870f507e29cf7d53747016b563bcf90ec5","datavalue":{"value":{"entity-type":"item","numeric-id":3812240,"id":"Q3812240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a226a238389f01e7fcec47cdc63548399862f79","datavalue":{"value":{"amount":"+0.7912388443946838","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":"Q4517449$E2273090-11F5-4A46-AE53-1274FEB382F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a25ccc04f10f998067ade95b560b4b37f2bc08a","datavalue":{"value":{"entity-type":"item","numeric-id":3126279,"id":"Q3126279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a411fce450d525ac56b5d85274dd04137109ee1","datavalue":{"value":{"amount":"+0.7797999382019043","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":"Q4517449$56CB1B07-8EA5-4C3C-8859-6F3AAA68F073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"891c5dffff0623d2708030969b7d825a76a4c67f","datavalue":{"value":{"entity-type":"item","numeric-id":2503398,"id":"Q2503398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a411fce450d525ac56b5d85274dd04137109ee1","datavalue":{"value":{"amount":"+0.7797999382019043","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":"Q4517449$16A862C6-C64A-4A01-823B-FB4A70F7DBCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4517449","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4517449"}}}}}