{"entities":{"Q2851933":{"pageid":2862653,"ns":120,"title":"Item:Q2851933","lastrevid":51838397,"modified":"2026-01-20T07:17:02Z","type":"item","id":"Q2851933","labels":{"en":{"language":"en","value":"Compression of propositional resolution proofs by lowering subproofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213565"}},"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":"Q2851933$891AE51B-1CD7-40E8-A3E4-9FFD9DDB494B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aacbb48cda1d166b9c049d63c65c8bee973b3cb0","datavalue":{"value":{"text":"Compression of Propositional Resolution Proofs by Lowering Subproofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851933$13A2EFA8-4D18-4E31-B394-390D8BDFFB0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f434b7678dd76326510cc7b5031754ff268474a","datavalue":{"value":"1401.68274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851933$87D64736-F5D1-4F7B-B102-11EEDA84710A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67547c880b5d5df0ad52d1eff691ac7b9d3562ff","datavalue":{"value":"10.1007/978-3-642-40537-2_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851933$E6CB0DDF-8923-4C59-B37E-04C4C749E21C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04281bfa65bfb883608bfa6d50149ba149b9639b","datavalue":{"value":{"entity-type":"item","numeric-id":777892,"id":"Q777892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851933$B7890084-840D-48BA-84EF-EA6DF98D7A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b921811fd60bfe1397ff70798820a40fa7344cc0","datavalue":{"value":{"entity-type":"item","numeric-id":6772983,"id":"Q6772983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851933$F9C2651F-706E-410C-8A16-13EF0DBF13FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851933$ACBA7B49-F38C-4D8A-88C8-0F5991E0FEED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1145dc38b4d246480a51682f22dd7d8a161033fa","datavalue":{"value":{"time":"+2013-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851933$E0131450-D2CD-4B90-98AB-24B76C506AF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851933$A61E2B39-1CF4-4B95-B636-5645E96655FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"141496e5190fd4e806d569475d23dbb079b8f72d","datavalue":{"value":"6213565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851933$92D5878D-D3EC-4D71-96C8-B958777C1DB9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5df14ee9c6f65085bdee53a419634b2235aa5c43","datavalue":{"value":{"entity-type":"item","numeric-id":19326,"id":"Q19326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851933$5C938901-2C5D-4864-9770-1238E477BD19","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":"Q2851933$D5AFAFA9-3952-4BCA-95C3-AE7D2AF24715","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a78713d078190a386e92b66cc660881bfdab9ce","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40537-2_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851933$A0DA38B0-131D-4589-857E-83C990AD51EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ce3ac09b9b1030cc389048815a782d35924abac","datavalue":{"value":"W27140037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851933$D1F15CEB-D968-443E-A51A-EE267479A0B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2742367dc51a3579cc18c9402c07c17c039c688","datavalue":{"value":{"entity-type":"item","numeric-id":3454106,"id":"Q3454106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5571d2a4144210a722f8edc7b6cf92590742bb78","datavalue":{"value":{"amount":"+0.8897686004638672","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":"Q2851933$9AB52724-84B2-4346-87B9-F61354129392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da142d350185a41280ffb301861d1ff6d39ef038","datavalue":{"value":{"entity-type":"item","numeric-id":5200028,"id":"Q5200028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"983838e59d2c995c3f8be051eb05b995373e76d8","datavalue":{"value":{"amount":"+0.8892332315444946","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":"Q2851933$B1557A1B-0F4E-4F83-B62A-0919E094D603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70c7c6cc56bc304adf4c26e41735c161bfeeaf9","datavalue":{"value":{"entity-type":"item","numeric-id":5178991,"id":"Q5178991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b5f4cf93d9b74b01f3bcc3ba004e4c4e846926b","datavalue":{"value":{"amount":"+0.7908666133880615","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":"Q2851933$830B4D14-EB5F-4F5D-B11F-16C08109D60F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a63d7fe6af7fb615dd0ada14d74a7ffcad7f853","datavalue":{"value":{"entity-type":"item","numeric-id":1040776,"id":"Q1040776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969bc13220f8ab0c27e1379ce43c77302eeee4d6","datavalue":{"value":{"amount":"+0.7806189060211182","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":"Q2851933$4BF18B80-5EE4-4228-820B-534B08C612FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d688e65c0de1c1e85d877c6b969c1c0ddb056c9","datavalue":{"value":{"entity-type":"item","numeric-id":479815,"id":"Q479815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb02542666b7d30f1e48e574e34d917d60d95f96","datavalue":{"value":{"amount":"+0.7705045342445374","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":"Q2851933$6226E18E-4CBB-4097-924A-CC5ABC81D473","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851933","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851933"}}}}}