{ "items" : [
    { "id" : "http://dbpedia.org/resource/Substitution_(logic)"
      "properties" : {
        "http://www.w3.org/2000/01/rdf-schema#comment" : [ "Substitution is a fundamental concept in logic.A substitution is a syntactic transformation on formal expressions.To apply a substitution to an expression means to consistently replace its variable, or placeholder, symbols by other expressions.The resulting expression is called a substitution instance of the original expression." ] ,
        "http://www.w3.org/2002/07/owl#differentFrom" : [ "http://dbpedia.org/resource/Change_of_variables"] } } }
