「provability」の共起表現一覧(1語右で並び替え)
provability
1語右で並び替え
該当件数:3件
- ries") of their proofs, and the question of provability became a question of non-emptiness (type in
- programming, programs are queried about the provability of a goal, which may contain constraints in
- expression of the object language, or about provability of a proposition (either as a tautology or
