Deskryptory BN w SKOS

زبان محتوا

... > Kultura > Nauka > Matematyka > Logika matematyczna > Twierdzenie Craiga

... > Wiedza > Nauka > Matematyka > Logika matematyczna > Twierdzenie Craiga

اصطلاح مرجح

Twierdzenie Craiga

مفهوم اعم

Logika matematyczna

مفهوم‌های وابسته

Logika pierwszego rzędu

اصطلاح‌های مدخل

Craiga, twierdzenie
Craig interpolation property
Craig interpolation theorem
Craig-Lyndon theorem
Interpolacja Craiga
Lemat Craiga
Twierdzenie Craiga o interpolacji

URI

https://bn-skos.lab.dariah.pl/Twierdzenie_Craiga

این مفهوم را بارگیری کن:

RDF/XML TURTLE JSON-LD