{"entities":{"Q1825869":{"pageid":1836611,"ns":120,"title":"Item:Q1825869","lastrevid":73639164,"modified":"2026-04-14T16:45:17Z","type":"item","id":"Q1825869","labels":{"en":{"language":"en","value":"Contribution \u00e0 l'\u00e9tude d'une conjecture de th\u00e9orie des nombres par le codage ZBV. (Contribution to the study of a conjecture of number theory by ZBV coding)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4121990"}},"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":"Q1825869$9801A89C-2427-4F49-A246-64BD935ABB86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2963aecece9c40e46cde4c4bf935c48170078007","datavalue":{"value":{"text":"Contribution \u00e0 l'\u00e9tude d'une conjecture de th\u00e9orie des nombres par le codage ZBV. (Contribution to the study of a conjecture of number theory by ZBV coding)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1825869$DE84CF30-FF11-442B-A8E4-3D24AC1AE0D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad0f87a3c1470a0e9847895c80bbcbf44efa73ea","datavalue":{"value":"0685.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825869$F1E3A93E-A21C-449C-9A11-3F0E7240CD8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f271b5c5ead0d5762c99c9faaec33d9274cc34d","datavalue":{"value":{"entity-type":"item","numeric-id":235588,"id":"Q235588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825869$7943D62B-0DA2-447B-B6E5-43C881B67651","rank":"normal"},{"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":"Q1825869$FF0CCBD2-2510-47B3-8255-072CBAE72B14","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"190f08128b991df2a0ad2bbf0d84e95f751f56d1","datavalue":{"value":{"entity-type":"item","numeric-id":246266,"id":"Q246266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825869$BE2C234B-FF15-44F2-8A52-53D64DC368CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1825869$26E9CB89-0115-4725-9BE1-5614986CABE0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6d9e8d30523c469f6385631c5a7aa39fad762514","datavalue":{"value":"The paper is devoted to the problem formulated by \\textit{J. Robinson} in ``Definability and decision problems in arithmetic'' [J. Symb. Logic 14, 98-114 (1949; Zbl 0034.008)]: can the first order arithmetic of natural numbers be defined in terms of the successor function S and the coprimeness relation \\(\\perp\\). There are several results of J. Robinson and D. Richard, respectively, which show that the arithmetic is definable in terms of S, \\(\\perp\\) and one of the following relations: \\(x<y\\); \\(x+y=z\\); \\(x| y\\); \\(x\\times y=z\\), \\(y=m^ x\\) (for any fixed \\(m\\geq 2)\\). It turns out that the question of J. Robinson is connected with some open problems in number theory. The aim of the reviewed paper is to present some results from number theory which can be useful to develop methods relevant to mathematical logic, to give a survey of results concerning arithmetical definability and to show that there are more relations which together with S and \\(\\perp\\) suffice to define arithmetic, namely RES(x,y), which means that p is prime and x is a quadratic residue modulo p, and POW(y,x), meaning that y is a power of x, as well as weak restrictions of addition, multiplication and division.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825869$D77035D5-B105-48BF-8E11-CCF3CBE734D3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c45938d3b1c1a5c68183caabb02f42934d9ff682","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825869$03E2045B-263D-44E7-B619-14D5757350B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825869$FF83A910-39F0-4528-B246-7EEDDA022353","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13f6d291f7e371032314ecefb5e7f7af82e9e25a","datavalue":{"value":"4121990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825869$645ED305-4658-4FDD-9C2C-FF3CBA10A859","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0e1ddc33170101c405691f2c6c8b84b4b5d0fd","datavalue":{"value":"Robinson problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825869$22993507-0A58-460E-B60B-573F25F89164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ddc84d0bd7587c2bd86897b4a6314bdd2914d19","datavalue":{"value":"coding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825869$91A8A69F-EEDB-477D-BEED-87BA7863C221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbb021abbe8c6ef3394f204036f5f27fd915ba47","datavalue":{"value":"coprimeness relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825869$34533A0A-E1A4-41A8-9C7C-DF646CBB4FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"419ef25c0efa8413763a9f77b3af4f5d4083c705","datavalue":{"value":"arithmetical definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825869$A7E01DF6-0328-43E2-9881-39A9260C8542","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":"Q1825869$34EB619E-665E-4E03-BB25-5349873895AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601d854961b175ad91d2c12dc6ab25232a5a39c0","datavalue":{"value":{"entity-type":"item","numeric-id":3714077,"id":"Q3714077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59239b9a6d0b3a3e8daadd728351d94d7bbc28bc","datavalue":{"value":{"amount":"+0.85959995","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":"Q1825869$06BFF0AD-E805-461F-A2CC-9DB6F502B8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5bf130b92c8150f46f4703df86eed1301665eb","datavalue":{"value":{"entity-type":"item","numeric-id":3834042,"id":"Q3834042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e60e58f01ce9327051120cc1bf0f94ee18eb2133","datavalue":{"value":{"amount":"+0.8386961","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":"Q1825869$86BA5226-7E49-42CA-BE61-94841FE6C7F2","rank":"normal"},{"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":"494f923985aa4985113423be0aac24e5b5255266","datavalue":{"value":{"amount":"+0.8255755","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":"Q1825869$DB4467AD-6654-4CAB-ACFA-DAECB8776ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d395544b73b4901e1a992bb0d88608b0304433","datavalue":{"value":{"entity-type":"item","numeric-id":4735188,"id":"Q4735188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91b6bc2ae0479c94f4031ec152971ea5864fcd2a","datavalue":{"value":{"amount":"+0.77950907","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":"Q1825869$8C4A643A-B263-436B-8D27-982CA2F7D6D8","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":"cddc441db2d3a38293ca6d77899b6dcef453d141","datavalue":{"value":{"amount":"+0.7579893","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":"Q1825869$A0E71991-C55D-4CF3-BD2C-F92B36CE0E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d27b5bd94db008d186559cd2e75bc3cc451080cf","datavalue":{"value":{"entity-type":"item","numeric-id":3478404,"id":"Q3478404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ffcc3a0c9ae16d786d609ddb618d8377975572","datavalue":{"value":{"amount":"+0.7559658","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":"Q1825869$F50214FE-69AF-4B26-98A4-34EA34F48EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3d37ed91e1129ed5b6e51d7ac4798c14ef02977","datavalue":{"value":{"entity-type":"item","numeric-id":3218118,"id":"Q3218118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049a78b5ee302d43f03048aad4d1774b4a70bf20","datavalue":{"value":{"amount":"+0.75134254","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":"Q1825869$F2A6198B-C48B-4BAF-847E-6A3760E5E7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f565976a5896d10dc0c206d2ac6ef6030ee6a905","datavalue":{"value":{"entity-type":"item","numeric-id":4717487,"id":"Q4717487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f8e26c5c35c3172bd8ba03ece213e5e7a343a32","datavalue":{"value":{"amount":"+0.74485344","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":"Q1825869$96D5D4FF-95AE-41D0-9509-630BC0711887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86aff6a8e48ee08413870b81d858235ff3b985e8","datavalue":{"value":{"entity-type":"item","numeric-id":3981173,"id":"Q3981173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe6a57aa3b24335e0b3a98499c4a5e5dc852e89f","datavalue":{"value":{"amount":"+0.7332366","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":"Q1825869$3E5B430C-1D04-4E40-932E-9A205775896A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f483a42635f94df3640d47d551eff4a1eba8e65","datavalue":{"value":{"entity-type":"item","numeric-id":2266708,"id":"Q2266708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"929097db353cae40d6982cd936e701e8f5431e45","datavalue":{"value":{"amount":"+0.7284661","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":"Q1825869$00A1D458-D7B3-4478-B802-36E004E79BB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Contribution \u00e0 l'\u00e9tude d'une conjecture de th\u00e9orie des nombres par le codage ZBV. (Contribution to the study of a conjecture of number theory by ZBV coding)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Contribution_%C3%A0_l%27%C3%A9tude_d%27une_conjecture_de_th%C3%A9orie_des_nombres_par_le_codage_ZBV._(Contribution_to_the_study_of_a_conjecture_of_number_theory_by_ZBV_coding)"}}}}}