{"entities":{"Q1368692":{"pageid":1379432,"ns":120,"title":"Item:Q1368692","lastrevid":68825385,"modified":"2026-04-13T02:19:02Z","type":"item","id":"Q1368692","labels":{"en":{"language":"en","value":"Testing stability by quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1067881"}},"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":"Q1368692$A39516D3-BD68-431B-A627-C383C976C726","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb8e6a41a620d2a05f08ab8d20339490624bfe5a","datavalue":{"value":{"text":"Testing stability by quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1368692$5DA9997F-8AE7-44FE-AB06-C5CDBEF6ECFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cf24a0f79ba3f7101e8b5c89fd6558717887384","datavalue":{"value":"0886.65087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368692$E061A41A-D67D-471F-A299-B0BCB5C2D11A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8940a924cc70434cc44db4ccfd35fe33b3c08aaf","datavalue":{"value":{"entity-type":"item","numeric-id":171462,"id":"Q171462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368692$90227C17-F3DA-4627-9972-D1F5C0A27223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef5d27d40756a25e38f413817d4a915d16b91de2","datavalue":{"value":{"entity-type":"item","numeric-id":453382,"id":"Q453382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368692$30460739-F8C9-4124-866E-32AEFCE44823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18dfb027d432896839ef7963f50c323ce482d9ba","datavalue":{"value":{"entity-type":"item","numeric-id":226188,"id":"Q226188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368692$B1563E1E-F706-4EA4-82CC-5225F1130C95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368692$AF5E0EEE-07EA-45C0-8859-7CDBE6D16BA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e960b6031491651e5f121916383a51a169df87cc","datavalue":{"value":{"time":"+1998-04-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":"Q1368692$4C5079A8-88D9-45D6-8495-505561BEB9EE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fd84f7fe5f535d9e549a06aeb8a7247158ffdb61","datavalue":{"value":"This paper is concerned with the stability of solutions of a variety of pure or mixed problems arising from ordinary differential equations, partial differential equations and difference equations. If linearization techniques are used then stability often reduces to requiring the zeros of a characteristic polynomial to lie in the unit disk and be simple on the boundary, which can be determined by the Routh-Hurwitz criterion.   These aspects, however, can be viewed as a quantifier elimination problem which, due to the Theorem of Tarski and Seidenberg, is always solvable in a finite number of steps. Unfortunately, the complexity of this algorithm is such that it is impractical to implement. Thus the quantifier elimination by partial algebraic decomposition algorithm is used to solve non-trivial problems analytically using various computer algebra tools. Although this approach is a very powerful representation, it is still the case that many problems of practical importance are not solvable using these techniques.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368692$DEB59101-AABC-4086-A33B-4D42DA3D409B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86a160e0dfd5e333ed5d06433e6bd61d38fc7e4e","datavalue":{"value":"65L07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368692$12AEC623-8F3E-4A98-9010-084FF2DA4B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368692$9FCA3C3E-2B12-46DF-B637-D186BC4E32B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0711229aac3ca5692d90fe260ad34a34e2facc24","datavalue":{"value":"39A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368692$BF913B06-98E6-457E-8CEA-D73C1F621F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d5a6b5de8bc4279ce5ffb0a2c5f97eefc8107fa","datavalue":{"value":"35B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368692$A4044AB6-3FC8-4362-82F8-EB62EF31F08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"15fb63114f871bc6c70aa3edf5bd0773e22901a2","datavalue":{"value":"34D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368692$47805DF9-153F-4CE6-9BD1-DD81D991281A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1df1cf74dc7e456934e1f3888ee312a39dacfdac","datavalue":{"value":"1067881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368692$2809EBEC-4DCA-42EC-9A94-2866AF855021","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368692$7C57FCD9-9571-4C8D-9E51-05FCFA0729AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778066ced0d4b4d1a5f08a9155faba0510f10a03","datavalue":{"value":"difference equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368692$2087DFE4-0CF6-4DEE-8887-1B631F03D083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dce34ce74af0aad0c1649e28b936ff79d52babf","datavalue":{"value":"Routh-Hurwitz criterion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368692$F4C67B7A-9DD3-4AAC-8D14-B33EEFB5947A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368692$C060D9F7-7DB8-45EA-AD36-BCA67CC6EA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368692$0A323270-C4CF-4113-AC58-8F43AAAE6FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d83c8bc2811e4c9f39f2869dce22a3f568502238","datavalue":{"value":"partial algebraic decomposition algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368692$A1C121BC-C52E-4F4A-B5B6-DF9EAD4CDFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368692$D81D7528-5FA4-427C-8844-EEC4C96DA23E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ef051ec5cc41700204ab0111e19dbb9e6f2da6aa","datavalue":{"value":{"entity-type":"item","numeric-id":195085,"id":"Q195085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368692$23862B7A-8E34-45FA-9A21-75B17E3A4246","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":"Q1368692$48CC2706-D485-484A-8738-A82EFF0B6255","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"217dfeb429112d8e0886cd2846a1d15d5709c018","datavalue":{"value":"https://doi.org/10.1006/jsco.1997.0121","type":"string"},"datatype":"url"},"type":"statement","id":"Q1368692$22577519-DD83-4C3E-BA9B-D4A63644E4AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f90dd1b07f62c2f0b4d2bc13dcd11c5095adfffc","datavalue":{"value":"W1974021382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368692$DFFC5EA2-DFA8-4D47-8CA2-B6681419DAF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3106831de89eacf5b21101fd0b76a025b070219d","datavalue":{"value":"10.1006/JSCO.1997.0121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368692$B90C58EC-8C1C-47CC-AC64-38D006AF59BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f7325798b52401b6fad110010318011a67811a","datavalue":{"value":{"entity-type":"item","numeric-id":4895201,"id":"Q4895201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c46f61f54a0f433dcd5c9e37ffac7e0be0eb2793","datavalue":{"value":{"amount":"+0.9074351191520692","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":"Q1368692$94865C3D-D3C8-40CB-A2E2-3A244568F084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0cdd0da2998dc1c6eb9ed7c5b61512a695d9d80","datavalue":{"value":{"entity-type":"item","numeric-id":3140560,"id":"Q3140560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03d6d9cc414273c1347ef3418ec8a979bb66156d","datavalue":{"value":{"amount":"+0.8079335689544678","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":"Q1368692$9A183E8D-BDF4-4037-8FCD-4246E15DBACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"997de36261e0867a60b2567661a557bcbfa01853","datavalue":{"value":{"entity-type":"item","numeric-id":1565849,"id":"Q1565849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3e07d5477d4e7a02b2ce2ee24d13bd34055148","datavalue":{"value":{"amount":"+0.8058908581733704","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":"Q1368692$5DF6A9E2-3959-4FBA-8DA2-E01BA8F56D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dabcbab1e4d1e7311caff28d84ce93acc6d4ba0","datavalue":{"value":{"entity-type":"item","numeric-id":5292667,"id":"Q5292667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fba2063abca27c13c237474e2a386a3cde48c83","datavalue":{"value":{"amount":"+0.754722535610199","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":"Q1368692$D614E1BD-E356-4358-ABB9-2A44A8BC597A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1a05c808bf466dd00f66d61cf3d32549744757","datavalue":{"value":{"entity-type":"item","numeric-id":4247790,"id":"Q4247790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e9003d2f74bf9e39ddb97e86d19710e47192e9","datavalue":{"value":{"amount":"+0.7477961778640747","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":"Q1368692$77D5C9EE-8DE9-4F48-B8D5-8B7D91F17882","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing stability by quantifier elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Testing_stability_by_quantifier_elimination"}}}}}