unicode_fol_kit/__init__.py,sha256=rpE-XA6F05t1y5NtMXN_p0ODAUxmFG1wjripkv5pKLE,8832
unicode_fol_kit/__main__.py,sha256=4nhRcIMFKFVN6cZBO2cl37t8SPGHqOXZDYryRWwjHH8,3125
unicode_fol_kit/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
unicode_fol_kit/atp/__init__.py,sha256=Fe6BGXbOS5KYOt0EWFBw1huog3x-UUBPi_g8-AizFCw,2919
unicode_fol_kit/atp/fitch.py,sha256=6mt7HAJRhyQZh3LvWVcyeHcIWXPBRdPKEXlnUVtuJSU,61529
unicode_fol_kit/atp/fitch_search.py,sha256=lnN1ekwaf0N2pqz-WlroEAYk3kL6h4HkKicwHa8-ELY,20023
unicode_fol_kit/atp/lambek.py,sha256=wAw2iZr48bXc-V5ky2ud7QyizPVNaozRzCctAL0aU0A,16566
unicode_fol_kit/atp/linear.py,sha256=ewcz0bUr8AQedbGJlDPWx2Y7H7ZWPJSQvI3xBhYtZSA,25295
unicode_fol_kit/atp/lj.py,sha256=PIJ2k8lEeyTmaY-dQYovAxSMVMM_UGiASzJiAvxmYwE,15076
unicode_fol_kit/atp/modal_tableau.py,sha256=VzmmC3jxLPqiFGlOcQ98AIpYpKD3sYlqnQdFdZuY7Gw,25093
unicode_fol_kit/atp/prover9_entailment.py,sha256=FZNMnmz6ib4A2Xganu8Kr9zqh1hOQL7fMvG_CzZKHZc,2481
unicode_fol_kit/atp/resolution.py,sha256=AxyduWZdCx9p0PwqB_IKQu4wS81AhlzPFAmagZM_XKw,17851
unicode_fol_kit/atp/sequent.py,sha256=_hoy6kZ1qAu5SMfSyd7awXJ5xxvOfwZh4bjIkj1WC90,40481
unicode_fol_kit/atp/tableau.py,sha256=gpwYCwmRpizSLHpWDXxP2B_sJiitQU4BDZq3cubeWZI,12391
unicode_fol_kit/atp/vampire_entailment.py,sha256=LAjBgNcXKHya6zQetYU0Tkb4Qn56w1nn3dOhV3FQz5A,6618
unicode_fol_kit/atp/z3_arith.py,sha256=4juapyfWlJ2cikhopx5ktycA-86GWw7K1XxWh7SSDjw,11878
unicode_fol_kit/atp/z3_equivalence.py,sha256=qhzCF99f60tVpHi3-D3tOtyCMH1EFnT1Riy8odbassg,835
unicode_fol_kit/atp/z3_fuzzy.py,sha256=emRNimbTqcCk_x6Gg0bpPH9MSawL6ZOl6Z9eGWg4Ir4,12503
unicode_fol_kit/atp/z3_input.py,sha256=NuOpcHNxnd0H5Va02s-UDDPRj9T460HGZzvih_LxqyQ,7131
unicode_fol_kit/atp/z3_models.py,sha256=hStUjBMVzrsn9TElr6R7HLNXKpR8_XgSI9CTmZc6aC0,1794
unicode_fol_kit/dl/__init__.py,sha256=sPhtoywlwxakQLWDzAjsJfCb11Bo0fwAdFpht87qCJ4,1171
unicode_fol_kit/dl/concepts.py,sha256=ZifI5mYPKEfjQN9fsKuLTcNZBl-mP7jufAZjU5b-wh0,5145
unicode_fol_kit/dl/tableau.py,sha256=iY2pQzuHhBn-92A71aIL9SPMFGEA1uvwRyHf2OcmXfM,10176
unicode_fol_kit/eval/__init__.py,sha256=WlECJOQiSUDqfpPaMwxh66gS5Pr6-4MCknExB2LSyVY,1439
unicode_fol_kit/eval/canonical.py,sha256=FQfVTj3RaDif_jrMA1ii_GXAv4O7o8fm4iNa2tOkW1Q,26461
unicode_fol_kit/eval/predicate_match.py,sha256=DbN_kW5hdt38l3DDNDXGAuQSlJA4Ta3RKAHoIl3m6DE,7672
unicode_fol_kit/eval/validate.py,sha256=EFtoAbAfuteeoPbG2v2Mesnn6kqTdAQ9tUL0r3YNMMw,11001
unicode_fol_kit/fol/__init__.py,sha256=jTNgzn45CVrmDD1UqJa677193c2LLHaDnEUewPQ5Fd8,3417
unicode_fol_kit/fol/_fol_nodes.py,sha256=XPchRnKYXYvvGSDlY2b-6VzpNwQ6O0ho2elNBUDz7qQ,76815
unicode_fol_kit/fol/_hybrid_nodes.py,sha256=ZnhupV-w5_8ZIjFm2GjIN1y9ipodCUSijSfW8lFQ0eA,7287
unicode_fol_kit/fol/_lambek_nodes.py,sha256=4lSvmGFR4A_hAK8QPMgL4b08UhOrp9ZdkaPeMr99O1E,4813
unicode_fol_kit/fol/_linear_nodes.py,sha256=oL5C298C8zfj9z9_VXkFbgWIT7ExOU-7Zmxp55eMLEI,7702
unicode_fol_kit/fol/_modal_nodes.py,sha256=rmUuVoKO_nZm5qq_suCTda2YFks4NqmCXvgAfWQ07vI,34462
unicode_fol_kit/fol/_msfl_nodes.py,sha256=VsPh_cdvLCpa9SYtC2epF6ZSQc0YAoZ5W52vwN-DSRQ,70034
unicode_fol_kit/fol/_so_nodes.py,sha256=F5FiE83QpbZr2yQbPOKy864PXmfwosxM1ORtuoZXMLE,7907
unicode_fol_kit/fol/_symbol_names.py,sha256=L-ygGRYBQDg6i6NMbWX0vjFSmpfYgi-FTmAbnt6dbe0,2983
unicode_fol_kit/fol/_team_nodes.py,sha256=2zHEJS4QMJcV9hEAufJYVw0U_iWhJsFiV2UX4P70Gg8,7941
unicode_fol_kit/fol/lambda_tools.py,sha256=Q4w4XPoVtpUShcLYQvXPcfiYzurHK-mwDRsL8MLjA3I,12945
unicode_fol_kit/fol/latex_input.py,sha256=8l4J9NaAb7kwJTtH2he3rBG81prZZx9Poi-Y93NU1CY,9453
unicode_fol_kit/fol/modal_translation.py,sha256=TfixT3yshqecI1Kjy7qpia9pAzWdusHUVw_V5ItK4EY,18685
unicode_fol_kit/fol/msflparser.py,sha256=d9UA8yPO8iR8NiXR86IwVFdNOF4OZ20oU91eQNXwYEM,10840
unicode_fol_kit/fol/naming.py,sha256=M7PMlqE-hxSkhB4PiUjDGNm5JfrBmbZZ1KyT6H6Yz4E,7663
unicode_fol_kit/fol/nodes.py,sha256=53CCu0pqMw_fl-MjV3rHtmoOUDzn_bFwYEJygJUV84g,2354
unicode_fol_kit/fol/normalforms.py,sha256=vAbnba7US-gvTrg4z-P6YYJKeT91lcNHuURW7IapoY4,16082
unicode_fol_kit/fol/prover9_input.py,sha256=M9-o556QNw6oIDANi-fk4jsL0bt9QNIW_LVikVFl6SA,11149
unicode_fol_kit/fol/qml.py,sha256=92HQMHmBzEU7kBD1qy7CGR8XuUi1ii_MyQ-ZMo_tLA8,31811
unicode_fol_kit/fol/sanitize.py,sha256=Qk0Z8Ov0VyyTZi_fW4-My7RcUkOyTuM5nJAgHCzGdTQ,9456
unicode_fol_kit/fol/tptp_input.py,sha256=rFg8ZdpnqoO1rAKVlXoKn7bjnrk6ni_p7BAglyC8u1I,11380
unicode_fol_kit/fol/unification.py,sha256=grOyBl0Pt_ulfTc8c9zY68l0RWSOJgGHxycU5mSr2Rk,5577
unicode_fol_kit/fol/verbalize.py,sha256=Rj7ee3L_RqBLEwP9jjigHW2hZvtmqdBDD6AG-fnNk2g,10254
unicode_fol_kit/fol/grammars/terminals.lark,sha256=d5Zez-mCoYYjzMEmpuhXsQRif6xREI5W3ZKzCy9K6g0,240
unicode_fol_kit/hol/__init__.py,sha256=xmBQU9t-lwOTZ5DzxfCgwx14aSCQprwnC2uVaXpRSh4,4415
unicode_fol_kit/hol/classical.py,sha256=da0hRfgkjQ9HTd53rSm95k8FKMYKKYc4qYz51DBD3RI,23176
unicode_fol_kit/hol/intuitionistic.py,sha256=7ihcY6uV2yfYF2SyjKifUo2p47UCw3SpOmV0xamVoZg,18696
unicode_fol_kit/hol/isabelle_modal.py,sha256=A8SmCalJFw17zLqI9Ek2KSMbN1fuIOJLW112pVxzlVI,40589
unicode_fol_kit/hol/isabelle_runner.py,sha256=hdOpNbUMgEmjU5YE_LBOboNHmjSPTUDTZVaTGIbLFC4,33826
unicode_fol_kit/hol/manyvalued.py,sha256=4JwHBvugCEXIX1sisMz4LSAPjQJr55TAYqVrB2bqDqY,29420
unicode_fol_kit/hol/secondorder.py,sha256=tvgNkOMohoJuGJeTjDxjNms-woNLw05wXNzoAxxxVXA,25253
unicode_fol_kit/hol/thf_modal.py,sha256=9qSIPyso-ZQj2p3ONq6Euss5NzKRU_8jXxcLsjzqnJk,24804
unicode_fol_kit/hol/deepshallow/__init__.py,sha256=w-1yJx23hBUP3hEZL8W9wb3urmvgBJdFgda4hULFg_0,1567
unicode_fol_kit/hol/deepshallow/_common.py,sha256=q1c-8xmOx9msyUUgTBZCXv1d-0IWKAutnWfF-BjL-Kc,7462
unicode_fol_kit/hol/deepshallow/conditional.py,sha256=-hNCphmmhKZiBaViSV7BBfgaMWRt3EnZaOPOQD5io9Q,11611
unicode_fol_kit/hol/deepshallow/intuitionistic.py,sha256=13ap-oZtmP8OHm4KRFyLedXOgBA1aQ0acdIGKo7UKPU,9890
unicode_fol_kit/hol/deepshallow/modal.py,sha256=mV-gDOSg12xIJywuOtPvqApPlqIqs35BKH-D_cTDHYA,11110
unicode_fol_kit/hol/deepshallow/relevant.py,sha256=Fjg8AixBuyITv4tDNu3kUg_IIE78DO95-bxYPfPAz3I,11231
unicode_fol_kit/semantics/__init__.py,sha256=WDH-o3Piswk5JM6k1fQ6JfEkw2sDkwFxxM4ow8uCk6I,3824
unicode_fol_kit/semantics/_modal_reject.py,sha256=wIgbR15U0fTx4lexV9bttJlxNPMZqV37pyzBceJJZ8U,2111
unicode_fol_kit/semantics/conditional.py,sha256=FcNitQPWx2P2KVSFhJNG7qJi1mrxNrt56oAFjVnRnz8,4381
unicode_fol_kit/semantics/dynamic_epistemic.py,sha256=7Nz93xXNksCxZUj9wttbd_Z3Kg0L1v3QlIavjv10ImE,3190
unicode_fol_kit/semantics/free_logic.py,sha256=CpnL3Evd6yECgatQRyPJKBUWVp56mncrKQdh1phZ5X8,7150
unicode_fol_kit/semantics/fuzzy.py,sha256=Px4isTBaEj8VU2FJ4DATZ2oMK1DkEEDKsn5cu434IE0,14593
unicode_fol_kit/semantics/intuitionistic.py,sha256=J-aDX8eBsWTAyN-8HBiHD-bl7jHlxSMZkAEyK4f5tlQ,14189
unicode_fol_kit/semantics/kripke.py,sha256=7jmVS1KRx9rAp4fW3z_ClMjPqhBpQnlQZUbsN59F6m4,22218
unicode_fol_kit/semantics/manyvalued.py,sha256=AbYKeCGV6gzLJrpM4Tbf20tDBpg7eJiDYhgzdVLsTxc,20407
unicode_fol_kit/semantics/matrix.py,sha256=yjxK9dbuboQTTo2BHnNAMsjd2n4bM05lejOvFkGRU0I,11350
unicode_fol_kit/semantics/modelfinder.py,sha256=m-eNsJPhVf9bSha1i7Z33SOC8YiyFbkxxl8et4RXL1A,12754
unicode_fol_kit/semantics/nonmonotonic.py,sha256=GfJLQ2HSKDM8a2x1d4QU8YpgPjUWmdY2qpbUCAqc_QU,5830
unicode_fol_kit/semantics/relevant.py,sha256=RcUXVvUkXu0dYsM7BsZKrWQ0gDnXpLb02MfBWngAHQM,15556
unicode_fol_kit/semantics/secondorder.py,sha256=5qmdx5AVlbg6p7ClqXRb51Sko0DQtgsUbyj1Ch1tfkw,17212
unicode_fol_kit/semantics/tarski.py,sha256=U7K1ZEbW6bMXBB17LL2q1qpsUqiQUW30PH6I33AMGAw,13512
unicode_fol_kit/semantics/team.py,sha256=_-kiVFNGCtI51KJCuN6TFIcpI0f2lZBnVn2UJ7McaS0,14392
unicode_fol_kit/semantics/tnorm.py,sha256=6zt6g8I3AsMLUOTlO3EKA0AL6tkre6SIljkk7hFKnHM,2900
unicode_fol_kit/semantics/truthtable.py,sha256=YiQQOJl4VfeZTxCBTXSIvnRm_jxchLvzPu4mpYWIMC8,6091
unicode_fol_kit-0.13.0.dist-info/METADATA,sha256=JYbxJEQFTWMT1h0qEY8AVRvPj7bOqjytxextUi6_Jhg,6805
unicode_fol_kit-0.13.0.dist-info/WHEEL,sha256=mffPy8wBnZQn2VnJUU5jE99KsxaSfiyMHV9Yt0aLVxs,87
unicode_fol_kit-0.13.0.dist-info/licenses/LICENSE,sha256=7dmYojJxe47M_IX5Ud27nxsuIj2u0D4vjALCWFgUo_k,1069
unicode_fol_kit-0.13.0.dist-info/RECORD,,
