{"entities":{"Q2019416":{"pageid":2030158,"ns":120,"title":"Item:Q2019416","lastrevid":57670254,"modified":"2026-03-31T20:52:17Z","type":"item","id":"Q2019416","labels":{"en":{"language":"en","value":"Quantifier elimination for quasi-real closed fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7335962"}},"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":"Q2019416$AEA139AE-E1B1-4DC9-AFA1-DDF06E888A07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"609ac61384d6362cfb6822e6a494236209c57b60","datavalue":{"value":{"text":"Quantifier elimination for quasi-real closed fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2019416$0A88229A-94EB-4EC8-9E0F-22A79FDB7392","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1146d739fa50ebecba640617dfd51d38a73209b9","datavalue":{"value":"1473.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2019416$3E41BE13-ADAD-46BF-ACFF-62E33E1E4DA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64112672651a4d5f145f9adda21dde379af7c4d4","datavalue":{"value":{"entity-type":"item","numeric-id":408509,"id":"Q408509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019416$8A3DBB7A-C49D-41A6-AAC2-E358177913B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e57bffda8518670518d674dd2be00e9135ea45bd","datavalue":{"value":{"entity-type":"item","numeric-id":2019415,"id":"Q2019415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019416$0C1C6A1A-F770-4271-851A-324BF699F993","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a5c9e0c6a7a2a0cb7662cbf32d2a100f29f5641","datavalue":{"value":{"entity-type":"item","numeric-id":251665,"id":"Q251665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019416$5E492494-BAA7-45A0-9BE8-300D8A30A056","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"adcdcc65558827cc34b3e4eae5025a6b9542c84d","datavalue":{"value":{"time":"+2021-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2019416$A74E625D-95E7-4627-8FFC-B08BC0CE5AC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56f75fe1c8875651c5f1905b6c87b729ef4042f6","datavalue":{"value":"https://arxiv.org/abs/2005.12681","type":"string"},"datatype":"url"},"type":"statement","id":"Q2019416$A6864EF0-9F6A-4FE7-8136-D4EEDFD8018D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bc98704c7bfcd054a025b048f5373ea86fcb29a3","datavalue":{"value":"The present paper studies quasi-real closed fields with a compatible valuation. The authors unify quantifier elimination for both algebraically closed fields and real closed valued fields. They also deduce that the theory of quasi-real closed fields with a non-trivial compatible valuation is the model companion of the theory of quasi-ordered fields.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2019416$3D27F78E-7699-476E-B96A-603F2162913A","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":"Q2019416$34EACB5A-E470-4AE8-8D0C-41419DA08A75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2019416$88A67580-8AD1-401A-9D93-AAB088973CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2019416$3ED8BCED-4CF4-4D60-A4BC-E7EABF774F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2019416$9C479E42-FE89-4F9F-B559-18B266BA6331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2019416$B258F1F2-9099-4AF1-8F73-182B47C9A19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2019416$FF5E016B-D776-4DCB-B07B-A89EE1274BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2019416$34BA07D5-F957-4DC3-8CDD-C467A2F40671","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9ad7f242246d18fe9ca57bf02022ee39bf05c16","datavalue":{"value":"7335962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2019416$AC01F0E2-7878-4219-BA2E-2E4FA373E384","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70ae2f300ab84cdac6cd2d3a6e019da47744fb2c","datavalue":{"value":"algebraically closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2019416$770F6DF1-320F-40C6-BCF3-CBB63752A464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7dad102d42a7169de6a258b4c59ca869e41159","datavalue":{"value":"real closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2019416$EDCBA6A3-755A-41C1-8DA2-93D952D594C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2019416$F24AE8BB-11E9-4EBA-BBCF-3DC7B22CF348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aaab3d8847179472aa7fd7608710ba87c5a9ef1","datavalue":{"value":"valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2019416$EB1F837C-FB4C-439D-A474-D1AA94C7E564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2070fc5df9433d476c5377198a03336bbaf3834","datavalue":{"value":"model completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2019416$750EB19E-18C1-421B-8FAB-1824E187444C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6b5ecb0ac346b465b5521d7492528c647006f4","datavalue":{"value":"model companion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2019416$85A130FF-C627-4F0A-B03A-A29445AF26FE","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":"Q2019416$73A4348C-0B7B-4C50-8A50-9718BC853F54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ea264289a28020effbf2bfd08f12d9269ced87f","datavalue":{"value":"W3156405290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2019416$8A8F9108-3DB6-43C4-AC91-EF675430A9BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e8fd66e84c76353edbccda9edead651b240ecb","datavalue":{"value":{"entity-type":"item","numeric-id":793009,"id":"Q793009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019416$6659C7A2-C542-4FF6-9272-44D77070A76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4906babe5efa1a516339732c738708446580bf","datavalue":{"value":{"entity-type":"item","numeric-id":636396,"id":"Q636396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019416$FEFE9CD7-E554-4D3C-9DA0-95768AD0F9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8198ee02f3a74aac72e2426582d3f2b4dc6e6a3b","datavalue":{"value":{"entity-type":"item","numeric-id":5290047,"id":"Q5290047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019416$9157B5F5-3813-4A80-9E98-5C58765E8978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba72c9a41921ad15c44f894d7826777809a53833","datavalue":{"value":{"entity-type":"item","numeric-id":5691951,"id":"Q5691951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019416$61559025-3ADD-4B6B-88D3-72709318A5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a899c433f67901ea7d77940c54511b02072441a8","datavalue":{"value":{"entity-type":"item","numeric-id":1093681,"id":"Q1093681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019416$8F797096-F67F-4B1C-98F1-89286D553621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990cfb8fe02120f8a33f0e0776ac8b704f7bf954","datavalue":{"value":{"entity-type":"item","numeric-id":4333836,"id":"Q4333836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019416$79F7FF3E-22C5-4D63-BE01-C776EE74E65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a99a5ae75c6718f9acf87b17ba598e9f9b71548","datavalue":{"value":{"entity-type":"item","numeric-id":3298267,"id":"Q3298267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019416$B980EB6E-B46A-4BB3-BBDA-BC59805CF7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092727b720bde87cdb81f57273312cbf9409b349","datavalue":{"value":{"entity-type":"item","numeric-id":2314422,"id":"Q2314422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019416$C9615A61-54BF-4BC4-A3BC-ECC33075F5E5","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":"Q2019416$9450545E-A070-4995-B3BB-A3DCD47696C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24bc9f5ce70262138ffd7e66f0f90a0483fdc014","datavalue":{"value":{"entity-type":"item","numeric-id":1013656,"id":"Q1013656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019416$C71BE6BE-5418-4D91-BE33-6DA090F1786A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3fa63dadb8a72a3bf45a42373613327bcd412c","datavalue":{"value":{"entity-type":"item","numeric-id":4071851,"id":"Q4071851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019416$88578B04-1CDB-4F7B-8B56-F0A9C454B788","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dc5029dae92965cf3024472091b8f1ff4d83d69","datavalue":{"value":"10.5802/CRMATH.169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2019416$CF819205-5F80-43A4-835F-6E9D5E5DFA53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f55b5b0d1c77b5520369764be7bb63e99e0fc69","datavalue":{"value":{"entity-type":"item","numeric-id":5293194,"id":"Q5293194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69edc83066a72cfd3a76f5abdc916d4ce8af99f5","datavalue":{"value":{"amount":"+0.8538472652435303","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":"Q2019416$E77FEA2F-18A7-442E-B258-098CB97282DD","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":"0a4d91974fce148997ae5225efe07f81a7a7cd25","datavalue":{"value":{"amount":"+0.848207950592041","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":"Q2019416$74758290-27BA-4A9C-9E98-9A3FE947A6AF","rank":"normal"},{"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":"cdd07597653cf50fcb62072874c034b6065247c6","datavalue":{"value":{"amount":"+0.8457697033882141","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":"Q2019416$DE5B0F84-4CD5-4544-BFB8-37CEB890522A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc11c17d3e233e45ac3ad42707043fc751d3c62","datavalue":{"value":{"entity-type":"item","numeric-id":3708785,"id":"Q3708785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"affb33733d7caff271617747ccc4f102e35f6825","datavalue":{"value":{"amount":"+0.8415367007255554","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":"Q2019416$BF9EC871-37F6-40BD-87CA-D680F9C3020C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86caeb0b70d2331b79d08b9f8b76e08891c2b90a","datavalue":{"value":{"entity-type":"item","numeric-id":2976369,"id":"Q2976369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7968c9c6e3bff5838af481f2bdfcdf8187cb18f5","datavalue":{"value":{"amount":"+0.8306659460067749","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":"Q2019416$9A412C72-91B6-490D-88AF-0052726DC8BE","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2019416$4F54EFE7-DE62-4D97-83CC-5DA93CE53235","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2019416","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2019416"}}}}}