{"entities":{"Q335000":{"pageid":336767,"ns":120,"title":"Item:Q335000","lastrevid":77737730,"modified":"2026-05-06T09:57:27Z","type":"item","id":"Q335000","labels":{"en":{"language":"en","value":"Division by zero"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6646574"}},"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":"Q335000$50060412-AE39-4447-B2EC-BCFE796C5996","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"963bb8b6a5f12fe70c4c86ed05df8392d097cf7b","datavalue":{"value":{"text":"Division by zero","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q335000$899E343A-BC93-4647-861C-BC7DE4C71DD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3ace94a6b2cf864702e868bfeee9d0116cac57c","datavalue":{"value":"1362.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335000$C5966DD3-5A09-451D-A685-069EFB324706","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1376d5316fb71db1c6e9bf664dff79c67388b0d","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335000$FA10BD63-149F-4BA2-B3B0-DBCE067DC1A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335000$EFC8C71E-395A-45B8-9D02-F63D80D3DBDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1e889f7549615622ee2318a0d7c37075384a627","datavalue":{"value":{"time":"+2016-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q335000$7E5A3AD0-8CEC-4AE0-A989-A571DB7CED31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4403e15f3501d83b7bf3b67cf12d7cfa6a151f7b","datavalue":{"value":"https://arxiv.org/abs/1604.07309","type":"string"},"datatype":"url"},"type":"statement","id":"Q335000$475A78E1-F62C-4CC6-B670-E85818E45FBB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8bd77ddba951e7e45b921eea05c9429ee9be9481","datavalue":{"value":"For an arithmetic theory \\(T\\), the Diophantine problem for \\(T\\), \\(D_T\\), is to algorithmically decide whether a given Diophantine equation has a solution in a model of \\(T\\). By classical results, \\(D_T\\) is unsolvable for all theories \\(T\\) extending \\(I\\Delta_0+\\exp\\) and, by a result of \\textit{R. Kaye} [Ann. Pure Appl. Logic 61, No. 1--2, 63--73 (1993; Zbl 0790.03056)], for all theories extending parameter-free bounded universal induction.  In the present paper, the author shows that the Diophantine problem is solvable for Robinson's arithmetic \\(Q\\). The proof involves an axiomatization of the universal consequences of \\(Q\\) and a reduction of \\(D_Q\\) to the decision problem for equations of a particularly simple type. The reduction uses a ``black-hole'' model of \\(Q\\). In a black-hole model, there is a nonstandard element \\(\\infty\\), such that \\(\\infty +x=x+\\infty=x\\cdot \\infty\\) for all \\(x\\), \\(\\infty\\cdot x= \\infty\\) for all \\(x\\neq 0\\) and \\(0\\cdot\\infty =\\infty\\) (justifying the title of the paper). Furthermore, it is shown that \\(D_Q\\) is NP-complete. The proof uses a result of \\textit{K. L. Manders} and \\textit{L. Adleman} [J. Comput. Syst. Sci. 16, 168--184 (1978; Zbl 0369.68030)], who have shown that the decision problem for solvability in natural numbers of \\(x^2+ay-b=0\\), for binary \\(a\\) and \\(b\\), is NP-complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q335000$0771B6C5-9278-477D-BEBC-1D88360627D0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cc2fe705c7d582d4c8ad19b50ec74a3e6e0c8ae1","datavalue":{"value":{"entity-type":"item","numeric-id":384285,"id":"Q384285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335000$2E680430-87F4-4BCD-B1D7-88E150D5A688","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335000$EA5F9342-33A8-4EF9-99C4-2A6E0C600B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335000$61E727D5-7097-4F6D-86CC-D212F3972C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335000$82F17A68-6448-4FE1-9EF2-759C65C5147A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7159364c72406ed8cf5e397769f8304121a565a6","datavalue":{"value":"6646574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335000$417424F6-575C-4841-B308-F97AB447A203","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"111dfc4059931d82d563af3dc5f9d0640f3c44df","datavalue":{"value":"Robinson arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q335000$82250467-1F55-4BD5-ACB2-452D38FD50EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba4ccf56720c6cab3d62019be535766050a08cb8","datavalue":{"value":"Diophantine equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q335000$D42906E2-41F1-40F7-904C-3E979B3A8B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q335000$5BE09BE8-E6E4-4946-ADFF-E6068B827005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b44e1b783719f7508f73a2bfb0bf3e2d5f795a2","datavalue":{"value":"universal theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q335000$B2DEDBDF-B04B-48A3-BFE0-9436442D6F47","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eecff7672d98ddd92e9f59bf72dece031571efe6","datavalue":{"value":{"entity-type":"item","numeric-id":35496,"id":"Q35496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335000$D3A80CE3-8D44-4CC1-B016-A6D9006D0BD1","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":"Q335000$362930CA-D5A5-4E28-BACF-98D70DD92A70","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"387bd3e359b1ee9f9509f384c8898486f4d156b7","datavalue":{"value":"W2345122139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335000$B283660D-7AC7-4653-B209-E3BC55D54ACC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"624482bf4f4f5f2f3a61e8b3b57c19ff4498f411","datavalue":{"value":{"entity-type":"item","numeric-id":5341750,"id":"Q5341750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335000$B155FE63-D532-44F2-99ED-279C387F95E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb387af2127af639bd9b5b9c936b5040babdff3","datavalue":{"value":{"entity-type":"item","numeric-id":5347393,"id":"Q5347393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335000$D2FACF58-648D-4357-916C-F1B92856F9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b6e4157373fd58274a40973fa66ad7b141c13cd","datavalue":{"value":{"entity-type":"item","numeric-id":3962995,"id":"Q3962995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335000$B360B4AC-F4EA-4304-BF06-D8A9ED5213D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cfb9c72778590c7884c33e7e0a8fffcbceafd1b","datavalue":{"value":{"entity-type":"item","numeric-id":584258,"id":"Q584258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335000$02C547F4-6F02-47EB-80ED-C8F0C3649875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"022d4f6b8c6d4f50c10bf72b6a10a705af82dfa3","datavalue":{"value":{"entity-type":"item","numeric-id":685070,"id":"Q685070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335000$28DF25AE-BF58-4BB1-81DC-82493B50C11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335000$DAE2CCE1-2C73-4F8C-9186-CA12EA30C288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61723c3df80f3980ce5d1ecc4aefe9f7748f50f5","datavalue":{"value":{"entity-type":"item","numeric-id":1243130,"id":"Q1243130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335000$92EF8ECA-717F-4439-9017-3915466D7B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c50ca9afb18c2e0ae39cef5b2fc00b52befc80","datavalue":{"value":{"entity-type":"item","numeric-id":3481698,"id":"Q3481698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335000$6B136A2E-3053-4E3C-9896-3D2B83173B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea72613d2f5b40460bee7ae9815f8a8c4d3dff8d","datavalue":{"value":{"entity-type":"item","numeric-id":3915074,"id":"Q3915074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335000$038A73E0-BD8F-4DB4-A31E-3EDB16CF9512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2e6544055a463e29b1edc0f0cd876bf0a147b8","datavalue":{"value":{"entity-type":"item","numeric-id":3895478,"id":"Q3895478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q335000$B670B397-9C42-410B-894F-1BF7662C264A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a60bf9b3fa56fb13f901bfb4b230fbbd7e0083f6","datavalue":{"value":"10.1007/S00153-016-0508-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q335000$7DA82C1C-66F3-4D27-B1E6-3EFB17B752FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f091b161a332fae3d762a54f5aaddfe8c08bb60","datavalue":{"value":{"entity-type":"item","numeric-id":3705450,"id":"Q3705450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39097b86a06655eb00ee8b85aa61167f6645ec2d","datavalue":{"value":{"amount":"+0.7558627724647522","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":"Q335000$ACA55D01-7475-40AF-84B6-4AAAC3E8DD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64d7148f1db14a56b240e62b80fbb5edb6e33b25","datavalue":{"value":{"entity-type":"item","numeric-id":5359580,"id":"Q5359580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f2e3c62306cb2d61f918d67f20e508e9e29795","datavalue":{"value":{"amount":"+0.7443521618843079","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":"Q335000$8CBEF508-E330-4B94-8101-97D6D08BA56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab43416930a5256ce383e999a3ef9810ce8b6d2c","datavalue":{"value":{"entity-type":"item","numeric-id":2253864,"id":"Q2253864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1162316e727e7a21ad84dcecda43fa6dd751abd","datavalue":{"value":{"amount":"+0.729499876499176","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":"Q335000$077078D4-C35B-4DA5-820B-96865DAD273E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36b2f0413bd9cc422deede5eea01b7c6d58254b","datavalue":{"value":{"entity-type":"item","numeric-id":1112811,"id":"Q1112811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71295b4d26fdc23003c34a8861e7ae75a3ae8861","datavalue":{"value":{"amount":"+0.7224960327148438","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":"Q335000$8CB74841-A403-40B9-BECA-83E8289EC71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41a5408d572d7203dd1dc79c91424c859e774765","datavalue":{"value":{"entity-type":"item","numeric-id":3765772,"id":"Q3765772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539b27f30e09a132ed7cd4123cfda177e8f04f27","datavalue":{"value":{"amount":"+0.7202829122543335","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":"Q335000$F0C36284-8A11-400D-85C6-F24BF99437EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Division by zero","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Division_by_zero"}}}}}