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

        public void testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds()
        {
            testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds(
                    new FOLModelElimination(), true);
        }