{"entities":{"Q4180416":{"pageid":6210017,"ns":120,"title":"Item:Q4180416","lastrevid":48663898,"modified":"2026-01-05T13:28:26Z","type":"item","id":"Q4180416","labels":{"en":{"language":"en","value":"A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3616502"}},"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":"Q4180416$C2942DD5-81D7-4111-B31A-36A2266132AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20177a1929675405453e175fcc13ffcfb77256a8","datavalue":{"value":"0397.06017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180416$DBCA4937-FA49-4375-A0A5-E09C09717893","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2074a5d1d837da0d302ec8a3d1ded24f5c87271","datavalue":{"value":"10.2307/2042395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180416$FBE6997B-B263-4692-B299-6C35962B5854","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q4180416$CF2751B3-E104-480D-B8F1-81C7E88A47DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180416$A07C3B42-E753-44D8-A2D0-BC1DC81B00B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180416$4DFC6541-5F62-4371-B154-D53808DD99C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180416$567C804B-DD7E-422E-A097-FBAA688AAA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180416$A01DFCD6-BE99-4E86-8CA2-60AC69BFF5A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4972e72f3a24a15294cc2af34127fdd5c53ffa68","datavalue":{"value":"3616502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180416$4B0BFC19-7A2F-4D14-B1DE-8D4B829F457F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef9a6a6143e0ea9e17c24056f5b48d012802e3d","datavalue":{"value":"Quantifier Elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4180416$41822744-36D3-43F2-831F-01226B86C0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20f1b408733822b5b6556183c6072ddb217bd1e","datavalue":{"value":"Real Closed Ordered Field","type":"string"},"datatype":"string"},"type":"statement","id":"Q4180416$ED1AADD8-7A36-403B-BEF0-2CADBE9AD199","rank":"normal"}],"P16":[{"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":"Q4180416$86EEB871-1501-44EC-BA37-BDD353990DE6","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":"Q4180416$2FFA3506-2935-4A90-92C3-B3F4118D016D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8609568723f7959946e62fc00a04d9e2446b7e8","datavalue":{"value":"https://doi.org/10.2307/2042395","type":"string"},"datatype":"url"},"type":"statement","id":"Q4180416$0F6C15DE-6530-4149-83B0-D7C85AFFCAC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c62e7bee8c3191803fcd0052d6f39cdd2de23163","datavalue":{"value":"W4249282976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4180416$378DCC44-75EC-4256-AAC2-078584BFA3B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b584d0b8704a5039f2c804ec32feea81f5de8833","datavalue":{"value":{"text":"A Linearly Ordered Ring whose Theory Admits Elimination of Quantifiers is a Real Closed Field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4180416$381086B9-DBA9-49BE-8C03-5F7E6C62E6E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d15125fefd60c38024a9f4815dfca44adfa2336","datavalue":{"value":{"entity-type":"item","numeric-id":787962,"id":"Q787962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4180416$BAAB907B-887F-4B43-BD2B-DAD21BC8BC9C","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":"15b6b9f99821192f34f67fb247e1bb79605dc5d8","datavalue":{"value":{"amount":"+0.8460582494735718","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":"Q4180416$C7494973-22A0-4422-A1F3-23E3870C848E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e2b87fe37be185c54b708ffa8c226dab94df9f","datavalue":{"value":{"entity-type":"item","numeric-id":3762295,"id":"Q3762295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905c2ef362a6116b740c47aec95c02330426c60b","datavalue":{"value":{"amount":"+0.8271167874336243","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":"Q4180416$D30DE3E7-0B41-4A22-A77B-E887E95447B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522e6f55dcbeca6885b6895e5ff51e2b379652d5","datavalue":{"value":{"entity-type":"item","numeric-id":3690798,"id":"Q3690798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e5c12f2f4f31fa635eb1f05298ea862b676cd9","datavalue":{"value":{"amount":"+0.803936243057251","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":"Q4180416$5403ACC1-9080-4CD1-ADDB-9836DC567F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0284ba004604444b3a49f1676672888ad1d565c","datavalue":{"value":{"entity-type":"item","numeric-id":787962,"id":"Q787962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2bd6c36d9e18ad8ffda2c5dc6f4fe8fa7b415c4","datavalue":{"value":{"amount":"+0.7853361368179321","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":"Q4180416$ABAA5043-C442-424B-9EDA-B49175F18CB3","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":"59bc0cfe79322f29a8e21f9575bb73ba0393e853","datavalue":{"value":{"amount":"+0.7819388508796692","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":"Q4180416$6516360A-EBF4-4384-BC81-2A11744A836C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4180416","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4180416"}}}}}