About: Fresh variable

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbp:wikiPageUsesTemplate	dbt:Cn dbt:Efn dbt:More_citations_needed dbt:Multiple_issues dbt:Notability dbt:Notelist dbt:Reflist dbt:Logic-stub
dct:subject	dbc:Automated_theorem_proving dbc:Computer_algebra dbc:Variables_(mathematics) dbc:Rewriting_systems
rdfs:label	Fresh variable (en)
prov:wasDerivedFrom	wikipedia-en:Fresh_variable?oldid=1267290149&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Fresh_variable
is foaf:primaryTopic of	wikipedia-en:Fresh_variable

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International