Twierdzenie Craiga (Q1329954)

From wikibase-docker
Jump to navigation Jump to search
No description defined
  • Craig interpolation property
  • Craig interpolation theorem
  • Craig-Lyndon theorem
  • Craiga, twierdzenie
  • Interpolacja Craiga
  • Lemat Craiga
  • Twierdzenie Craiga o interpolacji
edit
Language Label Description Also known as
English
Twierdzenie Craiga
No description defined
  • Craig interpolation property
  • Craig interpolation theorem
  • Craig-Lyndon theorem
  • Craiga, twierdzenie
  • Interpolacja Craiga
  • Lemat Craiga
  • Twierdzenie Craiga o interpolacji

Statements

a1000000018130
0 references
0 references
P13982T26000
0 references