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

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