{"entities":{"Q5376622":{"pageid":7406196,"ns":120,"title":"Item:Q5376622","lastrevid":58537986,"modified":"2026-04-05T16:00:17Z","type":"item","id":"Q5376622","labels":{"en":{"language":"en","value":"Sufficient conditions for the forcing theorem, and turning proper classes into sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7053979"}},"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":"Q5376622$8A6FC111-12C6-47A1-9333-2A12CA93FBE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0dc0827a59630cd80e0856e2927090067c5a1515","datavalue":{"value":{"text":"Sufficient conditions for the forcing theorem, and turning proper classes into sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5376622$00F7904D-895A-43AD-A9A8-D84507CF05DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea182fc5be223ca223c8feb7826ec64ed4f56ac4","datavalue":{"value":"1472.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376622$3185C724-BAB4-443C-8C7D-3A148A08F4A3","rank":"normal"}],"P16":[{"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":"Q5376622$656F8FEC-FE9B-48C4-8EDD-3E49C1A65D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bc21db341e7f87499ec133184a108166e3cf298","datavalue":{"value":{"entity-type":"item","numeric-id":2636529,"id":"Q2636529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376622$797F2B8B-B04E-4C05-A478-8F5C7D736D48","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":"Q5376622$AE5980CF-EA44-49CC-984E-6CD8668E116A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376622$FDC47A86-8B80-4D5E-8BFB-1150D8AF9BE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d187fb7fb173d80b7e97e5628e9ed29fd8e102e","datavalue":{"value":{"time":"+2019-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5376622$5FCADDD9-FD3B-4B21-9A57-20FAC1D9FAD5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7f98468ee1e93cf42a97f8ecddc4bfc18f143e6","datavalue":{"value":"https://arxiv.org/abs/1710.10826","type":"string"},"datatype":"url"},"type":"statement","id":"Q5376622$581120D9-66A2-4E64-95ED-A327393418ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376622$70C2C347-E206-4E56-9A2C-1B2AB6C12B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376622$6CA107B9-CFD8-4B7E-B522-0F4AB602B97B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c973fae5afbe3912ddfd39b4b2cb9bab6798757","datavalue":{"value":"7053979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376622$AAECE63D-56A4-4B4D-AF8D-E35B66A98C3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15a185a60494eaa3da17cb02bef58fe44cad688b","datavalue":{"value":"class forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376622$54AE5E7D-3E79-4482-B628-D9F2773AC9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef8d3d3a3de08ec8af233c16aea3d288e6b447","datavalue":{"value":"forcing theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376622$BB29F23B-014E-403F-AA0B-5A65ABA29093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb20adb75be3433a380868e63cc0de478ed2c1a3","datavalue":{"value":"proper classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376622$0EBA551C-B364-4C84-BA53-49EE3E717775","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":"Q5376622$0169F969-AEFC-4802-90DE-B0B3288FD35F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11ef546a5dddb647d2c57b81c68643b429c80502","datavalue":{"value":"W2963520499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376622$63F6BF2D-6B08-4131-A96A-9EFA3B6FFB44","rank":"normal"}],"P223":[{"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":"Q5376622$FFF7AD67-066F-4E41-BD32-FFE86EAA34DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3619600870ed956e67aaa0e7f063e18e91e61055","datavalue":{"value":"10.4064/FM530-9-2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376622$E05BD21C-8861-4653-8931-13AB3BCB0390","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":"8ed2f15c958e973fd6f5de733d4b9e3e44b210c3","datavalue":{"value":{"amount":"+0.7887396216392517","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":"Q5376622$01FA67DB-2A9B-487D-8D2A-7DFA117949CF","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":"1ff5bceb165b576ea478edfcca90c1c2abd1fb83","datavalue":{"value":{"amount":"+0.7555672526359558","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":"Q5376622$8A041A4D-221F-469A-B326-B364DBE8F995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2c0559d508b2596cb7841c89bee1fa36532a165","datavalue":{"value":{"entity-type":"item","numeric-id":5855740,"id":"Q5855740"},"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":"Q5376622$2C1115B3-5809-4AA2-A0E2-A9A9766D906E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1972302742804c94fb03a15961957b4a5037481","datavalue":{"value":{"entity-type":"item","numeric-id":2636530,"id":"Q2636530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b1c99e12e1b47f5a801349c11f6e6200c5b8b9","datavalue":{"value":{"amount":"+0.7455801963806152","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":"Q5376622$D3EE1199-9F1F-4C00-89B9-F66E9E7CB87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61fa257a2c40894b0c6178903f9e95b6cec87ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3053895,"id":"Q3053895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c18565606569858de90e4406de783ce74cf5914d","datavalue":{"value":{"amount":"+0.7068644762039185","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":"Q5376622$34D2ED16-7B05-4548-9210-59685E600086","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5376622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5376622"}}}}}