%PDF-1.7
%
1 0 obj
<>stream
application/pdfAn Automated Theorem Proving in First-Order Predicate Calculus using ResolutionMoko, Anasuodei , James, Godbless Tamaraebi
A-PDF Watermark 4.7.6 ; modified using iTextSharp 4.1.6 by 1T3XTijert
endstream
endobj
2 0 obj
<>/Lang(en-IN)/Pages 3 0 R/StructTreeRoot 4 0 R/Metadata 1 0 R/Type/Catalog>>
endobj
3 0 obj
<>
endobj
5 0 obj
<>/ExtGState<>/ProcSet[/PDF/Text/ImageB/ImageC/ImageI]>>/Contents[33 0 R 34 0 R 35 0 R 36 0 R 37 0 R 38 0 R 39 0 R 40 0 R 41 0 R 42 0 R 43 0 R 44 0 R 45 0 R 46 0 R 47 0 R 48 0 R 49 0 R 50 0 R 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R 56 0 R 57 0 R 58 0 R 59 0 R 60 0 R 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R 66 0 R]/Group<>/Annots[67 0 R 68 0 R 69 0 R]/Type/Page/Tabs/S>>
endobj
44 0 obj
<>stream
x]ݓܶWyJ\ii@ڪlD..jvkvg3Z<ݿppn|j!}*k$FFsջv_y7?׳/糗(?jVd#!fZBnٿϟ}]~x$+5E]p>1e~]Mkwϟm~q泋YUvq&j[u_w9gߚgv]Ԭ:;vlƚBʌs&cU!fMݭ _^-Լ,q?;
z~9Pl $Ѽ`b̾}j6K(;䓦?JQpK:ƧjcTc%HպhDco'1Oɪ.&O[PB.`f?nVzZu&_2e,?bT]07řřPȯng0mndS:;2Ղ1#̃
5o+;3s<2P;V[Xs{X//N
YQ #QF`H9