{"entities":{"Q43910":{"pageid":43966,"ns":120,"title":"Item:Q43910","lastrevid":105426656,"modified":"2026-10-09T10:05:54Z","type":"item","id":"Q43910","labels":{"en":{"language":"en","value":"Sturm-Tarski Theorem"}},"descriptions":{"en":{"language":"en","value":"AFP entry Sturm_Tarski"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"81d2ffc28ff7ebca67c37ab96118c4a3c75b78f2","datavalue":{"value":"32199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43910$85D46418-EBCC-41E2-9F3B-34CC7544A002","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43910$FAFA4545-0D02-4D46-BBA8-D00931DE5741","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"3639986cfb77338851ffff4c705481bced5c1045","datavalue":{"value":"https://www.isa-afp.org/entries/Sturm_Tarski.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43910$2A79C8D3-32F7-43CD-9672-5EC4757CD7A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec41e560e80ab9e1fe0c779a012b3e380525af3f","datavalue":{"value":"30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43910$7845B629-F9B9-430C-8E3F-735F43BFC75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43910$DE9779DF-22BD-41AC-88AF-60CE9A66B5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43910$12CED6A3-3CD4-4EEC-8205-9F5FF3A5FAB2","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43910$15368A1F-5F69-4156-B245-F0471F780CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8d55daeff7c4288ce44d22059c68add0e43c0b42","datavalue":{"value":{"entity-type":"item","numeric-id":40280,"id":"Q40280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43910$A199269A-F635-4E56-A866-65A7C441CCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cea2a7e9bb130921d12e1d361b3d4585036772c9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43910$70F1C2C9-8C54-428D-8B2B-515C7BD0263F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9f7773444cba07bf64d0a42509b5f6e8b2964659","datavalue":{"value":{"entity-type":"item","numeric-id":43939,"id":"Q43939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43910$3F240577-92F6-49DF-AE60-0007522E4E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c2ac4e1b3ad95361592c0c270f5d8415957c4b5d","datavalue":{"value":{"entity-type":"item","numeric-id":40322,"id":"Q40322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43910$BF8D0B66-7995-4837-8276-949CD9E0FF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"51306ce8c25b5117dec86fb7df3dc2f126cb9ae9","datavalue":{"value":{"entity-type":"item","numeric-id":43911,"id":"Q43911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43910$F62DF02A-E863-4E9A-B1B1-70B834946BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43910$53AE6885-D997-41AF-88F7-11AA1B235583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2ded5a481ece08049848bd1edb3f9afa21f0df2f","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43910$24B8A520-7D0B-4470-BC63-FB23333DAB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43910$5E2C2ADF-94F8-42C4-BC63-D26597097A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0ab42193b18fea9061cd802be326dc83479233b2","datavalue":{"value":{"entity-type":"item","numeric-id":43909,"id":"Q43909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43910$DBDEC1B9-E074-44C0-83EA-521F46F080C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43910$421351DF-9616-4B9A-8147-67346985BBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43910$2BCBB422-963C-4679-9C9B-4243A5494B7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b066901ecb5eb3a1ddbbebe0348809c5bbead27","datavalue":{"value":"https://isa-afp.org/entries/Sturm_Tarski.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43910$D6F0934C-1199-497C-91A0-7E0C4312A045","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"9e1ea7d1d4465bb52db7a9cfb941a77727b51dbd","datavalue":{"value":"Wenda Li","type":"string"},"datatype":"string"},"type":"statement","id":"Q43910$EDD25E51-27B0-41B6-A328-03D3BF333FED","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b1527aa87727a82b9594ebdc56a3534edca0af53","datavalue":{"value":"We have formalized the Sturm\u2013Tarski theorem (also referred as the Tarski theorem), which generalizes Sturm's theorem. Sturm's theorem is usually used as a way to count distinct real roots, while the Sturm-Tarksi theorem forms the basis for Tarski's classic quantifier elimination for real closed field.","type":"string"},"datatype":"string"},"type":"statement","id":"Q43910$6016B1A4-8475-47A5-AE98-E6A8F1C2823C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1e069c9e4331b31c569dc8e2183f4c63cb5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5920628,"id":"Q5920628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43910$2C2DBBD6-82C2-433E-A85A-65404FC1C71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43910$6C9CF3CE-2533-4E83-A862-F3A6939F7096","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f90b0a6fd8ec246798cd4dc3af4e3ab8afb6f1a6","datavalue":{"value":{"time":"+2014-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q43910$39FDEE6F-007B-4D39-8F18-C658884663AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b649171277f4ff62ec128661af45cfb61e0ee88c","datavalue":{"value":{"text":"The Sturm\u2013Tarski Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q43910$F5605515-071F-43E9-9779-BDBD4889981F","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43910$7C93174A-DB56-43BA-BF7A-8CECD9308F9B","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"fe8e4266ccdb5bc1f08b1d6665bd026f17fde0ac","datavalue":{"value":{"entity-type":"item","numeric-id":7361683,"id":"Q7361683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43910$037F5719-4700-48CB-B522-606E6B1D526F","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"ef6655bf04dd34fee9f7dc3b2763244f951e30fe","datavalue":{"value":{"entity-type":"item","numeric-id":7360822,"id":"Q7360822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43910$7B190403-0A20-4A94-A12D-D1254157FACB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sturm-Tarski Theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sturm-Tarski_Theorem"}}}}}