{"entities":{"Q5855740":{"pageid":7885291,"ns":120,"title":"Item:Q5855740","lastrevid":58605108,"modified":"2026-04-05T23:26:30Z","type":"item","id":"Q5855740","labels":{"en":{"language":"en","value":"The exact strength of the class forcing theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7326427"}},"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":"Q5855740$42FC1BF8-3163-4846-B5BD-CBE42598C7B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc2de07cad28bd46acc3cdbd50fc9199c5bbf850","datavalue":{"value":{"text":"THE EXACT STRENGTH OF THE CLASS FORCING THEOREM","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5855740$BB1BBC9C-9E54-4FD3-BC35-5E0A1F18E180","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acfa41ca5de12dfe991982f2063f7a9be28993e4","datavalue":{"value":"1485.03216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855740$067FA0EA-14F2-4362-BA91-535FB74C7EBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b305a5ef85fd84981f6c316a74538be082ff022","datavalue":{"value":{"entity-type":"item","numeric-id":412052,"id":"Q412052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855740$B5188E52-3BE2-4D1A-A2C1-EDF4F378AEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c237c0edc686c7e9971d10e201d8b8137b9a6f25","datavalue":{"value":{"entity-type":"item","numeric-id":167886,"id":"Q167886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855740$90684745-9A28-4FF7-9129-59083E604DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43d0cd60c67924d87d28d5eb5765d6e220d587a5","datavalue":{"value":{"entity-type":"item","numeric-id":1625595,"id":"Q1625595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855740$E35773CD-3ABC-4BB8-8239-0718551133F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79f3d0638dc5ddfb0045590699465214b72aa8e9","datavalue":{"value":{"entity-type":"item","numeric-id":264573,"id":"Q264573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855740$8BF88A82-C91E-4ACC-8F15-88C5B756DCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcbf8af647c6f4dd6db977dd138e48d8dae40f0e","datavalue":{"value":{"entity-type":"item","numeric-id":2274141,"id":"Q2274141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855740$D6096316-2CAE-4AD4-99C7-E0E5D053334A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"99cd72c3f8b23bcffeda78059e62d8c3df9cfa03","datavalue":{"value":{"time":"+2021-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5855740$FEE524B4-454E-46A1-975E-B3946954A344","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7c46716e0704ab464bf4debe06273e286d97651","datavalue":{"value":"https://arxiv.org/abs/1707.03700","type":"string"},"datatype":"url"},"type":"statement","id":"Q5855740$7E8B92A8-54B2-4C9F-9B0D-5A6A9ADCF99E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855740$700971A0-F757-4A39-9939-85B88AC21C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855740$6A2205E4-FA8F-42E0-A9F9-DDDFFCEEAB6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f6b447a235d4f8c5e7c9bd8462daa86304a49a3","datavalue":{"value":"7326427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855740$23C52199-E4BA-416E-9250-B621D987EE6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15a185a60494eaa3da17cb02bef58fe44cad688b","datavalue":{"value":"class forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5855740$40F8F1E4-A79F-4DF3-BAFD-BF8BACD2B41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef8d3d3a3de08ec8af233c16aea3d288e6b447","datavalue":{"value":"forcing theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5855740$13A958D2-7849-426E-A28C-33503340CC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe802b5e94ee4daab9c68acf78f441adb3df3ea1","datavalue":{"value":"truth predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5855740$365673F4-4D55-40C5-A1E4-BBAE13C62CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5855740$55850A15-2F4C-4931-8819-7406DEF7387E","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":"Q5855740$8206E6E4-F272-4890-A8A6-CD387EBB3655","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"840c7ce375ead8456f2efc5fe3aadce322c46436","datavalue":{"value":"W2735560022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855740$3D014D94-C59A-4EF1-AEC5-3D23701E838D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"279e9b04e2acd825d3faae1e4d0ae06c176e9655","datavalue":{"value":{"entity-type":"item","numeric-id":450946,"id":"Q450946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855740$9FA6A84A-1010-410E-9681-97BE1A06AB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1636fa169df783c057aed630431e48fc3edd3399","datavalue":{"value":{"entity-type":"item","numeric-id":5351852,"id":"Q5351852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855740$F9C5EACF-131B-4477-B234-AC18CD488BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925a6b1cd1dd61f53e21ee48be0d05019f4b26ab","datavalue":{"value":{"entity-type":"item","numeric-id":306841,"id":"Q306841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855740$D1C2CE8C-ED48-4BA7-8EBB-1325C396CDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6b0de39ff5d3c7ce33d52241338dc90e964cde7","datavalue":{"value":{"entity-type":"item","numeric-id":2976344,"id":"Q2976344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855740$A940E972-F392-43B6-9A0D-1C758551691B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49ca7a980f7a392d8a841bbe5d0f7117269c3ee3","datavalue":{"value":{"entity-type":"item","numeric-id":2636530,"id":"Q2636530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855740$9ED7AF62-5049-44CF-B1C1-D80BDDBAB8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4417e51676c431d9dbf0945a237571a9044ddc20","datavalue":{"value":{"entity-type":"item","numeric-id":4052125,"id":"Q4052125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855740$D328F992-E092-4BF0-B651-2795C7150745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa4e0472347bb8670a3590a0076f254d7a323d3","datavalue":{"value":{"entity-type":"item","numeric-id":2933671,"id":"Q2933671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855740$D187D35B-E37A-4864-A86E-0640D5D9C6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a52287854d992e956170439c20686dd4f9768a11","datavalue":{"value":{"entity-type":"item","numeric-id":5222524,"id":"Q5222524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5855740$6575BE97-09F6-42B8-BFD0-089ABCF30621","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7939ad92be44e5703211c1c1e17ea95943d08eae","datavalue":{"value":"10.1017/JSL.2019.89","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5855740$FB9A85AD-7591-4D5C-A09A-9FEF75384023","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":"Q5855740$E3851F96-4097-465A-B537-E073F240B0DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b66ad156831614f80ef0f63f1882b2be4bc826","datavalue":{"value":{"entity-type":"item","numeric-id":2976344,"id":"Q2976344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d48afa340bd892c75e119ff4efae632ed4e60e2","datavalue":{"value":{"amount":"+0.8205351233482361","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":"Q5855740$ACBD35D5-63B1-42FC-B158-7AD20A663B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a57ecd7d2bf0200f2838555b86ec13e4e44997c1","datavalue":{"value":{"entity-type":"item","numeric-id":3305404,"id":"Q3305404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"443451eb7ccc7ee636686e7d14e5f49ac47a8e13","datavalue":{"value":{"amount":"+0.7863717675209045","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":"Q5855740$96468AA0-A403-4CB7-8700-7A4797C0D795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f41873352b32642acf7a9ba7e68e12ba8ca56dd","datavalue":{"value":{"entity-type":"item","numeric-id":5376622,"id":"Q5376622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"100f5c68f4528d2862759cb1666eff0f0455ac4e","datavalue":{"value":{"amount":"+0.7544130086898804","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":"Q5855740$C935B36C-8103-4993-B968-6760ED676C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88fbd7aa410c768464cae27acd3aa33c84e3970","datavalue":{"value":{"entity-type":"item","numeric-id":3813811,"id":"Q3813811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a770592b5e5dd50a4c94a9f50169ea67fdbc3ee5","datavalue":{"value":{"amount":"+0.7279430031776428","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":"Q5855740$5BDC74BC-83FA-430A-BCEA-987F88A5F489","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5855740","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5855740"}}}}}