{"entities":{"Q3170555":{"pageid":3181265,"ns":120,"title":"Item:Q3170555","lastrevid":58122024,"modified":"2026-04-03T21:46:13Z","type":"item","id":"Q3170555","labels":{"en":{"language":"en","value":"Models of expansions of \\documentclass{article}\\usepackage{amssymb}\\begin{document}\\pagestyle{empty}${\\mathbb N}$\\end{document} with no end extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5951144"}},"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":"Q3170555$4B625230-9B5E-4906-A395-728C09DEB735","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eec028cf4cae8ede71f4e52bf967f7b07f30d2fd","datavalue":{"value":{"text":"Models of expansions of \\documentclass{article}\\usepackage{amssymb}\\begin{document}\\pagestyle{empty}${\\mathbb N}$\\end{document} with no end extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3170555$B386845E-CB03-4E5F-BBA7-480F54307DDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f6d399ccc588e5f9f9500d76e5d5295f0a56fc0","datavalue":{"value":"1238.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170555$E1CE26A6-19DA-4F23-93A8-30356F4A5824","rank":"normal"}],"P16":[{"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":"Q3170555$6121DB17-496C-4085-BCEE-9BC72019DCCA","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":"Q3170555$A3D31A6E-05C0-4B20-BCA6-E3BB78780132","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23abbc7df50e9b56d73974fbfb185282140729b3","datavalue":{"value":{"time":"+2011-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3170555$362CD18F-66B4-4A77-8D4A-5F920DCF5698","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf46cdc2cb4b56296766375e450fcc6a4cabf36b","datavalue":{"value":"https://arxiv.org/abs/0808.2960","type":"string"},"datatype":"url"},"type":"statement","id":"Q3170555$4A53CDD5-78A7-421A-9120-F2C101F816DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170555$81F2D1F7-389F-4D0C-954C-F7FA1230F906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170555$8438FE47-C981-4BA6-A063-812DAB4FDEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170555$93CC3F66-4B23-407E-891B-44F305F12F49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc1c65fbc8c8cfdb9681e443c24ce14db48cf722","datavalue":{"value":"5951144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170555$0AF2C636-E0C7-4213-8B2C-D17EF7184FC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72ef6408fbd00f7440cad3e2b7bf17cd54e5b150","datavalue":{"value":"models of Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3170555$A111F118-7297-4145-A6A7-D063D0ECD1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cddb03d56641bd0c8c383d3410940d6449caeec8","datavalue":{"value":"end extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3170555$DF3E9095-98F7-40D0-8355-28F4313DB7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a2faf303f989993a1d63975dc22ba73f1afb46c","datavalue":{"value":"conservative extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3170555$79AF239D-8EEC-4963-B4E1-072EC1DF7267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43cfbb7c577bd4069306f07904a89eb0ea53a8e1","datavalue":{"value":"forcing with creatures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3170555$2F711B69-C8F3-4EB6-A127-DDDCAEBEB9E6","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":"Q3170555$077B9395-7915-4169-A063-46F103E8F1A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf2572392c74c3c5bd19b257e781b0a82f388a20","datavalue":{"value":"W1647584763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170555$290DBF0B-1267-42D6-9437-92A8F104E885","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecfc5cbc258f0100e9f9e22f6cf9f0ae660710b2","datavalue":{"value":{"entity-type":"item","numeric-id":998319,"id":"Q998319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170555$9822589E-44A3-405A-8782-773C8C566440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4973f90bc4763d4c9be1bdb425de22d9bd0e3687","datavalue":{"value":{"entity-type":"item","numeric-id":3755444,"id":"Q3755444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170555$6A4A244E-E5BA-47B8-B259-969E7C4D862F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61c9e7069bd5bddd12844c15b7d134c0e326a682","datavalue":{"value":{"entity-type":"item","numeric-id":5484945,"id":"Q5484945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170555$B9E9118A-D578-445A-8C9A-4634A2C98C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1588076bb08a7bfdcfc8b766d1722251e381fa","datavalue":{"value":{"entity-type":"item","numeric-id":4168613,"id":"Q4168613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170555$2A0A7AFE-F80D-4C17-8FB1-C7A4F8709B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae1842c660f556c033737faba9479558920921d","datavalue":{"value":{"entity-type":"item","numeric-id":4269752,"id":"Q4269752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170555$44FFD949-3A74-40BE-80E7-750C697BB5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711555b09909a49477974f3ac1dedcef0e3308f0","datavalue":{"value":{"entity-type":"item","numeric-id":4198507,"id":"Q4198507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170555$E2EC439E-47AD-48C0-AAB3-48C3E320A804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe86ef0923819a89ae51112b08ce173082dc0fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4163512,"id":"Q4163512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3170555$D065BA8C-E518-429B-9416-5CCC0BD0F32E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0202953961f5f2476cf8fca8305c71924f1a4463","datavalue":{"value":"10.1002/MALQ.200910129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3170555$86709365-50F5-4925-AC43-8C751C9B2BCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f369d53a476c8c00e5fe26c16d1145b4d1c64d","datavalue":{"value":{"entity-type":"item","numeric-id":998319,"id":"Q998319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dadb3bb5f64e8620bb992182f07056a6669222d","datavalue":{"value":{"amount":"+0.8033029","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3170555$A44D85FB-46A6-4D5A-A4AD-4516F221DDDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673cd44da59237ffbe9d8d924e3e00c2524b189c","datavalue":{"value":{"entity-type":"item","numeric-id":5379655,"id":"Q5379655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a5ce710c36a5c2fd28cf703a5bd5a7f91cd7647","datavalue":{"value":{"amount":"+0.76954854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3170555$D12FF90A-C755-4D82-96C5-AD0F0A284E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"328e35b66786abe4407bd879b71875b0e01d1132","datavalue":{"value":{"entity-type":"item","numeric-id":3754621,"id":"Q3754621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"028b86899175ce60423ac5e6122c6866874484a6","datavalue":{"value":{"amount":"+0.7605479","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3170555$9E3022D9-9E9F-4FDC-B6C7-DAE5A0C0A5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e2fc1f3a3067ae30ea088b69b9bae22522f4553","datavalue":{"value":{"entity-type":"item","numeric-id":1584015,"id":"Q1584015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af110401f1788bfb8a4359a1225d26e8d62829fe","datavalue":{"value":{"amount":"+0.7589041","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3170555$8B0771D6-A068-4664-A408-9D0FD77FA156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baedc0038f5833014fb3acca70bfc1e511ba3ed6","datavalue":{"value":{"entity-type":"item","numeric-id":2204367,"id":"Q2204367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d07e2e1b1aa00079261cd9da016c52c6ae4db8","datavalue":{"value":{"amount":"+0.74763054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3170555$63B51E93-6124-4870-B916-7E0A6E8C4523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705d68767f0c1b6e2483b82f1a2688f9fc8b1a6c","datavalue":{"value":{"entity-type":"item","numeric-id":3322105,"id":"Q3322105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"078cc7d9e25d68f078f6a3163b036bc5c282a3cd","datavalue":{"value":{"amount":"+0.74636304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3170555$A73DF7B3-FCAA-4D15-93DB-C363D57B041C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4b4d42418d138d7f623c2f4cd434541ac4a41f3","datavalue":{"value":{"entity-type":"item","numeric-id":3030803,"id":"Q3030803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41b86ca16d0c09d93094f22af8f4dbc4fa372da","datavalue":{"value":{"amount":"+0.7440845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3170555$6DCDAB82-7D74-4333-8C74-7EC291D92F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a80d172741676065dedf65024bce02053cd787","datavalue":{"value":{"entity-type":"item","numeric-id":3971940,"id":"Q3971940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2471d054fff1123dc525ef423f3b9db0080d2472","datavalue":{"value":{"amount":"+0.7397667","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3170555$C3EE2989-95FC-455D-90F9-D49BB1362A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d1f0602b5110332c775811cdf5b3021a54ed58","datavalue":{"value":{"entity-type":"item","numeric-id":701750,"id":"Q701750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"983f7b3614f3e39c413a6bd54d98a8a1507cb90b","datavalue":{"value":{"amount":"+0.7351254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3170555$0DD654CB-30B4-4558-81BF-8FA5FD6F0923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca91620e8c527b025163e48b2fdffcc0e0b531a7","datavalue":{"value":{"entity-type":"item","numeric-id":3216651,"id":"Q3216651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d5dc46bbc14f97c6fe7e0031b9e50262f764294","datavalue":{"value":{"amount":"+0.7339715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3170555$012AB581-DB9C-4678-AD1E-8885F4120059","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3170555","badges":[]}}}}}