unicode_fol_kit/__init__.py,sha256=bDCnWsZR23qQm9MUz6zy_qIxEF_MtaRHMSBlo5UZS8A,10578
unicode_fol_kit/__main__.py,sha256=d6GdZfn3S5nsXO-4lNdmtjOltOy4ZCeF_QXS2_fUoC4,3628
unicode_fol_kit/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
unicode_fol_kit/atp/__init__.py,sha256=IH8uOClrzfYxJmU88pfdpcF_lT-JgMM-DEqHAfXsDqE,3301
unicode_fol_kit/atp/fitch.py,sha256=HPE1qMPDM3x2pzFS_t4fLHe6V503gexG00lMLzU6XCo,63262
unicode_fol_kit/atp/fitch_search.py,sha256=_YH6LWSGIalPzu6LIn13QC8O_FeZ9lXt7OaWcM-vjNM,22839
unicode_fol_kit/atp/lambek.py,sha256=wAw2iZr48bXc-V5ky2ud7QyizPVNaozRzCctAL0aU0A,16566
unicode_fol_kit/atp/linear.py,sha256=GTjFX2WjVhjUXRdTeqVJ_31YAwfNj2bQ5H1v_JMWDGM,27820
unicode_fol_kit/atp/lj.py,sha256=Jy2jj6rvphJwWD6S22_4svlTlX4WG706XuWpaJpXzFE,29132
unicode_fol_kit/atp/modal_tableau.py,sha256=x_8AJs3XJkMdfwo9POCv8STrA74vRoizM2WZ89hBFgg,30843
unicode_fol_kit/atp/prover9_entailment.py,sha256=FZNMnmz6ib4A2Xganu8Kr9zqh1hOQL7fMvG_CzZKHZc,2481
unicode_fol_kit/atp/resolution.py,sha256=01QvYq289FYUgQLzMg9fNJoYj2s_06Qw_5UZOeODGEs,23314
unicode_fol_kit/atp/resolution_check.py,sha256=qunOGNVqnLFQDw11g6E7E5vXabISZ0M4AmgN24VFhEg,28562
unicode_fol_kit/atp/sequent.py,sha256=RulzexPkzqkj1Pe3M0GW2Ep8vAUnqcWsl7FmZlSCebo,40858
unicode_fol_kit/atp/tableau.py,sha256=dFLKxnwAox6apyNoeSjwxMfmwIthn2zCkPPHbybAhSc,16355
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=EzdkFp1i4qzbs8zPnhHUow16djbX3_Fvuf_Mng0uer4,2295
unicode_fol_kit/dl/concepts.py,sha256=ZifI5mYPKEfjQN9fsKuLTcNZBl-mP7jufAZjU5b-wh0,5145
unicode_fol_kit/dl/parser.py,sha256=arzcnl1szO3PCASr5PQctS3-e6Qg8jM9tWmkAk1mXDo,8812
unicode_fol_kit/dl/tableau.py,sha256=iY2pQzuHhBn-92A71aIL9SPMFGEA1uvwRyHf2OcmXfM,10176
unicode_fol_kit/dl/translate.py,sha256=dzP10ZGWqQlS9jtrhllVESK15z3dlooJ4eFIgc9byvE,15844
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=6tPubfr46LrK_9hejWFPNED4ZKN4abhbN-PdRJegUqw,3873
unicode_fol_kit/fol/_fol_nodes.py,sha256=rkp1WlOy9d5FwQiaX6L5yHJ8GOj3wmY1CcLNDZTzGc8,79838
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=ni3AghvUio8pBe4moXYBvtNhD5avFW7YLH7QwWjNYSU,14764
unicode_fol_kit/fol/_modal_nodes.py,sha256=XBNsHFz1Xmr1th5yikQ40YqfwiKUH-tQISL8YbqTwDI,50495
unicode_fol_kit/fol/_msfl_nodes.py,sha256=k_ji2LaBQw5IxDrEHj0A9rN6UvCy9ZtTuu55GpF1lLE,74910
unicode_fol_kit/fol/_so_nodes.py,sha256=F5FiE83QpbZr2yQbPOKy864PXmfwosxM1ORtuoZXMLE,7907
unicode_fol_kit/fol/_symbol_names.py,sha256=2NkY_OJQtOdrU6xngZTZt9IOsSjprOKnNq8BViJwKqk,3451
unicode_fol_kit/fol/_team_nodes.py,sha256=2zHEJS4QMJcV9hEAufJYVw0U_iWhJsFiV2UX4P70Gg8,7941
unicode_fol_kit/fol/derivation.py,sha256=o_iS-uejNC9f2NAUKe7KaZ46AmnpJWRL8_a0f5bJi7g,16562
unicode_fol_kit/fol/lambda_tools.py,sha256=Q4w4XPoVtpUShcLYQvXPcfiYzurHK-mwDRsL8MLjA3I,12945
unicode_fol_kit/fol/latex_input.py,sha256=wRJ9tKw-Rk-JMPInMrYtga4-J4mQW_E_upYm_zt3DaM,16682
unicode_fol_kit/fol/modal_translation.py,sha256=MFfusu_Nq2iv2v0P48QynBANEUYRLrVoV5BzVTpkPEo,19582
unicode_fol_kit/fol/msflparser.py,sha256=ibo5slb6Yy-a_kD5ESH0pK_xthZh4JYusymHbXVUZh4,15464
unicode_fol_kit/fol/naming.py,sha256=M7PMlqE-hxSkhB4PiUjDGNm5JfrBmbZZ1KyT6H6Yz4E,7663
unicode_fol_kit/fol/nodes.py,sha256=UvrlZGG3G4MkDjwp1VSmuBjlKtJAnDYJsKCZOu4HXkg,2460
unicode_fol_kit/fol/normalforms.py,sha256=dCVoJ52Okehf_L90pL8N4Ig4I7KtDwkXKOo30G1lpK4,20795
unicode_fol_kit/fol/pal.py,sha256=cZYle22kfVn0X_v4fb1jOtfCm6_mzxPB-JzrNzXl51g,16336
unicode_fol_kit/fol/prover9_input.py,sha256=M9-o556QNw6oIDANi-fk4jsL0bt9QNIW_LVikVFl6SA,11149
unicode_fol_kit/fol/qml.py,sha256=N4BxxzgXhQvmhWt3RY-lfrsVzDeUAh2J5b_ffSiTMCQ,35115
unicode_fol_kit/fol/sanitize.py,sha256=Qk0Z8Ov0VyyTZi_fW4-My7RcUkOyTuM5nJAgHCzGdTQ,9456
unicode_fol_kit/fol/tptp_input.py,sha256=YfkhEzyA2HpFtuXPu1H0qBQ_M9hL6bfR2MsXI5GvELk,18581
unicode_fol_kit/fol/unification.py,sha256=oc2VPug3ww6spsSr6vhUs-pSO1hDJLFliEspHJ0TmvA,6457
unicode_fol_kit/fol/verbalize.py,sha256=yAH_nmD2kPhRfxByaBLvah3EKqMkH2863P6AYlHGwzw,11011
unicode_fol_kit/fol/grammars/terminals.lark,sha256=UlCp03ph6Qi0wS7H0RG1I3GTL0OqSyb_ZoKwMsSHEEY,292
unicode_fol_kit/hol/__init__.py,sha256=9mfpBY5kzsPuoo-nzcNwg9N51ETc6VoTFjErOZHkWsw,5817
unicode_fol_kit/hol/classical.py,sha256=6lZhL-IXev6XnmMYwo079Lyr_S-DLoljSow9zTQUk_k,24562
unicode_fol_kit/hol/intuitionistic.py,sha256=9qyR88J9gAbo0IkxXvPDv1W93tZV63Oxl7dTKb0SmeU,19070
unicode_fol_kit/hol/isabelle_conditional.py,sha256=J1dL0aeY9eCO9XlOZlcAr5zZkTv_46LIvgamex0ADNc,9975
unicode_fol_kit/hol/isabelle_modal.py,sha256=plPwS4zBuKOYVV1uHD6ZmG3K8tUPelXsLAsyjMnoMNA,58573
unicode_fol_kit/hol/isabelle_relevant.py,sha256=N4x4IpTrkbOVrBQw7vj68cgF0O8kHY4XAuEDAlsV0ds,11927
unicode_fol_kit/hol/isabelle_runner.py,sha256=ZEPCszuXR8kyVjr-r6ctPdOGKyrb7UzJ7BbpE1G5L18,42928
unicode_fol_kit/hol/isabelle_substructural.py,sha256=_0lrBtNEfJN7N0H_YYF2TxRvKaslAikvFOXe6a19eIc,43501
unicode_fol_kit/hol/manyvalued.py,sha256=WoRNmrcDG28yOenhRCgWGAd1YITRiSl4fz-BrM-g98U,41615
unicode_fol_kit/hol/secondorder.py,sha256=uAZUuh_uu1knerwJRph-FBfmY48wtXsv_GjBbzNhgNo,28721
unicode_fol_kit/hol/thf_modal.py,sha256=jJmppWPeN5qdURvainxJnuxqdSHK7KF6hMMfz90ayUw,33756
unicode_fol_kit/hol/deepshallow/__init__.py,sha256=w-1yJx23hBUP3hEZL8W9wb3urmvgBJdFgda4hULFg_0,1567
unicode_fol_kit/hol/deepshallow/_common.py,sha256=Fm6F0fxzucwCM_qyqlOVV36Uy6Z7vg-2Mr8Xkg3Pa3Q,8080
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=oEm4WfiZXQRLsOCj24MhM5lpL9YV8I94i8nf_Pvp3Hs,4280
unicode_fol_kit/semantics/_modal_reject.py,sha256=wIgbR15U0fTx4lexV9bttJlxNPMZqV37pyzBceJJZ8U,2111
unicode_fol_kit/semantics/conditional.py,sha256=TK2S0dX-AJ2YJg4gp6DzVFpK4TkJf4afuW9nWovO73k,12064
unicode_fol_kit/semantics/dynamic_epistemic.py,sha256=sXR-lockLjPPi4akuQSIWJON6anzBqW5NRsr6k4V1XE,4830
unicode_fol_kit/semantics/free_logic.py,sha256=qSmjV71RT5LmZ8VM8TlwsEjuPwsyHEGbZnK1gBfbgwk,23510
unicode_fol_kit/semantics/fuzzy.py,sha256=Px4isTBaEj8VU2FJ4DATZ2oMK1DkEEDKsn5cu434IE0,14593
unicode_fol_kit/semantics/intuitionistic.py,sha256=RvIOe_voXwYrrCKXw2kj-qhH-YV0-rtrz3LDkltIHT4,15587
unicode_fol_kit/semantics/kripke.py,sha256=QBrFCwqSM-nctgM5nMTvpaw7M_KY9OUGQ1df6kR5Aek,24609
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=8TqknUnzP8QlLvWPnzuAxRH7x59VzBLvL3J-yrHA8zg,14410
unicode_fol_kit/semantics/nonmonotonic.py,sha256=Ug5gm-SF-RWT-us4gf2fGLHJ5uDflGoaZ0nm0ggpKJg,15862
unicode_fol_kit/semantics/relevant.py,sha256=dfFFnX5zGMitxeYGV88YtLAANyY17oQTxz5Zi_3eoI8,15932
unicode_fol_kit/semantics/secondorder.py,sha256=5qmdx5AVlbg6p7ClqXRb51Sko0DQtgsUbyj1Ch1tfkw,17212
unicode_fol_kit/semantics/tarski.py,sha256=zP321diCy3mIPC-rQcBmaTuUDnu8vxRXi9-aJGy2H_8,19965
unicode_fol_kit/semantics/team.py,sha256=8PGSHPEhlzABkBOuECpN5-agA7VMxHtmzy51dXFzzE4,15111
unicode_fol_kit/semantics/team_translation.py,sha256=pexqRnqaeNicMSpYODYSv8F6biBkVRcVCiZZSPVv5R8,19686
unicode_fol_kit/semantics/tnorm.py,sha256=6zt6g8I3AsMLUOTlO3EKA0AL6tkre6SIljkk7hFKnHM,2900
unicode_fol_kit/semantics/truthtable.py,sha256=YiQQOJl4VfeZTxCBTXSIvnRm_jxchLvzPu4mpYWIMC8,6091
unicode_fol_kit-0.18.0.dist-info/METADATA,sha256=C8YWA0nRo4h-MSColFdkbbhKV5HuC29g_NNvhjhUnpU,8394
unicode_fol_kit-0.18.0.dist-info/WHEEL,sha256=lCkmxWfQsSc9CfIClYeavTdQeEX2toPqufh9gI35EQA,87
unicode_fol_kit-0.18.0.dist-info/licenses/LICENSE,sha256=7dmYojJxe47M_IX5Ud27nxsuIj2u0D4vjALCWFgUo_k,1069
unicode_fol_kit-0.18.0.dist-info/RECORD,,
