{"entities":{"Q504325":{"pageid":506092,"ns":120,"title":"Item:Q504325","lastrevid":62326341,"modified":"2026-04-11T05:19:46Z","type":"item","id":"Q504325","labels":{"en":{"language":"en","value":"Proper divisibility in computable rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6674998"}},"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":"Q504325$4BDA4185-FC79-49E9-B814-E1A4178E22E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bf255ac662094bdd3ba78be61f5d1b893bac03a","datavalue":{"value":{"text":"Proper divisibility in computable rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q504325$11E1A5AE-8252-49A2-80EA-D41E5057A141","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cff57c4b5823c8cb3bc35dedf30da2eb758af445","datavalue":{"value":"1370.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504325$FBC80D9C-9455-461D-B68E-BC560C996404","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8aa819e8a26b7e07cf0d79026024c3692da5103","datavalue":{"value":{"entity-type":"item","numeric-id":277527,"id":"Q277527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$2DA31D34-4363-4003-A90F-44DFDCE701BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b8fb275d6a3d8cfdde181b925438d0d0df66776","datavalue":{"value":{"entity-type":"item","numeric-id":306576,"id":"Q306576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$6960E0DE-C18E-4DD9-A831-A2588B9715D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$3BEC3B55-9CB3-4F89-AAEE-9CA37F581AAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2eb662ea7cb47cef32ba8c44ae1bbc7101d3603f","datavalue":{"value":{"time":"+2017-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q504325$5AC51B8C-C0CD-4961-93F0-73AB185F0A97","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3ac6e883a4732b4400db40c87d8396b76f3de841","datavalue":{"value":"The authors analyze results of ring theory from the viewpoints of reverse mathematics and computability theory. Let A denote the statement: An integral domain \\(R\\) is a unique factorization domain if and only if every irreducible element of \\(R\\) is prime and the divisibility relation in \\(R\\) is well-founded. Let B denote the statement: If \\(R\\) is an integral domain with a well-founded divisibility relation then every element of \\(R\\) is the product of irreducible elements. The authors prove that both A and B are equivalent to \\(\\text{ACA}_0\\) over the base system \\(\\text{RCA}_0\\).  The authors also prove the following computability theoretic bounds. There is a computable non-atomic integral domain \\(R\\) such that every infinite chain of proper divisibility in \\(R\\) computes \\({\\emptyset}^\\prime\\). There is a computable non-atomic integral domain such that \\({\\emptyset}^\\prime\\) does not compute any infinite chain of proper divisibility in \\(R\\). The central proof technique involves coding \\(\\Sigma^0_2\\) binary trees into computable integral domains.  Other articles on computable ring theory of the last decade include [\\textit{C. J. Conidis}, Trans. Am. Math. Soc. 362, No. 12, 6523--6550 (2010; Zbl 1215.03017); \\textit{R. G. Downey} and \\textit{A. M. Kach}, Notre Dame J. Formal Logic 52, No. 2, 163--172 (2011; Zbl 1260.03082); \\textit{R. G. Downey} et al., J. Algebra 314, No. 2, 872--887 (2007; Zbl 1127.03037); \\textit{D. Dzhafarov} and \\textit{J. Mileti}, ``The complexity of primes in computable UFDs'', Notre Dame J. Formal Logic (to appear)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q504325$EC8F5693-6EBA-4458-80A4-CBD71F5F9CE2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$0B2B789A-4959-4BE0-8928-BCCC101B3F35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504325$1E3E32EB-D87D-4724-A4D7-E4E02F481E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504325$0A218C42-42DE-4118-A4EF-48426757DFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"803cbb00fdaed08c751adcfee80dc26380b8374a","datavalue":{"value":"13G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504325$28767B28-395F-43AE-AB0D-E4076A2748C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504325$1CDC092E-BDBD-4181-A864-1C3C8CFC5CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73b2ef8e32473163b77e8efb00d81b04828ecc5b","datavalue":{"value":"16U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504325$E403BFD1-B9D2-4C10-A9E9-000390E970F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504325$17E00350-4ADE-40D0-83C2-9E657049A9B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce1a503abf7b4ff7d8ad7a6fb2c9da5f14373575","datavalue":{"value":"6674998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504325$B997F64A-978E-4E0A-9A59-264ED5D25BEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d70f6740737120ce6ad585b0d78a77079af4474","datavalue":{"value":"constructive (effective) algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q504325$D12AB619-D438-4969-93CB-24E662BFA930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q504325$E85FF64A-177B-40D9-AA04-745D89410CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f00c90706208eebd5c4d4de2f2cb146d407695c7","datavalue":{"value":"integral domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q504325$F2D20181-6581-42B3-9309-9E46E618A0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e23ae50adcd0d004a788b012b9dc00469ca8bd4e","datavalue":{"value":"ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q504325$E88BD0D4-E408-420B-A85F-203BF12CE541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86490afe1a240b7b6317d8185559b6e431b043f7","datavalue":{"value":"integral domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q504325$01AEF739-E0EF-42DE-8768-133F2BD1BA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f8e43d2e201a84a3dac4452eb2b65b874b151e5","datavalue":{"value":"unique factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q504325$7E702957-CD21-4B7B-855B-2CC8324D43CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55f70a906812eb111787c5f5079c1393e69e3339","datavalue":{"value":"UFD","type":"string"},"datatype":"string"},"type":"statement","id":"Q504325$C40E39D8-3D87-48D9-A0FD-88CFA3E5D331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51327d0c1d74b6af0f5d7047a69ad1d7e6fd6d9e","datavalue":{"value":"ACCP","type":"string"},"datatype":"string"},"type":"statement","id":"Q504325$33C15ADE-A159-412B-8212-C821FCFCDD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3606e98d1b795de1aa6cd5479247c5c3cf1984d4","datavalue":{"value":"divisibility relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q504325$6A084C4C-860C-4621-B6B4-4A5B6CC695D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q504325$8BD2AA6A-BC8A-4A20-AFBA-177A1B6B75F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be5420360547d7dba58123c440875c88e9f6ddc6","datavalue":{"value":"computable ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q504325$F9539D28-1EC2-47C9-ACCD-F89FE0989D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"461d39200e573b893247f72bc707a68f4eb77ea1","datavalue":{"value":"ACA","type":"string"},"datatype":"string"},"type":"statement","id":"Q504325$2EC64FA5-D4DA-4578-B466-98CAA10DAC6D","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":"Q504325$9309F8AE-36E3-417B-8557-1C3F69245482","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"148ec07484b7e408997fc624a2f7d8e9421f8105","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2016.11.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q504325$3DBBECD2-0EBA-4E97-9832-BE2ADFB18DAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c052b5551f83678f2cf253ba3e636d33d8f06c7d","datavalue":{"value":"W2555592914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504325$989ABD4B-FA5C-4D31-A1AD-61493E467218","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8064cee8e666f038fb13f8651c51f0d007297240","datavalue":{"value":{"entity-type":"item","numeric-id":4899162,"id":"Q4899162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$1E68ABD5-1671-4FD0-BB58-4459638F366B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$7D4518C1-E758-4D87-8336-32A0212B25A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee4bfef9efb890f89567f3feb8d1623cbc50309","datavalue":{"value":{"entity-type":"item","numeric-id":3065750,"id":"Q3065750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$6F970B28-C8DA-4F2C-82D5-A013221DF2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20432f90264ad5f76ab8f1cc889a7149703c7ac1","datavalue":{"value":{"entity-type":"item","numeric-id":1434763,"id":"Q1434763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$21D297E7-F0E6-40F8-A4BD-7DCF196846C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa75906de54c6a55ea441a47c6847c5560c52569","datavalue":{"value":{"entity-type":"item","numeric-id":2941047,"id":"Q2941047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$10ACF591-1135-4231-84D3-40DA9039C114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab60416a88da38b1bd5da764f3e792af97c6fbf","datavalue":{"value":{"entity-type":"item","numeric-id":540403,"id":"Q540403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$D2E1BBC1-DFA4-4D0C-BC3D-57412FBA5BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53acb1af1bb11e4cf2a4874d904ca722243841a1","datavalue":{"value":{"entity-type":"item","numeric-id":2456205,"id":"Q2456205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$DEEC70FE-C398-45F1-A8B8-4F93A946701E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c56174a70aff64badc2b7e54d9bb0130e9ddf27","datavalue":{"value":{"entity-type":"item","numeric-id":4956005,"id":"Q4956005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$DAEB3870-EDF9-472E-9A4E-57341DBE8546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee85f15db819554c5cddfac8ba3f64f52efb0bd","datavalue":{"value":{"entity-type":"item","numeric-id":3958432,"id":"Q3958432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$978C5BA2-70F3-462B-B29E-C8352B673945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c45866e6366266fc85213b2eb8d896f6640763","datavalue":{"value":{"entity-type":"item","numeric-id":1063593,"id":"Q1063593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$306D0DCC-75BB-449B-897E-81C311A9C0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c13d8c4f9b6f2d65debfe54d1f367b84b9c0238f","datavalue":{"value":{"entity-type":"item","numeric-id":3231245,"id":"Q3231245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$8C51EC1C-EC94-4342-8F28-4A4C5C894D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef892522a12b4e94fb984c322cd147868bc1a3e1","datavalue":{"value":{"entity-type":"item","numeric-id":3130249,"id":"Q3130249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$B34246CF-3074-4FC5-A5AC-64D27C6A3A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c66dea181f12fed2a9e1944aa5b0dacafe5ff73","datavalue":{"value":{"entity-type":"item","numeric-id":4773810,"id":"Q4773810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$E919C18D-45F4-4279-AF1A-F6F81E1514AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6426d070826c71b8b2d2ea6a85844613d9ec3026","datavalue":{"value":{"entity-type":"item","numeric-id":4249727,"id":"Q4249727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$0930257A-363C-4935-A9E2-B140FAE07D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3e97b26002280f9f809ba5748da7ac804b97361","datavalue":{"value":{"entity-type":"item","numeric-id":5338325,"id":"Q5338325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$C130E3B2-C893-4752-AF8C-C1B8A0030D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04a3bc595453799a95815c19e73d118fa61795f8","datavalue":{"value":{"entity-type":"item","numeric-id":4170711,"id":"Q4170711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$8AC46ED1-F772-4955-9341-EF267BE2A915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c662d813b1e9eefb532df071ece3cc094fe82f0","datavalue":{"value":{"entity-type":"item","numeric-id":3922662,"id":"Q3922662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$12148A39-973F-43DC-BDAC-B8B4C4DBADCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4db5ffeb73caddf7a3eccf976d95554c76b1dce0","datavalue":{"value":{"entity-type":"item","numeric-id":4749832,"id":"Q4749832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$1FEE7AF4-3084-40DF-9C43-9F6A26D0C572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360cc14210d040c82c3fb8482fcff4a97cc7c9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5537373,"id":"Q5537373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$837A26AF-0606-4078-9D6C-4490AC366EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$158D5194-7D97-4220-9D97-8C08FCB2B311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"165617d1fbb58486b185753302fcab0205478fab","datavalue":{"value":{"entity-type":"item","numeric-id":1062977,"id":"Q1062977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$BC861A9A-7FE1-4A8E-90D7-652F505D813A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$C39028E2-FC2F-461A-BF95-821B2114C614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$C505FC94-BDC7-4CB8-95D6-26BAD3CB8A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5d36a6baba7695a81df25689221d02b4ae15ee","datavalue":{"value":{"entity-type":"item","numeric-id":5808440,"id":"Q5808440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$BF307B58-6BF1-479C-B15B-737AD0A29D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c010a7f2937ccbc804d7a6eb403758e4b3b4eb36","datavalue":{"value":{"entity-type":"item","numeric-id":4934287,"id":"Q4934287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504325$7AAC6387-8742-4D17-BFEE-6BBB2028D521","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbdc278b6fadfe6d74dcfa72d1dbfd806c65edd9","datavalue":{"value":"10.1016/J.JALGEBRA.2016.11.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504325$5F80132A-9959-4C02-A024-17CBB4B75C1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"294a75a79e7271d1db9b5cb2231c83581f085024","datavalue":{"value":{"entity-type":"item","numeric-id":3115350,"id":"Q3115350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"889c8078b6a68af26ba3d7319f97c1bf6d366858","datavalue":{"value":{"amount":"+0.7340113520622253","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":"Q504325$5CE0B77C-7A1A-4027-85EB-833D133B69D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ade08d9fa69ff8e2c3141c03b380b8ebab58724","datavalue":{"value":{"entity-type":"item","numeric-id":2456205,"id":"Q2456205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ea222eb0c94a93afa5c950be17a99ef57555aca","datavalue":{"value":{"amount":"+0.7248377799987793","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":"Q504325$29C41FDB-335A-40BA-BE75-1EF92007904F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7fe93e3d67a98c16d91b31bbcc0e9d21812ed48","datavalue":{"value":{"entity-type":"item","numeric-id":2970963,"id":"Q2970963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0321e9cc1218dad5edddd321103fdec5f7d908","datavalue":{"value":{"amount":"+0.715058445930481","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":"Q504325$9582001F-BEF2-4B43-8FC1-B8E80ACEA07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a358c60ea76a859cd4023ce47a6c377074bdbc61","datavalue":{"value":{"entity-type":"item","numeric-id":4459597,"id":"Q4459597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"297f2fb2ba50fc5ee1101d40c22d7e9577d2f256","datavalue":{"value":{"amount":"+0.7139532566070557","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":"Q504325$5CC43758-A10B-4E4B-A46F-D3CD7357EA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d153fbf199c81ac32d7c8a4e27f176f03f99af7","datavalue":{"value":{"entity-type":"item","numeric-id":1750293,"id":"Q1750293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d3144d9eaeb72383ec38e25491dd0656a10160a","datavalue":{"value":{"amount":"+0.7102243304252625","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":"Q504325$6AE69328-A877-4AB3-B1FF-3E62F16571DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proper divisibility in computable rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proper_divisibility_in_computable_rings"}}}}}