AIMA.Test.Core.Unit.Logic.Fol.Inference.FOLModelEliminationTest.testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds C# (CSharp) Метод

        public void testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds()
        {
            testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds(
                    new FOLModelElimination(), false);
        }