{"entities":{"Q1756497":{"pageid":1767239,"ns":120,"title":"Item:Q1756497","lastrevid":68885733,"modified":"2026-04-13T02:53:35Z","type":"item","id":"Q1756497","labels":{"en":{"language":"en","value":"Hanf number for Scott sentences of computable structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001423"}},"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":"Q1756497$2A791016-86F8-4306-8F07-582E405B8EA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79b325a093e2d3fd03261e15b93128c56ed326ef","datavalue":{"value":{"text":"Hanf number for Scott sentences of computable structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1756497$CF5177D1-144E-4A8D-9627-E06E1E84F5F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fa8e092697f26e8493ed1bdb5b6bbe79c6f36bf","datavalue":{"value":{"entity-type":"item","numeric-id":494651,"id":"Q494651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756497$525C741D-E890-4C8B-96B2-CE7601BBBC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756497$6B34A407-0D21-4C32-9AE9-F0F32A91D235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18b2cfbb27c37b8050712aba1179c817f9c2a025","datavalue":{"value":{"entity-type":"item","numeric-id":283128,"id":"Q283128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756497$6B1638F4-6FC4-4997-B9D9-28FC54AE1383","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":"Q1756497$90C60578-86C7-4BFB-B7A4-D7F1C6E42E17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e12b45aab6c1c4f0d6536185bb54aaca2e66e37b","datavalue":{"value":{"time":"+2019-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1756497$19929D4D-FAF5-469D-87EC-D954EC3AC21D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85fae938eb9b71dd3e2c8ec6d450ff4ff275c218","datavalue":{"value":"https://arxiv.org/abs/1602.01156","type":"string"},"datatype":"url"},"type":"statement","id":"Q1756497$8E354C5B-DBEC-4704-8940-D25BD144DA61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756497$E725908C-A9FF-46FA-87EA-03ED758BC956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756497$77DDF43D-A9FA-4FB2-B88C-DED73DB0A6CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756497$06432590-A2E5-4704-86B6-6B4886BD990C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"188b6c199125847212533426dfbb43082ee9bc77","datavalue":{"value":"03C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756497$150A661C-8B9C-4813-8AB2-24768134D903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756497$0FC13870-BEBE-4ECF-9C32-CECDCDFA2327","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d5dea3bc9dea7906d3a6e6adf07d8c3d1a02749","datavalue":{"value":"7001423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756497$011332AD-DD5C-4646-96A4-53DD9A187D0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f84459e32fe6e8af51205469091c89643497426d","datavalue":{"value":"computable structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756497$1F76A311-EA18-4939-859F-CF99C44B8F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dc53d8dcd2687d3d2f7b29e9c691f4733e91512","datavalue":{"value":"Scott sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756497$746B903A-CD5F-4C5B-81D6-A438C6768900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756497$00F25DBA-D797-4BCA-9AA3-2BDB2E859763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"016a619848fd5b7dc99301b9d73980544639b371","datavalue":{"value":"Hanf number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756497$28EC1B48-64A5-4D61-BA46-3ED26C901D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a2d48d420537712fd45e61a2d3dd45866018974","datavalue":{"value":"characterizing cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756497$9D6E0B08-E017-4D1E-89C0-8186C2D2FBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62a80923ca8c9752ae6759cc18a107197d51346e","datavalue":{"value":"hyperarithmetical structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756497$F6B37021-4ADE-4172-97A6-1ACFCC78DB34","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":"Q1756497$42DA5922-2CBE-42E2-B9D8-B717492CD4FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"caba12fe0be6f7c2d137823cb82143344107c4ff","datavalue":{"value":"W2962813990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756497$3B6B7EF4-11A8-42E0-8187-CD1AD252CB6F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"80d6019624d4915a78bb11834335e61b770a7faf","datavalue":{"value":"Q59166137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756497$C47AD177-FA73-4470-867B-F7D5ED80111A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756497$7140F581-63A7-4F41-B53E-934C21BAF95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3241da2244cc0cc2d75da7e6d11dae8550d39270","datavalue":{"value":{"entity-type":"item","numeric-id":3083128,"id":"Q3083128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756497$7DC497CC-64A0-4D90-9F46-8EA775A1ED47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a35750ebe495fb07f5eb97a9eae3c66170233a8","datavalue":{"value":{"entity-type":"item","numeric-id":1142774,"id":"Q1142774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756497$BFEA9F64-8FC1-4F87-A467-58FA07F9CF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756497$3C6C92CF-D5EC-46B7-A990-0CB775657462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756497$07A02550-25AB-40D4-BE4E-68B3FE0BCC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e22c17c675f398a659b1f67080facc9871d4b8b","datavalue":{"value":{"entity-type":"item","numeric-id":4055986,"id":"Q4055986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756497$A718501F-A3EA-4DB6-99CD-8B3C0B2D862A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8b8c227f100d4a3bac37de047edcee973ce0286","datavalue":{"value":{"entity-type":"item","numeric-id":3867812,"id":"Q3867812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756497$5FC8C47B-3FEF-4877-B71E-D9B5DC066413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69352d39d52ab562d319e1fe20f00b3e917355b","datavalue":{"value":{"entity-type":"item","numeric-id":4775853,"id":"Q4775853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756497$A60B0427-68EF-46E2-A65E-209A0B2F24DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352a2a41026a9aea11c54f3081aa8074c4dc9983","datavalue":{"value":{"entity-type":"item","numeric-id":4154547,"id":"Q4154547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756497$9A032EBA-35A2-454A-8EBE-73B7D4452DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756497$27D781AE-71C0-440E-AC90-42E601731D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a66aca149d54d7dff0ef6032122ab7db2b935e","datavalue":{"value":{"entity-type":"item","numeric-id":5551146,"id":"Q5551146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756497$5BADF086-2E14-4EE6-AA27-E1870A3D673F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"749e529dc059b60bad130330e090c2bcf5a355e9","datavalue":{"value":{"entity-type":"item","numeric-id":5326725,"id":"Q5326725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756497$58045AE7-D1B3-4C30-B2DC-B65F7DCA0D00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4179a5f46165d64239a331b583fdce9db9ff8197","datavalue":{"value":"10.1007/S00153-018-0615-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756497$19FD3175-2955-4C8E-A3DA-C161682C86E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59ea8e7a052f58b748f2f91fa85c1f19e6bd8ec8","datavalue":{"value":{"entity-type":"item","numeric-id":1820151,"id":"Q1820151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083e9a76f9fbdf3a0827a3f1f3d10ecaeb3d16f4","datavalue":{"value":{"amount":"+0.8015490174293518","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":"Q1756497$2EAE75FE-C22C-4839-8F20-013BE369D358","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":"6a9fe20c9a4de6e82575b7cfbc67c3772b46b84c","datavalue":{"value":{"amount":"+0.7823854088783264","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":"Q1756497$20EAF519-07E9-4904-AA4D-3B1922B0BD58","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":"4e1cb692f210ecb5df6e467a2550e0f20c10e56c","datavalue":{"value":{"amount":"+0.7804098725318909","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":"Q1756497$4BFCBCE0-A34F-4810-A255-7579559F6621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dab1ac36762ced266779362d72eab954e5f67576","datavalue":{"value":{"entity-type":"item","numeric-id":5067872,"id":"Q5067872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e804ecabb6a979bf13c7bd795e788ed9eda30a0e","datavalue":{"value":{"amount":"+0.7738263010978699","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":"Q1756497$9585224D-5C51-4762-A57C-87BC691AD87B","rank":"normal"},{"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":"6788ed1388887f39736a6d88741e88cce4d63557","datavalue":{"value":{"amount":"+0.7606952786445618","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":"Q1756497$E3D393A9-4EA8-4F8A-8394-C536EB8E541E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hanf number for Scott sentences of computable structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hanf_number_for_Scott_sentences_of_computable_structures"}}}}}