Query Match #1 |
Match on: yg/exp_100002.png |
Score: 0.0012% |
Locations: : Admissible_rule:80 |
Precision: 100.0000% |
|
|
|
|
Query Match #2 |
Match on: cg/exp_24394.png |
Score: 0.0012% |
Locations: : Measurable_function:6 |
Precision: 100.0000% |
|
|
|
|
Query Match #3 |
Match on: pb/exp_276199.png |
Score: 0.0012% |
Locations: : Absorption_(logic):20 |
Precision: 100.0000% |
|
|
|
|
Query Match #4 |
Match on: jy/exp_214550.png |
Score: 0.0012% |
Locations: : Hilbert_system:41 |
Precision: 100.0000% |
|
|
|
|
Query Match #5 |
Match on: rq/exp_82930.png |
Score: 0.0012% |
Locations: : Happened-before:16 |
Precision: 100.0000% |
|
|
|
|
Query Match #6 |
Match on: ec/exp_113674.png |
Score: 0.0012% |
Locations: : Material_conditional:35 |
Precision: 85.7143% |
|
|
|
|
Query Match #7 |
Match on: xh/exp_41165.png |
Score: 0.0012% |
Locations: : C-symmetry:2 |
Precision: 85.7143% |
|
|
|
|
Query Match #8 |
Match on: xl/exp_185833.png |
Score: 0.0012% |
Locations: : Tautology_(logic):19 |
Precision: 83.3333% |
|
|
|
|
Query Match #9 |
Match on: oe/exp_204520.png |
Score: 0.0012% |
Locations: : Skorokhod's_representation_theorem:1 |
Precision: 75.0000% |
|
|
|
|
Query Match #10 |
Match on: yc/exp_294010.png |
Score: 0.0012% |
Locations: : Tautology_(rule_of_inference):18 |
Precision: 71.4286% |
|
|
|
|
Query Match #11 |
Match on: xf/exp_104707.png |
Score: 0.0012% |
Locations: : Conjunction_elimination:12 |
Precision: 71.4286% |
|
|
|
|
Query Match #12 |
Match on: pf/exp_276203.png |
Score: 0.0012% |
Locations: : Absorption_(logic):26 |
Precision: 71.4286% |
|
|
|
|
Query Match #13 |
Match on: oy/exp_276196.png |
Score: 0.0012% |
Locations: : Absorption_(logic):9, Absorption_(logic):12 |
Precision: 71.4286% |
|
|
|
|
Query Match #14 |
Match on: og/exp_213986.png |
Score: 0.0012% |
Locations: : Gödel_numbering_for_sequences:47 |
Precision: 70.0000% |
|
|
|
|
Query Match #15 |
Match on: ws/exp_116862.png |
Score: 0.0012% |
Locations: : Polyakov_action:53 |
Precision: 70.0000% |
|
|
|
|
Query Match #16 |
Match on: ja/exp_240214.png |
Score: 0.0012% |
Locations: : Discrete_Morse_theory:63 |
Precision: 66.6667% |
|
|
|
|
Query Match #17 |
Match on: hq/exp_164466.png |
Score: 0.0012% |
Locations: : Spontaneous_magnetization:8 |
Precision: 66.6667% |
|
|
|
|
Query Match #18 |
Match on: jm/exp_77310.png |
Score: 0.0012% |
Locations: : Critical_phenomena:8 |
Precision: 66.6667% |
|
|
|
|
Query Match #19 |
Match on: dt/exp_261033.png |
Score: 0.0012% |
Locations: : Eckmann–Hilton_duality:18 |
Precision: 66.6667% |
|
|
|
|
Query Match #20 |
Match on: jw/exp_214548.png |
Score: 0.0012% |
Locations: : Hilbert_system:39 |
Precision: 66.6667% |
|
|
|
|