{"entities":{"Q3581425":{"pageid":5611329,"ns":120,"title":"Item:Q3581425","lastrevid":80892551,"modified":"2026-05-06T17:14:25Z","type":"item","id":"Q3581425","labels":{"en":{"language":"en","value":"Lower bounds for k-DNF resolution on random 3-CNFs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5771404"}},"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":"Q3581425$B73FD175-2D93-4C4F-B6F4-E3BDFF23121E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93cc6f69f2b88b0507d0125910c65bfd4a711e85","datavalue":{"value":{"text":"Lower bounds for k-DNF resolution on random 3-CNFs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3581425$09518510-5B93-4F01-8567-C3B3F7297595","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cb531d0402fb53af31514669e1891bbcdf07a4e","datavalue":{"value":"1192.68307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3581425$D709A77E-3166-4171-BE30-70DBB658560E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"548b767073513225f6c21a65406e5e34336c29a8","datavalue":{"value":"10.1145/1060590.1060628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3581425$7B18EE0B-A9C7-4CDC-B81E-DBF7B73DB453","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda6b61323c36da4336c78f2a00f81b412a8cdcd","datavalue":{"value":{"entity-type":"item","numeric-id":430822,"id":"Q430822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3581425$531E72B2-F270-458B-8410-39EDEE845008","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ec46b486a5c14d2a597b127bb117a1a96db21cb8","datavalue":{"value":{"entity-type":"item","numeric-id":3581380,"id":"Q3581380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3581425$CC0B8269-D808-42FF-9BB9-C5528F6E2E8D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ab1a23b33b6c3db0ddd484ed90ac34e13f69d9a","datavalue":{"value":{"time":"+2010-08-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":"Q3581425$239E8E32-FCC8-4026-9709-426DD04A25D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3581425$2489D9B9-ACEB-4B2D-A2AD-40D466CEBE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3581425$0557AACC-636C-4DDA-83A9-115571434011","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5c664cf23370732915301aecac534a3d80cf0dd","datavalue":{"value":"5771404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3581425$F93A916E-0382-4C69-8B9F-BCB0D345DD97","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":"Q3581425$2F2ED6F4-7DCA-4B92-8A5D-CEA6AC6569E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bdb8b7ddfef0a83d4a6a5576c3a7f53a4692e21","datavalue":{"value":"https://doi.org/10.1145/1060590.1060628","type":"string"},"datatype":"url"},"type":"statement","id":"Q3581425$67666CB6-3431-4934-8574-E43CB2FF75A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22951fa1535acf98e18642d8f199b3f1032cd52b","datavalue":{"value":"W2007575279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3581425$DCC72ADC-6244-49EC-AA59-1C64DC925B52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lower bounds for k-DNF resolution on random 3-CNFs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lower_bounds_for_k-DNF_resolution_on_random_3-CNFs"}}}}}