in
Help
user:
defaults
corpus:
ACL ARC 2.0 segmented, PoS tagged and cleaned (to an extent)
in
ACL ARC 2.0 segmented, PoS tagged and cleaned (to an extent)
ACL-RD TEC 2.0 --- Annotations by Anne-Kathrin Schumann
ACL-RD TEC 2.0 --- Annotations by Behrang QasemiZadeh
fa_ud_dev: The Development Set of the Persian Universal Dependency Treebank (v1.1)
Frame Induction Corpus
Frame Induction Corpus 2.0
M-Grams
Motion Frame Induction Corpus 2.0
oana-fa: the 1984 corpus, Farsi version
Sample raw web corpus
Shargh Corpus
Concordance
Word List
Corpus Info
Save
Subcorpus name:
as subcorpus
View options
KWIC
Sentence
Sort
Left
Right
Node
References
Shuffle
Sample
Last
Filter
Overlaps
1st hit in doc
Frequency
Node tags
Node forms
Collocations
ConcDesc
Visualize
Menu position
Query
proof, scoring
1
>
GDEX
1
(0.0 per million)
P06-2105
until a refutation is found . 2.1
Proof scoring
algorithm Once a proof by contradiction
