{"entities":{"Q456669":{"pageid":458436,"ns":120,"title":"Item:Q456669","lastrevid":51575138,"modified":"2026-01-18T20:52:04Z","type":"item","id":"Q456669","labels":{"en":{"language":"en","value":"Every convex free basic semi-algebraic set has an LMI representation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6093945"}},"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":"Q456669$D393321F-E58F-40BF-921B-5CB254F70B5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a53ffbe3499c98028e219d786647a0db7203c4f","datavalue":{"value":{"text":"Every convex free basic semi-algebraic set has an LMI representation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q456669$4C0D5594-2E9B-4096-A266-DCD9606AEF9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5551f47410d36c516144b153191158efdae2eee7","datavalue":{"value":"1260.14011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456669$7192CFB3-6DE6-43F2-AB05-D6929EBB4D1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d768c2a725a3eb17f327cee649e1b21a5ce2ae6a","datavalue":{"value":{"entity-type":"item","numeric-id":323897,"id":"Q323897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456669$E3C48804-C224-4E16-86CA-155E330A0E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dca26e8fad1df5ebab21bec42e9c52352e7f72e","datavalue":{"value":{"entity-type":"item","numeric-id":274133,"id":"Q274133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456669$76126A65-CCBA-445B-8316-BD8DA8C3B8A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456669$83F12651-E29A-4F01-B7D6-15CF919213D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f739794021e4cde5dedcfec3f5debef30c31d67e","datavalue":{"value":{"time":"+2012-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q456669$73A8F910-A116-43F9-8E0C-77BCB3EC4131","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e36931a6512f27f914f5b20ff8d777fa8172c6b5","datavalue":{"value":"It is known that the matricial solution set of a linear matrix inequality (LMI) is a convex free basic open semi-algebraic set. The main theorem of this paper is a converse, namely that each such set arises from some LMI. The result has implications for semi-definite programming and systems engineering as well as for free semi-algebraic geometry.","type":"string"},"datatype":"string"},"type":"statement","id":"Q456669$B69D3078-B41B-4A6B-8D6F-80B47AE77768","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ab6bbd14219e7330d4a7f479c0f699ce0cd4c87","datavalue":{"value":"14C21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456669$C138074F-9538-4BFE-A920-9A29CFD5DD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3e91529a8a08801bafc0325eb71a11714228bfc1","datavalue":{"value":"52A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456669$3DE0786E-8423-4CC7-A855-33B908F968FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"145b3547074abae69f7ea12a847bac9f122cc911","datavalue":{"value":"52A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456669$526511A0-40A7-4A6F-8338-749C8BBAA55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709282c41e2ec0cf312a11ff57b355c57f0cee6c","datavalue":{"value":"14K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456669$D3A0A242-4380-49A7-AF02-400D01F38D24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28639040ff976dc14709ca29af717a515871c326","datavalue":{"value":"6093945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456669$4111B1B6-5F75-4180-9178-FB21332AA96C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae43bd2d16b2ce191e54a98c711e7abb83ccc65c","datavalue":{"value":"convex set of matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q456669$E7B66017-6848-4BAA-B727-607661A37ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7497714ecce72d928955ad95102efaf27d025e4","datavalue":{"value":"semi-algebraic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q456669$324B8AF2-4221-4036-85F9-61D5F4B6595D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"063090cf2404193d2281c6ff786296d0ce3795a2","datavalue":{"value":"pencil","type":"string"},"datatype":"string"},"type":"statement","id":"Q456669$2E988BE5-50B4-4298-A131-2B739528CB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fce389f8829bacb679ba2d50e4248132ac5c4d09","datavalue":{"value":"linear matrix inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q456669$398A9843-507C-4A48-9343-ED19AF628D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b88e6569ff1f02995b832a58a6021c7ed36aaf08","datavalue":{"value":"matrix convex set","type":"string"},"datatype":"string"},"type":"statement","id":"Q456669$EAFCD843-3332-400A-A671-C56C68719D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94e51b4bc5fee2d59d9e3b332a75363ae740b286","datavalue":{"value":"semi-definite programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q456669$D208D4D2-47EC-4F51-A78B-2F4B32D43977","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"383962fc963830da538f7b11b1141f866dd26861","datavalue":{"value":{"entity-type":"item","numeric-id":315574,"id":"Q315574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456669$4E5AD0A3-A584-4EBF-ACA0-907EAA2394B2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bdf2d88fbe1aca9b237f60a6a6b629783d846e5b","datavalue":{"value":{"entity-type":"item","numeric-id":16788,"id":"Q16788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456669$10A932BB-D373-48BE-A831-FD3EF8C5B299","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":"Q456669$37B4DC9E-E168-4A05-AE79-07CB1D4A5C24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0a9a208e457fcd1e663126372176cd6c7b6b080","datavalue":{"value":"https://doi.org/10.4007/annals.2012.176.2.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q456669$A7C2202B-5946-41A0-BF2B-757622D48CDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12cd3253f9481620675f16bde36acae086b10bdf","datavalue":{"value":"W2127765692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456669$ADAFE091-9F8A-4261-99DA-D522B2067E94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4808301582618bae0b48736887f923bcdbe2b8","datavalue":{"value":{"entity-type":"item","numeric-id":5613461,"id":"Q5613461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456669$3AB28EF3-46EA-461E-A152-BAC761F4975E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"802911d28a8d286f15e0dee41bdbd28ba0295cf1","datavalue":{"value":{"entity-type":"item","numeric-id":2555281,"id":"Q2555281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456669$A9098E84-50CA-4566-9A8E-807E7ACAF5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75797a17a5b7f74405af5e993dd29ac9ec6467a","datavalue":{"value":{"entity-type":"item","numeric-id":3058262,"id":"Q3058262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456669$FF995A19-F904-4D10-BC7F-5208060FED19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff4ee9aa7b61305175d1a63c09b662886a78de8","datavalue":{"value":{"entity-type":"item","numeric-id":4210476,"id":"Q4210476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456669$578CC444-628B-41D7-9856-6F756A6176E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f06c7584f6e7d6e22f4cba92a94648ce58216a7","datavalue":{"value":{"entity-type":"item","numeric-id":4828515,"id":"Q4828515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456669$2E919F2B-EADA-45F0-AC43-1153DCAE77D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0eb8e4f9a276493cf47251408b47dc23ee12fd6","datavalue":{"value":{"entity-type":"item","numeric-id":5296418,"id":"Q5296418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456669$35C08A1E-E794-4017-9EE4-6F168B7CC089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd0e389543f8679b6036c42b61ab0e86d14390d","datavalue":{"value":{"entity-type":"item","numeric-id":674737,"id":"Q674737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456669$2E9D25B1-782F-4ED8-A142-92DF454231E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57e7e778aa73a85ed8596129ca911275b3314ec","datavalue":{"value":{"entity-type":"item","numeric-id":3437010,"id":"Q3437010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456669$2E6F6236-4463-40D8-B84D-B9176E3D1E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdacf7bbefdf3644370fbf7f792f72ddb71d753f","datavalue":{"value":{"entity-type":"item","numeric-id":5421709,"id":"Q5421709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456669$2371F964-4B1E-4719-8757-05C53D2CA5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be3202e5f7e4066ffe5e551578ea0fe93bc6d3cd","datavalue":{"value":{"entity-type":"item","numeric-id":4787522,"id":"Q4787522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456669$0A4BECAA-BDDA-4683-8605-E4376A27839B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c642cb735efc80c6448d82fddb7fa65249ee420","datavalue":{"value":{"entity-type":"item","numeric-id":4431278,"id":"Q4431278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456669$F049F52E-290D-4A26-AC62-83DDFE795EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29c96d431cfae32b71378ed8da9033ee951eb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5693309,"id":"Q5693309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456669$1B3CF495-8824-47D7-A470-7519AC7BBF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c09d2dde185e80dc1291c49e8ce44b865f18311f","datavalue":{"value":{"entity-type":"item","numeric-id":930729,"id":"Q930729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q456669$627902EC-FBEA-424C-A4D3-5FA81794E767","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cda00bc6d2911093a997032a5a4caad970072e51","datavalue":{"value":"10.4007/ANNALS.2012.176.2.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q456669$5933FDC6-BE67-40C2-BB78-F140FF0A987F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa9d49384c396d3b7fa684c68bc71c971f6a7e4","datavalue":{"value":{"entity-type":"item","numeric-id":3569170,"id":"Q3569170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05794bb89d3618b42c49ee2edde954e3840cd923","datavalue":{"value":{"amount":"+0.8499758839607239","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":"Q456669$027DAE87-6B4E-4261-830C-F1BEFA1137F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36acd624f80b6846aa2d894aac81d380bb7e76a4","datavalue":{"value":{"entity-type":"item","numeric-id":5168611,"id":"Q5168611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"834e95eae7523df6453f64a126b7629b056019c4","datavalue":{"value":{"amount":"+0.8463666439056396","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":"Q456669$DE63F3F9-28FA-4659-940D-CB19EEC2663E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f408ef5c527b97b7d62f47c7d263489b2357c00","datavalue":{"value":{"entity-type":"item","numeric-id":2790584,"id":"Q2790584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41816229f17d67c0343ef1d23259f607af7e4c51","datavalue":{"value":{"amount":"+0.8120846152305603","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":"Q456669$B4420365-972E-4E90-BA50-6C2223F8A882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52911d0583e6b44cba787a295008762a4a2de243","datavalue":{"value":{"entity-type":"item","numeric-id":3437010,"id":"Q3437010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"462e8d32759e3c7fef08231b6a3a466844e027fc","datavalue":{"value":{"amount":"+0.8109068274497986","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":"Q456669$6866B6CC-C8FC-4314-A5C0-ED1DFC6A6C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f0ecc51a8d1218c89678b58a787e3a5642b7c0f","datavalue":{"value":{"entity-type":"item","numeric-id":847843,"id":"Q847843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf55bf05e3f33947f21fdc22c42860adae573c3","datavalue":{"value":{"amount":"+0.8079763054847717","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":"Q456669$0F14324F-7722-43B5-ABCB-F530AAFAD69B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:456669","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:456669"}}}}}