{"entities":{"Q5363779":{"pageid":7393353,"ns":120,"title":"Item:Q5363779","lastrevid":92284430,"modified":"2026-06-05T01:20:12Z","type":"item","id":"Q5363779","labels":{"en":{"language":"en","value":"Strong ETH and resolution via games and the multiplicity of strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6784974"}},"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":"Q5363779$FD80A2EB-057D-4B04-AC2E-31716E809B55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb091eafb7e15862250349dab00dccb64a71562f","datavalue":{"value":"1378.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363779$E02B3F95-7262-4DF6-81E2-289DCC8CB077","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4483c3e80efc299db09cfe4d4ac647d53c35cbc0","datavalue":{"value":{"entity-type":"item","numeric-id":894451,"id":"Q894451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5363779$9F37835D-620F-48EC-B341-33AB94104FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9896ab75162544856a6fb3b10335bf8d1ef06c06","datavalue":{"value":{"entity-type":"item","numeric-id":894452,"id":"Q894452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5363779$11223FD1-0BE3-44B9-BB7C-EA36A094CED3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38c6a695cf3837fb6c40a9b0aaa4c3b6a2324244","datavalue":{"value":{"time":"+2017-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5363779$0A454021-9AF7-4C8E-8031-0171B78D999B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363779$08A08505-DBB7-48C3-8EDC-CBBC3AB88A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363779$DAB98367-2F6F-48FE-BF58-04810497E471","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56b201794f974b0e9e79dca8ac49545dd2604b11","datavalue":{"value":"6784974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363779$64FA35BB-5740-49B0-B6C0-3C41EEE6D9A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6875ec2def16b48a9065ad482b76c42c8d93cde","datavalue":{"value":"strong exponential time hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5363779$7CA103F9-F19B-4298-BEDB-CF647E7B1B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5363779$8CF8B570-A22F-4C8D-BC1C-C9BAEB8DDD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5363779$F7386DF9-276B-41A3-88C0-8BD5BEBC8F72","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":"Q5363779$B7F493B2-F14B-42FF-938F-DC6CA9C30AC3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0edb2adaff9cb444edbe94e94b8637017f0c7f02","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.IPEC.2015.248","type":"string"},"datatype":"url"},"type":"statement","id":"Q5363779$A082C2A9-E566-4AB9-9CD7-1F814657DBA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee603f0291c76fc8a50556d4365980dad61ae33d","datavalue":{"value":"W2275373716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363779$D25F350A-F86D-47DE-B077-D0E5A25F120A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cbc3ec4874787fdab5f9d3d1fb5958d0d04f4fed","datavalue":{"value":{"text":"Strong ETH and Resolution via Games and the Multiplicity of Strategies.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5363779$94AEC723-9F17-4E33-85C0-A2E9F40AA5F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddc77553be26cd691a659b02166e94f577fdc9ec","datavalue":{"value":"10.4230/LIPICS.IPEC.2015.248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5363779$3BE8B5FD-A1B2-4D79-890B-0F90523D342E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6f573508b552e0a207ff919618e2d666d048d2","datavalue":{"value":{"entity-type":"item","numeric-id":2408195,"id":"Q2408195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b35dd6c47a97ffa357ac289d2c1dbb04d1ca571","datavalue":{"value":{"amount":"+0.9534044861793518","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":"Q5363779$EC04BB22-697C-4875-AC9B-82999968C532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d639964292ac619a23609ae5651f4c7eb5b53d13","datavalue":{"value":{"entity-type":"item","numeric-id":5495819,"id":"Q5495819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55f698ff7fafa46b9effb69abd9b4469c1d68d78","datavalue":{"value":{"amount":"+0.7911486625671387","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":"Q5363779$69AF07AB-B081-4E83-9CD2-E8D65D4215EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c50e84a990e45d0edfe1df165828e3129348a518","datavalue":{"value":{"entity-type":"item","numeric-id":894453,"id":"Q894453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"633ce26bff02570920fab43e963f917ac109eb68","datavalue":{"value":{"amount":"+0.7745696306228638","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":"Q5363779$4E365235-55A6-4715-B77B-DDC0C8CF3C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3a88331ccffb7f9225eda682324093981fedba","datavalue":{"value":{"entity-type":"item","numeric-id":2757489,"id":"Q2757489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa1a4b1a82c26d50c169130804be93ca88436cd5","datavalue":{"value":{"amount":"+0.7305755615234375","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":"Q5363779$71C02953-3B39-4E01-AA49-0B03297F0B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6998c936108abd7bd709a773ce14ea6acbfea98a","datavalue":{"value":{"entity-type":"item","numeric-id":1380411,"id":"Q1380411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa1a4b1a82c26d50c169130804be93ca88436cd5","datavalue":{"value":{"amount":"+0.7305755615234375","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":"Q5363779$A6CEFE4F-0D61-4C8D-BABB-E40E74B0E57F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong ETH and resolution via games and the multiplicity of strategies","badges":[]}}}}}