{"entities":{"Q945005":{"pageid":946853,"ns":120,"title":"Item:Q945005","lastrevid":65534100,"modified":"2026-04-12T03:16:09Z","type":"item","id":"Q945005","labels":{"en":{"language":"en","value":"Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5324356"}},"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":"Q945005$A58458DA-C4EF-4DFB-9F6A-03027B659425","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd35e4d4df3700d5e282d0a494843d3cd799dae3","datavalue":{"value":{"text":"Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q945005$4FB31124-1951-4930-874A-B4DD00257FFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6918dab6d526ed057189a74677a313e53e199a9","datavalue":{"value":"1167.68467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945005$BFD96FCC-34C7-4FD4-87E4-2DF8EF94EFC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4038517fc38d5fc3cd19b6f083a6ff87ab2bcf4b","datavalue":{"value":{"entity-type":"item","numeric-id":945003,"id":"Q945003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$CFB30279-36DA-426D-99F2-500A31209715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ec8877a30bbbb315455d510e8021c739ce47436","datavalue":{"value":{"entity-type":"item","numeric-id":945004,"id":"Q945004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$4796DCF8-D6B8-4CC5-88F9-E0FF44C741F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75acfce3016e0c1a43620c3d710f83b33cf1c9de","datavalue":{"value":{"entity-type":"item","numeric-id":359902,"id":"Q359902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$F08DB0CF-58A9-4692-BEF9-D411C00BA42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f259dbb544841722b0ba4644b1181a4445118683","datavalue":{"value":{"entity-type":"item","numeric-id":359818,"id":"Q359818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$997538FE-8E7C-4F13-A0FC-FCA18B2B30DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93d8e6fb359f7bb867c0bb78686e2cc79d110e63","datavalue":{"value":{"entity-type":"item","numeric-id":359817,"id":"Q359817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$CE1CF919-0521-4726-9023-7920781E9D49","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$404B4D81-288B-4E6F-BC8F-A57370B95858","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"131b596fa601c3661806f2437747b7af2f563219","datavalue":{"value":{"time":"+2008-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q945005$09384243-0F92-4586-BCCD-AC027CDC86C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945005$9010757E-314D-433D-A056-0EEB730DB5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945005$ACD39B5C-43AA-4612-A67D-E77A283B3E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"80619583a343f6ab8e0090f36b890511a86ef408","datavalue":{"value":"14Pxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945005$FCAE1EA9-B386-4D73-B36F-7EA3AAAC7E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e57e2977a9ed0e05339dd5f1673c9f0c9ab91235","datavalue":{"value":"65H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945005$0F220B8E-BB8C-44AD-9869-5C6EE7BE695A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73306037a7a567a39db1924e9736667a8d93f706","datavalue":{"value":"5324356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945005$4F0C5232-6BE8-490A-9881-79BEE75D8A52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ee4a27d103c7ebf70287ca9203aa4b883fa1f38","datavalue":{"value":"Robust control","type":"string"},"datatype":"string"},"type":"statement","id":"Q945005$53E4A3CB-97A4-48CB-B016-A4F475DE0E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc6034a0f7f846401eacc93c9d724620282bf50e","datavalue":{"value":"Fixed-structure controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q945005$9C718723-0167-41F9-9D69-1D3621AC2B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8c8bdeb027f793accab39d2b8f0f1a13370c513","datavalue":{"value":"Symbolic-numeric computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q945005$EA882D8F-E1D6-4442-83C7-68F38DC0AE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efddf96b0fd82167e30c94b24a4ac9afdbc1722d","datavalue":{"value":"Quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q945005$30A5E00F-2448-4E72-A66D-7CA6A8F41C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"853202215c48b99f1dd8e2f8622cc868716f59b4","datavalue":{"value":"Computer Aided Control System Design tool","type":"string"},"datatype":"string"},"type":"statement","id":"Q945005$B5D81262-818A-424F-9CF2-40A6DCC6498D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"216283adc5a9cec50d6e8a08c10e03b03805c7df","datavalue":{"value":{"entity-type":"item","numeric-id":13686,"id":"Q13686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$2418055D-ED4E-4141-8C0F-FABFCABCB2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a709ac7c97c67049e241e0b036253f1d955c589a","datavalue":{"value":{"entity-type":"item","numeric-id":13313,"id":"Q13313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$7A7B854E-64EA-4B76-9659-277C8E2BCE63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"778524afc6003e474ce9dbc1e8b3237c72fd55e7","datavalue":{"value":{"entity-type":"item","numeric-id":20123,"id":"Q20123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$46E88C27-E46F-4537-8EEF-09D5873C0972","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":"Q945005$5866547E-7E84-42F2-B811-1BAFF1A6508B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9ed29c9c0ff12707161867ac8968d75bafff828","datavalue":{"value":"https://doi.org/10.1007/s00200-007-0056-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q945005$3FA5E378-83DF-45DF-A4EF-43FD120317BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"194e11ea1fda5553a6e9d2c1d94950425b3d6b25","datavalue":{"value":"W1494050842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945005$0D6AA7E0-55E3-4C6F-9E4F-BEF2082176EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1382456c5a7146caac09be57b57960f8663e333b","datavalue":{"value":{"entity-type":"item","numeric-id":4703420,"id":"Q4703420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$38A944C9-9AE1-49DB-808B-37A1B964DC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55c9c5cfc883060db8e53c8d35536760dce0c03e","datavalue":{"value":{"entity-type":"item","numeric-id":5423848,"id":"Q5423848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$D5EE948C-D26A-40ED-98EF-248CEED75927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d31b4d2ad3251ff1c2cf2382bba162e915a2f65","datavalue":{"value":{"entity-type":"item","numeric-id":5262738,"id":"Q5262738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$EF4FE90D-9C87-4774-88FC-1E67660E2DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c975eea4daa91fdcb1be1d6631efdb8342c19747","datavalue":{"value":{"entity-type":"item","numeric-id":4552457,"id":"Q4552457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$4A129FDB-5FF3-4127-B6EE-A61A7CEA69B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f1688f1fa56aac86f71f6b17da15abb93f72fd","datavalue":{"value":{"entity-type":"item","numeric-id":1368691,"id":"Q1368691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$B5DA2FBE-B8F5-4D92-ACD1-56AA1ECDB13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfeb5554a10318e633dc254351b666eed5a1cef1","datavalue":{"value":{"entity-type":"item","numeric-id":4391231,"id":"Q4391231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$C0135BEE-68E2-4A33-891A-F93E1CD1CC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b3b45c584728ea370dc13983bcd09d3637cc8f5","datavalue":{"value":{"entity-type":"item","numeric-id":4391225,"id":"Q4391225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$7227FAFE-D21F-4677-B7C1-1542F10477D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9f558051a9074bc753f3d2259cb0bdac2ef36ac","datavalue":{"value":{"entity-type":"item","numeric-id":5266764,"id":"Q5266764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$C2516B26-049B-481A-9051-5C76B44A0736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf4f126bd2e556995b31d0a7b232a3abe5e1ffb","datavalue":{"value":{"entity-type":"item","numeric-id":1368690,"id":"Q1368690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$00716243-4F1B-498F-A05C-BB1BABE9DDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fc00745ec3d767981805e52c2b6fd5aff5863e","datavalue":{"value":{"entity-type":"item","numeric-id":5945290,"id":"Q5945290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$B59E8B83-AD53-4961-B281-D23BC58B17C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$8B430D4F-4F03-41C5-B012-D515AE83C794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a6745e1fecf7b4c933534d64816135cf7721a6","datavalue":{"value":{"entity-type":"item","numeric-id":1604710,"id":"Q1604710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$4C500D69-8129-4B46-905B-338234A7A54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d2ca0ba638580c707348b17f2b46247f6930f9f","datavalue":{"value":{"entity-type":"item","numeric-id":2559450,"id":"Q2559450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$7CA96793-91DF-4F22-9743-1AF47CED5387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cfea5fcebfb4162710425692e427cbf2157a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1103602,"id":"Q1103602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$2A54AF69-8667-453C-89C3-87842E80A631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257e89e64f503b735be294783088ce21b3853fb3","datavalue":{"value":{"entity-type":"item","numeric-id":5712773,"id":"Q5712773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$698BB8A5-5AD5-4556-9C2D-BA1AD8AE4822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66bec505ee4759586924c3b0358872684f74f492","datavalue":{"value":{"entity-type":"item","numeric-id":5709735,"id":"Q5709735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q945005$FC93B4E6-B1DE-4E44-B417-D47CC9ED1240","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5221e821629e2fe17a5cb9e5480974b533a0271b","datavalue":{"value":"10.1007/S00200-007-0056-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q945005$A1608551-DFB9-4BC6-8049-8FD8A0851403","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"145593ca45be849de2bb4b6d489a061515cbd67a","datavalue":{"value":{"entity-type":"item","numeric-id":5423848,"id":"Q5423848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7332930c7f202b3e51637b37f9bce94f970861f","datavalue":{"value":{"amount":"+0.858202338218689","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":"Q945005$3650B815-7C48-43C1-B6AA-FD4555FDEC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37a7ba48de421fd037b5d5e5a1845dce462cbc9","datavalue":{"value":{"entity-type":"item","numeric-id":4348653,"id":"Q4348653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f639531cceb4104aea612dda09897aefaa8cc4","datavalue":{"value":{"amount":"+0.8199549913406372","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":"Q945005$A57D4A7C-73EC-423F-9AC4-BD31E3C0559E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af902d4d20ad7b85346252cc4363a46373c30023","datavalue":{"value":{"entity-type":"item","numeric-id":1368690,"id":"Q1368690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"562767ccc7b28c1dedbe0a4aa7fc216cad5561ff","datavalue":{"value":{"amount":"+0.7632471919059753","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":"Q945005$CFBDD3C3-67E4-43F5-B8E0-651E37EBB218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25f0121683cdd23ce5d32d1b922c5fc162114e93","datavalue":{"value":{"entity-type":"item","numeric-id":4434828,"id":"Q4434828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a8c994e0c1a4fded0b2532f25a9b449a97c6033","datavalue":{"value":{"amount":"+0.7195212841033936","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":"Q945005$A6094EB9-BDCE-4EEB-8C9F-7906DF4CC7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e59315bc98a92401710ced1218e14ad00d163a0b","datavalue":{"value":{"entity-type":"item","numeric-id":4324915,"id":"Q4324915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c194cd6e26672c637c1af69a4341072a44cb9a48","datavalue":{"value":{"amount":"+0.7071911096572876","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":"Q945005$B79FD71F-A441-419E-9D0B-1E2B876804F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_and_visualizing_nonlinear_parametric_constraints_in_control_based_on_quantifier_elimination"}}}}}