Search results
From MaRDI portal
- deductions for Horn sentences 1984-01-01 Paper The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional...10 bytes (16 words) - 02:33, 25 September 2023
- deductions for Horn sentences 1984-01-01 Paper The satisfiabilty problem for a class consisting of horn sentences and some non-horn sentences in proportional...10 bytes (16 words) - 09:45, 24 September 2023
- semantics of Horn sentences based on substitution sets 1987-01-01 Paper A new combination of input and unit deductions for Horn sentences 1984-01-01 Paper...10 bytes (16 words) - 22:43, 22 September 2023
- mardi4nfdi.de/entity/Q4728229 1987-01-01 Paper Horn sentences excluding a prime 1986-01-01 Paper Horn Sentences of Small Size in Identity Theory 1986-01-01...10 bytes (16 words) - 00:50, 13 December 2023
- 1971-01-01 Paper Horn sentences 1970-01-01 Paper Operations Preserving All Equivalence Relations 1970-01-01 Paper Reduced products, Horn sentences, and decision...10 bytes (17 words) - 22:21, 9 December 2023
- Publication Type A new combination of input and unit deductions for Horn sentences 1984-01-01 Paper...10 bytes (16 words) - 23:03, 22 September 2023
- Partition Rings of Cyclic Groups of Odd Prime Power Order1 1961-01-01 Paper Horn sentences in identity theory 1959-01-01 Paper...10 bytes (19 words) - 00:03, 13 December 2023
- description logics with concrete domains 2022-10-24 Paper Universal Horn Sentences and the Joint Embedding Property 2022-09-30 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 01:59, 25 September 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4728229 1987-01-01 Paper Horn Sentences of Small Size in Identity Theory 1986-01-01 Paper https://portal.mardi4nfdi...10 bytes (16 words) - 10:20, 24 September 2023
- 1985-01-01 Paper Mal'cev conditions for Horn sentences with congruence permutability 1984-01-01 Paper Horn sentences with (W) and weak Mal'cev conditions...10 bytes (16 words) - 10:20, 9 December 2023
- 1985-01-01 Paper The structure of non-Arguesian lattices 1985-01-01 Paper Horn sentences with (W) and weak Mal'cev conditions 1984-01-01 Paper The Amalgamation...10 bytes (16 words) - 12:09, 12 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4379601 1998-03-02 Paper Horn sentences in Post algebras 1997-09-17 Paper General reproductive solutions of...10 bytes (16 words) - 01:00, 12 December 2023
- Functions and Indecomposable Cardinals 1976-01-01 Paper Semigroups, Horn sentences and isolic structures 1975-01-01 Paper Gödel's square axioms for the...10 bytes (16 words) - 11:39, 13 December 2023
- Bringing full-round shadow-512 to the light 2022-12-07 Paper Universal Horn Sentences and the Joint Embedding Property 2022-09-30 Paper Beyond quadratic speedups...10 bytes (16 words) - 10:27, 6 October 2023
- 2018-09-05 Paper On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions 2018-07-16 Paper Fraïssé classes...10 bytes (16 words) - 13:36, 28 January 2024
- https://portal.mardi4nfdi.de/entity/Q5555054 1959-01-01 Paper Existential Horn Sentences 1959-01-01 Paper Free differential calculus. IV: The quotient groups...10 bytes (19 words) - 22:21, 12 December 2023
- pathological 1977-01-01 Paper Classes of algebraic systems defined by universal Horn sentences 1977-01-01 Paper A characterisation of closed subalgebras of 1977-01-01...10 bytes (18 words) - 13:11, 24 September 2023
- 2018-09-03 Paper On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions 2018-07-16 Paper An Inferentially...10 bytes (17 words) - 18:28, 6 October 2023
- Solvable by Linear Programming Relaxation 2022-12-08 Paper Universal Horn Sentences and the Joint Embedding Property 2022-09-30 Paper Hardness of Network...10 bytes (16 words) - 06:00, 7 October 2023
- Fraser-Horn property 2000-10-22 Paper A note on sheaf representation in arithmetical varieties 1999-09-14 Paper Modular varieties with the Fraser-Horn property...10 bytes (18 words) - 17:10, 8 December 2023