{"entities":{"Q5495819":{"pageid":7525379,"ns":120,"title":"Item:Q5495819","lastrevid":101385716,"modified":"2026-06-06T01:08:00Z","type":"item","id":"Q5495819","labels":{"en":{"language":"en","value":"Strong ETH holds for regular resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6326983"}},"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":"Q5495819$33DEF117-0C8F-4ECA-A631-C700D19F20E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce0e378f6e332cf2cf85092eca7e3add0d3ae308","datavalue":{"value":{"text":"Strong ETH holds for regular resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5495819$6DC6767D-4C00-4D6F-A923-D492B5B59B93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"822af0fdd427702063aa8ac548aafc6ccb04a26a","datavalue":{"value":"1293.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495819$AF2EE321-F89F-419C-B0CE-AE3AF94D2F24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce536f69b43297511cf6cafa873fc61c7df62fe1","datavalue":{"value":"10.1145/2488608.2488669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495819$7891DF8E-398A-46D4-A4F5-0DE3B6C852BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da675aa049d4fa45ae462398a57ae107ccb76510","datavalue":{"value":{"entity-type":"item","numeric-id":5415476,"id":"Q5415476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495819$9004C73B-AE8F-40A6-B4D1-B305F2162D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afbdf0b4b75e6a0dfd1ecc76c9480c04f5fced5d","datavalue":{"value":{"entity-type":"item","numeric-id":202088,"id":"Q202088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495819$F3F97CE2-7CCE-4D4C-B200-72EDACE66DF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c94d745affbb1f035e3911adf053858df897bb7","datavalue":{"value":{"time":"+2014-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5495819$BB6EBEC1-C8F6-48CF-8E56-1A11CBF6479F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495819$6607F179-998A-4A08-9080-CAD24DB9DDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495819$8B98F75C-98AE-4ADC-AE97-9B94151EF95A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e0c7d9aedaf2c4bb72945de3e99ea78c819fd73","datavalue":{"value":"6326983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495819$CB4F476D-5023-4A82-BA8F-3623398E6F68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495819$F8FE352C-2B26-44DE-99A0-DE9A6CC92048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495819$AB4129D0-F054-467A-97BA-155C15771144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"752db1559ea6be72ccb446805a241d19cb0a0248","datavalue":{"value":"quantum classical separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495819$FAC6B660-6B23-4684-9475-9A7BF9DB66D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5495819$6AFE9002-C4D7-4D10-8ED6-04D056FEDA7D","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":"Q5495819$562BBCFF-BCBA-422F-B264-BD7527D05D32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"818ce65b92e607ed1f601f9a0e583499e8fb00d6","datavalue":{"value":"https://doi.org/10.1145/2488608.2488669","type":"string"},"datatype":"url"},"type":"statement","id":"Q5495819$4ECBF957-6EDF-4BFE-BDC4-2B56D73BD72A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25b3555c6003b8d866bcde3ccc7891423eb6a42d","datavalue":{"value":"W2041171215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5495819$EDCC1D41-18EF-414F-B073-4E223E8D164A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38c7209c99d8d20a2d820b43521862d39695f5b8","datavalue":{"value":{"entity-type":"item","numeric-id":5361813,"id":"Q5361813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5495819$73C34235-7C0E-4A20-9541-09240D06909F","rank":"normal"}],"P1643":[{"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":"e08f88f5467f8e665c6a81ea24f5e3d6abbb2187","datavalue":{"value":{"amount":"+0.8418923020362854","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":"Q5495819$A879EF26-C6CE-4DE9-9278-80B8AC2E5445","rank":"normal"},{"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":"adabd8eba260998103813976aa93d92859f5dbfe","datavalue":{"value":{"amount":"+0.8129899501800537","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":"Q5495819$D8BBECB5-9D41-4A3C-B990-B329DFF22A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34161b1ae4d7985da4feca81773ad17b1c527344","datavalue":{"value":{"entity-type":"item","numeric-id":5363779,"id":"Q5363779"},"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":"Q5495819$EC81FB64-097B-48F5-8221-52AA2904BB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a78201d52a3f3cab848022f18dc228640f3e9197","datavalue":{"value":{"entity-type":"item","numeric-id":430840,"id":"Q430840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4434875f392d8946e55d8411c1019ce53848a8b4","datavalue":{"value":{"amount":"+0.7724822759628296","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":"Q5495819$DFDCF2D5-0ACC-4A5E-8949-FE82CDA2B0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c40a4290f7fd589225b19850d06e92baf84a36e8","datavalue":{"value":{"entity-type":"item","numeric-id":3502715,"id":"Q3502715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f2c11c22b247e67ad6a43005e5b9ecd925da52a","datavalue":{"value":{"amount":"+0.7706987261772156","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":"Q5495819$B6BA4084-F3C6-45D6-9D78-15B4A13AF226","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong ETH holds for regular resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_ETH_holds_for_regular_resolution"}}}}}