{"entities":{"Q2053347":{"pageid":2064089,"ns":120,"title":"Item:Q2053347","lastrevid":72541626,"modified":"2026-04-14T05:37:06Z","type":"item","id":"Q2053347","labels":{"en":{"language":"en","value":"Axiomatizations of arithmetic and the first-order/second-order divide"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7435317"}},"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":"Q2053347$8C64CBE5-66F0-42C6-A69F-6895F96741DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"922676e5e8015acf6389ef099f2387d2cfea3b8a","datavalue":{"value":{"text":"Axiomatizations of arithmetic and the first-order/second-order divide","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2053347$6151F5AF-77D0-44F5-A7BD-566594B13456","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18e81aca37ded83fcdd876018bfa6f49d0066460","datavalue":{"value":"1475.03089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2053347$1F94AD46-F34A-4A1E-9E30-8E2BFB7491BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20d7a1231dcaa874f83c2d3933a6be54853d2867","datavalue":{"value":{"entity-type":"item","numeric-id":375341,"id":"Q375341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2053347$60E2C889-AB0E-46DB-A070-940B26709FFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2053347$7B954EBD-C626-4F2D-8A05-993D60D99448","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e217cbf71dab4aa025821bf07e36cdc2121dcaa6","datavalue":{"value":{"time":"+2021-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2053347$E96B2EE6-220D-460B-A90A-52DB10D51A8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d14663da7adb3c1a734d2d515ad720eff72a022c","datavalue":{"value":"https://pure.rug.nl/ws/files/118494082/DutilhNovaes2019_Article_AxiomatizationsOfArithmeticAnd.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2053347$C0970045-A5A0-4A00-8F3F-37C7DB6A6906","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2053347$FD487D1C-FD7D-441F-B21D-654658DD2F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2053347$115AC4F3-FF48-43AA-8718-C021498062C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2053347$93AAB179-B491-4E36-B66D-A572C5FA7975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2053347$FD03C08B-9512-4F94-8C6F-E41EBC46ECA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9367cf4e51b4cfb29b8674ff5f73adbf4d60eda","datavalue":{"value":"7435317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2053347$E7DA420C-173A-4406-8EE4-265CA31AE6BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193a15d92342345823976ec51004a6abccdd4aee","datavalue":{"value":"axiomatizations of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2053347$50CF10AB-9881-41D0-BB89-2F503F1524F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2053347$8ACAD837-2BCD-466C-98AB-B1633C8672D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2053347$C0264351-DF1E-4D28-BAF3-ACE65A0AB1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3b417213f1366c965da801b8e017a31000b8ab","datavalue":{"value":"categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2053347$84A7BE16-24E6-414B-A4ED-E5CCCD9E4C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"034ca32bafee6277cf59c07dac1e15b5a49b4505","datavalue":{"value":"logical pluralism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2053347$0D0FC66A-3394-4CAC-8E61-C190EE428CE9","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":"Q2053347$B25D185F-B559-4918-9ED4-55EDFE0C3189","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5727e705c0ee77236b63b0d08ba469d5d94afd4d","datavalue":{"value":"W2081808148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2053347$4BCC7789-21CD-4782-BAA3-F26A040691DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bcf33a5f992d181e7e78bbd8db6166cca7b5d2d","datavalue":{"value":{"entity-type":"item","numeric-id":5740648,"id":"Q5740648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2053347$FFDA5E8A-A6FC-4E56-9672-39919BB82571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"655696763ffee898c7a5a8b2bfc083e83deef025","datavalue":{"value":{"entity-type":"item","numeric-id":4706120,"id":"Q4706120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2053347$334BC03B-0857-43D4-A5E7-DE25E830BC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dac2b8d0d44e34cd3178547795c7e1f7e12315a5","datavalue":{"value":{"entity-type":"item","numeric-id":4706123,"id":"Q4706123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2053347$FD2AFBF5-4B53-4512-9D4E-2F2BA06E491B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ee6dafea1f40265c8e8c69c6f7093e0aab1070","datavalue":{"value":{"entity-type":"item","numeric-id":660454,"id":"Q660454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2053347$6AC31AF8-A460-4DE4-9630-172019212FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1e840e710fbb4226692123ac54a1a8563e5c78","datavalue":{"value":{"entity-type":"item","numeric-id":3155909,"id":"Q3155909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2053347$75AD3BC5-0C45-4A5C-B530-F57F0DED67E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d3498829075cfa7815c973b9567568f3d59f645","datavalue":{"value":{"entity-type":"item","numeric-id":4715560,"id":"Q4715560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2053347$3E0E8FE5-A46E-4E3E-A392-A1CB1980896A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e90a2582db98ff0343a0c220dfa994a35768c1a","datavalue":{"value":{"entity-type":"item","numeric-id":4373014,"id":"Q4373014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2053347$9D458D4A-459A-4118-ACBF-7516499BE9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb697b577c5f69b3984283330c6f5ce6a5634e6a","datavalue":{"value":{"entity-type":"item","numeric-id":5695961,"id":"Q5695961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2053347$8C03FF10-1DC8-4D67-BAED-0790EE364499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63f891712b7d48896da4510dee1617284577b50f","datavalue":{"value":{"entity-type":"item","numeric-id":3727947,"id":"Q3727947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2053347$4D680410-5169-44A3-AA87-EBF089B94081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a84180de62ceafef40ec406e2cc9991b75a098b","datavalue":{"value":{"entity-type":"item","numeric-id":4001345,"id":"Q4001345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2053347$335A2090-0396-4D43-9DBF-14008DDAF8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c097fe2a4fda5f92445083a24d0acec276aa08","datavalue":{"value":{"entity-type":"item","numeric-id":4324696,"id":"Q4324696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2053347$EE763BC4-B957-4F86-8C67-1B629EA9002B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"758bed3e0ba39f5ce1f7e4bda7c06370d2be87b6","datavalue":{"value":{"entity-type":"item","numeric-id":5454218,"id":"Q5454218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2053347$8D86D70B-F41B-4C20-BFA5-A341D21ADA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b38b5112d5f653bddb02662af5d746f460335b","datavalue":{"value":{"entity-type":"item","numeric-id":4328795,"id":"Q4328795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2053347$F8155B90-623C-415E-AA16-B7F2A4938313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174d18be49fcc8f81a1d06ff5f29cdffc006d6d8","datavalue":{"value":{"entity-type":"item","numeric-id":5388758,"id":"Q5388758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2053347$AE478721-38A8-42CB-96A1-7002DE546807","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe263342619c6ec4a7dcc81ccfb1e5e44e6ccb46","datavalue":{"value":"10.1007/S11229-014-0636-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2053347$09F3304E-8347-4A04-932D-492CED7676A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a5459415acc6ab60a7d5aefc6930c4ba2f9a348","datavalue":{"value":{"entity-type":"item","numeric-id":4328795,"id":"Q4328795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeccad9aed3d43a806a0d6fe0ae6a5113e894c2d","datavalue":{"value":{"amount":"+0.7516014575958252","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":"Q2053347$3B679A5B-496E-4016-BDAE-A23952A9ACC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cef10b7d0406d75345fae11ce22a82cc9ed7a20","datavalue":{"value":{"entity-type":"item","numeric-id":3727947,"id":"Q3727947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d9e2f8b488fb856271931acb5cb66ede3b442d","datavalue":{"value":{"amount":"+0.7248867154121399","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":"Q2053347$4280B152-B747-4A51-AB0B-6E63BEB99C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c79befaf63023b019565ccefad9c19f3924932","datavalue":{"value":{"entity-type":"item","numeric-id":660454,"id":"Q660454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a363abc179b1748bf9651961dec7dd1dcf5d3ee8","datavalue":{"value":{"amount":"+0.6941874027252197","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":"Q2053347$57D48ABC-FED5-4210-B65D-463A0884E72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dd53721dd59b8e6bc0f03422c1f165b4c0509f0","datavalue":{"value":{"entity-type":"item","numeric-id":1694959,"id":"Q1694959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf2c13ab507b69fba1250e61541d9f37cde957a1","datavalue":{"value":{"amount":"+0.6921584606170654","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":"Q2053347$4887FA1D-58A8-4AD2-8FF7-B236B7096CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925473941272cdb985eb3f8f10f9bacfe1fcdb17","datavalue":{"value":{"entity-type":"item","numeric-id":5253936,"id":"Q5253936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823096b099d841d374811cdb975c8746e612c13c","datavalue":{"value":{"amount":"+0.6892826557159424","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":"Q2053347$A17AA273-5740-4E16-95E0-73824B220FB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatizations of arithmetic and the first-order/second-order divide","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatizations_of_arithmetic_and_the_first-order/second-order_divide"}}}}}