Twierdzenie Craiga (Q1329954)

From wikibase-docker
Revision as of 18:37, 22 September 2023 by Lenny0face-bot (talk | contribs) (‎Changed label, description and/or aliases in en, pl, and other parts: Updating entity Twierdzenie Craiga with Lapacz)
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
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

Version
Nimue verch Wledyr ap Gwyn
0 references
 
Retrieved from "http://origanum-93.man.poznan.pl/w/index.php?title=Item:Q1329954&oldid=3759353"