{"entities":{"Q787962":{"pageid":789810,"ns":120,"title":"Item:Q787962","lastrevid":64339314,"modified":"2026-04-11T19:11:14Z","type":"item","id":"Q787962","labels":{"en":{"language":"en","value":"Elimination of quantifiers in algebraic structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3841828"}},"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":"Q787962$37BFC10C-BFC4-4AC8-8901-6DBBE97AEEAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81e098a8ecf1bdb40ed197b4625761d76cf19b4d","datavalue":{"value":{"text":"Elimination of quantifiers in algebraic structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q787962$5EB98951-4428-4FF4-8AE6-AD9D51C947E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54251140447d56293de013546104b69de8c6d26a","datavalue":{"value":"0531.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787962$6D37FCB8-889A-45AF-A152-4F81767271EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9930d456ec4b94b3dd833afe2844a0556c889929","datavalue":{"value":"10.1016/0001-8708(83)90055-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787962$DFE17658-AA6A-4DDD-BAA3-E0FE3394CB35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30de2c0162199f698bb55ab738e0fc8c2acc5ae9","datavalue":{"value":{"entity-type":"item","numeric-id":787960,"id":"Q787960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787962$3F2C0677-E6C5-4E09-A05C-D3811CD0292D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b5ea53835fba1308c2057db69e5000e45c3a78","datavalue":{"value":{"entity-type":"item","numeric-id":787961,"id":"Q787961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787962$84E30BCF-F15C-44D4-9FEB-456AC236E2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ed87200671954154fed3812a1c575704adc30ed","datavalue":{"value":{"entity-type":"item","numeric-id":1812782,"id":"Q1812782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787962$A4D21090-96EA-4A00-BCB3-4752EC9B0DDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787962$95A04183-5E94-4BE6-9ADD-6C1CD41DDD99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q787962$8D712F96-7F3B-4549-A7EE-C94575ED575C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d9ec7113ad40859468949d62313cee4a27ca2de6","datavalue":{"value":"The paper contains a series of results to the effect that several known cases where quantifier elimination (QE) holds are the only ones with QE for suitably chosen languages. More precisely, the paper contains proofs for the following results: 1) Infinite rings whose theory in the language of rings with identity admit QE, are algebraically closed. 2) Ordered fields whose theory in the language of ordered domains admits QE, are real closed. 3) p-fields whose theory in the language of valued fields with extra predicates \\(P_ n\\) for non-zero \\(n^{th}\\) powers admits QE, are p-adically closed. 4) Nontrivially valued fields whose theory admits QE are algebraically closed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q787962$CFCC7DB8-CDDF-4B05-B073-82F96CBA1FD2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"273ff2281deaea782312583469770a322c2c906f","datavalue":{"value":{"entity-type":"item","numeric-id":593641,"id":"Q593641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787962$94518F5E-333B-4A34-8BBF-61045EE6AEDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787962$70FE87DD-1F18-42B4-B7A3-04A124ABC644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787962$0D549869-C9C6-47BA-A8D9-4F4EA05F1783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3017a4763157ffdb3a14da576b9c6a19a78bdf4","datavalue":{"value":"12L99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787962$3C92421A-25DD-4695-A7BD-BD10CB37B6F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc7c6ed40ecd2b2f9f0f8a85b0238370471c9829","datavalue":{"value":"3841828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787962$CAC928FD-584F-488F-9C44-0A4BB9416679","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q787962$7045CBEB-9F7C-4987-A913-6F970162A2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ee3317e471088dabb6a0f13847b3ec6283b2b2d","datavalue":{"value":"model theoretic algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q787962$8D81058D-F714-4EE7-A4F9-ACEEC6A53F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bc4ecebbe6dff63dff94c3ca5fc19cb0c8b16b9","datavalue":{"value":"algebraically closed rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q787962$AB164547-F758-4298-B735-1A9B499B3685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"992be4a4c4949a4e050131a62745614d055174a7","datavalue":{"value":"real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q787962$9345D990-1B85-4297-88BD-17A553BD07D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d29a75b100be0e15c2a418722b5973146b8da89","datavalue":{"value":"p-adically closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q787962$6749E842-D78C-4887-82DD-B998A5798FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbadda8b70b40c9f48d602089372cf2bdbde2868","datavalue":{"value":"algebraically closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q787962$40BB14B9-DB78-4C48-A1F4-83631FB6762D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"700b6311ce73ac5f3c96a3278d6a1e4de11d6f65","datavalue":{"value":"Infinite rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q787962$EF951750-A50A-4615-84CA-D0A475763CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc96176a7742c9275e7352134cb2b72a4cca006e","datavalue":{"value":"rings with identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q787962$E1AEE4D0-3039-4788-80ED-4132805FCF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69f8bb41cc429c9fbe95e99fc384ca5d5dbdd61a","datavalue":{"value":"Ordered fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q787962$DBB9FEF1-2736-42AD-BBDA-13643B2B9840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10c86ae8b71913565fb19e47be3214f0bd8f65f0","datavalue":{"value":"ordered domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q787962$4BFC59D3-8049-4D72-A923-CC06B458C869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e17a1049f7c272bea0099d04dd5dc176b499714","datavalue":{"value":"p-fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q787962$F996457F-E8DE-4450-A91D-170984000D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"095642a7cd4f0ce7a456b36d51cf50bc57934b4f","datavalue":{"value":"valued fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q787962$91D0EC17-1688-416C-B84B-66B1F25C2046","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":"Q787962$E9C16313-B5FA-402F-B942-8BD2EACB238F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"495bba47b4e083363b92dd4ba5288676f149e617","datavalue":{"value":"https://doi.org/10.1016/0001-8708(83)90055-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q787962$0F9916DD-60F9-490F-ADDB-4FE1D26A0505","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9bb07beec28024f2bbd8a53175b0d15f0b1f0cb","datavalue":{"value":"W2081719649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787962$8444CC31-8ECA-4B5E-9DC4-E1255A554512","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"38af94e85d3150b56596cccfd2f262da6745dec7","datavalue":{"value":{"entity-type":"item","numeric-id":2539067,"id":"Q2539067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787962$183DA6E6-945A-4DE4-AE20-97160F95E334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d346d7362f6dd5bd49046a1ac8df163429da38","datavalue":{"value":{"entity-type":"item","numeric-id":5510996,"id":"Q5510996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787962$A21D4A9A-3B3F-4F1F-9EC3-2458E2FFB9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c6450fdfb7fda7097185bf990f8520ee4134b32","datavalue":{"value":{"entity-type":"item","numeric-id":3912785,"id":"Q3912785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787962$F6F3DDA5-96CD-4849-97E3-5F6BC23472AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526574fc59d6a0f0ee599067ed0b2a9df2c6a80c","datavalue":{"value":{"entity-type":"item","numeric-id":5810622,"id":"Q5810622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787962$19896F86-EAA0-4468-B851-74BB78E363A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f215b4be5d109fd9d816f69f638d95cc094372e","datavalue":{"value":{"entity-type":"item","numeric-id":5552751,"id":"Q5552751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787962$FF2A7967-DA36-4865-8CD3-DDF44D220A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c0011e86a9b9597966f8a0af7b9a8df7d0095c4","datavalue":{"value":{"entity-type":"item","numeric-id":4180416,"id":"Q4180416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787962$DE31F0A2-849C-41AB-9E66-8EF9D3C908F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5196673dbd851d66c1e8e61242d1c8d847bc577c","datavalue":{"value":{"entity-type":"item","numeric-id":5644067,"id":"Q5644067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787962$FE12A3CD-C63E-4DFA-BFF0-0C9B8871E20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cbfe039eba84a1b5b43cadb9800ecc04dd3a70d","datavalue":{"value":{"entity-type":"item","numeric-id":2653240,"id":"Q2653240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787962$7E2F67FA-445E-4CF1-A98E-E488B6299A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c0b7fd3426edaebb2270fb7a66ac79f7f2aa31","datavalue":{"value":{"entity-type":"item","numeric-id":5654135,"id":"Q5654135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787962$95966FA7-692C-4102-A915-F3E5DA3F9376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f4af3d32be12511f45c29cb46978d335aa7343e","datavalue":{"value":{"entity-type":"item","numeric-id":5635440,"id":"Q5635440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787962$48C2105E-D336-4265-BC1F-DE9F36C1FF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76176b56c368dfcc3d3cf1b9930cd23866dae8c","datavalue":{"value":{"entity-type":"item","numeric-id":4135501,"id":"Q4135501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787962$BFDEA6D2-15DC-4D99-A6CE-E550501361CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4e83df93f96e9dbc851f8d077f4bda018974b","datavalue":{"value":{"entity-type":"item","numeric-id":766973,"id":"Q766973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787962$6FA849AB-5F1B-4E97-BCEC-B76E1FAD932F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d2418b9d6a8d76a8671ab522d3f9ef4267c113","datavalue":{"value":{"entity-type":"item","numeric-id":5652669,"id":"Q5652669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787962$7ED68F47-9986-43E8-8849-9B313DC7FAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787962$F3A90661-2C73-4E44-B9FD-6A724AC18A7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7595dae6f0ea9ade2c3ad755410b80394ecb052a","datavalue":{"value":{"entity-type":"item","numeric-id":3486552,"id":"Q3486552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac1b3e1d880f3a538cbcc4262e47a191f64f7ab","datavalue":{"value":{"amount":"+0.8609277606010437","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":"Q787962$47946D6E-2805-45A1-9E4A-6725E7C31777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf1b4f260b192073e63a2ef5a284717431db5d53","datavalue":{"value":{"entity-type":"item","numeric-id":2084961,"id":"Q2084961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee2d2e41cb5d4d33ddb280c8fc0394e0b000a26f","datavalue":{"value":{"amount":"+0.8450106978416443","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":"Q787962$EE0CA4C5-4207-42B4-A11C-D173014AFFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"179b4a83629d8cb7a1cc4b43649d63dfec7f32ee","datavalue":{"value":{"entity-type":"item","numeric-id":3726093,"id":"Q3726093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6852787608f65a5ebfe06a9d39f88e3b167ac614","datavalue":{"value":{"amount":"+0.8398804664611816","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":"Q787962$FF90BD72-DE5F-4B3A-9924-A92DC5DAEBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735cd55eaee1b916a1454f2ddeacda7873d3ee7b","datavalue":{"value":{"entity-type":"item","numeric-id":2019416,"id":"Q2019416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0e6f0513ee4dad8dffa3516fdf8155d42e50c89","datavalue":{"value":{"amount":"+0.830559492111206","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":"Q787962$141A8DEE-333A-4D49-A09E-724A837CE636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4239c089ac0408418931dea7f4c5b2656f76029","datavalue":{"value":{"entity-type":"item","numeric-id":4842632,"id":"Q4842632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95dee983e0dfafd1f61c326e6cb337f5d98fee05","datavalue":{"value":{"amount":"+0.8294415473937988","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":"Q787962$1410F42D-34C8-4778-B6D7-A5089A460537","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elimination of quantifiers in algebraic structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elimination_of_quantifiers_in_algebraic_structures"}}}}}