Query Match #1 |
Match on: yg/exp_100002.png |
Score: 0.1681% |
Locations: : Admissible_rule:80 |
Precision: 100.0000% |
|
|
|
|
Query Match #2 |
Match on: sq/exp_239788.png |
Score: 0.1681% |
Locations: : Dialectica_interpretation:23 |
Precision: 100.0000% |
|
|
|
|
Query Match #3 |
Match on: oe/exp_204520.png |
Score: 0.1681% |
Locations: : Skorokhod's_representation_theorem:1 |
Precision: 75.0000% |
|
|
|
|
Query Match #4 |
Match on: ec/exp_113674.png |
Score: 0.1681% |
Locations: : Material_conditional:35 |
Precision: 71.4286% |
|
|
|
|
Query Match #5 |
Match on: ug/exp_281742.png |
Score: 0.1681% |
Locations: : Exportation_(logic):7 |
Precision: 71.4286% |
|
|
|
|
Query Match #6 |
Match on: xl/exp_185833.png |
Score: 0.1681% |
Locations: : Tautology_(logic):19 |
Precision: 66.6667% |
|
|
|
|
Query Match #7 |
Match on: iz/exp_286181.png |
Score: 0.1681% |
Locations: : List_of_logic_systems:79, List_of_logic_systems:109 |
Precision: 66.6667% |
|
|
|
|
Query Match #8 |
Match on: iy/exp_286180.png |
Score: 0.1681% |
Locations: : List_of_logic_systems:78, List_of_logic_systems:108 |
Precision: 66.6667% |
|
|
|
|
Query Match #9 |
Match on: ng/exp_245056.png |
Score: 0.1681% |
Locations: : Item_tree_analysis:3 |
Precision: 66.6667% |
|
|
|
|
Query Match #10 |
Match on: jc/exp_77976.png |
Score: 0.1681% |
Locations: : Deduction_theorem:9 |
Precision: 66.6667% |
|
|
|
|
Query Match #11 |
Match on: ya/exp_192608.png |
Score: 0.1681% |
Locations: : Diagram_(category_theory):5 |
Precision: 60.0000% |
|
|
|
|
Query Match #12 |
Match on: yv/exp_113537.png |
Score: 0.1681% |
Locations: : Markov_decision_process:82 |
Precision: 60.0000% |
|
|
|
|
Query Match #13 |
Match on: vl/exp_233101.png |
Score: 0.1681% |
Locations: : Image_functors_for_sheaves:0 |
Precision: 60.0000% |
|
|
|
|
Query Match #14 |
Match on: ax/exp_229187.png |
Score: 0.1681% |
Locations: : Paradoxes_of_material_implication:6 |
Precision: 55.5556% |
|
|
|
|
Query Match #15 |
Match on: pf/exp_87599.png |
Score: 0.1681% |
Locations: : List_of_rules_of_inference:125 |
Precision: 55.5556% |
|
|
|
|
Query Match #16 |
Match on: ja/exp_240214.png |
Score: 0.1681% |
Locations: : Discrete_Morse_theory:63 |
Precision: 50.0000% |
|
|
|
|
Query Match #17 |
Match on: ok/exp_170726.png |
Score: 0.1681% |
Locations: : Commutativity_of_conjunction:14 |
Precision: 50.0000% |
|
|
|
|
Query Match #18 |
Match on: oj/exp_170725.png |
Score: 0.1681% |
Locations: : Commutativity_of_conjunction:13 |
Precision: 50.0000% |
|
|
|
|
Query Match #19 |
Match on: ue/exp_281740.png |
Score: 0.1681% |
Locations: : Exportation_(logic):5 |
Precision: 50.0000% |
|
|
|
|
Query Match #20 |
Match on: ci/exp_120388.png |
Score: 0.1681% |
Locations: : Spectrum_(topology):40 |
Precision: 50.0000% |
|
|
|
|