{"entities":{"Q4989722":{"pageid":7019299,"ns":120,"title":"Item:Q4989722","lastrevid":58390185,"modified":"2026-04-05T00:28:03Z","type":"item","id":"Q4989722","labels":{"en":{"language":"en","value":"Models of true arithmetic are integer parts of models of real exponentation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7351278"}},"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":"Q4989722$EBA7996A-9E95-4793-B32B-5E4302300F16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20e0f26f93bd4aa6c474c53a38a3567878c32045","datavalue":{"value":{"text":"Models of true arithmetic are integer parts of models of real exponentation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4989722$D2C3C46C-5D28-4600-954F-C1768B4EB9FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67a3c2e0d55522fbbf789d440bf386fbc7c45a08","datavalue":{"value":"1493.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989722$6262E61D-9EE2-4762-98AB-9FE9422578ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a2bfb0e10347c17cbef3ee7d45a42b79abe80bc","datavalue":{"value":{"entity-type":"item","numeric-id":330193,"id":"Q330193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$D960E05C-799B-4066-A746-7752AD7B1294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5212d5d7369f96291ca41bc02afebebea50c3c7f","datavalue":{"value":{"entity-type":"item","numeric-id":2049393,"id":"Q2049393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$0C99DE62-7B3C-4D4C-A4F8-F4697F722B32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33fa00db87827c11724d8a1355500a9a7034d47b","datavalue":{"value":{"entity-type":"item","numeric-id":2930865,"id":"Q2930865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$4967F040-B6F8-4388-959F-3DADFB69CE54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e6c7ff8c150409ee8b57e6f339d646c7d730856","datavalue":{"value":{"time":"+2021-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4989722$D829FA26-746C-4F41-BA1E-0C8B111929A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29ea763873c29300b0680ddbbea73e218891783d","datavalue":{"value":"https://arxiv.org/abs/1307.6595","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989722$2F28B313-003B-4480-9031-B6D38FE4243D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989722$0B2A927D-F9D4-4967-B169-A795AA99471B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989722$DEC53091-C500-4091-9EF9-BE71290F05F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989722$0DE58B85-D83C-46A3-A91E-C405FA86AC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989722$B71B8CCC-5EC7-4965-ADC1-972BC3811BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989722$191EF777-97A3-483E-A7F3-B91E6B2CA571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989722$32ABB67B-5B6C-4017-9B58-A7C54D3F6A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989722$E7D2C1DC-269D-4131-A473-30C09340F7A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be8c3bc2002070c24fef323cae22442dabd439e4","datavalue":{"value":"7351278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989722$05CD2E20-993E-4948-8368-225A8912F3F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b82d44d38f8cd81f8c94933093e991199878bb7e","datavalue":{"value":"true arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989722$AA44E864-251E-4B29-B4E7-8662542D0CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989722$A91FCB04-C0DC-4A20-B0EA-5DDAFC241E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d4d50ab3728cd5ef6a75778549988c8232cce90","datavalue":{"value":"integer parts","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989722$30001805-C8EA-40BD-BAE6-3EA3247D4289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f588a2415b42da52169ab7b16af84f131d5c40","datavalue":{"value":"real exponentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989722$13A6464D-781B-4B5F-B208-718D5D84BAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84622744539ec2874a9b0aaa1adf38eab1c28628","datavalue":{"value":"exponential fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q4989722$992CFE8B-9C54-41C8-A611-656C2481F661","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":"Q4989722$83E6FA5E-328B-494B-B250-89FE03165841","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b887f5fb2a58fdee034dd86c1b5bf276cf37f8e","datavalue":{"value":"W3162580024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989722$26DE1897-8D4D-409D-B7AF-8B89EE6EBDB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c15c65f7cb4bb603b7e190ecae8ab47753e2f970","datavalue":{"value":{"entity-type":"item","numeric-id":4050665,"id":"Q4050665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$3BB57625-7C11-4453-A5B7-10CFCCD2044C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614d9c0e94dfe841e4cf65f4ebe9a93febcd93a2","datavalue":{"value":{"entity-type":"item","numeric-id":1749555,"id":"Q1749555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$BE6BA894-59D2-429E-A47F-748AAFBBC939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34317bcc1b4e31c9ce2e0c4bb91179faddbd8e7f","datavalue":{"value":{"entity-type":"item","numeric-id":2363347,"id":"Q2363347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$928ABA02-AD32-499E-90C6-0C64C3C6CF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6317ec9f099006f81974cbad6d1217e1e3e7ccdb","datavalue":{"value":{"entity-type":"item","numeric-id":5190186,"id":"Q5190186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$C839E70B-DA95-4296-9485-3A4D0603EC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc87d362486169f1979989bcaff60560343fd35","datavalue":{"value":{"entity-type":"item","numeric-id":1320026,"id":"Q1320026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$8E899008-F130-4AB3-8D51-732664541B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4995aa6d2e2d8fa8672215c79d36390a98542bfe","datavalue":{"value":{"entity-type":"item","numeric-id":3066707,"id":"Q3066707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$F33C04CA-10A5-4592-B4DE-F593E01B9F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71d88382ee32d237eeae43b2091a5ed35ac07d84","datavalue":{"value":{"entity-type":"item","numeric-id":2534319,"id":"Q2534319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$2A368183-1444-4100-B4EB-9332D673D402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d222eed09071994bab1b44b8eb8c4e34bb8f1c1","datavalue":{"value":{"entity-type":"item","numeric-id":4916554,"id":"Q4916554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$C32D7DC9-3A2A-4B9F-8B97-561BB59AAB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$AFE26940-A661-43C8-AA92-F888C892A207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169d0e6de331131108028eff6b7b2162fc3a81c8","datavalue":{"value":{"entity-type":"item","numeric-id":5224153,"id":"Q5224153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$32F17639-CA0D-4EDC-95EF-4C3E267CDAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c92731ed3ab83c91e6b5b0014da706998e939c52","datavalue":{"value":{"entity-type":"item","numeric-id":4372399,"id":"Q4372399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$0C1E1316-A274-4AE8-A65A-B5EFD00191B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f36cea6bb983fb5865521f6842d57461e87890b","datavalue":{"value":{"entity-type":"item","numeric-id":1594594,"id":"Q1594594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$814A8B01-589F-4CB6-88B7-CE1A93725D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43118d68ea3672ae3a4c154ccd8898e867ed4748","datavalue":{"value":{"entity-type":"item","numeric-id":4397030,"id":"Q4397030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$48920051-2E00-4B6C-85B1-ACB89A5205AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0419c2d589a5691952df0e1b56d9c1fc3b587a5b","datavalue":{"value":{"entity-type":"item","numeric-id":2630828,"id":"Q2630828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$937B173D-6E55-4C43-8B59-7B456D244779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5eebf0900be711d6990bf63965f6f187e4864d1","datavalue":{"value":{"entity-type":"item","numeric-id":5501767,"id":"Q5501767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$1D98AEF1-A9CC-4F6B-8F5F-C8F479371985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90bc06dbf3731697a67c4cf4f2c88c3e70cd5b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3136460,"id":"Q3136460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$ECB3B625-F168-49CD-8A3A-26D4909A446A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c98f815a2c0c62224662770cc9eaf4ce78b420b","datavalue":{"value":{"entity-type":"item","numeric-id":5450322,"id":"Q5450322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$8872CDCA-DDF7-472A-B5DF-DBD10D7E5663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624482bf4f4f5f2f3a61e8b3b57c19ff4498f411","datavalue":{"value":{"entity-type":"item","numeric-id":5341750,"id":"Q5341750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$44518326-BC58-4BEC-B3FA-2A5B216D8A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$B250710B-F52D-4518-836B-45923A0D1F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a66c7fd34e955c349d134c6217b2eb4a376c40","datavalue":{"value":{"entity-type":"item","numeric-id":5687291,"id":"Q5687291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$60CADF6C-3140-4160-8737-81207EB6EF82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fac63e5185e7fc70ad3dc9806c2f3152f1ce0d1e","datavalue":{"value":"10.4115/JLA.2021.13.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989722$4180297F-3F05-4CF2-8A1C-5AC77724FABC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424d676b485d4060116d68560f8df34909b24dd0","datavalue":{"value":{"entity-type":"item","numeric-id":2363347,"id":"Q2363347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935b68dfc0998e109cdd21121c1b6079c6896271","datavalue":{"value":{"amount":"+0.852635383605957","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":"Q4989722$0EC01F6B-CF94-4DFA-9A61-6FD2936FDB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b75bf04a63af1f0cdaf322ecdf809b0ff03ca1f","datavalue":{"value":{"entity-type":"item","numeric-id":3140641,"id":"Q3140641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f2f6d317671bff3a334b964ab15191ef2a69d9","datavalue":{"value":{"amount":"+0.832050085067749","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":"Q4989722$5BA55BBE-93C6-4512-8301-1DCC9D02BCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f77562ae49dd3af11244ec6bd7fcecfeaeb32d","datavalue":{"value":{"entity-type":"item","numeric-id":3514637,"id":"Q3514637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad2134f4888606f17c4242c16ecf4c2903ed0945","datavalue":{"value":{"amount":"+0.8310514688491821","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":"Q4989722$174ECD12-98B6-476C-A09F-E535BBB01E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecbe92ed2580ac18099d58d4527c55bef6ded7b7","datavalue":{"value":{"entity-type":"item","numeric-id":5190186,"id":"Q5190186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a12688506e11ecd8d63daffdbd11bc9324c0f1c","datavalue":{"value":{"amount":"+0.818405270576477","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":"Q4989722$90ED2E7D-C2AE-41C3-B590-180E070950C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfcdd7a06e7a5a58f4938c1ff955f07b2e37a8cf","datavalue":{"value":{"entity-type":"item","numeric-id":3172122,"id":"Q3172122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aabe8071c3287f03edce529c27c4ab4d380a226f","datavalue":{"value":{"amount":"+0.8126456141471863","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":"Q4989722$AC752B39-9DAF-449F-B9CD-A5AB5F81F0A3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989722$863FF7DC-807E-4919-B835-B5BC3B6BDE0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4989722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4989722"}}}}}