method of analytic tableaux (Q811591)
Jump to navigation
Jump to search
fundamental concept in automated theorem proving
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | method of analytic tableaux |
fundamental concept in automated theorem proving |
Statements
Identifiers
Sitelinks
Wikipedia(8 entries)
- dewiki Baumkalkül
- enwiki Method of analytic tableaux
- eswiki Árbol semántico
- frwiki Méthode des tableaux
- jawiki タブローの方法
- nlwiki Semantisch tableau
- plwiki Tableau (system dowodzenia twierdzeń)
- ptwiki Método dos Tableaux Analíticos