{"entities":{"Q684954":{"pageid":686803,"ns":120,"title":"Item:Q684954","lastrevid":63587223,"modified":"2026-04-11T14:10:38Z","type":"item","id":"Q684954","labels":{"en":{"language":"en","value":"Deciding consistency of systems of exponential-polynomial inequalities in subexponential time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 416594"}},"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":"Q684954$33F1FD54-B4F5-4F60-83CF-CEBFA96AE97E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac977d7f459663681eb1b7617e132b273ce6e3ff","datavalue":{"value":{"text":"Deciding consistency of systems of exponential-polynomial inequalities in subexponential time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q684954$1215EC03-97A4-4E0B-B849-472CF82F8731","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"857cf776a66108365e172519412a20436db58443","datavalue":{"value":"0780.65034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684954$F5ECA526-276D-4772-8763-6F5866A0D99B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45e6b4475cb33b2450b5856d8a70c1d74759112a","datavalue":{"value":"10.1007/BF01104104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684954$2C609EA9-F031-4168-B732-238547E24E34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"164101b92acd585ddf6ca53b10c2e6c3aab227fa","datavalue":{"value":{"entity-type":"item","numeric-id":351720,"id":"Q351720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684954$6BE1D83A-05D9-4F7A-91E1-AECF7D94884E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38095d6709161e075b2ca7acfb4de294406bc0b9","datavalue":{"value":{"time":"+1993-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q684954$934F7EDF-3216-454C-9169-190032FD9D49","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"263e004fa87be0b47d3b50d99ac46e5012915027","datavalue":{"value":"See the review in Zbl 0705.65042.","type":"string"},"datatype":"string"},"type":"statement","id":"Q684954$D2E3B5C4-40FA-435C-82E1-1EEA5F8DEF32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b4fa5b59eb6fe6e43618f9e005f4a49f4390971","datavalue":{"value":"65K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684954$FC51D676-4B6E-4570-B2E0-4670A0EBE4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"52de7d4bf5a27d5ad252804eec58396bb3e40c44","datavalue":{"value":"90C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684954$C358B612-B43D-470B-AC24-B4A6AAA8B0EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5fcacf50d8615065e33fa4cb9ba581d3d2d271f5","datavalue":{"value":"416594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684954$2D2BFBCE-8D6A-4DFD-BCB4-6900DB3D33BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"013ab0a3dba26fab3a01f6e2fc85c2aa0fcaffc0","datavalue":{"value":"recognition of consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q684954$89F898D3-34A7-4D6D-AA98-1EC8E9EA8667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a224f2fee58b97915142bcbb93031e83699b6ab5","datavalue":{"value":"subexponential-time algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q684954$1BF3659A-6EAE-4C13-B839-F36A189249BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8887e9d4cdbb749f41c4015bb9d1af7bbe638f2e","datavalue":{"value":"systems of polynomial inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q684954$893CEC71-2FDB-4642-A0BD-87ECCD64EF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63e8d95fceea04f3aff9795efbf1445b3876f0ee","datavalue":{"value":"first order theory of reals with exponentiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q684954$B4A80291-4D5A-4F4B-97F7-5F53AEECC2A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b80574436eb2cfe6e06d2d1b3446d5365a842cc","datavalue":{"value":{"entity-type":"item","numeric-id":1190746,"id":"Q1190746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684954$87B632DB-DF94-41F6-A357-E2A0D3C33108","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":"Q684954$52B790EE-01F2-4919-A369-6C911D898ED5","rank":"normal"}],"P223":[{"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":"Q684954$B467980A-ABB3-42CB-B84D-A6FB3FBEB163","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":"Q684954$4328ABB1-6186-4D5D-949A-E98FEBB6137B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60c79d793b0cf31d16a32daf494cbb97d5e0f545","datavalue":{"value":{"entity-type":"item","numeric-id":4168680,"id":"Q4168680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684954$DC1D1590-7ED0-49C7-A619-CC621F8E65D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23613763b3eea8c2f2939056d62496b0e60388cf","datavalue":{"value":{"entity-type":"item","numeric-id":3914080,"id":"Q3914080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684954$401FDF0E-029B-474D-809A-4BE8E1550FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b515ced739c6c8e682cf74e7321d82d15295643","datavalue":{"value":{"entity-type":"item","numeric-id":5736681,"id":"Q5736681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684954$8B427136-CD30-4414-91E7-4350BB653266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88be1e1c8c73530cc3ddca1d615c0e260ae28e63","datavalue":{"value":{"entity-type":"item","numeric-id":4189745,"id":"Q4189745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684954$F98B24D0-4EAD-437C-8F75-2530FBAFA150","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":"Q684954$1215E2B8-5F48-4305-BE6F-672D9BB751F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1139f87ae775ef65a114512a6abaadba3bdc67","datavalue":{"value":{"entity-type":"item","numeric-id":5184990,"id":"Q5184990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684954$129AF271-4DA8-41E5-B7E7-28CDAB1D3376","rank":"normal"},{"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":"Q684954$7ECDDEB7-F1EC-46D8-A902-C3A02CC00E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94af4b398439d78f99f728572ea461069cbeaa2e","datavalue":{"value":{"entity-type":"item","numeric-id":5633582,"id":"Q5633582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684954$6136D3FD-E69C-4524-B975-73E8D31608F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding consistency of systems of exponential-polynomial inequalities in subexponential time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_consistency_of_systems_of_exponential-polynomial_inequalities_in_subexponential_time"}}}}}