{"entities":{"Q4713865":{"pageid":6743442,"ns":120,"title":"Item:Q4713865","lastrevid":46211617,"modified":"2025-12-24T08:02:15Z","type":"item","id":"Q4713865","labels":{"en":{"language":"en","value":"Sur la complexit\u00e9 du principe de Tarski-Seidenberg"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6848"}},"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":"Q4713865$CF6F4702-78AA-4060-9B56-F30FBEF1F924","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"409c2df95b4f8ff4bf2d7542900e19561d9ecd18","datavalue":{"value":{"text":"Sur la complexit\u00e9 du principe de Tarski-Seidenberg","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4713865$74170396-CC84-4E98-A99B-EC8F324B6A11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5795ea48ed4026b4c0b45cdcff24f6f077c4d15","datavalue":{"value":"0767.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713865$4A88F24D-C542-4887-A287-278A7CA84C79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a67ebd63c49a2538afe68e2c0f9c56dfc6158b41","datavalue":{"value":{"entity-type":"item","numeric-id":191903,"id":"Q191903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$B97B7B9F-8DDD-4761-8580-970B001E5589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f9a91d3d999a6aeb2f11e0fd51c6ef626cecb47","datavalue":{"value":{"entity-type":"item","numeric-id":209706,"id":"Q209706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$B5342332-97CB-4C4C-9C63-9BB1F6BD189E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1a067da1377e19ad699e857de7d2607dce27ca2","datavalue":{"value":{"entity-type":"item","numeric-id":171409,"id":"Q171409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$E01A008E-F4AF-4CBD-8857-4C86B8D5F624","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4713865$87CA1CAD-A065-42F2-99CA-DC7EF0939EAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a598623b2a8bbfae02afbabe6c8aa67b82e84f79","datavalue":{"value":"http://www.numdam.org/item?id=BSMF_1990__118_1_101_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4713865$18802E4D-C277-464F-BE1E-F4654C010B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9090b56ad31da7e3ad9736793226c1bf1085479d","datavalue":{"value":"https://eudml.org/doc/87591","type":"string"},"datatype":"url"},"type":"statement","id":"Q4713865$B2BE9BE8-D8D4-4B58-B6E9-02CCF33DF6BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713865$89E8DCDA-13E5-4401-925A-EF38AB90FD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c54fa30ba624988236f9ecd491fc41d0cd53ef87","datavalue":{"value":"14G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713865$BC682EFA-C995-4375-A727-CF4CDEFA209E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713865$88728507-B49C-4C4E-BE27-543C344B726B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713865$978FB6A0-3F2C-4622-8AB7-B61F338410CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713865$C89D0CDA-C591-498F-A3DA-9C3BA284A651","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56362cdd20ee8bd6d88d89f2c80e325bd644bbf5","datavalue":{"value":"6848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713865$A2E4AF50-6345-4E8E-9D5F-373BFC0C95A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7dad102d42a7169de6a258b4c59ca869e41159","datavalue":{"value":"real closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713865$0A52B23E-B374-46FB-A264-45DD2E01F5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"267b394071cf1b5b643cd515aabcdbcae8c08f98","datavalue":{"value":"polynomial complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713865$F9B71F72-CAA7-4D96-BC2D-6A74841B6C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47dc19ce6e072e6116448c286a013e417bb94fb1","datavalue":{"value":"algorithm for quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713865$789D8477-C749-4359-B6E9-3E385F8C4CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d34844b49b3ef781bff4b88ee5c275b8c5ee361b","datavalue":{"value":"simple exponential complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713865$6FC15622-011E-4359-9CE6-F63AC7DB78C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fe7c04fb265d6285586c6d09f9fc4970bd799a8","datavalue":{"value":"sequential model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713865$FDFB0936-24E9-4E4D-8C35-C50AC3FDC7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e42b128515a50ae6af743abd5b4a7ddccb3687c","datavalue":{"value":"parallel model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4713865$F58D9814-7634-46D0-84C0-62C8E5A320A4","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":"Q4713865$3340A6F5-E350-4D8B-9A61-B9E1046DB36B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a4eb3e5d4f80138c6df869ddc4792d1bfd993ef","datavalue":{"value":"W136633354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713865$05E5345E-9D8A-4A8E-86EB-AC3ED8D61ADB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b35afcacf487f7d4833dfa5c8ec078202260d5c","datavalue":{"value":{"entity-type":"item","numeric-id":1096620,"id":"Q1096620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$E118B959-D8B6-4AAD-8A3D-7BDE62700DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33c7a78759148ce6b1abced42ef4a952f4334dd8","datavalue":{"value":{"entity-type":"item","numeric-id":794429,"id":"Q794429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$E89C768B-B9A8-47EA-9CE8-F509F4D3C06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500ffa37d61270fa66ef4038b154cd6e35f8ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3770650,"id":"Q3770650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$2743AF48-6274-4EF2-8119-FD9DCDC11928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$ED90A515-7BE1-47AB-B5E6-79904AC52B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c4f243234fde085bc8d007a8accd2c9a0ebce13","datavalue":{"value":{"entity-type":"item","numeric-id":4203817,"id":"Q4203817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$DD740BC2-5A34-4561-A21E-A9ADB7B11458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccd4ac1cf38ce7adf87c1aa2fe250a0bc62e564b","datavalue":{"value":{"entity-type":"item","numeric-id":581617,"id":"Q581617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$51DAE36E-0AD8-4188-BC18-434074A223D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfdf450746c95865439cf08883bd3a1c78d6c83","datavalue":{"value":{"entity-type":"item","numeric-id":1114669,"id":"Q1114669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$055D8B37-D005-4750-8D65-56C9540936D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0b517d15abfb8e7c365e21e5449875bf7854308","datavalue":{"value":{"entity-type":"item","numeric-id":3483266,"id":"Q3483266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$704BC080-4AC4-418C-910B-0319D7033D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3f52e8a6ff3430e3d85ef46468b27598ec4d5c1","datavalue":{"value":{"entity-type":"item","numeric-id":752692,"id":"Q752692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$3EADDC94-8260-4B6B-BE6D-EB511CAA4B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5771c621898803b98f3d8a7a0d4749a51ec11f","datavalue":{"value":{"entity-type":"item","numeric-id":4725742,"id":"Q4725742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$9D1BF383-3421-4B9C-B7D6-7B08A6DC263D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a733dd08f24ed049c18ae10ef2128cc329bfc4","datavalue":{"value":{"entity-type":"item","numeric-id":3358238,"id":"Q3358238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$31D115E0-702A-4884-A2BC-13D0E411B0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a0e856b37ab641259d132d542c40481e9faf36","datavalue":{"value":{"entity-type":"item","numeric-id":1264143,"id":"Q1264143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$754FF10D-504D-4498-A54C-2A286E02477D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d21ba7c9e01a1e4d50952aba9cb27df7aae8db","datavalue":{"value":{"entity-type":"item","numeric-id":1113939,"id":"Q1113939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$9429F59E-930C-4A12-AA09-9940F07B93A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5406ea7669ed616e0ac659900417e7fcb90273","datavalue":{"value":{"entity-type":"item","numeric-id":798314,"id":"Q798314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$BADD2322-6B19-40BB-8CEB-504C6EBADD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"965800db4c69339b73d54c791119fe908eeaa668","datavalue":{"value":{"entity-type":"item","numeric-id":3483265,"id":"Q3483265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$2F8DD7AF-6300-4C9A-B1B2-C5649FFF13EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05426ecc83d2d488ec81f6073b448c60e4e103c8","datavalue":{"value":{"entity-type":"item","numeric-id":3698903,"id":"Q3698903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$E4CCEF0F-0B5D-4E8E-AED2-22B923B6A27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e49e37c8c8f31492a4a0ae4e3e203898a0f8b521","datavalue":{"value":{"entity-type":"item","numeric-id":5749405,"id":"Q5749405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$8518B557-232A-48EB-ADA4-77C3BA92222D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813f00e49fcb12172c27504dfeecb9018f840f1f","datavalue":{"value":{"entity-type":"item","numeric-id":2651859,"id":"Q2651859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$D8B5BA85-0A95-496D-BC25-D3B197F0E470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$59EBC8F2-189F-4C9E-8C79-DF941E9F0720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ee04025f8e388651be4d4db71d838030df73da","datavalue":{"value":{"entity-type":"item","numeric-id":5799167,"id":"Q5799167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$4ECF4DA0-2238-4917-AA2C-BD8199BA4124","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":"Q4713865$5D6812B5-C51C-4044-A712-5FB5AFAF0509","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"046eacea129039f0cf83f32a4d77e1aa12f4e5d6","datavalue":{"value":"10.24033/BSMF.2138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4713865$7B10F38E-D4AA-447A-955F-0A8E6C62E186","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e81651f4d15c8918948fc383319bc10e5dc1eff1","datavalue":{"value":{"entity-type":"item","numeric-id":3299250,"id":"Q3299250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4713865$38A87266-F111-466C-98DC-804BFA0C4774","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b740e4ae19100c56f40c040b1099272f9c8a9e0","datavalue":{"value":{"entity-type":"item","numeric-id":3483265,"id":"Q3483265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd73bd64cc768d60190dc5a251abde5bed980b6","datavalue":{"value":{"amount":"+0.8827216029167175","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":"Q4713865$17EFF6CA-0BE5-48F6-A99F-1F1E7062ED49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60538cba9b2ea45b4f3fd1e9c8c2a2ce39b27192","datavalue":{"value":{"entity-type":"item","numeric-id":1185458,"id":"Q1185458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92eac83331de32ea73854805d20bfce39aac54fb","datavalue":{"value":{"amount":"+0.8436793684959412","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":"Q4713865$591B2A02-6A30-4A7D-B94D-B387C395D6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e703b606f36427127e5a5f6edee03487eab9391","datavalue":{"value":{"entity-type":"item","numeric-id":1185457,"id":"Q1185457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b969d0a135be492c03dc466db7ae4598d357a6b1","datavalue":{"value":{"amount":"+0.8327717185020447","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":"Q4713865$95EF950F-C9C8-407B-882C-3D9A207FE625","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4713865","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4713865"}}}}}