• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: Dimiter Skordev     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Wikicat21st-centuryMathematicians, within Data Space : dbpedia.org:8891 associated with source document(s)

Type: Thingpersonyago:WikicatBulgarianLogiciansyago:WikicatBulgarianMathematiciansyago:WikicatBulgarianPhilosophersyago:WikicatLivingPeopleyago:WikicatMathematicalLogiciansyago:WikicatPeopleFromSofiayago:CausalAgent100007347yago:Expert109617867yago:Intellectual109621545yago:LivingThing100004258yago:Logician110269785yago:Mathematician110301261yago:Object100002684yago:Organism100004475yago:Person100007846yago:Philosopher110423589yago:PhysicalEntity100001930yago:YagoLegalActoryago:YagoLegalActorGeoyago:Scholar110557854yago:Scientist110560637yago:Whole100003553yago:Wikicat20th-centuryMathematiciansyago:Wikicat21st-centuryMathematicians New Facet based on Instances of this Class

Dimiter Skordev (Bulgarian: Димитър Скордев) (born 1936 in Sofia) is a professor in the Department of Mathematical Logic and Applications, Faculty of Mathematics and Computer Science at the University of Sofia. Chairman of the department in 1972-2000. Doyen and pioneer of mathematical logic research in Bulgaria who developed a Bulgarian school in the theory of computability, namely the algebraic (or axiomatic) recursion theory. He was the 1981 winner of Acad. Nikola Obreshkov Prize, the highest Bulgarian award in mathematics, bestowed for his monograph Combinatory Spaces and Recursiveness in Them.