{"entities":{"Q3507862":{"pageid":5537766,"ns":120,"title":"Item:Q3507862","lastrevid":80843879,"modified":"2026-05-06T17:07:37Z","type":"item","id":"Q3507862","labels":{"en":{"language":"en","value":"More on extending automorphisms of models of Peano Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5291620"}},"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":"Q3507862$004F5EF0-3B50-4706-A5FE-47FFDABF2900","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"749517b30b7948e4879faf583080d73235339315","datavalue":{"value":{"text":"More on extending automorphisms of models of Peano Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3507862$B2E87767-982E-468E-8A1B-896D40DD8644","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d61ba389caf6c29e9ebad0435da70512c1b76dec","datavalue":{"value":"1149.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507862$3AA4D097-1806-48FB-9B77-6F6EC8FF50EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b670107d49e5cfb9b0abb2ab2d53889e002f633","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507862$222E615B-C6BB-424A-84A4-B89B2D7ED8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78cf3d039518ff5658afcbb728efb7e71e88345d","datavalue":{"value":{"entity-type":"item","numeric-id":598274,"id":"Q598274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507862$7AB36F26-4903-4DE4-90A5-951891C9E834","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3507862$6C72215D-45CE-4367-A291-FB6FAF167562","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c63cea62240ac8db5861bbe0ba2ad129d649c0db","datavalue":{"value":{"time":"+2008-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3507862$B363BE6F-DE25-4220-9429-1124D19DD793","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a7432a1307b72387398ba29667b95b1fb3ad1a9","datavalue":{"value":"https://eudml.org/doc/212122","type":"string"},"datatype":"url"},"type":"statement","id":"Q3507862$A46B38E4-1E65-41A8-B223-2DB45417BC31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507862$8D6938C2-DDC9-4C9E-ACC9-6C60668AA0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507862$1E1D59B7-1E6C-4F5F-BEA2-A607805936BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507862$5FDA97A2-DF20-40E3-B595-CC005A74769C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"922db8afbbfe5bc81eb3b9fdc110db41ee0999db","datavalue":{"value":"5291620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507862$057E4E43-E464-4C0A-B1DC-69E703BDB984","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"258e00cc13fd9669d27fbd4cf08c18bb11bacdd6","datavalue":{"value":"models of Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507862$8E2BC6EE-DF8E-4034-AC7A-95F0D548A6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd5a8b12f675644d7653d0a8817ae2f5b6abe2ba","datavalue":{"value":"cofinal extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507862$F9C5A36C-997C-46D7-900D-173FE34FF8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"447fa387c72cb86649422f0b737610382e7b4be8","datavalue":{"value":"automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3507862$ED17EF10-639A-4D0F-89CA-6E9365708F71","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":"Q3507862$C5D25C24-6159-4C25-BA58-8149FA254EB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0927a42d45907345cb5fbf25260187c75d876577","datavalue":{"value":"W1980305404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507862$96BACBBE-AD52-41BD-AC2C-9003560FEB34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce5097bc0b7d4556090ff5ff6ec2e231e061ab13","datavalue":{"value":"10.4064/FM200-2-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3507862$5A4043BA-B0B8-4632-A83A-6D002BE53EA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b0fcb43ef476bb5ed23cc5797b06a6bc9acb00d","datavalue":{"value":{"entity-type":"item","numeric-id":4882388,"id":"Q4882388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c096d4a5583f94d3095a03fb7f50636de374d590","datavalue":{"value":{"amount":"+0.9063261151313782","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":"Q3507862$5A1D2EC0-62C0-4A9A-91FC-E957603603A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b08266c7b95744e792ec69964daea45c6c43977d","datavalue":{"value":{"entity-type":"item","numeric-id":3679180,"id":"Q3679180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c096d4a5583f94d3095a03fb7f50636de374d590","datavalue":{"value":{"amount":"+0.9063261151313782","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":"Q3507862$22233F6C-2019-4370-9871-25C751EEE494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21179e9b4c1d914767ad67e2369caef669097f3b","datavalue":{"value":{"entity-type":"item","numeric-id":3812219,"id":"Q3812219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0fd1283907a3c30df109be01fd33eabb91802f","datavalue":{"value":{"amount":"+0.8101934790611267","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":"Q3507862$61A1F556-D6E2-4A34-B343-01267F670E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f731b0a6d2be2fe8a661b72ec87102218c697f46","datavalue":{"value":{"entity-type":"item","numeric-id":1913626,"id":"Q1913626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c53466b3c1cd78b3203a27af2344644edcdf727","datavalue":{"value":{"amount":"+0.8098740577697754","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":"Q3507862$E515A794-ED60-4DF6-BDCF-2ADD11D609D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3158bd79829d64173751f7095fd8605f9f8a70fb","datavalue":{"value":{"entity-type":"item","numeric-id":645748,"id":"Q645748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03320ea429f8f5192c76cf4506e2efd646ebd903","datavalue":{"value":{"amount":"+0.8082702159881592","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":"Q3507862$342A3A45-31AA-4D1C-982F-ECF947C2A940","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"More on extending automorphisms of models of Peano Arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/More_on_extending_automorphisms_of_models_of_Peano_Arithmetic"}}}}}