{"entities":{"Q4649291":{"pageid":6678872,"ns":120,"title":"Item:Q4649291","lastrevid":51600899,"modified":"2026-01-19T00:38:31Z","type":"item","id":"Q4649291","labels":{"en":{"language":"en","value":"Improved single pass algorithms for resolution proof reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109363"}},"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":"Q4649291$38B634D6-E2D0-46A0-8606-E61B789DAD27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2bccf47342ab35932e0b909418ee5ece7140e06","datavalue":{"value":{"text":"Improved Single Pass Algorithms for Resolution Proof Reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649291$67E07FD0-6401-40FB-938B-6C64CE003C37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c76cc2760f64332a397099e3feeb20199fab411","datavalue":{"value":"1374.68489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649291$18457CC9-E1EB-48B0-854C-18BA546AFEF2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f72b06c904d3b1c8fc1f1efd9f3bd7671e718942","datavalue":{"value":"10.1007/978-3-642-33386-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649291$BA0823ED-4D6E-4EBE-87A4-4BF823B46987","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cefe2994cd2e378e79e344a451c126379a495f1d","datavalue":{"value":{"entity-type":"item","numeric-id":630709,"id":"Q630709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649291$3B5DE5AB-A90D-4CEA-A644-35C62A4C3889","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649291$D3BA5040-29BE-484D-ABD0-269EF0E1B204","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009d073aaba8149d93f34c88135fe65aadf514ad","datavalue":{"value":{"time":"+2012-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649291$339DE1FC-1597-427D-A049-A763DC809C5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649291$5C8070AF-A7AB-41FF-AC0C-A46EC1CE3D60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"650bcfe67e4db688fa254cd300cde830b0e42ba5","datavalue":{"value":"6109363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649291$DD49A010-7739-4E71-9A6C-BACFE7E34263","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649291$67B350D3-1C37-478A-AA05-3D84C198003F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"776ec61ea9403d0c48a81eefe331d6bd9e850b8f","datavalue":{"value":{"entity-type":"item","numeric-id":20435,"id":"Q20435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649291$E92DD4CC-57A0-4CE2-ACD5-948E62DF0807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9610c11cc8a90dd542e7dbbf77c0e56d86b59abe","datavalue":{"value":{"entity-type":"item","numeric-id":23846,"id":"Q23846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649291$BB7D6F33-B4D6-4BDD-AF71-BAD96C4BCC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7940ddd2cf390857912577a8a65fd86fda5b260","datavalue":{"value":{"entity-type":"item","numeric-id":23851,"id":"Q23851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649291$6FBB6DF1-99BA-4C40-9F55-2B233C14C1F5","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":"Q4649291$9F67F1F5-C8C1-4655-A6E0-D24E895EAFA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1af22da097102e9bd920c252c6a95b02189ecda1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33386-6_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649291$9F7F94C6-02D3-4DC2-BE7A-1D7FF76AF8F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a55d9593c02c4f770c8b6fbcf0188c08992b7a3e","datavalue":{"value":"W1629713226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649291$95108ED5-5427-4742-93E1-A737A74951D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9694ecc95cd17e581b722a875304301e52d8edeb","datavalue":{"value":{"entity-type":"item","numeric-id":5391528,"id":"Q5391528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b495f8633082dbfdad9b555f5f09ccb7051e71b","datavalue":{"value":{"amount":"+0.8655365705490112","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":"Q4649291$67357D4E-71B3-4782-B381-EEA31EEEDBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"114f98c35f544187bad11562a615d004d1a3f3c5","datavalue":{"value":{"entity-type":"item","numeric-id":4930598,"id":"Q4930598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c533c639fee7f73ed1e0cd00a2621b0dfd9af0fd","datavalue":{"value":{"amount":"+0.8032669425010681","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":"Q4649291$4D257BD1-DF6C-4F31-A00C-004AF4CD65F7","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":"63c3aca35aa730518570609064a5ada56dee3eb1","datavalue":{"value":{"amount":"+0.7751043438911438","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":"Q4649291$11730573-D58B-438B-8DB1-75B63F1C76BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36b1f31f0bb5689edb3b47bb744c18b5266f7c34","datavalue":{"value":{"entity-type":"item","numeric-id":2851933,"id":"Q2851933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1457b34fd367b7fecaf1c1b9cb134242fcc6a8e7","datavalue":{"value":{"amount":"+0.7689663171768188","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":"Q4649291$C5D9C3D1-E632-48AB-BBD7-7838296992DF","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":"52a4bf30388554f25500c59cd642a9b07ca4d05c","datavalue":{"value":{"amount":"+0.7625749111175537","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":"Q4649291$F25586E7-E6A3-461A-836C-3A32154976FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649291","badges":[]}}}}}