AIMA.Test.Core.Unit.Logic.Fol.Inference.FOLTFMResolutionTest.testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds C# (CSharp) 메소드

        public void testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds()
        {
            testEqualityAndSubstitutionAxiomsKBabcdFFASucceeds(new FOLTFMResolution(
                    40 * 1000));
        }