коректність 1 UDC 510.64 1 WARRP profiles (DSS) 1 completeness 1 correctness 1 direct continuation of the time field 1 eikonal equation 1 equality 1 inverse continuation of the wave field 1 logic 1 logical consequence 1 migration of reflected/refracted waves 1 partial predicate 1 sequent calculus 1 soundness 1 wave equation 1 УДК 510.64 1 зворотне продовження хвильового поля 1 логіка 1 логічний наслідок 1 міграція відбитих/заломлених хвиль 1 повнота 1 профілі DSS (WARRP) 1 пряме продовження часового поля 1 рівняння ейконалу 1 рівність 1 секвенційне числення 1 хвильове рівняння 1 частковий предикат 1