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

        public void testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds()
        {
            testEqualityAndSubstitutionNoAxiomsKBabcdPDSucceeds(
                    new FOLTFMResolution(10 * 1000), true);
        }