{"entities":{"Q6142637":{"pageid":13276944,"ns":120,"title":"Item:Q6142637","lastrevid":58716006,"modified":"2026-04-06T10:58:42Z","type":"item","id":"Q6142637","labels":{"en":{"language":"en","value":"Axiomatizing the existential theory of \\(\\mathbb{F}_q((t))\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7783172"}},"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":"Q6142637$07ABE930-127E-475B-A1D3-8D4323AE059C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9fd9d4f2232963b771da0ec590b01c2185264ac","datavalue":{"value":{"text":"Axiomatizing the existential theory of \\(\\mathbb{F}_q((t))\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6142637$8C5F684E-9D0B-4ABE-984E-A7CFD52B12C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"537e88344e7d5195dbb87aab77baf597a87bd70a","datavalue":{"value":{"entity-type":"item","numeric-id":299142,"id":"Q299142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$4F099665-33E3-4FE1-A9CC-B01BF56C979A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4806c9a0a267652a0b76f176352545dae141ab54","datavalue":{"value":{"entity-type":"item","numeric-id":2032999,"id":"Q2032999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$0A0EC271-B97C-4D97-B377-9A8AC2FCE238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78aff126039beaf7133b50a6734bd2bdc7c88fdd","datavalue":{"value":{"entity-type":"item","numeric-id":256948,"id":"Q256948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$AE08AA2D-B0C9-4B6B-A88D-5A3603CAF59D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3867057a7d0226a86475a68a428f5c0a32f79af8","datavalue":{"value":{"entity-type":"item","numeric-id":246406,"id":"Q246406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$AE903D4F-424B-4657-8F49-0E5758304A51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbcbfb6e4245007aaaf5b11e066d304c97507b7a","datavalue":{"value":{"time":"+2024-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6142637$D74E7B56-0E6F-4424-A549-BBB069A897F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"168d3d7cf918f79b22be821e6b5657a7d93491f1","datavalue":{"value":"https://arxiv.org/abs/2205.05438","type":"string"},"datatype":"url"},"type":"statement","id":"Q6142637$0901C6BD-8436-47BB-8319-3B733F73D9A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142637$EE87BB54-3FDC-4ED8-B76C-8F03AF0ED245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d68f5bba7022f00fa42fede7e450d13e0cc2521","datavalue":{"value":"11D88","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142637$55AA8226-8219-41BB-8DF6-FCBE35140904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fda67124f5cab049dd5667315a74bf87fdf7c975","datavalue":{"value":"11G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142637$EFE8928E-BBA2-4D03-B935-B18D439455AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1435d0ab5d791aa524ff4a1a914fd6a90eedf58","datavalue":{"value":"12L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142637$5011D88A-9777-4F51-9013-65655992CC15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce1ce74c17942f3c9d729aefb2bc24782131b2e0","datavalue":{"value":"7783172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142637$2C268174-FB10-45C0-BB9A-C4813D00DEFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f60a0a024567fdc5533cd7e52365d063836f9f52","datavalue":{"value":"local fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q6142637$D6987F86-A2DB-44AC-B34E-5196907B8F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9341b002f21c65cbbc10813fed30ac97bdf59efb","datavalue":{"value":"positive characteristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6142637$C339B0DD-EC42-43B5-884C-FBE115E08D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e92eb0c177f0a8ce4ec7f69a90019db650aad55d","datavalue":{"value":"Henselian valued field","type":"string"},"datatype":"string"},"type":"statement","id":"Q6142637$72E29868-DBB8-4BEA-A49B-A29BEE561058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d095bd6cc24eec27ac4215660390f5b0d0cf34c","datavalue":{"value":"existential theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6142637$9D96D714-0BD0-43F4-A2B3-EE556F9CB228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3018f13ec4565557bf025633f394ef25a05fe3b","datavalue":{"value":"decision algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q6142637$38C46EA1-93D4-411A-831E-D89401AEFF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af36e383360e1dd892b57ae4e93379a2bfa64587","datavalue":{"value":"resolution of singularities","type":"string"},"datatype":"string"},"type":"statement","id":"Q6142637$AE053397-D8E1-4902-A6C2-8064ED09EEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b05ee4bf65f574fa6cad47daba3f3a2b268ded2","datavalue":{"value":"local uniformization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6142637$4621E71C-1090-4177-B668-2CB33A5CECC9","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":"Q6142637$DDF4B908-8D75-4839-ABA9-3607E170A786","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a0a773a3fd6baa3d55086490707a8aa5ac44500d","datavalue":{"value":"W4387308212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142637$E09D34D9-590F-46FB-B14D-3B163C2510B7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f117d7c631ffd74fc86fabfb62d09033d9a2a442","datavalue":{"value":{"entity-type":"item","numeric-id":299143,"id":"Q299143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$78DD642A-A39F-42BB-9893-18F22ABA8266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f70f459e8b0e1b56e6407a97fa4c8aa3b617390","datavalue":{"value":{"entity-type":"item","numeric-id":5357347,"id":"Q5357347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$770C0DD6-6E2F-451F-B561-697C0BCE34C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bac457fa00d328e7f2d8c90f19ab0da34f2a5a3","datavalue":{"value":{"entity-type":"item","numeric-id":3188322,"id":"Q3188322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$DA4AEBE9-3A40-4E40-8697-55196F799EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a1fb79facb8d9bb403911b1d510918c0f5e6b2d","datavalue":{"value":{"entity-type":"item","numeric-id":1953834,"id":"Q1953834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$081EF932-10FA-4CB9-BCF5-7C118F5F8539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e8cfbccaf9b849319b08b77476ad4cbfc53250b","datavalue":{"value":{"entity-type":"item","numeric-id":754266,"id":"Q754266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$8BD1218A-235A-409E-B1AD-CAF2B4889A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c29d3090f75db2845105d6dbcbd97c7eb50c21","datavalue":{"value":{"entity-type":"item","numeric-id":3996413,"id":"Q3996413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$19F1A574-4ABD-4125-91A2-4C13C3016F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$29CE56D6-DF03-4436-9322-E392273B9B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69466666a9b493211084785ef3c015ea1efddc01","datavalue":{"value":{"entity-type":"item","numeric-id":4440899,"id":"Q4440899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$85585454-37E9-4E4F-B991-7EC9825FAD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f033301cd9439a5efa4ac9952db64a565fb3e964","datavalue":{"value":{"entity-type":"item","numeric-id":2521161,"id":"Q2521161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$12B415DD-9406-48E8-A832-8CF24115D0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c14cff369e9131836bb8270a81abc6f8d73c4f","datavalue":{"value":{"entity-type":"item","numeric-id":2526291,"id":"Q2526291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$B37053E8-C8B0-45A3-8B5A-FC29B9AD7A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224f84c023b5ce0da69162cda57ea9c7f564512d","datavalue":{"value":{"entity-type":"item","numeric-id":5532930,"id":"Q5532930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$043A5C15-77A5-4762-A66F-7D8845FCBBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e06c1e433a26d433040a3634a1a06c9779f71ccc","datavalue":{"value":{"entity-type":"item","numeric-id":625509,"id":"Q625509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$09A059D6-F894-4602-B2A4-CD320D767DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b153cbbd3596c3e834fe26f1c5243ea3892ad54","datavalue":{"value":{"entity-type":"item","numeric-id":4635361,"id":"Q4635361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$30DAA507-9129-4DE2-AA30-2AB386891E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec9a41620eee325458c800856323320e71ae4c57","datavalue":{"value":{"entity-type":"item","numeric-id":3502622,"id":"Q3502622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$FBEA63AB-295E-4024-9B6F-D9055C0FADEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a2222df290ac4f7402bc8c62dbf3b1588cc292","datavalue":{"value":{"entity-type":"item","numeric-id":5516876,"id":"Q5516876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$7FF776D7-2159-4F5C-8633-BB766196A73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59aa42ac56aa45dec0439c53d55143b19a866924","datavalue":{"value":{"entity-type":"item","numeric-id":2626871,"id":"Q2626871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$CF539C2D-DE5E-4718-83D2-AD6090D0A701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a84185a6dd568d8e5bf65d613551be61d3fa36","datavalue":{"value":{"entity-type":"item","numeric-id":3162102,"id":"Q3162102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$37051DCB-7180-474B-869B-C12E55EB821E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a2814755447ada8f43a14809cb6a8c2a7bde05","datavalue":{"value":{"entity-type":"item","numeric-id":2109050,"id":"Q2109050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$DBC85422-29CA-4057-80A7-3FE5CBE21340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db395fdbe33743c0c4d92d21bf18352c6678cc6","datavalue":{"value":{"entity-type":"item","numeric-id":2105093,"id":"Q2105093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$4D95064A-686C-47FC-994F-7B9A6A307516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"291a805c5552627db7b60d5f81d15032cd83cfd8","datavalue":{"value":{"entity-type":"item","numeric-id":5256624,"id":"Q5256624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$2DDD9C06-9816-4830-9B76-C66EEF39F332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aab42152ba5c3d9f4a913f5faa150816aef84d8","datavalue":{"value":{"entity-type":"item","numeric-id":1886580,"id":"Q1886580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$926809AF-3BB5-4FFF-8EB3-B14549965637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff4cb33fcd225f7f71967b6aebced954ccf962d","datavalue":{"value":{"entity-type":"item","numeric-id":323734,"id":"Q323734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$E5BFB68C-0546-4A4B-B633-278B7F59203A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a959948b7c7ff62338f63a549556a34db2f8edd1","datavalue":{"value":{"entity-type":"item","numeric-id":4530238,"id":"Q4530238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$466EC99A-D94D-4687-B4DC-940FEBDE6314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfac4482b10ca7f882b0bf6dfe0316b5a77c6a01","datavalue":{"value":{"entity-type":"item","numeric-id":2167510,"id":"Q2167510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$46A197EC-CDB8-4356-AB9B-18D37884ADE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31730c9887dfae33138a74a632d000f3ebc6e089","datavalue":{"value":{"entity-type":"item","numeric-id":1924335,"id":"Q1924335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$9F21C3B7-0FC5-4B81-9E2A-0256AA6C6EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51c6bee2691eabd8d25695094c0029f5acf4f64e","datavalue":{"value":{"entity-type":"item","numeric-id":624931,"id":"Q624931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$FCD6D537-2540-44D9-B316-55BA39459227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d8c6a1411f71a33a308ff45699acfd13c4580d3","datavalue":{"value":{"entity-type":"item","numeric-id":5181353,"id":"Q5181353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$3BC12C0F-A912-4C95-83FA-FE2D112DB76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7ebbea6f90e7fba779a412e50716b4c55c87e2","datavalue":{"value":{"entity-type":"item","numeric-id":770406,"id":"Q770406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$1B467538-7D00-4D52-8B1F-64A155DB2954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51c2dc89b37166f3831c7e4c0ab36979a927824","datavalue":{"value":{"entity-type":"item","numeric-id":4128897,"id":"Q4128897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$24FE337E-D811-443B-A487-225E1AD94EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7bd22fdd540d1abe95ffee5bca2be550642a19d","datavalue":{"value":{"entity-type":"item","numeric-id":3856855,"id":"Q3856855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$F402E271-33B5-42B3-A56A-A2138377623A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1576aba6453699a5ebe96960f221e6cd157bab89","datavalue":{"value":{"entity-type":"item","numeric-id":3423328,"id":"Q3423328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$CC5A2D98-16B3-4917-BF6F-5D309E7DE5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9acf2fed116fbdc5c71c98b693015b2cd4f04b20","datavalue":{"value":{"entity-type":"item","numeric-id":5656753,"id":"Q5656753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$37CD9D8F-429D-4380-BBD9-C345DC3BE43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36710d26422b37f13720951efae5b1346422b1e7","datavalue":{"value":{"entity-type":"item","numeric-id":944318,"id":"Q944318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$55E83D4C-CC04-4061-9EAF-5E27119FA948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054cce11fbaa4f538e81cc34b4a13b458a1b5a2f","datavalue":{"value":{"entity-type":"item","numeric-id":2377425,"id":"Q2377425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$3756657B-816A-43EA-B465-CCC17AE5D305","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39b53d5704ab856c72b1144d210f28f268a0344a","datavalue":{"value":"10.2140/ANT.2023.17.2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6142637$EDE15047-9BEB-4982-AB1E-233C4213D545","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6142637$88134EFF-F0D8-49ED-9E4D-76851441E41E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6142637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6142637"}}}}}