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

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