Skip to search formSkip to main contentSkip to account menu

PhoX

In automated theorem proving, PhoX is a proof assistant based on higher-order logic which is eXtensible. The user gives PhoX an initial goal and… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
Highly Cited
2013
Highly Cited
2013
Non-thermal motions in the intra-cluster medium (ICM) are believed to play a non-negligible role in the pressure support to the… 
2011
2011
We investigated the effect of the red light (R) (630 nm), magnetic field (MF) and magnetic field combined with the red light (MF… 
Review
2009
Review
2009
In the last few years, elucidation of the architecture of breathing control centres has reached the cellular level. This has been… 
Review
2009
Review
2009
Chronic granulomatous disease (CGD) is a rare hereditary primary immunodeficiency, in which defective production of microbicidal… 
2007
2007
The respiratory burst oxidase homolog (rboh), a plant homolog of the catalytic subunit of phagocyte NADPH oxidase (gp91phox), has… 
2005
2005
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism… 
2005
2005
SummaryPlant cells respond to a variety of external signals with the production of reactive-oxygen species. The enzyme system… 
Highly Cited
2004
Highly Cited
2004
Background—CD40 ligand (CD40L) expression on platelets is mediated by agonists, but the underlying mechanism is still unclear… 
1998
1998
NADPH oxidase system is an enzymatic electron transport complex localized in the membrane of phagocytic cells. Several proteins…