Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On strong Mal'cev conditions for congruence meet-semidistributivity in a
  locally finite variety   In this paper we examine four-element and five-element digraphs for existence
of certain polymorphisms that imply congruence meet-semidistributivity in a
locally finite variety. The results presented here occurred as an integral part
of my research for optimal strong Mal'cev conditions describing the property
mentioned. Most of the programming needed to obtain these results was done in C
programming language but for some results we also used the model builder
Paradox. The source codes and Paradox inputs will be presented here as well
(appendices one and two of this paper contain the source codes; an example of
Paradox input is given in section 6).

10
The categories of this paper are: q-bio
9
The categories of this paper are: nlin
7
The categories of this paper are: hep-th
11
The categories of this paper are: hep-lat
21
The categories of this paper are: adap-org
12
The categories of this paper are: nucl-th
0
The categories of this paper are: hep-ph
18
The categories of this paper are: econ
6
The categories of this paper are: astro-ph
24
The categories of this paper are: dg-ga
5
The categories of this paper are: gr-qc
23
The categories of this paper are: solv-int
16
The categories of this paper are: stat
37
The categories of this paper are: supr-con
8
The categories of this paper are: hep-ex
35
The categories of this paper are: mtrl-th