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)

Related topics

Related topics

4 relations
Automated theorem provingOCamlProgramming languageProof assistant

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Simulating X-ray Observations with Python
X-ray astronomy is an important tool in the astrophysicist's toolkit to investigate high-energy astrophysical phenomena… 
2011
2011
May the variable magnetic field and pulse red light induce synergy effects in respiratory burst of neutrophils in vitro?
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
Chronic granulomatous disease - primary phagocytic immunodeficiency
Chronic granulomatous disease (CGD) is a rare hereditary primary immunodeficiency, in which defective production of microbicidal… 
2007
2007
Critical roles for p 22 phox in the structural maturation and subcellular targeting of Nox 3
Critical roles for p22phox in the structural maturation and subcellular targeting of Nox3 Yoko NAKANO*†, Botond BANFI*‡, Algirdas… 
2007
2007
CALL FOR PAPERS Cardiovascular-Renal Mechanisms in Health and Disease
Nouri P, Gill P, Li M, Wilcox CS, Welch WJ. p22 in the macula densa regulates single nephron GFR during angiotensin II infusion… 
2005
2005
BRILLANT: an open source and XML-based platform for rigourous software development
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism… 
2004
2004
gp 91 phox-Dependent Expression of Platelet CD 40 Ligand
Background—CD40 ligand (CD40L) expression on platelets is mediated by agonists, but the underlying mechanism is still unclear… 
2004
2004
JAK 2 is necessary and sufficient for interferon-- induced transcription of the gene encoding gp 91 PHOX
During the inflammatory response, interferon(IFN) increases transcription of the gene encoding gp91, a respiratory burst oxidase… 
1998
1998
Cloning of putative subunits of the soybean plasma membrane NADPH oxidase involved in the oxidative burst by antibody expression screening
SummaryPlant cells respond to a variety of external signals with the production of reactive-oxygen species. The enzyme system… 
1998
1998
Caracterización molecular en pacientes con enfermedad granulomatosa crónica por deficiencia en p47 phox
El sistema NAOPH oxidasa es un complejo enzimático transportador de electrones localizado en la membrana de las células fagoc… 
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)