{"entities":{"Q5147000":{"pageid":7176571,"ns":120,"title":"Item:Q5147000","lastrevid":53922200,"modified":"2026-01-25T22:45:32Z","type":"item","id":"Q5147000","labels":{"en":{"language":"en","value":"The consistency of level by level equivalence with \\(V=\\mathrm{HOD}\\), the ground axiom, and instances of square and diamond"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7304257"}},"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":"Q5147000$BB7DEC59-F526-4878-88E7-AD62FB10759E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"623a7419465e9f002f899b52efa8878057daeb25","datavalue":{"value":{"text":"The consistency of level by level equivalence with $V = {\\rm HOD}$, the Ground Axiom, and instances of square and diamond","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5147000$CEBB99F4-ABBE-4ACB-8691-1FA7DA07908B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08468631a04f490c81e599ba5852af88feb62b70","datavalue":{"value":"1484.03107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5147000$047487A4-B76F-4697-A95D-8B1B7DA07648","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcf534c7b1523a87fbcb9b465fca131c004067a9","datavalue":{"value":{"entity-type":"item","numeric-id":167892,"id":"Q167892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$E875E00B-987B-4B1A-AE07-D402B4083BFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de7d6a80765516b521ff8175534b49851be83f47","datavalue":{"value":{"time":"+2021-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5147000$20D01F23-EE7C-43CF-AF2E-17485547EEDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5147000$AA46F02F-32E9-46B8-BF62-4C5ACEB6A4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5147000$BB6C154B-4218-4EBA-A608-98EA39B72C39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c52225185cfa6f651fb98d891375e553ca312cd1","datavalue":{"value":"7304257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5147000$476DEDA4-1D9E-479C-A8BE-40F570A02281","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58ceb89dcc5a025cb885d95184fb2b727e2af6dc","datavalue":{"value":"supercompact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5147000$0169AEC4-404B-42E9-B907-298EC2B8A7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9907c21cbac3360f7e105b987a79569c68a35f92","datavalue":{"value":"strongly compact cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5147000$81D06CD0-B4B4-4DC2-AF4B-031D5CC73A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec95bd1838896712c9e447ab47c358bf7b5130d","datavalue":{"value":"level by level equivalence between strong compactness and supercompactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5147000$93DAC30B-5580-46B7-AF87-F4DF9F2F35B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ce15015d1cac49b5093e93b1cf745f9711a8a38","datavalue":{"value":"lottery sum","type":"string"},"datatype":"string"},"type":"statement","id":"Q5147000$E69AE54B-EC12-41F8-801E-B9EB4968A802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0be69d7e7ec6f290c25ee41685be867d91e4983c","datavalue":{"value":"ground axiom (GA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5147000$99CFE638-D96C-4033-91D0-306B9B842C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"584a0167d10ced793f99cd842b7269e619ec4828","datavalue":{"value":"diamond","type":"string"},"datatype":"string"},"type":"statement","id":"Q5147000$0ABDEF53-612E-471C-98EC-B524D180C56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a8bf180b0fa76fe067513fdfc15b5255ce2b832","datavalue":{"value":"square","type":"string"},"datatype":"string"},"type":"statement","id":"Q5147000$4A3F8246-85BD-4211-82A0-9F3F4BBDCD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a39febb1ff2e4d4cc7d09a2a1531efcde5e039f","datavalue":{"value":"HOD","type":"string"},"datatype":"string"},"type":"statement","id":"Q5147000$6C3798FD-C8D5-4A0C-8044-3E51045DAA27","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5cfff2a49750e553a5c9aa2796ac9bbd8fa52497","datavalue":{"value":"Q113999243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5147000$4D36070F-E8DD-48C7-A0F7-8161DCD202C8","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":"Q5147000$D16E5E30-4A08-48D8-BF07-D0AB99E319A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b4c0c5b009c7231a971c11753c17416607e6b79","datavalue":{"value":"https://doi.org/10.4064/ba180529-14-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5147000$0352F5C6-9749-46A7-BA8C-BED417BA7ADE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"093f50fc3d70b0a7b776202e7e10b62350cb74c8","datavalue":{"value":"W3014939224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5147000$D431200C-E453-4DA3-8E54-DB079C3B2227","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5727675602dd55d3b8fc79e7ef76d907a80f769","datavalue":{"value":{"entity-type":"item","numeric-id":1777269,"id":"Q1777269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$3F13307A-C68F-4C25-92ED-862E18D41AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c42b6011019d1ad2c241ff05b8b68babc2f86c7","datavalue":{"value":{"entity-type":"item","numeric-id":4674212,"id":"Q4674212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$4C150DCB-128F-4544-93A4-F756B9D0B822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3451377da088862ad8f8a9d0d846675089373696","datavalue":{"value":{"entity-type":"item","numeric-id":937214,"id":"Q937214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$37AB8060-641C-441B-BFE0-8F36BCD3F1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd2e80465fa4b96aa619beb18864b0dc054853bd","datavalue":{"value":{"entity-type":"item","numeric-id":3170556,"id":"Q3170556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$ADE1C3CA-AB4F-4BA7-AE13-BBC22B93DEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4be9a61b1e303d156b0e68e8c536c89671a5ce0b","datavalue":{"value":{"entity-type":"item","numeric-id":5690966,"id":"Q5690966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$513200FE-C97E-4EAB-9571-AAF41EBFA441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"965334b65b3a03a08e34d8bf6287ad10775bb4f4","datavalue":{"value":{"entity-type":"item","numeric-id":3630583,"id":"Q3630583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$DA00705E-808F-4CF3-B1F6-EAE7D6B24A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57185753b44dbed3e0c89852108fee12e647f0f1","datavalue":{"value":{"entity-type":"item","numeric-id":490870,"id":"Q490870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$AEF1AA6A-81DC-4415-9E5B-48E0384DDFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad4894230970303ba2a5fcdc2e203bbd56a65f0","datavalue":{"value":{"entity-type":"item","numeric-id":2732507,"id":"Q2732507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$644627E9-6573-49F7-8709-AF3D1B3C67F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4576c3834ce777b495d70919b113547154a0e10b","datavalue":{"value":{"entity-type":"item","numeric-id":4338321,"id":"Q4338321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$A33CC99B-3587-410D-AD6F-9F4E24EED64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30e12e037bdd02af58c6a94ab62c83d11e8164b2","datavalue":{"value":{"entity-type":"item","numeric-id":5439452,"id":"Q5439452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$EEDD5100-CE2C-4C36-BBBD-135FA6C48D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9280c2db128c966e0edecdc2160d0ace6afdfff2","datavalue":{"value":{"entity-type":"item","numeric-id":2514847,"id":"Q2514847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$A163CED0-C80A-4EB8-A1CA-669F7E6792A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3e94c65e6d25dab65fb854e5be27be6f6c9285","datavalue":{"value":{"entity-type":"item","numeric-id":4811323,"id":"Q4811323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$DCE4B5C8-BF23-4306-A0D0-EA12069D56D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a958ec26fbb81fa8b95566e01b8e3d3d9aac2d","datavalue":{"value":{"entity-type":"item","numeric-id":5951514,"id":"Q5951514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$94349D1C-7BE1-4535-965D-FC8769BE55A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1345557c58f7d68902e895b47ec8c8f1b67128","datavalue":{"value":{"entity-type":"item","numeric-id":4262606,"id":"Q4262606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$0C8A64CB-C2C1-43F2-8035-34026F3659A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae3d690bc842626ee45bff8cb0751e7260c4dd16","datavalue":{"value":{"entity-type":"item","numeric-id":1964017,"id":"Q1964017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$F75605B6-E4C0-4DCF-A8D1-37B78D8BB1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64b0e50945867abf42b16d24d0f8eb4423131b9","datavalue":{"value":{"entity-type":"item","numeric-id":4196418,"id":"Q4196418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$869CC744-108C-4DB7-AC57-D9ACA6AC5C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22c911c5e724f088fc83f5dd92ca1a979518a96","datavalue":{"value":{"entity-type":"item","numeric-id":4053659,"id":"Q4053659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$97065D85-A642-4F85-A84E-21BAB0BD19A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fba2314b7fec0ca93f92b7df5bfcb998f717196","datavalue":{"value":{"entity-type":"item","numeric-id":5444701,"id":"Q5444701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$A3BAC945-BB7C-4A0C-AF06-49234125C2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4f4bc207bb7c9bdf33c0f907fc69691b78a0b7","datavalue":{"value":{"entity-type":"item","numeric-id":3566680,"id":"Q3566680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$96A8F1F5-980D-4546-BA15-9B9C1DB19F3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"481b20acee08dab34cc12daa7cb2aa872f318fe5","datavalue":{"value":"10.4064/BA180529-14-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5147000$CA08878B-19FE-4CE2-8DDA-E0F0BDAF1791","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b6aa42f07c45da864b06f97e3d006fc3789d6e4","datavalue":{"value":{"entity-type":"item","numeric-id":2787102,"id":"Q2787102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5147000$2041E098-C779-4734-93B9-0F0CFFAB8763","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b867993f36dfee76c584d6911ddbde73d036c0d6","datavalue":{"value":{"entity-type":"item","numeric-id":1777269,"id":"Q1777269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca630bef98b1398f94c75c2b81c4f8fe3f014ad","datavalue":{"value":{"amount":"+0.8711657524108887","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":"Q5147000$BE054AAE-E883-4666-8C4B-346B71315813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f248e5e92f3bc8a86f633d44c64ae4c66775d0","datavalue":{"value":{"entity-type":"item","numeric-id":5306730,"id":"Q5306730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f92b5c228e5cf02cb29e5c39a9f74c42debbee20","datavalue":{"value":{"amount":"+0.8465949892997742","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":"Q5147000$40F7EF0B-6EA5-49E8-A973-12286C447813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc11efb8bb49a7de70b989a1c77a43eae3dc9e60","datavalue":{"value":{"entity-type":"item","numeric-id":5505095,"id":"Q5505095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6773a4c8ba96eecb73108dcdb4661ecb169d812b","datavalue":{"value":{"amount":"+0.8292834162712097","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":"Q5147000$6678891E-9379-4F25-9254-EB02CF16B2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dace5703e4d4ed1281ae69d548fc543fd0c60ce2","datavalue":{"value":{"entity-type":"item","numeric-id":937214,"id":"Q937214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e76d96267288914956637c4506db78df7487d91","datavalue":{"value":{"amount":"+0.8247749209403992","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":"Q5147000$31BF7F6C-A066-4704-B69C-A0187F67227A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a89ca82e2cab71d40b94a4df24e3c895995a013","datavalue":{"value":{"entity-type":"item","numeric-id":2903920,"id":"Q2903920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24da38f608c9262b635b27ab4e495dd897d719ea","datavalue":{"value":{"amount":"+0.8246064782142639","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":"Q5147000$F889E65D-F160-4E6A-A572-890E52DB5130","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5147000","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5147000"}}}}}