{"entities":{"Q892142":{"pageid":893990,"ns":120,"title":"Item:Q892142","lastrevid":42750480,"modified":"2025-07-10T09:47:07Z","type":"item","id":"Q892142","labels":{"en":{"language":"en","value":"The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6511006"}},"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":"Q892142$E3D62AED-242F-49CB-92C2-825862C72661","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5dd416ed9e500ccc7cef3bf9b8175f0daf49613","datavalue":{"value":{"text":"The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q892142$AC1770BF-4AB7-414C-9788-BCB34F333182","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5205a60826cfcd3a319b615bd828204a3447ebb","datavalue":{"value":"1341.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892142$58A85F79-640D-4989-89B8-C34EBD006107","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b1f5f40ccb648bbffe46dd0ed51ddb9d0cbe8aa","datavalue":{"value":{"entity-type":"item","numeric-id":892141,"id":"Q892141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892142$6F141E8E-B623-4082-9C32-C76C8DC72BFB","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":"Q892142$B05C1442-5867-4BCF-BD40-CBCF99B9A54D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"482b7978385e0be0d8ea5afcf93e349a724cc633","datavalue":{"value":{"time":"+2015-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q892142$E24E6998-9C5E-474E-8595-D54B20966D41","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"087e2f9f379260e1b2c27b235ddd9366ba61d2fd","datavalue":{"value":"The paper studies properties of polynomially bounded o-minimal expansions of the field of real numbers. The author considers the theory of elementary dense pairs of models of such expansions. He proves that this theory is complete and axiomatises the field of real numbers with a predicate for the real algebraic numbers and a predicate for the integer powers of two. The author also describes types and definable sets of models of the theory and proves that this theory is dependent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q892142$4F26E3DB-5353-405F-8722-AC605D24DB51","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"74af1034ba40f97f0aa7e6bf880e4876f3ac1bfa","datavalue":{"value":{"entity-type":"item","numeric-id":331051,"id":"Q331051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892142$4FEAC33E-6CBD-4E5A-81E6-72E34C7A8634","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892142$2D4431A0-B1DB-49CF-9C1F-44BF99523235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892142$C6B3A726-F55F-4196-A392-87A306F4D555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892142$F1ED6F43-ACCF-4E2B-B148-571E539A9998","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd6217bc2a41c4281949005d7454f93bc29659e6","datavalue":{"value":"6511006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892142$D5A6AED9-042B-4F0E-BCFE-8CDAA1DBC248","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e2c4f46eeb58bdc78dd0618f1bb6eb8b973236e","datavalue":{"value":"o-minimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q892142$8169C294-996B-4815-B45F-E6B843BC71CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06af3f15219e18cdc220e3a3e261386859065e71","datavalue":{"value":"field of real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q892142$3D38D51B-4175-4D17-A76A-1AAFE7CC45F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5ca9d401e474a58358df2da00b9982ae0b96d0","datavalue":{"value":"dense pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q892142$6AB3C4F2-3E4B-43C3-83AD-472F27B553BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3cd287ee877210d511074a3087b4fa593cd4854","datavalue":{"value":"integer powers of two","type":"string"},"datatype":"string"},"type":"statement","id":"Q892142$68B1B454-592D-4A0C-98B4-D40187550B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49aa22ac93b49d3d10549e2ba959ce763148632c","datavalue":{"value":"field of real algebraic numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q892142$986E5592-6594-4332-8873-0AAA3D51A7FA","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":"Q892142$FD1982EC-2A8A-4B36-8CE5-6B900B6878FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cae89c7790a5ed248d3d4dcc2fdc0ce728f7a2c","datavalue":{"value":"https://doi.org/10.1007/s00153-015-0446-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q892142$6DB6ADC6-4706-4367-B723-020C29FE2779","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"290642c418ef6facc33093ff542c65df91f944e6","datavalue":{"value":"W2199435462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892142$88784ECF-FF3E-4A66-ACEC-32B6071C8A2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2735a30f94a34a09356878885cbccff25e1e6691","datavalue":{"value":{"entity-type":"item","numeric-id":1955748,"id":"Q1955748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892142$81B982FF-3432-4FB4-85DE-E1AA1711658D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a07d74386c8af97b41c28d9db66d6bb52703db","datavalue":{"value":{"entity-type":"item","numeric-id":1094412,"id":"Q1094412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892142$D7B8C036-F511-4857-BA3C-D914822A6A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bce2beb62fcb42715609ec62e33b768ce3c21f1","datavalue":{"value":{"entity-type":"item","numeric-id":3840696,"id":"Q3840696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892142$68CBA113-5362-4F00-BD26-D4DC4A7BA047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef9f134acc18c9740796c22551de9e43a559dbc","datavalue":{"value":{"entity-type":"item","numeric-id":639660,"id":"Q639660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892142$98925369-2D6D-44C2-8A0A-85465DB99CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a66c7fd34e955c349d134c6217b2eb4a376c40","datavalue":{"value":{"entity-type":"item","numeric-id":5687291,"id":"Q5687291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892142$DAA2C3D7-136C-475C-BAC9-87B5F7B8BC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f1e554b113e571706cf0d6ecf57edde696e22b7","datavalue":{"value":{"entity-type":"item","numeric-id":3011109,"id":"Q3011109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892142$97DD0207-D14A-4244-BEEC-D9EEA601ED32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5f954cd774f92ac742aec832f2f61e339b5d13","datavalue":{"value":{"entity-type":"item","numeric-id":4346720,"id":"Q4346720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892142$99B3706C-541F-45DC-9695-29CDEF74EF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58688b45ccaab233ac12e649e8c815893eb105cc","datavalue":{"value":{"entity-type":"item","numeric-id":3566681,"id":"Q3566681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892142$B018DE14-D302-4729-8D33-A6B71F63235C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0635e06ff1d89ceb621d1be7e9b98a6527e5c0d","datavalue":{"value":{"entity-type":"item","numeric-id":3837738,"id":"Q3837738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892142$DC1AD40B-63F7-45A7-8A91-96A57984EE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"703bc14c4a15d7dd3d8716de2e68feef09987a90","datavalue":{"value":{"entity-type":"item","numeric-id":5700815,"id":"Q5700815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892142$8F5BCA20-728C-4560-A2AD-401DF3364D9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"445b2df1847a0eb10064741eb07f11a9302a47db","datavalue":{"value":"10.1007/S00153-015-0446-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892142$CFA36AD1-EA39-4228-BCEF-9FA55946728A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14922c1d16519187950f7daad5351ad9092fcb46","datavalue":{"value":{"entity-type":"item","numeric-id":1094412,"id":"Q1094412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0adf443d5591faabff4886f69575efc58a0423b1","datavalue":{"value":{"amount":"+0.95714164","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":"Q892142$77BFF875-32E7-421C-A60F-85FAF024863B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb096cf9b8608f3edc3c18184f173ae30e97a5f","datavalue":{"value":{"entity-type":"item","numeric-id":5738196,"id":"Q5738196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ced48c92775f684e67bab8d19b36ab636f1efa33","datavalue":{"value":{"amount":"+0.8942066","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":"Q892142$39E6E8ED-5EF5-4C31-9B2D-F7CC665A235A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe65a2db2c4ba72908d1ffcfeeef518b042c3011","datavalue":{"value":{"entity-type":"item","numeric-id":4676803,"id":"Q4676803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"757b7bba0d7c3e8f116298d79c953518bd7d0423","datavalue":{"value":{"amount":"+0.85113424","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":"Q892142$0B5DEE88-879A-480C-8880-C0B970615CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a96236ace70f012d99fd5c9060a7c390c729410","datavalue":{"value":{"entity-type":"item","numeric-id":3074537,"id":"Q3074537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ce47a38dd80cfd677ca1142be2852c99ffb6b0","datavalue":{"value":{"amount":"+0.8427717","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":"Q892142$46ACF777-F611-4CDA-8B02-712EAE677E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab7d0574c74f8dcdfba670a8a74b66e2e4768ff","datavalue":{"value":{"entity-type":"item","numeric-id":5263416,"id":"Q5263416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b6ee46de8a2dc4e0018dd13c0c6c353c264cef","datavalue":{"value":{"amount":"+0.83281136","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":"Q892142$7D700687-EB00-466C-9D9F-5784415EDA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43413d66a4103e8059c6f24bf443f686dccae391","datavalue":{"value":{"entity-type":"item","numeric-id":3454091,"id":"Q3454091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e27566ca08e81ddf312fe6d086463e9aef920a3","datavalue":{"value":{"amount":"+0.83245933","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":"Q892142$9E14DB90-776A-4D80-B425-830B7E24DDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfcdd7a06e7a5a58f4938c1ff955f07b2e37a8cf","datavalue":{"value":{"entity-type":"item","numeric-id":3172122,"id":"Q3172122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b41eb5bea5344effd03860e6b3b2fda44b62c62","datavalue":{"value":{"amount":"+0.83233154","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":"Q892142$4EA1978F-2FC7-44A0-8A9E-3221F6B59425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da889fbcc4d10e6acf1f45f5e908a8ec1b8b1dc","datavalue":{"value":{"entity-type":"item","numeric-id":695771,"id":"Q695771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa6c1521c990cff7201f6509f4d2afc3d3d43468","datavalue":{"value":{"amount":"+0.8311385","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":"Q892142$E23E1791-EB05-4117-9333-3576E7D164DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be1489dce929a6dfcbd97f2c4979c47e71d4750","datavalue":{"value":{"entity-type":"item","numeric-id":4317826,"id":"Q4317826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd3f3e951c0f69c2e4900f6071d8cb39449d191","datavalue":{"value":{"amount":"+0.8310954","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":"Q892142$B46EEEBD-5D76-4F50-ADE2-09D6F53B6536","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:892142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:892142"}}}}}