{"entities":{"Q2933743":{"pageid":2944463,"ns":120,"title":"Item:Q2933743","lastrevid":85224992,"modified":"2026-06-03T06:21:12Z","type":"item","id":"Q2933743","labels":{"en":{"language":"en","value":"A Hanf number for saturation and omission: the superstable case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6377530"}},"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":"Q2933743$455A3984-1980-4A15-A830-D665DEF4FA14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93f213bcb68d938e418e69d8def78f2aa83be749","datavalue":{"value":{"text":"A Hanf number for saturation and omission: the superstable case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2933743$EC6BDC8E-1063-4E5B-AB11-D8ADBA3276B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77fddadc185ff5be48c79b00423d5437770701fc","datavalue":{"value":"1355.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933743$FF022B05-0E7A-429E-80D2-2AB27EC5A191","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e64e009c5b29c61a4b3361a7a032b4dde217928","datavalue":{"value":{"entity-type":"item","numeric-id":283126,"id":"Q283126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933743$25B62DC4-62B8-4E57-93C0-DF2E694E3862","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":"Q2933743$F0A8644F-0120-4DB4-A963-923BFB0D846F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933743$77DB3B49-0CD2-4CCD-8508-DA5654D64F19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251a8180674f25d7da0909ef6cdc4a843414945e","datavalue":{"value":{"time":"+2014-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2933743$B9D04E7F-A727-40D0-A092-6458811FABCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933743$82FF628E-13E6-408A-9F02-853FBAE92671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933743$378B4EB8-E27B-4DD3-91EE-AC7C2BF31E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933743$4FD71892-B2DE-4A52-89C7-EAD08177A54C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76acf9217fb293a903c1c011e9f2eeb1c5072be2","datavalue":{"value":"6377530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933743$A918B5D0-44E9-4FB2-A5EA-B7606C5D81E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d07c6361f08f43f2dace247dd0f29321add1bc7","datavalue":{"value":"superstability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933743$F7514550-8591-4E54-8940-64358D42C244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9085217a3e522ac963a303423b3fdb8abcea585","datavalue":{"value":"saturated models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933743$FDFBB055-464B-422E-B9D4-63C11FE8742D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a24df7a4b46ec1c22b9d20de6c792ddabeef0f6","datavalue":{"value":"omitting types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933743$9A0F36D1-3D45-4A02-ACCB-032C0CBCA6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933743$EA7A3D5D-6D29-4048-B205-DEF637B3592C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"016a619848fd5b7dc99301b9d73980544639b371","datavalue":{"value":"Hanf number","type":"string"},"datatype":"string"},"type":"statement","id":"Q2933743$01461321-3047-4D9B-8FC7-CABDC74E06DC","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":"Q2933743$540E8E32-3A17-4AC4-94A1-C7B0163C77F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"824a9af5733a9c511017d8bbf46b238c242ddc4c","datavalue":{"value":"https://doi.org/10.1002/malq.201300022","type":"string"},"datatype":"url"},"type":"statement","id":"Q2933743$EEDD08BA-90A7-44CE-93C3-AF612E5560DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d01bea9712c9062376fde3d7c873f3cf5674e20","datavalue":{"value":"W2160652351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933743$46586514-20B8-47AD-B14F-15BAFB0A9B82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57e85446578087d7009644610366e19f89e5b155","datavalue":{"value":{"entity-type":"item","numeric-id":3018118,"id":"Q3018118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933743$6ADCBE84-2E1F-45F9-9D78-0EA9A721434A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d390bd901b9ac64ad28ceb24ef35e14f042f47ae","datavalue":{"value":{"entity-type":"item","numeric-id":1182840,"id":"Q1182840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933743$F964405C-507C-460E-85AC-CE03D1153EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4587084bfea7322586baa2f215016f683f0ae3fd","datavalue":{"value":{"entity-type":"item","numeric-id":1758979,"id":"Q1758979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933743$56016801-35BD-404A-A46E-429951960ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1afe4877a2227c067a8e3c06582350127fa66cc1","datavalue":{"value":{"entity-type":"item","numeric-id":5694296,"id":"Q5694296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2933743$180D21DB-10B4-49EC-9518-9F2C78627103","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf72af72ecfb2a9d4ab846444c22a3f6ef63c675","datavalue":{"value":"10.1002/MALQ.201300022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2933743$3E20A7A3-F026-4D82-A248-48D81ED454B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"896888298032f848e68194669b313c4c3eee0232","datavalue":{"value":{"entity-type":"item","numeric-id":3018118,"id":"Q3018118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c98443d741d868058cb8e721da13888cc7d5dbfc","datavalue":{"value":{"amount":"+0.906291663646698","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":"Q2933743$B6A45E11-D5DC-4B6E-BEE1-5EAF1D0B78DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb3b9affac10e5d23448561689be09bc3538b8e2","datavalue":{"value":{"entity-type":"item","numeric-id":6096320,"id":"Q6096320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2965918bba3aae1c69e6ab5d8f83baf485cbdbd","datavalue":{"value":{"amount":"+0.8762965798377991","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":"Q2933743$2B865704-EC1F-4F16-98A7-F8C13BB14858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19845d724d90249e2478186a8da338fd5f450ff","datavalue":{"value":{"entity-type":"item","numeric-id":1102273,"id":"Q1102273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d6909fbf5fd541b2619907cf765e2c49602e5a","datavalue":{"value":{"amount":"+0.8758320212364197","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":"Q2933743$04D9B650-CC0E-473E-BB3C-D16745C21BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa1e497766ac35c29f0e7e98cf3cc19efe47729e","datavalue":{"value":{"entity-type":"item","numeric-id":1182840,"id":"Q1182840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d63802111cf7fbafe9e2fcb677109f8a3ac0618b","datavalue":{"value":{"amount":"+0.7847092151641846","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":"Q2933743$D008E908-67A0-494E-BA4C-248228BBF887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4995d9a3bc9a39893d15c6b3be8ea4f0b43e54df","datavalue":{"value":{"entity-type":"item","numeric-id":1101440,"id":"Q1101440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d14677031856743f97b544a6a0c837ad3a0ceb2","datavalue":{"value":{"amount":"+0.7826591730117798","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":"Q2933743$C50A479C-2F05-47E4-B44D-327482CB16D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Hanf number for saturation and omission: the superstable case","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Hanf_number_for_saturation_and_omission:_the_superstable_case"}}}}}