N2-(2-METHOXYPHENYL)PYRIMIDINE DERIVATIVE, METHOD FOR PREPARING SAME, AND PHARMACEUTICAL COMPOSITION FOR CANCER PREVENTION OR TREATMENT CONTAINING SAME AS ACTIVE INGREDIENT
N2-(2-METHOXYPHENYL)PYRIMIDINE DERIVATIVE, METHOD FOR PREPARING SAME, AND PHARMACEUTICAL COMPOSITION FOR CANCER PREVENTION OR TREATMENT CONTAINING SAME AS ACTIVE INGREDIENT
[EN] NOVEL PHENYL IMIDAZOLES AND PHENYL TRIAZOLES AS GAMMA-SECRETASE MODULATORS<br/>[FR] NOUVEAUX PHÉNYL IMIDAZOLES ET PHÉNYL TRIAZOLES EN TANT QUE MODULATEURS DE LA GAMMA SÉCRÉTASE
申请人:PFIZER
公开号:WO2010100606A1
公开(公告)日:2010-09-10
Compounds and pharmaceutically acceptable salts of the compounds are disclosed, wherein the compounds have the structure of Formula (I) as defined in the specification. Corresponding pharmaceutical compositions, methods of treatment, methods of synthesis, and intermediates are also disclosed.
Novel Phenyl Imidazoles and Phenyl Triazoles As Gamma-Secretase Modulators
申请人:Allen Martin Patrick
公开号:US20120053165A1
公开(公告)日:2012-03-01
Compounds and pharmaceutically acceptable salts of the compounds are disclosed, wherein the compounds have the structure of Formula (I) as defined in the specification. Corresponding pharmaceutical compositions, methods of treatment, methods of synthesis, and intermediates are also disclosed.
Benzamides-containing compounds and their use in the treatment of epilepsy
申请人:MINDIMMUNE THERAPEUTICS, INC.
公开号:US10238654B2
公开(公告)日:2019-03-26
The present invention is directed to benzamide-containing compounds of formula I
or pharmaceutically acceptable salts thereof which inhibit the P2X7 receptor, and their use in the treatment of epilepsy.
本发明涉及式 I 的含苯甲酰胺化合物
或其药学上可接受的盐,它们能抑制 P2X7 受体,并可用于治疗癫痫。
In this paper we introduce the logic programming language Disjunctive Chronology which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive Chronolog is capable of ex pressing dynamic behaviour as well as uncertainty, two notions that are very common in a variety of real systems. We present the minimal temporal model semantics and the fixpoint semantics for the new programming language and demonstrate their equivalence. We also show how proof procedures developed for disjunctive logic programs can be easily extended to apply to Disjunctive Chronolog programs.