Eliminacja kwantyfikatorów (Q392490): Difference between revisions

From wikibase-docker
Jump to navigation Jump to search
(‎Changed an Item: Updating statements of entity ["Eliminacja kwantyfikatorów" (pl), "Eliminacja kwantyfikatorów" (en)] with Lapacz)
(‎Changed an Item: Updating statements of entity ["Eliminacja kwantyfikatorów" (pl)] with Lapacz)
 
Property / P4 (Deleted Property)
Logika matematyczna Property P4 not found, cannot determine the data type to use.
 
Property / P4 (Deleted Property): Logika matematyczna Property P4 not found, cannot determine the data type to use. / rank
Normal rank
 
Property / Type
 
Property / Type: Unknown / rank
Normal rank
 
Property / Version
Eskel
 
Property / Version: Eskel / rank
Normal rank
 
Property / National Library Identifier
 
a0000003815163
Property / National Library Identifier: a0000003815163 / rank
 
Normal rank
Property / Related Subject
 
Property / Related Subject: Logika matematyczna / rank
 
Normal rank
Property / Related Subject
 
Property / Related Subject: Kwantyfikator / rank
 
Normal rank
Property / Related Subject
 
Property / Related Subject: Rozstrzygalność i nierozstrzygalność / rank
 
Normal rank
Property / Related Subject
 
Property / Related Subject: Teoria modeli (matematyka) / rank
 
Normal rank
Property / Type
 
Property / Type: Unknown / rank
 
Normal rank
Property / Version
 
P39488T58834
Property / Version: P39488T58834 / rank
 
Normal rank

Latest revision as of 00:07, 28 November 2023

No description defined
  • Quantifier elimination
Language Label Description Also known as
English
Eliminacja kwantyfikatorów
No description defined
  • Quantifier elimination

Statements

a0000003815163
0 references
0 references
P39488T58834
0 references