Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,237,302 papers from all fields of science
Search
Sign In
Create Free Account
Formula game
A formula game is an artificial game represented by a fully quantified Boolean formula. Players' turns alternate and the space of possible moves is…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Broader (1)
Boolean algebra
Computational complexity theory
Existential quantification
Generalized geography
PSPACE-complete
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
The CCCTB Allocation Formula Game: The Performance of Economics Sectors
Kateřina Krchnivá
,
D. Nerudová
Prague Economic Papers
2018
Corpus ID: 59148604
The implementation of the Common Consolidated Corporate Tax Base (hereinafter CCCTB) in the European Union will probably have an…
Expand
2013
2013
How Lego Constructs a Cross-promotional Franchise with Video Games
David Robert Wooten
2013
Corpus ID: 107655907
2008
2008
The scope of logic : deduction, abduction, analogy
Carlo Cellucci
2008
Corpus ID: 17956371
Conference donnee a l'occasion du soixantieme anniversaire de D. Prawitz en juin 1996 a l'Universite de Stockholm. Soulignant le…
Expand
Review
2005
Review
2005
Gödel's universe
Martin D. Davis
Nature
2005
Corpus ID: 4395946
The legacy of one of the greatest thinkers of the twentieth century.Spring loadingKurt Gödel (one of Time magazine's “20 greatest…
Expand
2004
2004
HILBERT'S FORMALISM AND ARITHMETIZATION OF MATHEMATICS
Judson C. Webb
Synthese
2004
Corpus ID: 44084932
Etude de la preuve non-constructive de l'existence d'une base finie pour les invariants algebriques etablie par Hilbert contre la…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE