{"entities":{"Q5957271":{"pageid":8134073,"ns":120,"title":"Item:Q5957271","lastrevid":42001530,"modified":"2025-05-21T15:24:52Z","type":"item","id":"Q5957271","labels":{"en":{"language":"en","value":"An algorithmic approach to Schm\u00fcdgen's Positivstellensatz"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1716653"}},"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":"Q5957271$546BDF2C-8C89-4971-8847-8BDC4C7CE98D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a5774d2e38d0c33c81e307ac7f4e6be8313b9f6","datavalue":{"value":{"text":"An algorithmic approach to Schm\u00fcdgen's Positivstellensatz","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5957271$D097DD9A-E0C1-4B3B-9FAF-34511C144FAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0af87c38dc61df1e262c3463e473922546dfba4","datavalue":{"value":"1015.14031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957271$70B516BC-8199-4A26-AB1A-AE26626F195C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"250d68eaeece7145e6847186a245b3f492ef92b6","datavalue":{"value":"10.1016/S0022-4049(01)00041-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957271$D0BE0A4D-359F-4E56-89E5-504E9862091A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c909837cd081616314bc61f40b993373dcba8cef","datavalue":{"value":{"entity-type":"item","numeric-id":233373,"id":"Q233373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$05E2154A-5875-4EDC-81EA-535946F66252","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$01A3C986-402D-4A87-9307-3C22A0212357","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20484d5d05d35091295b43d15d842c3e6e3b69fe","datavalue":{"value":{"time":"+2003-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5957271$9D0BDD89-3FC6-4117-A9D2-736DB2DA5BB7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"686b28cf776f97d1876e91eb21edc77a670894f5","datavalue":{"value":{"entity-type":"item","numeric-id":364687,"id":"Q364687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$A035058B-E67F-49AA-BD8F-157D32C48BA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957271$F412E6EA-7343-4245-9DDF-F6B6DF16511C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"765bffd38ceeadce2d709456a083f0dd0b70ccc2","datavalue":{"value":"13J30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957271$33C07758-7F40-41C8-9F03-E339092D22AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39fcd47c2eb394bec253b19621381acc48f5cc6a","datavalue":{"value":"13J25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957271$3EEFA5DD-66A8-4100-BC16-6F02AC2A29D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"410344b468f36c1ba148a4a162d961366560dc23","datavalue":{"value":"1716653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957271$E102926D-86F3-41AC-9698-618A7E4BCA5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7497714ecce72d928955ad95102efaf27d025e4","datavalue":{"value":"semi-algebraic set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957271$7BCBEF15-5FFF-4935-AFB7-29698FA942D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7dad102d42a7169de6a258b4c59ca869e41159","datavalue":{"value":"real closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957271$990FA16B-ED97-41EE-B42C-E15E7B87D829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4918092ad189e813fda26972a403a2ec926ed138","datavalue":{"value":"Schm\u00fcdgen's Positivstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957271$00C48C94-FD20-445F-A549-DA670430EBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a4edfbbae10f51c03a0767ecf26d0d454aeb01a","datavalue":{"value":"sums of squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957271$5D4F5556-DB43-47C1-A4AC-E4CF1F430426","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":"Q5957271$F007C69B-F433-4E6D-9B21-F4676FF66E39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c1a71d71304f3628c81a34afbd2a71b86db3d97","datavalue":{"value":{"entity-type":"item","numeric-id":3755956,"id":"Q3755956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$42C569EB-2782-48EF-8F0E-CB1354D5425C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96ff383b8a87a37aebbefacd08106196c5dbe28","datavalue":{"value":{"entity-type":"item","numeric-id":3869436,"id":"Q3869436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$F567B738-FF8D-4602-AC05-0791F8441391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0746af387e353367050027de861503dc9d3748d5","datavalue":{"value":{"entity-type":"item","numeric-id":1051046,"id":"Q1051046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$C4E07797-B124-4E07-9D48-59218D45EE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb52b96c4c974f9d9523f367ef64dded6d05761","datavalue":{"value":{"entity-type":"item","numeric-id":4693774,"id":"Q4693774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$D2E2A142-3F6F-49A6-97BC-DAD52203C023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61916f3e414b0f2f2e47af2c8bbc935816512cde","datavalue":{"value":{"entity-type":"item","numeric-id":2524581,"id":"Q2524581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$EAF0641E-EE3D-408A-8C6C-4B1D778FE038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14eeba7af25bd4b2f1e7dbd6d25e968035e1ac1","datavalue":{"value":{"entity-type":"item","numeric-id":1117277,"id":"Q1117277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$E27D923F-17BF-4826-A3E2-4F0D8F33A259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fcd1262ebaeb142ece48b594c05a6eede332ac","datavalue":{"value":{"entity-type":"item","numeric-id":1112337,"id":"Q1112337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$FBA4AF9B-95DE-46A6-A1B7-9A9D69DE1780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0453a1f0af0242c0fb55a1ef516aec9019dec1","datavalue":{"value":{"entity-type":"item","numeric-id":5804463,"id":"Q5804463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$1897DD7F-E094-4D9F-ACC2-7023147A9330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0ab62ae07f956593adec79bf245f33771b6e2b","datavalue":{"value":{"entity-type":"item","numeric-id":2395891,"id":"Q2395891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$18CCEAA5-5F03-4D83-9D71-F4324457BC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5967c2175cf6dfae2ed8bebcb00a36835932c55c","datavalue":{"value":{"entity-type":"item","numeric-id":5730197,"id":"Q5730197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$8C9E70A6-7187-4454-B055-D170B8EEEECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b0e5b2f280423e65b9d044b07ba835c28c2c2b","datavalue":{"value":{"entity-type":"item","numeric-id":4693114,"id":"Q4693114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$B2A8DCA1-3B83-4843-9EA8-D394246D84A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff657bbd6b13a753e3b9be748deb2eee8f3a3c2e","datavalue":{"value":{"entity-type":"item","numeric-id":1917390,"id":"Q1917390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$757EAFEC-5B45-4C59-B89F-FEA9D18F4354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b8bd17c2d36588e5c9076bab4692a996a52ed2e","datavalue":{"value":{"entity-type":"item","numeric-id":4068631,"id":"Q4068631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$992EE8D3-EA82-4AA5-8BFA-E5E89BD6F6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27fd0f87f76aad65d3eacd927c6e6a01e7770a6","datavalue":{"value":{"entity-type":"item","numeric-id":4079589,"id":"Q4079589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$28254FE6-3411-4255-B085-BEBC3E392B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda53f5816d748e5aace212880edb9daa4bbe12f","datavalue":{"value":{"entity-type":"item","numeric-id":1174468,"id":"Q1174468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$9B152D85-8CE5-4139-8856-D674789864B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$465D84BC-B083-464C-9F22-EA64FA95519E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e427a3de4ce120fbfba5e22bc0ea204ebacee10a","datavalue":{"value":{"entity-type":"item","numeric-id":2557742,"id":"Q2557742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$171D5E54-06C5-452C-A79C-4DDEB3CC8FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f4dda209af553ead57e3f910a21d61d6c15a27","datavalue":{"value":{"entity-type":"item","numeric-id":2565195,"id":"Q2565195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$5B4A0A33-8797-4F01-B2D7-F588F6EB29B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0322103f340ea88011bd3d9c87bf5c7ccfa41d14","datavalue":{"value":{"entity-type":"item","numeric-id":1823681,"id":"Q1823681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$7D9472E7-6B8E-4EB2-9AB1-BB76837E9F9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a741601257ea2579bd67ade2f24a7687eccd8ac5","datavalue":{"value":{"entity-type":"item","numeric-id":4407585,"id":"Q4407585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5957271$88C9223F-5AAD-4F0C-8262-823541CE518B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e439821c5f44e70d4a07fd21de9668d0aea897d1","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(01)00041-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5957271$CBDE9D89-9937-4E64-BD51-85715C1DA7A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a7c0bae4bf000905a586ec4af0d052b02c77e6b","datavalue":{"value":"W2166822874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5957271$051102B5-B5D0-4002-A769-8674D80309F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2182d33aacb27450c6d97306e57eb0000c31f594","datavalue":{"value":{"entity-type":"item","numeric-id":3153399,"id":"Q3153399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"193d91d63a26defb79e31144803abb15195018b0","datavalue":{"value":{"amount":"+0.86537933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5957271$61735FA5-9C9C-4683-BBF8-2750ADBCCBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b13b6d849cc0158ce93211802b0c840f66e8c992","datavalue":{"value":{"entity-type":"item","numeric-id":2732642,"id":"Q2732642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d711229a6f295aac330495d16f68c673614e26d7","datavalue":{"value":{"amount":"+0.757261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5957271$9F0074D7-527C-4129-8B72-F82511572D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"102402b5432f4fcd137860c8ebfb22c6189d885d","datavalue":{"value":{"entity-type":"item","numeric-id":4501121,"id":"Q4501121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"000490c7c6b7e51b3739a7534b4aacce7f5454fc","datavalue":{"value":{"amount":"+0.756433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5957271$B38A0823-3627-47F2-A0FD-FEA88898E19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094847ca3e5dbf17bfa54f0bda1abd50a7d74799","datavalue":{"value":{"entity-type":"item","numeric-id":3445223,"id":"Q3445223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"022c5e2a4882cb74a6763645eb61fcc53abd1ece","datavalue":{"value":{"amount":"+0.75442386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5957271$53E9DB64-AC38-409B-909B-B702C7A91679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56cc977c4affd43b07aad76ce4486bcc4250f133","datavalue":{"value":{"entity-type":"item","numeric-id":1417879,"id":"Q1417879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"110a25c35baf9d22e090dc5b90ffda97bca4cd91","datavalue":{"value":{"amount":"+0.75372636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5957271$FCFB1B98-E4BD-4E66-9810-61A5B682F53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c62ac753dfb2485c3b55362a0b6d2544261fd1","datavalue":{"value":{"entity-type":"item","numeric-id":635677,"id":"Q635677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed989e0746da64f2a696e9c30f9758630c465f7","datavalue":{"value":{"amount":"+0.7476857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5957271$A94F5010-B9B1-4DB3-B1F3-27FA61BAAC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55e4f306198d6e38a3354e65af9d966f8100b25","datavalue":{"value":{"entity-type":"item","numeric-id":4604290,"id":"Q4604290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dadf55e4d71feff944dfe75af67b0c9dbcbef8b","datavalue":{"value":{"amount":"+0.7464378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5957271$EC81CE8F-2A89-4833-B201-A3901D3E64CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d59999062cd738ce3f94700023298b4d050f8159","datavalue":{"value":{"entity-type":"item","numeric-id":368724,"id":"Q368724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9f4f8aad0b0cc43b73b46222232c5a3d38c97a","datavalue":{"value":{"amount":"+0.7434624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5957271$147D4D2D-F77E-425F-B181-98038F312FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e78ce351c8d8f3b66844dc660ed81782c8ae7c89","datavalue":{"value":{"entity-type":"item","numeric-id":1876015,"id":"Q1876015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec14cdf78c031c6be70e7fc5dad942648b48f60","datavalue":{"value":{"amount":"+0.7420461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5957271$236D3250-25DD-4C6F-B0EC-A31F64566B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c041d05ef454a4cac444bbcb1158679e24a79b3","datavalue":{"value":{"entity-type":"item","numeric-id":2693779,"id":"Q2693779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea3f17658f95459ff39d4b4cb4fec46717fc75d","datavalue":{"value":{"amount":"+0.74197996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5957271$F08EE2C2-19EB-451C-9DDA-B28FDE425D8C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b3731c711f41f8973d5e78af61294459e200d129","datavalue":{"value":"Schm\u00fcdgen's Positivstellensatz speaks about a polynomial function \\(p\\) on the basic closed semi-algebraic subset \\(K_S=\\{x \\in\\mathbb{R}^n |\\forall s\\in S:s(x)\\geq 0\\}\\) of \\(\\mathbb{R}^n\\) defined by a finite set \\(S=\\{s_1,\\dots, s_k\\} \\subseteq \\mathbb{R}[X_1, \\dots,X_n]\\). If \\(K_S\\) is compact and \\(p\\) is positive on \\(K_S\\) then there exist \\(0<\\varepsilon\\in\\mathbb{R}\\) and sums of squares \\(\\sigma_\\varepsilon\\) in \\(\\mathbb{R}[X_1, \\dots,X_n]\\), \\(e\\in\\{0,1\\}^k\\), such that NEWLINE\\[NEWLINEp= \\varepsilon+\\sum_{e\\in\\{0,1\\}^k} \\sigma_e\\cdot S_1^{e_1}\\cdot \\dots\\cdot s_k^{e_k} \\tag{*}NEWLINE\\]NEWLINE [cf. \\textit{K. Schm\u00fcdgen}, Math. Ann. 289, No. 2, 203-206 (1991; Zbl 0744.44008)]. The proof given by Schm\u00fcdgen used methods from functional analysis. Today there exist many variants and refinements of Schm\u00fcdgen's theorem. A purely algebraic proof was discovered by \\textit{T. W\u00f6rmann} [``Strikt positive polynome in der semialgebraischen Geometrie'' (Dissertation, Univ. Dortmund 1998)]. A thorough analysis of this proof leads the author to a new proof that is effective to the fullest possible extent:NEWLINENEWLINENEWLINEAssuming that for some \\(0<s\\in\\mathbb{R}\\) there is a representation NEWLINE\\[NEWLINEs-(X^2_1+\\cdots+ X_n^2)={1+ \\sum_{e \\in \\{0,1\\}^k} \\sigma_e\\cdot s_1^{e_1} \\cdot\\dots \\cdot s_k^{e_k}\\over 1+ \\sum_{e \\in \\{0,1\\}^k}\\tau_e \\cdot s_1^{e_1} \\cdot\\dots \\cdot s_k^{e_k}}NEWLINE\\]NEWLINE (with suitable sums of squares \\(\\sigma_e\\) and \\(\\tau_e)\\), he shows how the representation (*) can be computed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5957271$81D1BF79-D603-4EAA-891F-5AAEFD8A9327","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5957271","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5957271"}}}}}