Returned 71 matches (100 formulae, 60 docs)
    Lookup 2.050 ms, Re-ranking 171.736 ms
    Found 20787 tuple postings, 16604 formulae, 6491 documents
[ formulas ] [ documents ] [ documents-by-formula ]

A B = ( A c B s ) c
Doc 1
1.0000, 3.6723
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Mathematical_morphology.html
A B = ( A c B s ) c
Doc 1
1.0000, 3.6723
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Mathematical_morphology.html
Doc 1
1.0000, 3.6723
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Mathematical_morphology.html
Doc 2
0.6458, 1.2143
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Opening_(morphology).html
A B = ( A B ) B
Doc 1
1.0000, 3.6723
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Mathematical_morphology.html
A B = ( A B ) B ,
Doc 2
0.6458, 1.2143
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Opening_(morphology).html
A B = ( A B ) B
Doc 1
1.0000, 3.6723
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Mathematical_morphology.html
A B = ( A B ) B ,
Doc 3
0.3368, 0.4421
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Closing_(morphology).html
A B = ( A C B C ) C
Doc 4
0.3333, 0.6882
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Union_(set_theory).html
A c B c ( A B ) c
Doc 5
0.3256, 2.6767
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/De_Morgan's_laws.html
Doc 5
0.3256, 2.6767
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/De_Morgan's_laws.html
Doc 5
0.3256, 2.6767
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/De_Morgan's_laws.html
A B = ( A B ) - ( A B )
Doc 8
0.2857, 0.2857
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Jaccard_index.html
A B = ( A B ) ( B A )
Doc 7
0.2857, 0.7298
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Ring_of_sets.html
A B = ( A B ) ( A B )
Doc 6
0.2857, 1.4531
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Symmetric_difference.html
Doc 7
0.2857, 0.7298
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Ring_of_sets.html
A B = ( A B ) & ( B A )
Doc 9
0.2857, 0.2857
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Linear_logic.html
A Δ B = ( A B ) ( B A ) .
Doc 10
0.2689, 0.2689
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Set_(mathematics).html
A B = ( A B ) ( A B ) ,
Doc 6
0.2857, 1.4531
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Symmetric_difference.html
A B = ( A B ) ( B A ) ,
Doc 6
0.2857, 1.4531
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Symmetric_difference.html
A B = ( A C ) ( A c D )
Doc 11
0.2667, 0.2667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Hit-or-miss_transform.html
A B := ( A B ) B .
Doc 12
0.2316, 0.2316
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Functional_completeness.html
A B = A ¯ B ¯ ¯
Doc 14
0.2292, 0.2292
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Context-free_language.html
A B = A ¯ + B ¯ ¯
Doc 13
0.2292, 0.6149
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Two-element_Boolean_algebra.html
A B = 𝒩 .
Doc 16
0.2188, 0.3726
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Schnirelmann_density.html
B ( A B )
Doc 15
0.2188, 0.8812
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/List_of_logic_systems.html
Doc 15
0.2188, 0.8812
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/List_of_logic_systems.html
A + B = A ¯ B ¯ ¯ .
Doc 13
0.2292, 0.6149
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Two-element_Boolean_algebra.html
A B = ( A B + B A ) / 2
Doc 17
0.2095, 0.2095
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/E7_(mathematics).html
A ( B C ) = ( A B ) C ,
Doc 18
0.2056, 0.2056
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Hadamard_product_(matrices).html
A B = B A
Doc 19
0.2000, 0.9327
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/XOR_swap_algorithm.html
A B ( A B ) ( B A )
Doc 20
0.1964, 0.1964
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000009/Articles/Monoidal_t-norm_logic.html
Doc 21
0.1964, 0.1964
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/T-norm_fuzzy_logics.html
Doc 22
0.1964, 0.1964
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/BL_(logic).html
P ( B ( A B ) )
Doc 23
0.1818, 0.1818
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Probability_axioms.html
( A c ) c = A
Doc 24
0.1786, 0.1786
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Duality_(mathematics).html
A ( B C ) = ( A B ) ( A C )
Doc 4
0.3333, 0.6882
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Union_(set_theory).html
Doc 25
0.1774, 0.8815
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Algebra_of_sets.html
A ( B C ) = ( A B ) ( A C )
Doc 4
0.3333, 0.6882
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Union_(set_theory).html
Doc 25
0.1774, 0.8815
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Algebra_of_sets.html
A B = A c B c
Doc 6
0.2857, 1.4531
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Symmetric_difference.html
S = ( A * B ) + C + D
Doc 27
0.1707, 0.1707
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000010/Articles/Computron_tube.html
B = ( A { k } ) { 1 }
Doc 26
0.1707, 0.1707
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Activity_selection_problem.html
( A c ) c = A .
Doc 28
0.1695, 0.4227
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Complement_(set_theory).html
A + ( B C ) = ( A + B ) ( A + C ) .
Doc 13
0.2292, 0.6149
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Two-element_Boolean_algebra.html
A × ( B C ) = ( A × B ) ( A × C ) ,
Doc 29
0.1679, 0.6258
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Cartesian_product.html
A × ( B C ) = ( A × B ) ( A × C ) ,
Doc 29
0.1679, 0.6258
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Cartesian_product.html
A × ( B C ) = ( A × B ) ( A × C ) ,
Doc 29
0.1679, 0.6258
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Cartesian_product.html
A ( B C ) = ( A B ) ( A C ) ,
Doc 6
0.2857, 1.4531
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Symmetric_difference.html
A B ¯ + A ¯ B ( A + B )
Doc 30
0.1667, 0.1667
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/XOR_gate.html
2 S = ( A + B + C )
Doc 31
0.1647, 0.1647
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Spherical_trigonometry.html
(Eq. 1) A B = h ( A + B )
Doc 32
0.1647, 0.1647
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Crossed_ladders_problem.html
A ( B ( A B ) )
Doc 15
0.2188, 0.8812
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/List_of_logic_systems.html
Doc 15
0.2188, 0.8812
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/List_of_logic_systems.html
B 1 , 2 = ( B 1 + B 2 ) / 2
Doc 33
0.1609, 0.1609
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Amagat's_law.html
A B = b B A b
Doc 1
1.0000, 3.6723
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Mathematical_morphology.html
A B
Doc 16
0.2188, 0.3726
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Schnirelmann_density.html
Doc 19
0.2000, 0.9327
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/XOR_swap_algorithm.html
Doc 19
0.2000, 0.9327
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/XOR_swap_algorithm.html
Doc 34
0.1538, 0.7608
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Exclusive_or.html
Doc 34
0.1538, 0.7608
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Exclusive_or.html
Doc 34
0.1538, 0.7608
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Exclusive_or.html
Doc 34
0.1538, 0.7608
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Exclusive_or.html
Doc 35
0.1538, 0.4615
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Direct_sum.html
Doc 35
0.1538, 0.4615
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Direct_sum.html
Doc 35
0.1538, 0.4615
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Direct_sum.html
Doc 36
0.1538, 0.2967
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Logic_gate.html
Doc 37
0.1538, 0.1538
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Carry-lookahead_adder.html
Doc 38
0.1538, 0.1538
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Direct_sum_of_modules.html
𝒫 B ( A ) = ( A B - 1 ) B
Doc 39
0.1522, 0.1522
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Geometric_calculus.html
A + B | A B | P
Doc 40
0.1505, 0.1505
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Reaction_rate.html
x ( A B ) c
Doc 5
0.3256, 2.6767
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/De_Morgan's_laws.html
Doc 5
0.3256, 2.6767
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/De_Morgan's_laws.html
Doc 5
0.3256, 2.6767
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/De_Morgan's_laws.html
x ( A B ) c
Doc 5
0.3256, 2.6767
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/De_Morgan's_laws.html
Doc 5
0.3256, 2.6767
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/De_Morgan's_laws.html
A B = b B A b .
Doc 41
0.1489, 0.2289
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Dilation_(morphology).html
𝐱 ˙ ( t ) = ( A + B K ) 𝐱 ( t )
Doc 42
0.1474, 0.1474
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/State-space_representation.html
( A and B )
Doc 43
0.1455, 0.7273
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Logical_conjunction.html
Doc 43
0.1455, 0.7273
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Logical_conjunction.html
Doc 43
0.1455, 0.7273
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Logical_conjunction.html
Doc 43
0.1455, 0.7273
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Logical_conjunction.html
Doc 43
0.1455, 0.7273
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Logical_conjunction.html
( A B )
Doc 46
0.1455, 0.1455
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Comma_category.html
( A B )
Doc 44
0.1455, 0.2396
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Logical_biconditional.html
( A B )
Doc 45
0.1455, 0.1455
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000007/Articles/Tautology_(logic).html
A B .
Doc 6
0.2857, 1.4531
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Symmetric_difference.html
A B .
Doc 6
0.2857, 1.4531
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Symmetric_difference.html
( A B )
Doc 34
0.1538, 0.7608
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Exclusive_or.html
𝒫 B ( A ) = ( A B - 1 ) B
Doc 47
0.1443, 0.2887
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Geometric_algebra.html
Doc 47
0.1443, 0.2887
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Geometric_algebra.html
x ( A B ) c )
Doc 5
0.3256, 2.6767
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/De_Morgan's_laws.html
( A B ) *
Doc 48
0.1429, 0.1429
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Intuitionistic_logic.html
A B ¯
Doc 36
0.1538, 0.2967
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Logic_gate.html
d 2 y d x 2 = ( A + B \weierp ( x ) ) y
Doc 49
0.1414, 0.1414
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000012/Articles/Lamé_function.html
( A B ) A = A ( A B )
Doc 19
0.2000, 0.9327
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/XOR_swap_algorithm.html
( A B ) C = A ( B C )
Doc 1
1.0000, 3.6723
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Mathematical_morphology.html
Doc 50
0.1400, 0.1400
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Erosion_(morphology).html
( A B ) C
Doc 1
1.0000, 3.6723
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Mathematical_morphology.html
( A B ) c = A c B c
Doc 5
0.3256, 2.6767
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/De_Morgan's_laws.html
( A B ) c = A c B c
Doc 5
0.3256, 2.6767
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/De_Morgan's_laws.html
Doc 5
0.3256, 2.6767
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/De_Morgan's_laws.html
( A B ) c A c B c
Doc 5
0.3256, 2.6767
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/De_Morgan's_laws.html
Doc 5
0.3256, 2.6767
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/De_Morgan's_laws.html
Doc 5
0.3256, 2.6767
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/De_Morgan's_laws.html
x ( t ) = ( A + B t ) e - ω 0 t
Doc 51
0.1296, 0.1296
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Damping.html
I - B = ( I - B ) ( I - B )
Doc 52
0.1284, 0.1284
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000005/Articles/Generalized_method_of_moments.html
A 1 A 2 = [ A 1 0 0 A 2 ] ,
Doc 53
0.1284, 0.1284
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Pfaffian.html
( A B ) c = A c B c .
Doc 28
0.1695, 0.4227
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Complement_(set_theory).html
( A B ) c = A c B c .
Doc 28
0.1695, 0.4227
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Complement_(set_theory).html
= ( A A ) B
Doc 19
0.2000, 0.9327
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/XOR_swap_algorithm.html
A ~ = ( A ~ B ~ ) ( A ~ \ B ~ )
Doc 54
0.1228, 0.1228
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Multivariate_mutual_information.html
( A × B ) c = ( A c × B c ) ( A c × B ) ( A × B c ) .
Doc 29
0.1679, 0.6258
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000013/Articles/Cartesian_product.html
( A + B ) m ( A + B ) n
Doc 55
0.1176, 0.1176
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000008/Articles/Q-Vandermonde_identity.html
( A B ) ( A B )
Doc 15
0.2188, 0.8812
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/List_of_logic_systems.html
( A = B ) ( A B )
Doc 56
0.1143, 0.2286
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Homotopy_type_theory.html
( A = B ) ( A B )
Doc 56
0.1143, 0.2286
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000014/Articles/Homotopy_type_theory.html
A + ( A B ) = A
Doc 57
0.1127, 0.2254
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Combinational_logic.html
A ( A B ) = A
Doc 25
0.1774, 0.8815
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Algebra_of_sets.html
A ( A B ) = A
Doc 25
0.1774, 0.8815
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Algebra_of_sets.html
A ( A + B ) = A
Doc 57
0.1127, 0.2254
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Combinational_logic.html
( A B ) C = A C B C
Doc 25
0.1774, 0.8815
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Algebra_of_sets.html
( A B ) C = A C B C
Doc 25
0.1774, 0.8815
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Algebra_of_sets.html
A prop B prop ( A B ) prop F
Doc 58
0.1081, 0.2162
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Natural_deduction.html
A true B true ( A B ) true I
Doc 58
0.1081, 0.2162
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000001/Articles/Natural_deduction.html
( A B ) B = A B
Doc 2
0.6458, 1.2143
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Opening_(morphology).html
( A B ) B = A B
Doc 3
0.3368, 0.4421
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Closing_(morphology).html
C o u t = ( A B ) + ( C i n ( A B ) )
Doc 59
0.1037, 0.1037
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000003/Articles/Adder_(electronics).html
A B ¬ ( A B )
Doc 44
0.1455, 0.2396
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Logical_biconditional.html
u = ( z - B ) / ( A - B )
Doc 60
0.0899, 0.0899
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Feynman_parametrization.html
A B = A ( A B )
Doc 25
0.1774, 0.8815
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Algebra_of_sets.html
( A B ) B = A ( B B )
Doc 19
0.2000, 0.9327
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/XOR_swap_algorithm.html
( A B ) C = A ( B C )
Doc 1
1.0000, 3.6723
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/Mathematical_morphology.html
Doc 19
0.2000, 0.9327
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000002/Articles/XOR_swap_algorithm.html
Doc 41
0.1489, 0.2289
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000004/Articles/Dilation_(morphology).html
A B = A ( A B ) .
Doc 7
0.2857, 0.7298
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Ring_of_sets.html
A B = A ( A B ) .
Doc 7
0.2857, 0.7298
testing/NTCIR12_MathIR_WikiCorpus_v2.1.0/MathTagArticles/wpmath0000006/Articles/Ring_of_sets.html