{"entities":{"Q3752366":{"pageid":5782272,"ns":120,"title":"Item:Q3752366","lastrevid":81149549,"modified":"2026-05-06T17:50:54Z","type":"item","id":"Q3752366","labels":{"en":{"language":"en","value":"Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3989323"}},"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":"Q3752366$23BF35FF-6AAF-4F0B-90CE-D783FC18C6A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f43642398b6f53c3093c678549e9541894ba5f06","datavalue":{"value":{"text":"Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3752366$CEDDBBCA-DFE3-4324-8DF4-F7B6435B219C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3852376fdd03161d900c2b113ac240ef2002a50b","datavalue":{"value":"0612.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752366$F09FA278-CFA0-4130-9FB3-DB688A753E7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a77ece1eb53a9c4a726d3ef63f5c4d3d05a937d1","datavalue":{"value":"10.2307/2273981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752366$49DA2BA8-B96D-41EB-9103-1ADF6252E1C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752366$2F53A007-176C-4A28-940A-1CD43B43800B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3752366$BEF68295-2D95-41FF-B310-AFB41C3B4357","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752366$E170269A-C498-466D-9A95-495461141AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752366$D3121D99-8A4E-49CC-BC80-E7A163976B61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7dd3024221f0d4aad2835bfb9aca95b412a42a9","datavalue":{"value":"3989323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752366$D183C200-5289-464E-978F-0B47BAC714ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a2a2f13b144d17aa526424344cabaedad1b996","datavalue":{"value":"arbitrary integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3752366$4CC8EC3D-2B51-436E-AEB6-AF66DD5A3572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00963354a89fc76eb572f4e90ba27813f55ae173","datavalue":{"value":"successor function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3752366$2022C50C-0993-48C5-B547-BBA6380A67E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b194623b94c68e817528a2366db86f33f73962","datavalue":{"value":"divisibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q3752366$C150B218-63C9-434F-B6DE-B1D2FA824368","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bd3332221caea6d47c524c4ab128bd0030b6f84","datavalue":{"value":{"entity-type":"item","numeric-id":1401350,"id":"Q1401350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752366$4EDCD7DA-1585-48AF-AC55-80ABBCFBB1A5","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":"Q3752366$E6EC5A8F-4D72-454A-B49A-E1AFB7B5AE56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86398c5750dcbc6ef2fc58350db38f6e9aa5bb5c","datavalue":{"value":"https://doi.org/10.2307/2273981","type":"string"},"datatype":"url"},"type":"statement","id":"Q3752366$3DD0360A-FF56-495B-B4EC-8DBB809AABD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"181d03966d922d15b009a8c4178943c3047a6b77","datavalue":{"value":"W2076691615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752366$29BBD9D8-656A-4052-836C-6AED61EEBAFB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752366$9EE92465-7A94-46E5-840A-F8450E1EA66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85c59112e7eab2f7d0b0e1b68a9ad029b990139","datavalue":{"value":{"entity-type":"item","numeric-id":3312174,"id":"Q3312174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752366$90D0813A-C78F-4233-8624-1FE4D5F638C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be156d9810b97fc2fa97349425dd32c263bb9228","datavalue":{"value":{"entity-type":"item","numeric-id":3701419,"id":"Q3701419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b1efa58a56f7f2323eba4ea08344cedc05039b9","datavalue":{"value":{"amount":"+0.8182728290557861","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":"Q3752366$9A82A256-6CF2-4A9B-B4E9-F4B169F6BD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a1393afe6aab5d2582d6724d7c04a2f177332f","datavalue":{"value":{"entity-type":"item","numeric-id":3768866,"id":"Q3768866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"201fc4281c84deb4d2eb238f82d440bedac715c4","datavalue":{"value":{"amount":"+0.8147912621498108","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":"Q3752366$B05A6C52-7FCE-424E-BF15-287A4CE37721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"963a19f13d91958bcebdc03d1783a05ed96a35a4","datavalue":{"value":{"entity-type":"item","numeric-id":1825869,"id":"Q1825869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49c4e1013c3a5b14b664381de61fbf7b24d9c9b","datavalue":{"value":{"amount":"+0.8024776577949524","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":"Q3752366$0E145FDC-BB11-43C9-BDD3-322CC326C128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f7702578785a543f2b7b2de15c75cd1f8db16e9","datavalue":{"value":{"entity-type":"item","numeric-id":4894724,"id":"Q4894724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40cb69f6d663cf8e048d33f029470412500a47b","datavalue":{"value":{"amount":"+0.8023831844329834","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":"Q3752366$FE487EE9-3E67-4B1D-9754-638FA6D81AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55f7f8baa4e6c1b9595f61fbff5803355cd53c51","datavalue":{"value":{"entity-type":"item","numeric-id":4353517,"id":"Q4353517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40cb69f6d663cf8e048d33f029470412500a47b","datavalue":{"value":{"amount":"+0.8023831844329834","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":"Q3752366$BC771132-1898-42E5-BEB5-71673810DEB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility","badges":[]}}}}}