{"entities":{"Q4405552":{"pageid":6435151,"ns":120,"title":"Item:Q4405552","lastrevid":48117799,"modified":"2026-01-03T17:04:38Z","type":"item","id":"Q4405552","labels":{"en":{"language":"en","value":"An Upper Bound on the Space Complexity of Random Formulae in Resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1931461"}},"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":"Q4405552$C61B82A8-C2AA-4239-B2D8-EBB95FC1C4EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5a624d5066fd11f47f3400efa26fe2e9c301b09","datavalue":{"value":{"text":"An Upper Bound on the Space Complexity of Random Formulae in Resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4405552$53F7AD1C-A74E-4455-B137-4AD85F10E148","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa18dd6115f76d47182c43ebd20ae41628a96c7c","datavalue":{"value":"1034.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405552$9BC7ECC1-572F-4BFF-9A42-70B75AF739F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405552$07587A3B-6596-4ACF-A686-AF657E43DBD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c6427ff9a626f686c7f1def93b416dba0b5871b3","datavalue":{"value":{"time":"+2002-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4405552$826C0634-A1E7-4839-9663-36BC0A17A5C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"429b5e40492544213f1a0ac7c569bed7d00345e6","datavalue":{"value":"http://www.numdam.org/item?id=ITA_2002__36_4_329_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4405552$82DAAF29-49B5-4742-94D8-E26697B4FB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ebf992b1be19c270f00097e479dceb812679b6e","datavalue":{"value":"https://eudml.org/doc/92705","type":"string"},"datatype":"url"},"type":"statement","id":"Q4405552$164877EA-0C0A-489A-8294-91478DFA28EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4e06c12f518119553b8c2c7e8faf80704d77a2e","datavalue":{"value":"https://semanticscholar.org/paper/232b0fb6718912369e9aab2898aa5163be8f518d","type":"string"},"datatype":"url"},"type":"statement","id":"Q4405552$A3AC8A20-BA57-48D4-B6FD-BEF0F3D59533","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405552$C9B96DE1-F47C-4AE6-AD39-96559805334B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405552$8CD0C0F2-6D56-4713-9D54-A0A7AE4508F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405552$FA4EAA93-6D68-4F41-B8BA-928CDFEAFC20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a28e652c2be07fb7a0a1e52dae18ed42da56499c","datavalue":{"value":"1931461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405552$B5077551-E130-45F7-8534-9B8B336BFF92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d90950a73bceb97c14293d72b737bf18a4224b4","datavalue":{"value":"satisfiability threshold","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405552$04145338-E87F-4CCA-9896-D74FBB844541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b99daa60420c8984b51538e5be2f290647f7544","datavalue":{"value":"random unsatisfiable Boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4405552$E1EED367-86F7-4E4B-ACCF-0C3C75DB5B5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bef6cd99c313ef8adfc97249dd337fac18b28acd","datavalue":{"value":{"entity-type":"item","numeric-id":385395,"id":"Q385395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405552$01FA4625-4C62-4858-8CB1-86F155020586","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":"Q4405552$43BA1E7E-454F-47D6-8E44-A0CD84D3CBF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71d7446cb39f67ce4a12563dd5c9d6f10b7d926c","datavalue":{"value":"W2167151753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405552$3DA339C8-D15C-4F28-9736-2CF05E4E6F41","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff8a1d983dc735fd82f262f00fed618f4232eaf","datavalue":{"value":{"entity-type":"item","numeric-id":3149864,"id":"Q3149864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405552$A81595DA-1CAA-4654-8D35-C4F6266645C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"750fa538d03579aa1b66f16d8b7afe303f516f87","datavalue":{"value":{"entity-type":"item","numeric-id":4542576,"id":"Q4542576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405552$9583D1BA-0F99-4246-B892-558E3BA001BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845eaabfed9368451854349c91bbdb46d85b1f07","datavalue":{"value":{"entity-type":"item","numeric-id":4417005,"id":"Q4417005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405552$321E24D7-65F9-4213-9699-9BCB6567CE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca53ad94423f90b2960fbf6a8505860cda9e7763","datavalue":{"value":{"entity-type":"item","numeric-id":2725029,"id":"Q2725029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405552$9C43860B-9988-49F1-8731-6DF329B30DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56cf5c188bcce9490a2b63c18bca3c3259df4b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4012216,"id":"Q4012216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405552$50028875-B5D1-46CF-B560-73D97B18B23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405552$17564663-F3F6-4680-842D-4E68C207D74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405552$3F22C86D-F8A0-4B5A-B5B0-051BB8C2BEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405552$1F23066F-090D-4E79-800D-FA454E2B5F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405552$33D78710-8A56-4EBA-A7ED-157A3066F00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f5c37c1e41ee33afc3c56f39a1eb3cfd7a880f4","datavalue":{"value":{"entity-type":"item","numeric-id":4251071,"id":"Q4251071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405552$0BC4AE35-0F6A-4814-91F7-B780F3C50806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46a8157b90326cc6f44bffa8150bb95253d14c8","datavalue":{"value":{"entity-type":"item","numeric-id":676451,"id":"Q676451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405552$AAF23044-FA8D-4E58-9E16-A3C444B54BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1df2819e7e3879cda15fbfca6ce617773c6ecd81","datavalue":{"value":{"entity-type":"item","numeric-id":915256,"id":"Q915256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405552$FB3E6087-0027-4F0D-83E1-E9FA117FD600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08cf759a347910c8ee5fbe245034553caa6718a5","datavalue":{"value":{"entity-type":"item","numeric-id":4448374,"id":"Q4448374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405552$A0FC0AE5-E46C-44A8-BBFA-AEF7BB14B5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c30d6f576d489efdd1c812049958b9088c6a07","datavalue":{"value":{"entity-type":"item","numeric-id":4889878,"id":"Q4889878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405552$4D51305E-54C8-4C79-81E5-6BA57B40AEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f033823439b4f75caa2d929fdcdfdda60c355eb","datavalue":{"value":{"entity-type":"item","numeric-id":3981639,"id":"Q3981639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405552$41B2DDC1-7FBB-46CB-9479-543EE8A83CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c4b9ea8c5b8903e45488508a76687d4a06b13d","datavalue":{"value":{"entity-type":"item","numeric-id":5686123,"id":"Q5686123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405552$2A73F6EA-7700-4AE6-9740-E270EC531F95","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":"Q4405552$BFE78E09-04BE-4CC8-8173-45A58A3D0675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670d88c487091c0406b19baa79ec69c48f5f3294","datavalue":{"value":{"entity-type":"item","numeric-id":5725093,"id":"Q5725093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4405552$A7E1EC08-033E-4C2C-9A08-D4ABD1F6EB2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab88c737be26c5f851eef6569c97b5dd907c5812","datavalue":{"value":"10.1051/ITA:2003003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4405552$98FC823E-96E1-474C-9045-2FA77178579D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7403abbe0b174b52489eb4a627270559eb3b83b","datavalue":{"value":{"entity-type":"item","numeric-id":4417005,"id":"Q4417005"},"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":"Q4405552$07E4B8BC-ADFA-4091-9D2F-20B0A6FB3F39","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":"62e42fb8092fb5734f9967543073ec5b0f1ac0b5","datavalue":{"value":{"amount":"+0.864297091960907","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":"Q4405552$61B909C3-6C32-400C-B05B-A8964750CE22","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":"bc096ac58906830a7397f1f9bb3617bf92f42b3e","datavalue":{"value":{"amount":"+0.8592045307159424","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":"Q4405552$07938FEF-82AE-437D-8F68-5DBEDC0A7930","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":"bc096ac58906830a7397f1f9bb3617bf92f42b3e","datavalue":{"value":{"amount":"+0.8592045307159424","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":"Q4405552$DD4ADAA4-A561-4BCB-B2F1-3F46156B7E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a089503d2728bf3f127c89e535e45e3ef54474c7","datavalue":{"value":{"entity-type":"item","numeric-id":4251071,"id":"Q4251071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4735eb6c8546abdd0f85d9c48809d72525585637","datavalue":{"value":{"amount":"+0.8346670269966125","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":"Q4405552$6B75C334-1C99-464F-AB74-965BCBC23C71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4405552","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4405552"}}}}}