Twierdzenie Craiga (Q1329954): Difference between revisions

Revision as of 18:37, 22 September 2023

No description defined

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

Nimue verch Wledyr ap Gwyn

0 references

@@ aliases / en / 0 / aliases / en / 0 @@
+Craig interpolation property
@@ aliases / en / 1 / aliases / en / 1 @@
+Craig interpolation theorem
@@ aliases / en / 2 / aliases / en / 2 @@
+Craig-Lyndon theorem
@@ aliases / en / 3 / aliases / en / 3 @@
+Craiga, twierdzenie
@@ aliases / en / 4 / aliases / en / 4 @@
+Interpolacja Craiga
@@ aliases / en / 5 / aliases / en / 5 @@
+Lemat Craiga
@@ aliases / en / 6 / aliases / en / 6 @@
+Twierdzenie Craiga o interpolacji
@@ aliases / pl / 0 / aliases / pl / 0 @@
+Craig interpolation property
@@ aliases / pl / 1 / aliases / pl / 1 @@
+Craig interpolation theorem
@@ aliases / pl / 2 / aliases / pl / 2 @@
+Craig-Lyndon theorem
@@ aliases / pl / 3 / aliases / pl / 3 @@
+Craiga, twierdzenie
@@ aliases / pl / 4 / aliases / pl / 4 @@
+Interpolacja Craiga
@@ aliases / pl / 5 / aliases / pl / 5 @@
+Lemat Craiga
@@ aliases / pl / 6 / aliases / pl / 6 @@
+Twierdzenie Craiga o interpolacji
@@ Property / Version @@
+Nimue verch Wledyr ap Gwyn
@@ Property / Version: Nimue verch Wledyr ap Gwyn / rank @@
+Normal rank