{"entities":{"Q2252121":{"pageid":2262864,"ns":120,"title":"Item:Q2252121","lastrevid":72926421,"modified":"2026-04-14T08:48:28Z","type":"item","id":"Q2252121","labels":{"en":{"language":"en","value":"On the complexity of Hilbert refutations for partition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6317504"}},"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":"Q2252121$A19F1475-E943-4A96-9C1B-FC239BB8FE0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"933f585a5f22060b14f1509610df2c7f28e82d34","datavalue":{"value":{"text":"On the complexity of Hilbert refutations for partition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2252121$5FD7D239-C32E-4E9D-83D1-9965009BC1BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b16146138a28d5fae323162e9d37489bac1d13dd","datavalue":{"value":"1357.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252121$FFB8C285-5A8C-4E6C-B845-EE7B8F6753BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eaa263e9a6afb8cf2dbbb0304ead8376b92b8695","datavalue":{"value":{"entity-type":"item","numeric-id":426850,"id":"Q426850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252121$19048818-0AAF-4309-A72E-E7BE94F9785C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89ce9c0b4d738f8fe245f91d1d3566a3fef6869a","datavalue":{"value":{"entity-type":"item","numeric-id":314826,"id":"Q314826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252121$17CE765C-8F53-4C3A-B947-EEC745091A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f53c5105382fd16c61f122c2d812e58329b86fc","datavalue":{"value":{"entity-type":"item","numeric-id":674620,"id":"Q674620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252121$B1E2A47C-D144-4B28-88ED-46BB30C5516D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252121$6172BFA9-9B5B-4793-8FA0-D7B5101B1BD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d96095eefc0bf738f47de90885bf2430056a6b3","datavalue":{"value":{"time":"+2014-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2252121$EDC2F92C-5D0E-44CD-8D25-46E277F23487","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26da48a79eeb9ed83bd6668952ac5b60b000983a","datavalue":{"value":"https://arxiv.org/abs/1208.3346","type":"string"},"datatype":"url"},"type":"statement","id":"Q2252121$63982B5A-352F-4728-B496-90C3A30F8467","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252121$5CE1DCD1-555D-4A8E-B856-31BC1A3E410F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252121$06213467-0384-4CCC-8DE4-93EA15B5328C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252121$5BC4D69C-F9AA-4975-BC3C-26836C90A8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252121$6C1BA12C-B8EF-4C0D-8C91-C5D332540F74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08fb89953b3d949a23c22c96e75fc27683da56f3","datavalue":{"value":"6317504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252121$983F1029-30AF-41B8-80BE-EF660D9B1132","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b169938171a0c3b5075ca9ec0e580054a3b8723","datavalue":{"value":"Hilbert's Nullstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q2252121$80FD1B6E-91DA-48BA-A173-3B69BC922DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ef7db62ea690b4e5062dfc499cec745f9bc958","datavalue":{"value":"linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2252121$C09885E3-94C5-45FB-A911-D2EC46827F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e41fb471c5632503b8716f23269ac7a1a49e160e","datavalue":{"value":"partition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2252121$0411A014-E585-464D-B256-68FEC61CC0C9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"db7cf4f19c4a04888041b88752a2ef35f53f0734","datavalue":{"value":"Q56859904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252121$51271700-E905-4C05-994F-15FE9A4FBB92","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":"Q2252121$4BD6C440-D176-4A2B-A6F8-8908F97E5470","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"af44241d397177693698c2c5dad7c95f5e68c1d9","datavalue":{"value":"W2147951657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252121$0C4966EF-47BE-412E-8637-C9BDFDCB08C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d3b084560c3a7bde137e6723ce54b6e39c1f8d4","datavalue":{"value":{"entity-type":"item","numeric-id":4243069,"id":"Q4243069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252121$F721DAEF-E242-44C2-ADD4-95FA5047ED1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd0676f008d3d35603ace258b7c421e863d9a84","datavalue":{"value":{"entity-type":"item","numeric-id":1196681,"id":"Q1196681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252121$386A917F-C5CE-4AEE-AF44-3BC01A21DDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe1958fb29532b90e09c713c0b31c18a6b57a9","datavalue":{"value":{"entity-type":"item","numeric-id":4892411,"id":"Q4892411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252121$195CE65B-3939-41A2-A572-5D78ACA41ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc668831a6565a498110f2aeac4eebcb5e83ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4228469,"id":"Q4228469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252121$71015C4A-C0EB-4F20-BEBF-8B0B65C75BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efff013e4edf28004e63861a6ca8b443b22a9a8c","datavalue":{"value":{"entity-type":"item","numeric-id":1594933,"id":"Q1594933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252121$EA37DA1A-6D77-49F9-936D-9B6E212B80B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0fc6a82f70e2435255f603104335428b4c6bb0e","datavalue":{"value":{"entity-type":"item","numeric-id":3552513,"id":"Q3552513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252121$C557D06F-3331-408E-B312-868D34E49149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d5750ec6304833901d32faa8c351823dff1cb23","datavalue":{"value":{"entity-type":"item","numeric-id":650840,"id":"Q650840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252121$F70FE019-8786-4E69-9C6D-9AA85260332F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252121$2EF8977C-C4F8-4A8D-9E69-82DDB10CFDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79a98465aa59b197fb5f6d70cdd9526566bf22d6","datavalue":{"value":{"entity-type":"item","numeric-id":5957725,"id":"Q5957725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252121$2624585B-A713-4801-806C-34AF30965A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bcd39d4d572ce00371c8bcc7e5ce715cd1a257","datavalue":{"value":{"entity-type":"item","numeric-id":4807964,"id":"Q4807964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252121$ED10917A-55E7-42D9-9158-16B94019FDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b33f559f32219998ec453685c83249fa1e095b5","datavalue":{"value":{"entity-type":"item","numeric-id":5614003,"id":"Q5614003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252121$124B0505-8BEB-4D48-A187-DC441F4F8F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d5a8ecc2a9e7c46d4f5860dcba79e64e2d62081","datavalue":{"value":{"entity-type":"item","numeric-id":1961057,"id":"Q1961057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252121$8CD7C977-ABDE-4BDF-BC05-528BAA6DE54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ec8f6f81428bd8769215213b5291205ed0250d","datavalue":{"value":{"entity-type":"item","numeric-id":1313833,"id":"Q1313833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252121$9FDCF5D1-5FB6-4BFA-8627-9B8BFD032AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9313d223b3ffed83d42274433533fdb5002952c6","datavalue":{"value":{"entity-type":"item","numeric-id":703684,"id":"Q703684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252121$0538ED97-34A0-4937-B973-F87EB920CD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408159b1c21249567bf1f15c810c7be66dbe7c68","datavalue":{"value":{"entity-type":"item","numeric-id":1293358,"id":"Q1293358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2252121$39B4F4BF-DE6A-4499-92C5-849AF45C4FD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85392ee7565bbd4c22b78c85b82deb690a6d16ff","datavalue":{"value":"10.1016/J.JSC.2013.06.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2252121$FE71CC63-7F07-4E9A-A058-B8874E64015E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"441416c8d61a70b566794b47705802e4326c642f","datavalue":{"value":{"entity-type":"item","numeric-id":3552513,"id":"Q3552513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4800ecf55dd81f94ee74903693ff430a5a9680db","datavalue":{"value":{"amount":"+0.7253550291061401","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":"Q2252121$B75AA915-E721-4475-9767-DBA19DDAED9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e64b9d20ca39ec4ecc99b97c0f95aa99874ee235","datavalue":{"value":{"entity-type":"item","numeric-id":476314,"id":"Q476314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dac4dcfa4b46a5a110e8ff43ad11227180f4440","datavalue":{"value":{"amount":"+0.7175282835960388","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":"Q2252121$1CFCB18D-8D2B-4BCB-B1B5-19E2DAD20180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92b2ea1248f4237dfd3ef015257fa8970c415085","datavalue":{"value":{"entity-type":"item","numeric-id":650840,"id":"Q650840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3da16266102cdbb96b03a987f80d7f89e70a12","datavalue":{"value":{"amount":"+0.7073018550872803","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":"Q2252121$1162FE34-624B-4A9C-8572-451373B3D242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4713c3cfa7ff6086d176910152ebbc2b6c916f9c","datavalue":{"value":{"entity-type":"item","numeric-id":5465857,"id":"Q5465857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1135c9ba3be77e8992fac3c3345c4eab8bae63bd","datavalue":{"value":{"amount":"+0.7055231928825378","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":"Q2252121$7D023183-B755-4C4D-8EC6-E995E8CC6A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19dc0dcdeb831ffb99adcab05fd63204cd91a4da","datavalue":{"value":{"entity-type":"item","numeric-id":4938414,"id":"Q4938414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ba1ed3f3c4af1d65065db3e47ff391deb189586","datavalue":{"value":{"amount":"+0.7042320966720581","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":"Q2252121$DBE5D28D-DFA6-4EFB-BAA0-5576D183B923","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of Hilbert refutations for partition","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_complexity_of_Hilbert_refutations_for_partition"}}}}}