Logika pierwszego rzędu (Q89440)

From wikibase-docker
Revision as of 03:22, 29 October 2023 by Lenny0face-bot (talk | contribs) (‎Changed an Item: Updating statements of entity ["Logika pierwszego rzędu" (pl), "Logika pierwszego rzędu" (en)] with Lapacz)
Jump to navigation Jump to search
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

P4 (Deleted Property)
Rachunek kwantyfikatorów Property P4 not found, cannot determine the data type to use.
0 references
Type
Unknown
0 references
Version
Triss Merigold
0 references
 
Retrieved from "http://origanum-93.man.poznan.pl/w/index.php?title=Item:Q89440&oldid=4439604"