{"entities":{"Q5447549":{"pageid":7477108,"ns":120,"title":"Item:Q5447549","lastrevid":50311919,"modified":"2026-01-13T19:29:23Z","type":"item","id":"Q5447549","labels":{"en":{"language":"en","value":"Counterexamples to quantifier elimination for fewnomial and exponential expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5251652"}},"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":"Q5447549$FFF089AB-5D55-4EA0-A29F-97DCE4342001","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"384fa80985066ef00338deab310622cbfc3ba6f3","datavalue":{"value":"1149.14044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5447549$FD462F85-94E8-4746-9D18-38963D258696","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a1083cbd987b138b7545fc2fd96fba317b5e1cd","datavalue":{"value":{"entity-type":"item","numeric-id":220798,"id":"Q220798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5447549$F1318931-FE80-4178-8FCA-AC4149988575","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"030acbb063ab57f6eca668129c65621a1e5cd15d","datavalue":{"value":{"time":"+2008-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5447549$A261E269-745E-46FB-880C-EAFD76666027","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5447549$490FB3B0-3CDE-4E15-A6A4-0B7A0B9399DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"622398cd60febf1da6a618693240f6ff2097cf89","datavalue":{"value":"14P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5447549$8DD3EA12-C50C-41B8-A186-618B8E2888C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5447549$6D638A51-0D20-4B98-8095-99210315F6DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83991167adbac3841d11e9b1e67b345aa9eda60f","datavalue":{"value":"5251652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5447549$3B06CF3B-7F05-4944-80D3-9671493ED29F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7497714ecce72d928955ad95102efaf27d025e4","datavalue":{"value":"semi-algebraic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5447549$532D574A-51D3-4DFD-B08D-CEB5078F9076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5447549$9C891946-9FCB-4975-9AF8-D0A7A85A7E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5447549$0C1E105B-DC6A-460A-99DA-996D82B411A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11687fb9facb25fa29e23bd50fd278d43644f7ce","datavalue":{"value":"exponential algebraic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5447549$3ECF14FC-ED9F-416E-917B-6E339A34416C","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":"Q5447549$F3777105-5F45-42F7-9969-EE39C75B5723","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"275c7a92719f1f616f6e2d1958e32caf0f706955","datavalue":{"value":{"entity-type":"item","numeric-id":5301651,"id":"Q5301651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0db2680aaabc0020ee2f0179075eca5dfcb5c39","datavalue":{"value":{"amount":"+0.7485045790672302","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":"Q5447549$43E86A10-8B6F-4C77-ABEE-7B4FB6016A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9cee4f668b0ee84a1d5a43e528a0db131fb06a5","datavalue":{"value":{"entity-type":"item","numeric-id":1072606,"id":"Q1072606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d59487f8acf19bf94fa4ec2fdcd8a897bfd704","datavalue":{"value":{"amount":"+0.73731529712677","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":"Q5447549$32D9FB79-C55E-47FA-8D6E-70B3DBD850FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7676f892ed1b0763eb297c6e08255f64d9b2b04f","datavalue":{"value":{"entity-type":"item","numeric-id":5957310,"id":"Q5957310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f8f873a119b1a4ae3434e72dfc5f981dd9c20d3","datavalue":{"value":{"amount":"+0.7316074371337891","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":"Q5447549$17B48830-DEA7-4018-A9BE-27CBDC272BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e703b606f36427127e5a5f6edee03487eab9391","datavalue":{"value":{"entity-type":"item","numeric-id":1185457,"id":"Q1185457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4010917f84a4d94b207af2a68d46cc3e307a9bd2","datavalue":{"value":{"amount":"+0.7298962473869324","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":"Q5447549$12C62667-12E6-4940-940E-4146DEDBF3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24a02af2e8b15b348f8a87f22de2af8150c466bd","datavalue":{"value":{"entity-type":"item","numeric-id":3971133,"id":"Q3971133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4010917f84a4d94b207af2a68d46cc3e307a9bd2","datavalue":{"value":{"amount":"+0.7298962473869324","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":"Q5447549$E7F92E2F-0D87-43EF-8960-264A46BFE877","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5447549","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5447549"}}}}}