{"entities":{"Q563078":{"pageid":564845,"ns":120,"title":"Item:Q563078","lastrevid":62772468,"modified":"2026-04-11T08:21:24Z","type":"item","id":"Q563078","labels":{"en":{"language":"en","value":"Axioms for arithmetic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2549163"}},"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":"Q563078$5543DC42-BF82-4E36-B196-1AE73480D0AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56b4ec68767a82254092c8e55a29ee14e306b89f","datavalue":{"value":{"text":"Axioms for arithmetic.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q563078$3E0C5266-17C5-4066-B69C-3502CACFE5BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79d812c7472397eb922287823a25a04af4bf79a7","datavalue":{"value":"58.0092.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q563078$99ACF7DF-9BA3-476A-B423-C6F654521DAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0e8e2f16e5044e38a454384839ea1083db5e26c0","datavalue":{"value":{"entity-type":"item","numeric-id":559407,"id":"Q559407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q563078$6700F1DE-F78C-4A4B-BF5A-F9CE36BC7287","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bbb53abe68aac0eeb25dacc2ea1a7274c90a69a","datavalue":{"value":{"time":"+1932-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q563078$67E0BA2F-7E4C-4182-8B13-FC0A5A2DABEA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d4c65830f009b16646b16a33c67dcd08da8bd7f8","datavalue":{"value":"Verf. gibt ein Axiomensystem f\u00fcr die Arithmetik, das nur die Relation ``kleiner als'' zugrunde legt. Die Vollst\u00e4ndigkeit ergibt sich daraus, da\u00df sich das von \\textit{L. Neder }(1931; JFM 57.0103.*) aufgestellte System als Konsequenz des vorliegenden erweist. Die Unabh\u00e4ngigkeit der einzelnen Axiome wird bewiesen. (I 2.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q563078$80162DC3-8A9C-4D29-861D-60CD91FB5B8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90462ce5ad849c26ac66ca1e6b713a567f6025e7","datavalue":{"value":"2549163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q563078$ADD46FCA-BC92-4345-AD63-91CAD0D22E79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e898fefa0e2cc0cce455b4764b6fbdab7d01128","datavalue":{"value":{"entity-type":"item","numeric-id":1440807,"id":"Q1440807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q563078$0D38E734-D913-4441-B454-34A2FA526198","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":"Q563078$085C9A3D-5D03-4399-9A00-651142C0651D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1636cb68dd7b48740556c33914473f03727745b6","datavalue":{"value":"https://doi.org/10.1112/jlms/s1-7.3.179","type":"string"},"datatype":"url"},"type":"statement","id":"Q563078$633E315E-3A74-462C-B663-DF9206FEFA7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b8825337f43bf83951178d8e998ff03cf0b0b5c","datavalue":{"value":"W2077731791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q563078$451D4A1A-DBCA-4A87-8301-E7F4A62570C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6598acadf0d9456f91489694d01abd2acbb64769","datavalue":{"value":"10.1112/JLMS/S1-7.3.179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q563078$8D03EAEA-105D-43B2-B8F5-E58DE5BF9310","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axioms for arithmetic.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axioms_for_arithmetic."}}}}}