Logika pierwszego rzędu (Q89440): Difference between revisions

From wikibase-docker
Jump to navigation Jump to search
(‎Created a new Item: Document Logika pierwszego rzędu added by Lapacz)
 
(‎Changed label, description and/or aliases in en, pl, and other parts: Updating entity Logika pierwszego rzędu with Lapacz)
aliases / en / 0aliases / en / 0
 
First-order logic
aliases / en / 1aliases / en / 1
 
First-order predicate calculus
aliases / en / 2aliases / en / 2
 
First-order predicate logic
aliases / en / 3aliases / en / 3
 
FOL
aliases / en / 4aliases / en / 4
 
Logic, first-order
aliases / en / 5aliases / en / 5
 
Logika I rzędu
aliases / en / 6aliases / en / 6
 
Pierwszego rzędu, logika
aliases / en / 7aliases / en / 7
 
Predicate calculus, first-order
aliases / en / 8aliases / en / 8
 
Predicate logic, first-order
aliases / en / 9aliases / en / 9
 
Rachunek kwantyfikatorów pierwszego rzędu
aliases / en / 10aliases / en / 10
 
Rachunek predykatów pierwszego rzędu
aliases / pl / 0aliases / pl / 0
 
First-order logic
aliases / pl / 1aliases / pl / 1
 
First-order predicate calculus
aliases / pl / 2aliases / pl / 2
 
First-order predicate logic
aliases / pl / 3aliases / pl / 3
 
FOL
aliases / pl / 4aliases / pl / 4
 
Logic, first-order
aliases / pl / 5aliases / pl / 5
 
Logika I rzędu
aliases / pl / 6aliases / pl / 6
 
Pierwszego rzędu, logika
aliases / pl / 7aliases / pl / 7
 
Predicate calculus, first-order
aliases / pl / 8aliases / pl / 8
 
Predicate logic, first-order
aliases / pl / 9aliases / pl / 9
 
Rachunek kwantyfikatorów pierwszego rzędu
aliases / pl / 10aliases / pl / 10
 
Rachunek predykatów pierwszego rzędu
Property / Version
 
Imlerith
Property / Version: Imlerith / rank
 
Normal rank

Revision as of 14:21, 19 September 2023

No description defined
  • First-order logic
  • First-order predicate calculus
  • First-order predicate logic
  • FOL
  • Logic, first-order
  • Logika I rzędu
  • Pierwszego rzędu, logika
  • Predicate calculus, first-order
  • Predicate logic, first-order
  • Rachunek kwantyfikatorów pierwszego rzędu
  • Rachunek predykatów pierwszego rzędu
Language Label Description Also known as
English
Logika pierwszego rzędu
No description defined
  • First-order logic
  • First-order predicate calculus
  • First-order predicate logic
  • FOL
  • Logic, first-order
  • Logika I rzędu
  • Pierwszego rzędu, logika
  • Predicate calculus, first-order
  • Predicate logic, first-order
  • Rachunek kwantyfikatorów pierwszego rzędu
  • Rachunek predykatów pierwszego rzędu

Statements

Version
Imlerith
0 references
 
Retrieved from "http://origanum-93.man.poznan.pl/w/index.php?title=Item:Q89440&oldid=2091912"