AIMA.Test.Core.Unit.Logic.Fol.Inference.FOLTFMResolutionTest.testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds C# (CSharp) Méthode

        public void testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds()
        {
            testEqualityAndSubstitutionAxiomsKBabcdPDSucceeds(new FOLTFMResolution(
                    10 * 1000));
        }