{"entities":{"Q998307":{"pageid":1000155,"ns":120,"title":"Item:Q998307","lastrevid":65827737,"modified":"2026-04-12T05:38:27Z","type":"item","id":"Q998307","labels":{"en":{"language":"en","value":"Arithmetic of Dedekind cuts of ordered abelian groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5499723"}},"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":"Q998307$9DDCB37A-756C-4C79-98C6-10701468D671","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20428c6fb44394f1e4e41b9786ac5e7aa1adf291","datavalue":{"value":{"text":"Arithmetic of Dedekind cuts of ordered abelian groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q998307$DA11A296-B618-4887-B465-5005DE45A31D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e37a99d5d0193344df677c37d6247beb57d99af7","datavalue":{"value":"1163.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998307$D4B0A8FF-94CA-4DA3-B033-E48380E3126F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a37e4580e7c2c2112bcae252534e467de5f63583","datavalue":{"value":{"entity-type":"item","numeric-id":351836,"id":"Q351836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998307$E47D35D9-4766-434B-AA26-5F37CE18CDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86b017da9786c8804ad7b41a1ae4778ce957e3fd","datavalue":{"value":{"entity-type":"item","numeric-id":361792,"id":"Q361792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998307$8FBAD607-EE25-4FE6-A1F8-0F4E97D18C66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998307$A1739AA1-0901-46F2-948C-605204B35155","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"770c4d910c97da4ff20bd341646b3183fc682988","datavalue":{"value":{"time":"+2009-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q998307$13E94E14-AE99-4DC0-BB81-2277FB478E99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09e6590bd9242889c1f05663ad20f1e3256f2111","datavalue":{"value":"https://arxiv.org/abs/math/0612235","type":"string"},"datatype":"url"},"type":"statement","id":"Q998307$7F96B65B-8874-4ACC-8253-12762476DA8D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"713b30379bbc1472c82464fcda466c249d865f2d","datavalue":{"value":"This is substantial paper devoted to a systematic study of the algebraic structure of Dedekind cuts in ordered abelian groups. Let \\(\\check{G}\\) be the collection of cuts of such a group \\(G\\). \\(\\check{G}\\) has a naturally defined ordering and the unary minus operation, it also has two closely related additions \\(+\\) (left addition) and \\(+^R\\) (right addition). Each of the additions is definable from each other and the minus operation. Thus, \\(\\check{G}\\) is an \\(\\mathcal L\\)-structure with a signature \\((\\leq, {\\mathbf 0}, +,-)\\), where \\({\\mathbf 0}\\) is a constant representing the cut \\(((-\\infty,0],(0,+\\infty))\\). An \\(\\mathcal L\\)-structure \\(M\\) is called a pre-dom if \\((M,\\leq, {\\mathbf 0},+,-)\\) is an abelian monoid with neutral element \\({\\mathbf 0}\\), and \\(-:M\\rightarrow M\\) is an anti-automorphism of \\(\\leq\\). For \\(x,y\\in M\\): \\(x-y:=-((-x)+y)\\), \\(\\delta:=- {\\mathbf 0}\\), \\(\\widehat{x}:=x-x\\), and \\(|x|:=\\max(x,-x)\\). The element \\(\\widehat{x}\\) is called the width of \\(x\\). The concept of width turns out to be of fundamental importance.  A pre-dom \\(M\\) is called a dom (double ordered monoid) if, in addition, \\(M\\) satisfies: \\(\\delta\\geq {\\mathbf 0}\\), \\(|x|\\geq {\\mathbf 0}\\), and \\(x\\geq y\\) iff \\(x-y\\geq {\\mathbf 0}\\). The main theorem says that the universal part of the first-order theory of cuts of ordered abelian groups is axiomatized by the axioms for doms together with the additional axiom \\(- {\\mathbf 0}< {\\mathbf 0}\\). It follows that each dom is a substructure of \\(\\check{G}\\) or \\(\\widetilde{G}\\), for some abelian ordered group \\(G\\), where \\(\\widetilde{G}\\) is the disjoint union of \\(G\\) and \\(\\check{G}\\) with the operations suitably extended.   Other sections of the paper contain various constructions on groups which are useful in the study of doms, results on independence of the dom axioms, and on alternative axiomatisations. The last section is devoted to a generalization of concepts of the valuation theory from ordered abelian groups to doms.  The paper concludes with a list of open problems concerning axiomatizability and decidability in doms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q998307$6DE0A002-C44F-41E7-96AE-F3031DD9477E","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":"Q998307$9155929C-FC7A-423D-9C27-DC89F535BD30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998307$C1C9F06F-615C-424B-BD62-4DD6F8384E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998307$8E6FDAB6-F3BA-4D43-B848-4D0ACCEF5ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998307$D0E3D8D4-2C8D-484C-B694-A3D78C554525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998307$B66435DA-DA34-4C58-8021-E1EE7F94D88E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8284c115f094176617689202e25c7c10ac37140b","datavalue":{"value":"5499723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998307$482A62BB-CC48-4D62-BA28-D7CF99E00790","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62c9e5f9e9d62ac5bb09dcc01c1b820815a19f7d","datavalue":{"value":"Dedekind cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q998307$DB1491C9-0448-4FCA-B882-0CCD270126C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ce0fa93bc1d9b284e79a57251375837a03b3902","datavalue":{"value":"dom","type":"string"},"datatype":"string"},"type":"statement","id":"Q998307$F3C95B06-08AE-4D33-9CDA-82CF84D696AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49ab8deff90d48e368f38c495a0bf6ef3e84447","datavalue":{"value":"ordered abelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q998307$65262478-FE78-44EE-A679-1BF89DF5BE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3ae555ca33fbec049477c3960d70dd486bd9e84","datavalue":{"value":"double ordered monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q998307$1C1E5B88-AE17-45B2-803E-8762ACACFF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ee43a78b12a51303a85b44b6b4f142d7c46372e","datavalue":{"value":"valuation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q998307$CA731580-7C1C-4AE9-931C-23A932BC0D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b969c24aca7881375f285e18f5262c9a0f20d3a","datavalue":{"value":"axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q998307$AED7C512-9B71-42C3-839B-60220982ECEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q998307$BD3DB5A1-7CE9-46B6-AA3F-CE890742E718","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":"Q998307$FC740804-04DB-4B9B-A4B8-680D55019BF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecfc6ceefda6c5f0ca2a1f9467af02315b07c8b5","datavalue":{"value":"W2041915828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998307$EA5B1D57-0D3A-4451-B00A-70DF8DB5E817","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f59e89826bb6969829727a004fcf1f9feae4a0","datavalue":{"value":{"entity-type":"item","numeric-id":4093433,"id":"Q4093433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998307$D5A3B101-E303-49F9-A716-5F2BC1CB864F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998307$CB49B484-D99B-40F6-9DED-8C7B3D8CFBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1b01df477d0a82aea8de12ee8d4162e0af3ceb","datavalue":{"value":{"entity-type":"item","numeric-id":5795139,"id":"Q5795139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998307$8D100035-90D8-440C-B527-53C74A828B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998307$F5635327-07A3-41EB-97B9-A5E0F5C057D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b4f955c6348ce87baacf5add332a6fb0725124","datavalue":{"value":{"entity-type":"item","numeric-id":5609457,"id":"Q5609457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998307$E5538B4E-FE58-4576-9C7E-4CDBDB600FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f34a091c9005b1023353a24a0298ced14d6fdf","datavalue":{"value":{"entity-type":"item","numeric-id":761453,"id":"Q761453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998307$2B05CC09-E795-407B-96A7-35FC5EDD490E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998307$16C54E04-059A-4598-AAE5-7DD43FFADC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1d2a8e7ebae717c00c54c575e3046d52d606ae","datavalue":{"value":{"entity-type":"item","numeric-id":3148487,"id":"Q3148487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998307$7A6D2447-57B0-43C0-9303-D20BE2595767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e046aa7e9f6ec2baf509acf67276e43a48c52f","datavalue":{"value":{"entity-type":"item","numeric-id":5582321,"id":"Q5582321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998307$B74B6A2A-52F0-4EE1-A816-84A875405849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69dfedd8f8ec0c2d16595ee893e263871d5f45e","datavalue":{"value":{"entity-type":"item","numeric-id":3370753,"id":"Q3370753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998307$051ACB89-D1F5-470D-B8AC-958741E5AD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f8f84ef03e51a9eea9c2c2bc46793a9200924a5","datavalue":{"value":{"entity-type":"item","numeric-id":1920011,"id":"Q1920011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q998307$23788540-15BD-46E4-A0F8-CC6CC47B8ED7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd26d4ef90bb5faaa39a0840a1d495485b2b13ef","datavalue":{"value":"10.1016/J.APAL.2008.05.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q998307$3B460968-8009-46D9-9FCF-F8C371596881","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c5bc4a48227dcad35d33e9dc17730ef200a0406","datavalue":{"value":{"entity-type":"item","numeric-id":1272102,"id":"Q1272102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7870e5388f1089fcfcf636cf1890266dc1139b3","datavalue":{"value":{"amount":"+0.96522844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998307$0A689D45-731A-4DE5-93A2-47520D1EFCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe2d7068008877cf1388fd4d9377711a75dd561","datavalue":{"value":{"entity-type":"item","numeric-id":2153806,"id":"Q2153806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a6f40003192371bf67550d47ce98b33374b3907","datavalue":{"value":{"amount":"+0.90886647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998307$C23D0B54-A91C-4D36-BEB5-279107C17A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3bd35f453357849425db1dd0cb09d65dbd7845d","datavalue":{"value":{"entity-type":"item","numeric-id":3366524,"id":"Q3366524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a0b2d1e647ec1ffa192d7150c678d83e76adcaa","datavalue":{"value":{"amount":"+0.8994706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998307$BD5A7A79-15A2-4962-A67D-434DAD71F39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"644b7c98a6df476df6d8535a4268ac4441180274","datavalue":{"value":{"entity-type":"item","numeric-id":1277500,"id":"Q1277500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e265674cdd50680f9a71b3fbb128e04e20a0eb5","datavalue":{"value":{"amount":"+0.8917829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998307$FEBDCA78-9D24-434C-B70E-10BEEB88E747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5493f4aaeeb79cacd163890beedebfa3bd00a41","datavalue":{"value":{"entity-type":"item","numeric-id":829755,"id":"Q829755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e20a64262e35d08ed3a6eefacdbf44958360c8d4","datavalue":{"value":{"amount":"+0.8895432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998307$60BF7B90-63FF-48EB-855B-B2D2BC1BD38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fbfd1fad860fd8919a0913c403d59b107bbfd04","datavalue":{"value":{"entity-type":"item","numeric-id":1574672,"id":"Q1574672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3209a6e54848751f9448e82824053cf29ce50f17","datavalue":{"value":{"amount":"+0.88799846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998307$D3DE03E5-7A6B-4BD5-99FC-B113A4D5996B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8916bf00a61595a86983dfc9ac4f5fef7801972e","datavalue":{"value":{"entity-type":"item","numeric-id":3829731,"id":"Q3829731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97200eefb3788858c4e400811146e3e721962d9b","datavalue":{"value":{"amount":"+0.88623095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998307$0911CC55-312E-4A37-B0CA-F8ADA365378A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6278a858b62c60b9aadce1b90b992a6ce216b33a","datavalue":{"value":{"entity-type":"item","numeric-id":1822631,"id":"Q1822631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c29c8c6e39b170e5a43cd88649a24199d9df3605","datavalue":{"value":{"amount":"+0.88579416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998307$08272753-A7C9-4D0E-885A-8D07207641EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c023cfc17311096b4a031d4ee96210681e375e10","datavalue":{"value":{"entity-type":"item","numeric-id":1873769,"id":"Q1873769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a79d8908609207ab94c79e02d8b0b7b856ae24f","datavalue":{"value":{"amount":"+0.8856654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998307$F622C61C-ED0E-4299-9F43-00AFD7E2365A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe248de3d919cc35bff0500a00bc83dbd11dc46","datavalue":{"value":{"entity-type":"item","numeric-id":4302130,"id":"Q4302130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c22339d145741e2f4b5e06cb4a713300e96296","datavalue":{"value":{"amount":"+0.8829361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q998307$BA5FD39A-2D72-4CBB-B114-D61AF3B71E32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Arithmetic of Dedekind cuts of ordered abelian groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Arithmetic_of_Dedekind_cuts_of_ordered_abelian_groups"}}}}}