共 50 条
- [32] UNIFORM INTERPOLATION LEMMA FOR FIRST-ORDER LOGIC WITH EQUALITY NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (04): : A535 - &
- [34] Craig Interpolation for Decidable Fragments of First-Order Logic 32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
- [35] First-Order Stable Model Semantics and First-Order Loop Formulas JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2011, 42 : 125 - 180
- [37] Fusing Infrared and Visible Images via a First-Order Model NUMERICAL MATHEMATICS-THEORY METHODS AND APPLICATIONS, 2024, 17 (02): : 275 - 309