{"entities":{"Q4508263":{"pageid":6537856,"ns":120,"title":"Item:Q4508263","lastrevid":81976187,"modified":"2026-05-06T19:48:13Z","type":"item","id":"Q4508263","labels":{"en":{"language":"en","value":"After all, there are some inequalities which are provable in ZFC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512480"}},"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":"Q4508263$DC4BB643-395A-4D6E-A564-7B384BA7D2F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d35a3605db4e0f67ee7f40461e98b1948db9f9c1","datavalue":{"value":{"text":"After all, there are some inequalities which are provable in ZFC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4508263$0C6CE3FB-1142-489A-BA11-38FE50B1E27B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f00e518bc4cd77c0c1c94f4fe899ccf44ff5896","datavalue":{"value":"0960.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508263$16DF1FBB-D1FC-473A-9D40-4837B8D35D3C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72cadae0376ba4c155f64d56628cbb2bab407ca6","datavalue":{"value":"10.2307/2586571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508263$AFB08B7C-0019-4702-BA65-EEA3BC8304B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ad11e7ac547cdca959be4e64ffcec7ea159acc3","datavalue":{"value":{"entity-type":"item","numeric-id":214928,"id":"Q214928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508263$CA123A02-ADB8-4D10-B19A-FF3D160DDE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed68b1714a4a2026e9e40f272f576ef461eaa22d","datavalue":{"value":{"entity-type":"item","numeric-id":360353,"id":"Q360353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508263$B2761888-7E17-46AE-A34E-279EBB41452E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508263$FEB0D8D7-A58A-4204-96B9-929245F95B5C","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":"Q4508263$AB4D3076-AAAA-4CC7-ACF5-22690F33D838","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"821776895b8ae7b21a7c293e945d21240df81371","datavalue":{"value":{"time":"+2001-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4508263$7F044567-76C3-4C1E-89D2-489A9F0ACDFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"059368936228834dec872c1a48c0b55b41b249f1","datavalue":{"value":"https://arxiv.org/abs/math/9711222","type":"string"},"datatype":"url"},"type":"statement","id":"Q4508263$FEB462B7-3AFF-495D-AAAF-C9ADAC9281C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7616612992c84602384e57bfbbf3c7c24bdb2b3a","datavalue":{"value":"03E17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508263$73811A3C-2B12-4D58-9CC8-472B656B7079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508263$EFDA5B8F-BFBE-4F7A-AED3-E5421F610A8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f61ed246a5d9d584bb3347735c829bf49f439adf","datavalue":{"value":"1512480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508263$D19E48FE-B280-444A-8AA4-12FCCDFD4768","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48aacf5cb1af8381de915571d8b267d3e995144d","datavalue":{"value":"cardinal invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508263$2B6294C3-1740-4E00-AB3B-D98CEADE3FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c78731faba245cb7ee59fb59e46225c9504edd7","datavalue":{"value":"measure algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508263$052B174F-874F-4AAD-89F1-D9AB17AB3925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e8b986a5a2a9de99dc430dfd812af6dc76aa70","datavalue":{"value":"random real","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508263$DB841F6C-D7DC-49E4-BF73-1265C47D5BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c935625d3f6e4200b7f4a806b54c9ac19fef216f","datavalue":{"value":"proper forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508263$10B9DD1F-5828-47EA-9CD2-AFD76156E9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae4699a5ee9b60ef0203f13cc0be7f8958a84f8b","datavalue":{"value":"\\(R^\\exists_k\\)~localization property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508263$41AD1C6E-F511-443D-B8A5-9AF39990190C","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":"Q4508263$60ACA09A-7835-46FE-817F-525D06A62AEE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09696d371dddee046b77ae4857557c08ec04310a","datavalue":{"value":"W1980911014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508263$5F72F187-BEEF-44F2-BC89-74666D423381","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b115417da4596f984d442e9c11bba2cc074d3bf","datavalue":{"value":{"entity-type":"item","numeric-id":4375363,"id":"Q4375363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508263$008B4B28-E26C-4E7E-B42B-AC0E42E611E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03844cdaa79a3bebd768b074001aae225c7de0d3","datavalue":{"value":{"entity-type":"item","numeric-id":1354345,"id":"Q1354345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508263$D52C33E6-16C8-4C54-AAA5-45EDDAD901C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01df33e98d168f0f04f307dbbedbb703bdf12194","datavalue":{"value":{"entity-type":"item","numeric-id":5015718,"id":"Q5015718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38243fa69652ac703dbff0d2dbc5a4340d4c6646","datavalue":{"value":{"amount":"+0.7673930525779724","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":"Q4508263$7902B85E-9C0D-4AF0-8413-F61FFC28D909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61859541e1dabdeeeee25303aaf3193c4f87282","datavalue":{"value":{"entity-type":"item","numeric-id":2966806,"id":"Q2966806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22ae00037e3cd1e61be5e91770e5bedae8ae5934","datavalue":{"value":{"amount":"+0.7499327063560486","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":"Q4508263$7C850AFB-CDC6-4D18-A728-303CB8B010CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a745ec9f40788ae65801d482069cbc28676ac82","datavalue":{"value":{"entity-type":"item","numeric-id":1354345,"id":"Q1354345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deece49a5399546bacf10ff226c071ab8e45652d","datavalue":{"value":{"amount":"+0.7337647676467896","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":"Q4508263$17156C0A-C00B-41F4-A803-A809BB108760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f2e3670f5e65a6e89c9d40ff44d6ef5958753ec","datavalue":{"value":{"entity-type":"item","numeric-id":5475906,"id":"Q5475906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deece49a5399546bacf10ff226c071ab8e45652d","datavalue":{"value":{"amount":"+0.7337647676467896","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":"Q4508263$71D14D9C-EF3A-4731-9E66-CC2C7DBCF8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25080b17f53ef0dafc1513753e1c6c11428266f1","datavalue":{"value":{"entity-type":"item","numeric-id":3708010,"id":"Q3708010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7dec648f179ad7f8ee0beeb6435a33db0062f6f","datavalue":{"value":{"amount":"+0.7270579934120178","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":"Q4508263$2CA5FCBE-4F63-49CE-AC9C-450FCFADB398","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"After all, there are some inequalities which are provable in ZFC","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/After_all,_there_are_some_inequalities_which_are_provable_in_ZFC"}}}}}