{"entities":{"Q7240797":{"pageid":24546305,"ns":120,"title":"Item:Q7240797","lastrevid":84493043,"modified":"2026-05-18T20:39:48Z","type":"item","id":"Q7240797","labels":{"en":{"language":"en","value":"Local Hanf-Tarski numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8198618"}},"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":"Q7240797$B9C82EB4-33ED-4CF7-B700-3035D1B90E8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e6021290d4ffba7f2057587bc7dd82897b7f1da","datavalue":{"value":{"text":"Local Hanf-Tarski numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7240797$D26897FD-C208-4F04-895E-69BEE962C9FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"338856e47726c1060a3bc692c270572a9c984b8b","datavalue":{"value":"10.1090/TRAN/9556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7240797$75B7D57F-2905-4C6A-BC98-9B78869B0404","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b013b7a9d2a2f8dca67e43ff0a0f9cda9e012d","datavalue":{"value":{"entity-type":"item","numeric-id":1699739,"id":"Q1699739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$2A646D3F-F5DE-4B76-BD3D-19442E418FB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$4A26BFC9-7C32-4888-BABE-8AB0082F05FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0279d2480b0cf3940cc207d935191b61a147fa60","datavalue":{"value":{"time":"+2026-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7240797$032A429D-7EAD-44B8-BD07-252D396E2E6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7240797$24AF6BE1-6486-4116-8D71-24FD71B562CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7240797$22FF3499-B321-45E4-BB92-60A212E09EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7240797$A42D8D85-C9C0-4735-8364-16C7DE1A3D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7240797$B0C47284-0B34-4EA8-8047-16B782F9E9EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82de47fb8fea5248af283c4142dd4ebeb3005e2b","datavalue":{"value":"8198618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7240797$B789C745-5D98-4775-AA49-5D78372882AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a4156d46397f6174e2f7c0fd09fa485e1a6a33b","datavalue":{"value":"abstract logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7240797$FF7A5C02-166C-4536-ACC7-880FEAC35769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7240797$16C2AFC3-A3E6-448C-A55C-0515E537B94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd8faa7ee06c7940d4fca3e4a26fa2ceea34db9","datavalue":{"value":"Hanf-Tarski number","type":"string"},"datatype":"string"},"type":"statement","id":"Q7240797$6F7BDA80-E640-4BD0-B469-305B39F5545C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91f9506f31da8652dae92b69af75f18303619a87","datavalue":{"value":"structural reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q7240797$112B496D-CA4D-4036-BE4B-2AF434D1B779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126e01284d834e0003cc7f95deee337ba6b91338","datavalue":{"value":"large cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q7240797$A2E43778-B47E-4100-AFB8-2CD6519D61BA","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":"Q7240797$99544486-5CAB-4E57-A611-1C77B823AA3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5239bbaaf83b86e04ee48eb295537db92fab15","datavalue":{"value":{"entity-type":"item","numeric-id":412056,"id":"Q412056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$72FFE2B4-D86B-4D59-A5C2-466A83D5DF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce97e40a993f5ef11e7fc9ad95d01671d0c000f4","datavalue":{"value":{"entity-type":"item","numeric-id":5879180,"id":"Q5879180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$CA1AD839-5DB7-4186-932D-CDA93C3D29E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cf2caaf03ce6b40feafc355e376baa702a48385","datavalue":{"value":{"entity-type":"item","numeric-id":5884254,"id":"Q5884254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$D80C8DAD-3422-4036-83DA-0E0F07D62D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf770386ee7c97eb57dc97e1258ab81e6da0c5e","datavalue":{"value":{"entity-type":"item","numeric-id":2084962,"id":"Q2084962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$E684263B-511A-4F5A-BD95-014841619CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4cec35a55d188748ba65711951f8fa4e28fba3","datavalue":{"value":{"entity-type":"item","numeric-id":6567168,"id":"Q6567168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$50671CFA-7E55-4B56-8B6F-5FA10DBF0FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a00c01c49ce8a826430dc5d8e62596be4e05ff","datavalue":{"value":{"entity-type":"item","numeric-id":2182021,"id":"Q2182021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$FA53540D-512D-4951-9518-9DFEFE24C7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b1b865621267e133060106cab810b2e9d1c787","datavalue":{"value":{"entity-type":"item","numeric-id":6658107,"id":"Q6658107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$05033B2F-BA3E-435E-A948-F219F0BF203B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c8682116f4baa14dd34cc4fb12cb5526f8c8f03","datavalue":{"value":{"entity-type":"item","numeric-id":861819,"id":"Q861819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$DA58B7EF-2413-4E41-A750-07BCC299739F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea573b8df5acd98ea334c99c973ca5a77090a7d1","datavalue":{"value":{"entity-type":"item","numeric-id":5613934,"id":"Q5613934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$111CD45A-53AC-4A40-96CD-EC173A70ADF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98cd58d35ccceeb9d4bdd26f8bed3829a08e1db0","datavalue":{"value":{"entity-type":"item","numeric-id":6989521,"id":"Q6989521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$07DC3FE9-889B-44E9-836B-D157669F6AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2ecc7c1905a9e9efcabbcbfe27d8e704f87ca1","datavalue":{"value":{"entity-type":"item","numeric-id":6970295,"id":"Q6970295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$52C6E041-E27C-4B08-8CC3-584B471A3D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14abe16a08ba6c26d94c223f9e9bec74507dcf96","datavalue":{"value":{"entity-type":"item","numeric-id":5505142,"id":"Q5505142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$E36B016F-F7CE-4127-A489-D2DD4D3D3247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$D3B8A2D6-E19B-48DA-AE3C-E689BC93A522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8fc741ea84c2e9afb209308c6a6f325d4380c2","datavalue":{"value":{"entity-type":"item","numeric-id":3535899,"id":"Q3535899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$BCB15E9E-334F-414E-A9BE-F8B6EF8307E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$FBABC08D-2C3C-4516-8C49-10EB2FD4DCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de2e97cfd28ea719ced4227f556878363f58d68","datavalue":{"value":{"entity-type":"item","numeric-id":5606563,"id":"Q5606563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$7514038B-D4DA-4B3F-AE1D-7B1A327F12B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8d44ada42b83c580850d5474db807351e5d150","datavalue":{"value":{"entity-type":"item","numeric-id":5920864,"id":"Q5920864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$32737409-A6DF-4F3B-A442-9C81AAE4ADE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8780ba2fa70e7ab5db438e2de08e889068650c9a","datavalue":{"value":{"entity-type":"item","numeric-id":5094532,"id":"Q5094532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$D44EEABA-9D31-4FF0-9FA7-51DC19235F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e921ebef9d571415a419b6f5e35c64bb8e9ff3b","datavalue":{"value":{"entity-type":"item","numeric-id":2561212,"id":"Q2561212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$0D0471AD-58B6-4F44-8812-F13C1E749D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8fc495543710fa6dfeeabf64a240c710cf42c85","datavalue":{"value":{"entity-type":"item","numeric-id":3760532,"id":"Q3760532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$D1FFEE3F-4BFC-490D-B6F3-2382E5D2FC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca202c06536035b3bae36951e60f10af4693335","datavalue":{"value":{"entity-type":"item","numeric-id":3188067,"id":"Q3188067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$00E6244C-2F19-47F2-92D7-31C45368099B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52f04653d17e284960141ec53f4232d2645cd0a6","datavalue":{"value":{"entity-type":"item","numeric-id":5554949,"id":"Q5554949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$B11A6072-2872-4EE6-BD0E-AF89A8A886C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1d6593cd0ebfca53ff73204240e1bf28b6816d","datavalue":{"value":{"entity-type":"item","numeric-id":1765099,"id":"Q1765099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$54AB4BEA-2E62-4EBD-B345-C759140C0730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390883ad78a33fcf623e26f354177bcba16ae9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1250098,"id":"Q1250098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$6C8F7922-EEBF-4B8F-AC44-3226D4A50CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8876da544a37b91b203ae9751a7733a1a9dd37ea","datavalue":{"value":{"entity-type":"item","numeric-id":2879888,"id":"Q2879888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$8CC74EEA-F6BA-4059-8EA1-E157E5D3422A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdeeb230b08adf36ab17ff1bcc9ec6b99dc0ddbe","datavalue":{"value":{"entity-type":"item","numeric-id":5917020,"id":"Q5917020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$C5688DAE-750C-4510-956F-C24A34E7C2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76916d2ae3341755628d25cfa8c2892cd8de269f","datavalue":{"value":{"entity-type":"item","numeric-id":3870878,"id":"Q3870878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$21157BD6-0021-4D66-8512-38B7578C6752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"844f094ca03be7c634420fd5cf56c584ac071222","datavalue":{"value":{"entity-type":"item","numeric-id":5178531,"id":"Q5178531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$D240CC7C-82DB-4CA8-A972-1CCF32B925C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07e2aeb54e9c40a372d711382df2ca4cea479049","datavalue":{"value":{"entity-type":"item","numeric-id":4227883,"id":"Q4227883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7240797$F48F6BAC-EFBC-42B5-9946-8C89C930182E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local Hanf-Tarski numbers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Local_Hanf-Tarski_numbers"}}}}}