{"entities":{"Q1290082":{"pageid":1300832,"ns":120,"title":"Item:Q1290082","lastrevid":67260561,"modified":"2026-04-12T16:26:41Z","type":"item","id":"Q1290082","labels":{"en":{"language":"en","value":"Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1296744"}},"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":"Q1290082$C9A78205-12F8-4FE4-BE09-29AE28EE1BBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bcc65750b1cadab3ef9f37410af490409c25d56","datavalue":{"value":{"text":"Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1290082$59826DF3-649B-4F41-9C6D-C4695DCB264B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c72d95eee426840c73b51ee77c205d08da8f1d04","datavalue":{"value":"0942.74664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290082$B725937D-DAA3-4F82-9572-70F72797221E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e52f5533dbe63326a810a5c1d58ccb78cb2f2385","datavalue":{"value":"10.1016/S0020-7683(97)00002-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290082$66093B31-F339-48C9-A2CF-137E2AEAB09B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"10c1d07a4d807a4715002206ba038e35cbc17e38","datavalue":{"value":{"entity-type":"item","numeric-id":162356,"id":"Q162356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290082$43F01698-2528-4127-864A-BC4743B1EF73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d803583c0aa5b28dc56b93f6b6e27168684d2007","datavalue":{"value":{"time":"+2000-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1290082$B1613256-A74B-436A-8010-1592A21D1396","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3e00407bf04827467164c4523eca398027d744ff","datavalue":{"value":"74S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290082$C46EDF77-4C85-40E1-AEDB-6D574FC01269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0af2384f59d305b536c5167725f2ab9aa5f764a2","datavalue":{"value":"74K10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290082$665481C6-1E34-4350-A65A-21144658FEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3a919487c616c9170cd80c0f9f8cf9ce039266dd","datavalue":{"value":"74B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290082$9C57F821-3910-4988-8D4F-96A7925D64C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa85236acb4e71f9158dec1660bde7b24f5e7531","datavalue":{"value":"74M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290082$99E8C112-EC9C-4C31-9996-C347E0F3FBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290082$D27C0468-22C0-4B41-8AF4-6D2BC3730ADE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"605028d015a147c8458d3af28904df4d69d85904","datavalue":{"value":"1296744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290082$3E31F366-804D-4BEB-94FA-1A3BB5E50654","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"819b24335bb8956346c04e12f866c6837ade3aa7","datavalue":{"value":{"entity-type":"item","numeric-id":1168065,"id":"Q1168065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1290082$C6928FC1-4D32-4DA6-96E5-61F2EE353FF1","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":"Q1290082$A90AA043-B0A2-48D8-9B2B-84F986BD836D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ae7dc9ccda4180643b9744c97db66859432124d","datavalue":{"value":"https://doi.org/10.1016/s0020-7683(97)00002-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1290082$2AB5DD1A-39F8-43AA-957A-85B0276D65B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aeaa9b14e3459638ade75b9eacbaf24ec9fb12ce","datavalue":{"value":"W1975674400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1290082$536E518D-5FCB-4AB7-BD23-4A1BC2A8664E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e52e8bc51ea1f4615e2392167acb0348fe7eda2d","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd526dcedf6b40fc4731311eaa7ca3bf15f565d7","datavalue":{"value":{"amount":"+0.8184241652488708","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":"Q1290082$14B826DE-F8F4-4A44-A108-D715E0640B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe8093a7e2ed8b47b62195846e4a1407eb5c8ff2","datavalue":{"value":{"entity-type":"item","numeric-id":1355986,"id":"Q1355986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc9518a6b6b97dd2f2754fa5bc8cdbdde75dd0a6","datavalue":{"value":{"amount":"+0.7987096309661865","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":"Q1290082$CD518555-5962-4044-89D2-15F828901DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46be6fd79d8dc42a189bf918f06958e33bc6109a","datavalue":{"value":{"entity-type":"item","numeric-id":4810199,"id":"Q4810199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7df40a64c1ecdfc90a2b0d283d0288fe69fab570","datavalue":{"value":{"amount":"+0.7906699180603027","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":"Q1290082$23A29D1D-418B-4D77-98E4-1D87D0C4DC59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantifier_elimination_in_applied_mechanics_problems_with_cylindrical_algebraic_decomposition"}}}}}