{"entities":{"Q2851942":{"pageid":2862662,"ns":120,"title":"Item:Q2851942","lastrevid":83869100,"modified":"2026-05-07T13:05:19Z","type":"item","id":"Q2851942","labels":{"en":{"language":"en","value":"Understanding Resolution Proofs through Herbrand\u2019s Theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213573"}},"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":"Q2851942$BC11F2C6-5D67-406F-9ABA-73C7C43FDE62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0616ff13340f971d45d2659b4abe230ffb72cc95","datavalue":{"value":{"text":"Understanding Resolution Proofs through Herbrand\u2019s Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851942$81400A65-722F-4A5D-B1FD-0333F2CF7768","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d05ec22bcaa8e0cfa7bde08f5ba883d08101687f","datavalue":{"value":"1401.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851942$2E391CC2-865B-48E1-9A23-AC11A86C38B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9be1b5c9ed035bc29a7cb31625517b9ac872796a","datavalue":{"value":"10.1007/978-3-642-40537-2_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851942$5CF3B19E-7A96-4FB2-B6CA-CC8BB5B29A7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac16dcce5f3df8b1bf1087e5a90fdae80fa7a2e5","datavalue":{"value":{"entity-type":"item","numeric-id":402112,"id":"Q402112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851942$718F2275-8D2A-4273-B180-A38B2BB12609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59f4b4605f2cb1b1aab15c5b5f5f6f54ccfea295","datavalue":{"value":{"entity-type":"item","numeric-id":2134935,"id":"Q2134935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851942$6835025D-6B6A-43C8-BA93-D87428D95D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11d2dda40961cbbcb92f405bc25240a8e1e87464","datavalue":{"value":{"entity-type":"item","numeric-id":2180211,"id":"Q2180211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851942$ECC70AF7-BCEB-40CD-B5B6-303293C4058E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4b44925f77558017e26986bc2006baabb4a8a6c","datavalue":{"value":{"entity-type":"item","numeric-id":6772984,"id":"Q6772984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851942$18A1B0AC-4A1E-4956-A027-308A7C6F4F2A","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":"Q2851942$D321A4C6-99A2-434B-9AD7-0B8B029D125A","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":"Q2851942$82FB3C34-4FE5-40A3-A93F-C6701C2B5DD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851942$93A574AD-E8D6-4D6E-AED5-FDA2B659F5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851942$6DDB477D-F72C-48DA-9F0F-D568EDA921E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851942$B354BB84-8450-480F-96F8-9C0A63F6C9E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ca2d02df8cdd07724a2e1ef65111f96f0c9fbf4","datavalue":{"value":"6213573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851942$94734F60-3CA0-40F2-8F12-26ADF89C4FCF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851942$28900E2C-31D8-4042-B377-212B85A4FD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851942$93067C85-EA43-405A-ADC9-1BBF096D724F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851942$5D4F6954-CFC7-4972-9823-99D09F6AE21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"233bd03fc74bc4c01e6f828569e5eb13f94bb747","datavalue":{"value":{"entity-type":"item","numeric-id":22242,"id":"Q22242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851942$930097FB-E168-459E-B57A-82EA7DD3C5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"45702294177a39ee1ff9766c01d5d14dfb7896ef","datavalue":{"value":{"entity-type":"item","numeric-id":21425,"id":"Q21425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851942$59F200C8-8C3B-422F-8800-DB1033C43665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dab39ec190c7fb2818b71468da9efc600915608f","datavalue":{"value":{"entity-type":"item","numeric-id":33151,"id":"Q33151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851942$FAE9EF77-61C8-4221-A5D5-DDA18135B7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0377fc08ea7f390117b8d130fb06b17b33670035","datavalue":{"value":{"entity-type":"item","numeric-id":33995,"id":"Q33995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851942$BB37DD36-3C86-49B3-9343-2D532BF183D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f13c5c9c25f7184beaf0290667b61e0c4dbe5579","datavalue":{"value":{"entity-type":"item","numeric-id":33996,"id":"Q33996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851942$17A7F3B1-52A1-4371-8B37-52543E85983C","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":"Q2851942$E7086ED0-3A4A-4824-A1E2-CCE3B77EF38A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d28b5d69b0934ef1f3ce9cb7389cfbb713a82f26","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40537-2_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851942$45B3EBB5-F1A3-4952-957E-9D16F28FF0EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ea9423412160574a86ab3ae67aa4964e0f4ae3b","datavalue":{"value":"W104201083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851942$60F0B666-3588-4DFE-AA52-4994355B94CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a3d434253ed919faa661b14e883ac27b635cfa","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee18c1fbe9f628444c75ca776ef419c93705a08","datavalue":{"value":{"amount":"+0.8850486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851942$B93C804D-8EF0-4961-8562-ED5AE17EF823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"310fb5f9f7ab8edf4b6aa7fa56eb57e321098fe0","datavalue":{"value":{"entity-type":"item","numeric-id":5702660,"id":"Q5702660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df2988f49a73c5501749b5350100349f9a019d2","datavalue":{"value":{"amount":"+0.87524515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851942$CB4F9D86-6A7D-4E32-BBE4-42B268F1124A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b47b0c24a5c22caae6346694a0dfed1036b0a08","datavalue":{"value":{"entity-type":"item","numeric-id":4412847,"id":"Q4412847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b412cb687396f9b0393a4f27bcc807ea3a9b9819","datavalue":{"value":{"amount":"+0.85739547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851942$ACD42E6A-F885-48F7-BED3-1C79B24CE756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60690800b94f3ec0cce78bc17547a2cd63e02ee","datavalue":{"value":{"entity-type":"item","numeric-id":4809082,"id":"Q4809082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b412cb687396f9b0393a4f27bcc807ea3a9b9819","datavalue":{"value":{"amount":"+0.85739547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851942$E3309AEA-734B-4B03-9D30-666F71F692F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a46d5dfa63c64662a52760689daccf3b5abc30e","datavalue":{"value":{"entity-type":"item","numeric-id":647405,"id":"Q647405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7c1b5e1f5f7b27f73af2838c4011d5b7daf0eb9","datavalue":{"value":{"amount":"+0.85484135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851942$0003172C-977F-4E3B-A624-F4523A1C6766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a346cc7391b3124b47922db21bccc3493f530ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3483288,"id":"Q3483288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45fb2c8ed30ea1e167b0723b559cf3c26f2f1015","datavalue":{"value":{"amount":"+0.85100424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851942$7A4A9505-7FFA-49F6-8C0B-C79B3633D1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97cdde3ee7f21322dfd39feee80b7b145a35bf7a","datavalue":{"value":{"entity-type":"item","numeric-id":4207882,"id":"Q4207882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b036c36d0707baaebcc4594f6ccfd470ecfa97","datavalue":{"value":{"amount":"+0.84899116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851942$5B728575-35FE-4335-BBA6-73A059B9DB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9cc9840145fafc0b23cf70f78d0ed48128753f7","datavalue":{"value":{"entity-type":"item","numeric-id":4881605,"id":"Q4881605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d08de73abc1a0ce72cfc7c40502c2bf65d235d","datavalue":{"value":{"amount":"+0.84539294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851942$08B8F235-D845-4809-9010-30646D86B1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6fa88b9a58052f95dd2389b84358c6b5186ea9c","datavalue":{"value":{"entity-type":"item","numeric-id":3635861,"id":"Q3635861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b7852a2595a747d544385b7c178b83af8df7009","datavalue":{"value":{"amount":"+0.84118295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851942$2E910238-8894-469B-A6B1-B7E2FAD14BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"823d50f5ac8a1a4a751660c59bfb6f1b45431044","datavalue":{"value":{"entity-type":"item","numeric-id":3129297,"id":"Q3129297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73dd4fe146253ea661140a3431fede9dede68112","datavalue":{"value":{"amount":"+0.8408001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851942$65929B52-0E81-433F-87DF-594504BC23A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Understanding Resolution Proofs through Herbrand\u2019s Theorem","badges":[]}}}}}