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
mathematical, proof, assistant
1
>
GDEX
1
(0.0 per million)
W04-0911
subfield of mathe - matics . •
Mathematical Proof Assistant
( MPA ) : Checks the appropriateness
