{"entities":{"Q4417005":{"pageid":6446604,"ns":120,"title":"Item:Q4417005","lastrevid":48146482,"modified":"2026-01-03T19:03:36Z","type":"item","id":"Q4417005","labels":{"en":{"language":"en","value":"Space complexity of random formulae in resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1959946"}},"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":"Q4417005$722250F8-B689-403A-BA10-F537ED0698B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bbad174860d33316d89f70f07adf0311e6c060c","datavalue":{"value":{"text":"Space complexity of random formulae in resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4417005$8A0142DD-AF0A-4615-9499-A4D60C79B416","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb1ec59797635339779c623d9683249a3cf7a35e","datavalue":{"value":"1048.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417005$7333D9D5-AFD0-49E3-9197-8F59BAB34C88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dd3094b0d0097c1754f63d55999ed1b4931a5c0","datavalue":{"value":{"entity-type":"item","numeric-id":496302,"id":"Q496302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417005$F15452E6-C520-4056-8D0A-CC9E4269CB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ade48b222c1aa576bf6b48db6256f2140052ff","datavalue":{"value":{"entity-type":"item","numeric-id":1405734,"id":"Q1405734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417005$8B26BC39-92F7-4DEB-9044-2A371E644EB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64db27fb3ea247a1dd3413855939d2d1738245f3","datavalue":{"value":{"time":"+2003-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4417005$AB7D92F2-702B-44D9-B071-6522E3FA18F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417005$C930AABE-9D60-472E-81B0-2EB6EB072D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417005$BB45B096-7067-445D-A482-1BB63E0B07C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417005$96BF2284-16F4-4710-95BE-616D64FB938A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417005$4DA4BACA-3570-47EE-9D64-E4A2640B1C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625e55f1f2a96178239720bc1bbbe7ad21cf0a75","datavalue":{"value":"05C70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417005$176366D3-557C-478B-B1FA-6D2E0B0DEA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417005$2C43B40F-22BB-4BB6-B0F4-4F3420D5C981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417005$0733B21B-BACA-4DDB-8784-98C026C72352","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5bee4372c2d96930d82a529980f970822c26415","datavalue":{"value":"1959946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417005$A25EDB40-F8D5-427F-BE1C-9DCB82857D24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1243eb43fac031ac1bac80bdcf5afaaf4d4b2a0","datavalue":{"value":"space complexity of refuting unsatisfiable random formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4417005$871E900C-07B4-409B-86CD-2597C5BDA073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"545a33715147e7843ef71b5cb17f1186364d42b7","datavalue":{"value":"lower bounds on the clause space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4417005$DF7E3EB3-BD0B-43D6-BD4F-677F96B67207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5f4e5b386cab973011db1c58a05084685dd3849","datavalue":{"value":"treelike resolution refutations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4417005$E403D5E4-5090-452B-B6B7-56843BCD56AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62251c1948ec945a2bcddf14cb5c5658e0f29549","datavalue":{"value":"matching games on bipartite graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4417005$7AE1F14F-77F7-4819-A2A2-1A4ADB9DE825","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":"Q4417005$6CF9AD1F-50AB-45D7-B229-9AEC3AD0FB4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ebb50d58cc31226554ac858502319d765660c47","datavalue":{"value":"https://doi.org/10.1002/rsa.10089","type":"string"},"datatype":"url"},"type":"statement","id":"Q4417005$339C65E9-A18D-450A-911F-9682019EA1B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6751800fd924f8d3b4417bd3aea999acea74f9b6","datavalue":{"value":"W1974070050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417005$64388844-73D4-40D1-B42D-CBCC4CA4AB3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"213888b37453d8aaa1d0d856afbc3c9660e59705","datavalue":{"value":{"entity-type":"item","numeric-id":3191968,"id":"Q3191968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417005$CF7BD236-3238-4BAE-9319-D5816A705058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13cd56b59969835dc5a1abfa16f9da93c76c412e","datavalue":{"value":{"entity-type":"item","numeric-id":3192004,"id":"Q3192004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417005$6EA2B887-ADB5-4CA5-B6F9-74885EDE1C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3026e313de747f9080f29883bedd1ccec049fe18","datavalue":{"value":{"entity-type":"item","numeric-id":2819584,"id":"Q2819584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417005$DE74FB25-D374-4604-8C59-A6DD5A9232C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87839e9cce21429fa5c0660242873028f18a79f","datavalue":{"value":{"entity-type":"item","numeric-id":4952608,"id":"Q4952608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417005$770DA9CE-A9D0-4455-AAFF-253284CB9A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bda20905c77d3e8a02baadccc76bf3fc2281d82","datavalue":{"value":{"entity-type":"item","numeric-id":4945238,"id":"Q4945238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417005$816BD2A9-E9B3-4D38-944D-517BDBBEBDC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0dae496d82ee37edfb5342792609d0dcc3c66d2a","datavalue":{"value":"10.1002/RSA.10089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417005$64FE7A44-1D5A-4E9C-9204-839C352897BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"607ae7f7d11ced7a8909533172911c64cec6dcc4","datavalue":{"value":{"entity-type":"item","numeric-id":6486797,"id":"Q6486797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417005$A64F256A-FE67-4D8A-94F5-4551005DCDEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51be6310e35be13fca4bd7ca0abeffa20d06c4ea","datavalue":{"value":{"entity-type":"item","numeric-id":4405552,"id":"Q4405552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c6193b064eebaffad06ec9f88eca4526dcdab2","datavalue":{"value":{"amount":"+0.9060962796211244","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":"Q4417005$D8FA33DC-3BD7-4C31-8245-A079FA4CA01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"787d86f98784ff422e43df70cfbf827929a948b7","datavalue":{"value":{"entity-type":"item","numeric-id":2013560,"id":"Q2013560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8843fc1a24edaa9cfd2bc8b6d12895398bed760c","datavalue":{"value":{"amount":"+0.8954211473464966","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":"Q4417005$B5E69273-CCB8-4824-AE2D-8E2E09079EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6d27e9c44e51cd9b30063f611cd0352e58336a","datavalue":{"value":{"entity-type":"item","numeric-id":4542576,"id":"Q4542576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf6d5f3cb71c2684559c1264719f3f28c96cc9c1","datavalue":{"value":{"amount":"+0.8580306768417358","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":"Q4417005$B2F7E696-3949-441E-A5A0-C43DF008A8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a319ea5890c27b101ee57920fb7f9901b1a8e5e5","datavalue":{"value":{"entity-type":"item","numeric-id":2829448,"id":"Q2829448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf6d5f3cb71c2684559c1264719f3f28c96cc9c1","datavalue":{"value":{"amount":"+0.8580306768417358","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":"Q4417005$94EC53D0-FE2F-4CA7-89FF-F44F50E020CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04c0feb6dbc148a238fbe7e3cc5beaac2e5ced1d","datavalue":{"value":{"entity-type":"item","numeric-id":1854472,"id":"Q1854472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"427e38625deb505628e86f51fdecd970ab3e9953","datavalue":{"value":{"amount":"+0.8543506860733032","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":"Q4417005$8D008B05-93BB-4E82-BEDE-8E29AFEB85AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4417005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4417005"}}}}}