{"entities":{"Q2274143":{"pageid":2284886,"ns":120,"title":"Item:Q2274143","lastrevid":57827661,"modified":"2026-04-02T17:09:08Z","type":"item","id":"Q2274143","labels":{"en":{"language":"en","value":"An inner model theoretic proof of Becker's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7107340"}},"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":"Q2274143$CEB1EECB-8228-4900-916C-6EEEB06B713D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"488ef90376492238c04f4b64aa21a37b6ad7e1b3","datavalue":{"value":{"text":"An inner model theoretic proof of Becker's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2274143$D071942C-DAB3-49A1-B44E-5592D11450E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8e836025f3ceb59e9cdff8383170281b1f9d23d","datavalue":{"value":"1468.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2274143$9163E52D-6CD3-4C1E-A388-657B2466D8C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebf980a427bdabc612a1bd7b9a8a0ef8fd5de8ad","datavalue":{"value":{"entity-type":"item","numeric-id":435195,"id":"Q435195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274143$6CB68EAD-222E-46B4-A196-BEBC6291025A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274143$540305EC-756F-4938-AB42-C223CCEE5AFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47982c139c41a713484decefc5a5dde8b3533371","datavalue":{"value":{"time":"+2019-09-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":"Q2274143$8B87B64D-A93F-4486-AA7C-1252D7CD1585","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"383069263d1b906dee535ca35bf32d99990276a5","datavalue":{"value":"https://arxiv.org/abs/2110.06314","type":"string"},"datatype":"url"},"type":"statement","id":"Q2274143$A558189E-10E5-42EB-948C-88684D460D85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2274143$3790C78C-2CBC-437D-8BF5-84A061E926D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2274143$E45CA332-312C-4953-8CE8-5DF77752283C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3636caf529c49b2a7d814c7a65de2b21aedf761","datavalue":{"value":"03E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2274143$3F015DA7-F210-4CBE-BEA3-FB3E789DEC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2274143$18B455E0-0289-41D5-81AB-40E9EFE26DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2274143$742004F6-10A8-4408-9FA3-19665A246890","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0dc0e1003b3fe0c9233822fe3f06958b41b7157","datavalue":{"value":"7107340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2274143$3B6DF74F-3DF5-413C-AD9D-10301BC02BC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2274143$4430B4D6-FE64-4FDB-B2C8-4FB8083F1142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6adac174a4d16076991eebfc8ca7c498dc0f74","datavalue":{"value":"inner model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2274143$CCA30068-4238-4687-AC3F-7EEA7759E628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89b88960e3c8597fd880fa0323687a9038a207e3","datavalue":{"value":"directed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2274143$39895311-2795-42FD-A677-3CECFFC4523A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b12abbcb0a7b047891aaa5ec845e0574a8f7e04","datavalue":{"value":"descriptive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2274143$AA30C51D-C038-4478-89D2-1E8E036C4166","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":"Q2274143$A826330A-1DDB-4432-94A8-B7B275C27031","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"785c1f861753f4655992ebd15fe4f08155ddee8a","datavalue":{"value":"W2930664991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2274143$0232FA4A-1751-4B27-8FFF-900296ADD18A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4516d8f815a58ffcc502dd2436c26b27f70380d1","datavalue":{"value":{"entity-type":"item","numeric-id":1055406,"id":"Q1055406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274143$B9EF54B5-376C-4488-AC98-8B2504087690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7155742852fc93ebfa6e936f86d06fbc4014b93","datavalue":{"value":{"entity-type":"item","numeric-id":2747709,"id":"Q2747709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274143$0D378445-7B3B-430A-A349-6C0E35CD7801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2474b6698d71290f0111e5bde0fe9cdb6dd0aa9","datavalue":{"value":{"entity-type":"item","numeric-id":3041186,"id":"Q3041186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274143$AECA9885-AB41-4404-AB5C-45BE195BC47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c643ac3c9aa9758eb539137924b24640b11bb6fd","datavalue":{"value":{"entity-type":"item","numeric-id":2747708,"id":"Q2747708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274143$9A46FA11-18E8-4A16-B765-40351CE2DB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8bb407e8b998fae5decce8fc6a803bc356c95cb","datavalue":{"value":{"entity-type":"item","numeric-id":3594483,"id":"Q3594483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274143$4E5C83D1-76F4-48DB-BA93-D0C3C3527A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1715b21d3827201f2954c42ede5da55060c37cd4","datavalue":{"value":{"entity-type":"item","numeric-id":3053906,"id":"Q3053906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274143$12B4ADCD-484C-4B32-80E0-F204C0249711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"570daea48fc488f2c2d9542cb60f7f0e0b12f8fa","datavalue":{"value":{"entity-type":"item","numeric-id":5219255,"id":"Q5219255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274143$CB2F3097-F7EE-479F-99F5-0B1C296C6585","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbcfb62c06e48edabc73193437510e73831b11f6","datavalue":{"value":"10.1007/S00153-019-00668-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2274143$F73F1D74-46DE-4869-83F3-24B70A4140A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"270e9e722527c283974d6d3be8b535d7aa021a60","datavalue":{"value":{"entity-type":"item","numeric-id":1059066,"id":"Q1059066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"588fe9cf3208f5ce4072de1ebf1e144d8800bd91","datavalue":{"value":{"amount":"+0.8811719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2274143$61EADF08-4CF2-401F-8317-C914603C7707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae0611fe361721f3ed3ff53003657738ee889fa1","datavalue":{"value":{"entity-type":"item","numeric-id":2037135,"id":"Q2037135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"503ff4e491b933682b5acb851b7706fd2e880e1c","datavalue":{"value":{"amount":"+0.87579167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2274143$52CE880D-FE7E-414B-9D41-F545AE3505D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a205f92538bd9b63394840195402fea122b47c","datavalue":{"value":{"entity-type":"item","numeric-id":4944059,"id":"Q4944059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4d4045b21bd52f5c2d451b34afee9dc13ea76be","datavalue":{"value":{"amount":"+0.8725501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2274143$C4C7A739-2BB0-411A-8029-35BADAE109D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3484bcbe462889e83c322c776247672472d9c6e","datavalue":{"value":{"entity-type":"item","numeric-id":3753986,"id":"Q3753986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61af37a5676320a7dcb7b61e5f77b68267182719","datavalue":{"value":{"amount":"+0.86971056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2274143$C7731751-0E5C-4FB9-B3C2-48E5345B4FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368fe347944cfd0ea38195409c14feaeb246ec34","datavalue":{"value":{"entity-type":"item","numeric-id":2169420,"id":"Q2169420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f70fe8bff06564b7cacf9e778688aec40da2173e","datavalue":{"value":{"amount":"+0.86922276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2274143$D98D2B78-D179-4E50-8B88-AFD2D5409D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b8c98cc5d2a750a906a9b581298ea515071834","datavalue":{"value":{"entity-type":"item","numeric-id":5687313,"id":"Q5687313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3049bd1d6686e34f1900de58f09d9664712b8830","datavalue":{"value":{"amount":"+0.8676923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2274143$CFB27B45-8E96-4C35-B2D6-5FAF72D43204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8301f05771fd9737f50b5e67ead5ba7543da93bf","datavalue":{"value":{"entity-type":"item","numeric-id":3053906,"id":"Q3053906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a2b3635c6745c02ec5dce2add2e0765af2671ef","datavalue":{"value":{"amount":"+0.8675835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2274143$9245E0B4-AD38-4079-ACE3-5E386B193198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b345f573f22ccbdb479ef359b307a9f5a6ac37b","datavalue":{"value":{"entity-type":"item","numeric-id":4548840,"id":"Q4548840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572a04a54687b6b3a6c3372c77d903be763bf7ef","datavalue":{"value":{"amount":"+0.8632219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2274143$4009D554-7EE5-4A9D-8F6D-89E575728856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29522c05983a7bf5f87fd8cf60d37b6f34cdb6b3","datavalue":{"value":{"entity-type":"item","numeric-id":4325357,"id":"Q4325357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7d83b8da5cd7b4750e5a5a6fc6cedf36b25ca1","datavalue":{"value":{"amount":"+0.8595593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2274143$DA706FE6-2A68-4111-B216-27FB34D6AB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cb219f5e9be7dcdaed32f4af6728fc30268196f","datavalue":{"value":{"entity-type":"item","numeric-id":2214124,"id":"Q2214124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de2d3b23e6532c8b3fe82cc17151d50a34f1d1ce","datavalue":{"value":{"amount":"+0.85822546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2274143$4C598B96-398E-4F14-9641-6F4171F0063A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2274143","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2274143"}}}}}