Home
last modified time | relevance | path

Searched refs:SUPERPOSITION (Results 1 – 6 of 6) sorted by relevance

/dports/math/cmlib/cmlib-3.0_8/doc/bvsup/
H A DSummary12 C VALUE PROBLEM USING SUPERPOSITION COUPLED WITH AN
31 C THE METHOD OF SOLUTION USES SUPERPOSITION COUPLED WITH AN
33 C SCHEME. EACH TIME THE SUPERPOSITION SOLUTIONS START TO
/dports/math/vampire/vampire-4.5.1/Kernel/
H A DInference.hpp233 SUPERPOSITION, enumerator
H A DInference.cpp701 case InferenceRule::SUPERPOSITION: in ruleName()
/dports/math/vampire/vampire-4.5.1/Inferences/
H A DSuperposition.cpp434 …nstraints ? InferenceRule::CONSTRAINED_SUPERPOSITION : InferenceRule::SUPERPOSITION, rwClause, eqC… in performSuperposition()
/dports/games/connectagram/connectagram-1.2.11/data/en/
H A Dwords63330 SUPERPOSITION
/dports/games/connectagram/connectagram-1.2.11/data/fr/
H A Dwords118893 SUPERPOSITION