Assertion list
algorithm (primary) → HasProperty
Results from Ascent++: 196
algorithm → HasProperty → important 0.69
algorithm → HasProperty → simple 0.65
algorithm → HasProperty → complex 0.63
algorithm → HasProperty → refined 0.63
algorithm → HasProperty → valid 0.62
algorithm → HasProperty → more complex 0.61
algorithm → HasProperty → identical 0.61
algorithm → HasProperty → complete 0.60
algorithm → HasProperty → unbiased 0.60
algorithm → HasProperty → sophisticated 0.60
algorithm → HasProperty → correct 0.59
algorithm → HasProperty → fast 0.59
algorithm → HasProperty → efficient 0.59
algorithm → HasProperty → useful 0.58
algorithm → HasProperty → public 0.58
algorithm → HasProperty → sensitive 0.57
algorithm → HasProperty → proprietary 0.57
algorithm → HasProperty → deterministic 0.57
algorithm → HasProperty → implementable 0.56
algorithm → HasProperty → robust 0.56
algorithm → HasProperty → secret 0.55
algorithm → HasProperty → successful 0.55
algorithm → HasProperty → optimal 0.55
algorithm → HasProperty → strong 0.54
algorithm → HasProperty → explainable 0.54
algorithm → HasProperty → dynamic 0.53
algorithm → HasProperty → short 0.53
algorithm → HasProperty → linear 0.52
algorithm → HasProperty → online 0.52
algorithm → HasProperty → powerful 0.52
algorithm → HasProperty → effective 0.52
algorithm → HasProperty → consistent 0.52
algorithm → HasProperty → large 0.51
algorithm → HasProperty → automatic 0.51
algorithm → HasProperty → helpful 0.51
algorithm → HasProperty → sequential 0.51
algorithm → HasProperty → unique 0.51
algorithm → HasProperty → convergent 0.51
algorithm → HasProperty → basic 0.50
algorithm → HasProperty → good 0.50
algorithm → HasProperty → reliable 0.50
algorithm → HasProperty → well-known 0.50
algorithm → HasProperty → objective 0.50
algorithm → HasProperty → more efficient 0.50
algorithm → HasProperty → bad 0.50
algorithm → HasProperty → fair 0.49
algorithm → HasProperty → accurate 0.49
algorithm → HasProperty → open 0.49
algorithm → HasProperty → quick 0.49
algorithm → HasProperty → transparent 0.49
algorithm → HasProperty → practical 0.49
algorithm → HasProperty → unknown 0.49
algorithm → HasProperty → abstract 0.49
algorithm → HasProperty → combinatorial 0.49
algorithm → HasProperty → mathematical 0.49
algorithm → HasProperty → vulnerable 0.48
algorithm → HasProperty → slow 0.48
algorithm → HasProperty → stable 0.48
algorithm → HasProperty → beneficial 0.48
algorithm → HasProperty → experimental 0.48
algorithm → HasProperty → preferable 0.47
algorithm → HasProperty → recursive 0.47
algorithm → HasProperty → expensive 0.47
algorithm → HasProperty → faster 0.47
algorithm → HasProperty → smart 0.47
algorithm → HasProperty → quadratic 0.47
algorithm → HasProperty → general 0.46
algorithm → HasProperty → possible 0.46
algorithm → HasProperty → classified 0.46
algorithm → HasProperty → greedy 0.46
algorithm → HasProperty → more robust 0.46
algorithm → HasProperty → unsuccessful 0.45
algorithm → HasProperty → useless 0.45
algorithm → HasProperty → wrong 0.45
algorithm → HasProperty → symmetric 0.45
algorithm → HasProperty → precise 0.45
algorithm → HasProperty → adaptive 0.45
algorithm → HasProperty → new 0.45
algorithm → HasProperty → simpler 0.44
algorithm → HasProperty → obvious 0.44
algorithm → HasProperty → interesting 0.43
algorithm → HasProperty → sound 0.43
algorithm → HasProperty → valuable 0.43
algorithm → HasProperty → unsuitable 0.42
algorithm → HasProperty → intelligent 0.42
algorithm → HasProperty → superior 0.42
algorithm → HasProperty → unfair 0.42
algorithm → HasProperty → flexible 0.41
algorithm → HasProperty → conservative 0.40
algorithm → HasProperty → polynomial 0.40
algorithm → HasProperty → active 0.40
algorithm → HasProperty → opaque 0.40
algorithm → HasProperty → neutral 0.40
algorithm → HasProperty → independent 0.39
algorithm → HasProperty → random 0.39
algorithm → HasProperty → usable 0.39
algorithm → HasProperty → more accurate 0.39
algorithm → HasProperty → probabilistic 0.39
algorithm → HasProperty → clear 0.38
algorithm → HasProperty → most suitable 0.38
algorithm → HasProperty → ubiquitous 0.38
algorithm → HasProperty → sufficient 0.38
algorithm → HasProperty → reproducible 0.38
algorithm → HasProperty → exponential 0.38
algorithm → HasProperty → more sensitive 0.38
algorithm → HasProperty → patentable 0.38
algorithm → HasProperty → more suitable 0.38
algorithm → HasProperty → hard 0.37
algorithm → HasProperty → inefficient 0.37
algorithm → HasProperty → responsible 0.36
algorithm → HasProperty → impractical 0.36
algorithm → HasProperty → old 0.36
algorithm → HasProperty → trivial 0.36
algorithm → HasProperty → unsupervised 0.36
algorithm → HasProperty → aggressive 0.35
algorithm → HasProperty → interpretable 0.35
algorithm → HasProperty → most accurate 0.35
algorithm → HasProperty → separate 0.35
algorithm → HasProperty → small 0.35
algorithm → HasProperty → elegant 0.35
algorithm → HasProperty → private 0.35
algorithm → HasProperty → light 0.35
algorithm → HasProperty → fine 0.34
algorithm → HasProperty → heavy 0.34
algorithm → HasProperty → incremental 0.34
algorithm → HasProperty → mysterious 0.34
algorithm → HasProperty → more succinct 0.34
algorithm → HasProperty → the fastest 0.34
algorithm → HasProperty → better than others 0.34
algorithm → HasProperty → generalizable 0.34
algorithm → HasProperty → local 0.34
algorithm → HasProperty → true 0.34
algorithm → HasProperty → visible 0.34
algorithm → HasProperty → scalable 0.34
algorithm → HasProperty → competitive 0.33
algorithm → HasProperty → perfect 0.33
algorithm → HasProperty → great 0.33
algorithm → HasProperty → safe 0.33
algorithm → HasProperty → current 0.33
algorithm → HasProperty → fundamental 0.33
algorithm → HasProperty → logical 0.33
algorithm → HasProperty → lossy 0.33
algorithm → HasProperty → shorter 0.33
algorithm → HasProperty → unpredictable 0.33
algorithm → HasProperty → widespread 0.33
algorithm → HasProperty → dominant 0.32
algorithm → HasProperty → extensible 0.32
algorithm → HasProperty → human 0.32
algorithm → HasProperty → responsive 0.32
algorithm → HasProperty → the most efficient 0.32
algorithm → HasProperty → tractable 0.32
algorithm → HasProperty → racist 0.31
algorithm → HasProperty → unstable 0.31
algorithm → HasProperty → finite 0.30
algorithm → HasProperty → invariant 0.30
algorithm → HasProperty → suboptimal 0.30
algorithm → HasProperty → blind 0.29
algorithm → HasProperty → ineffective 0.29
algorithm → HasProperty → popular 0.29
algorithm → HasProperty → accessible 0.29
algorithm → HasProperty → benign 0.29
algorithm → HasProperty → stupid 0.29
algorithm → HasProperty → cheaper 0.28
algorithm → HasProperty → harmful 0.28
algorithm → HasProperty → more sophisticated 0.28
algorithm → HasProperty → intuitive 0.28
algorithm → HasProperty → modular 0.28
algorithm → HasProperty → weak 0.28
algorithm → HasProperty → incomplete 0.27
algorithm → HasProperty → less accurate 0.26
algorithm → HasProperty → most effective 0.26
algorithm → HasProperty → false 0.26
algorithm → HasProperty → static 0.26
algorithm → HasProperty → unaccountable 0.25
algorithm → HasProperty → innovative 0.25
algorithm → HasProperty → lightweight 0.25
algorithm → HasProperty → more stable 0.25
algorithm → HasProperty → free 0.24
algorithm → HasProperty → clever 0.24
algorithm → HasProperty → dangerous 0.24
algorithm → HasProperty → portable 0.24
algorithm → HasProperty → questionable 0.24
algorithm → HasProperty → troubling 0.24
algorithm → HasProperty → beautiful 0.23
algorithm → HasProperty → inexpensive 0.23
algorithm → HasProperty → more resilient 0.23
algorithm → HasProperty → impressive 0.22
algorithm → HasProperty → incompatible 0.22
algorithm → HasProperty → insecure 0.22
algorithm → HasProperty → insufficient 0.22
algorithm → HasProperty → less efficient 0.22
algorithm → HasProperty → naive 0.22
algorithm → HasProperty → rare 0.22
algorithm → HasProperty → tedious 0.22
algorithm → HasProperty → unusable 0.22
algorithm → HasProperty → universal 0.20