This HTML5 document contains 53 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n14https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ruhttp://ru.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Applicative_computing_systems
rdf:type
yago:Worker109632518 yago:YagoLegalActor yago:YagoLegalActorGeo yago:WikicatModelsOfComputation yago:Whole100003553 yago:Organism100004475 yago:PhysicalEntity100001930 yago:Object100002684 yago:CausalAgent100007347 yago:Person100007846 yago:Assistant109815790 dbo:Place yago:LivingThing100004258 yago:Model110324560
rdfs:label
Applicative computing systems Аппликативные вычислительные системы
rdfs:comment
Applicative computing systems, or ACS are the systems of object calculi founded on combinatory logic and lambda calculus. The only essential notion which is under consideration in these systems is the representation of object. In combinatory logic the only metaoperator is application in a sense of applying one object to other. In lambda calculus two metaoperators are used: application – the same as in combinatory logic, and functional abstraction which binds the only variable in one object.
dcterms:subject
dbc:Applicative_computing_systems dbc:Combinatory_logic dbc:Models_of_computation dbc:Lambda_calculus
dbo:wikiPageID
16957829
dbo:wikiPageRevisionID
1108435227
dbo:wikiPageWikiLink
dbr:Combinatory_logic dbr:Functional_abstraction dbr:Functional_programming dbr:Lambda_calculus dbr:Applicative_programming_language dbc:Applicative_computing_systems dbc:Combinatory_logic dbc:Models_of_computation dbr:Function_application dbr:Academic_Press dbc:Lambda_calculus dbr:Categorical_abstract_machine dbr:Object_(computer_science)
owl:sameAs
wikidata:Q4068178 dbpedia-ru:Аппликативные_вычислительные_системы n14:3kvEX yago-res:Applicative_computing_systems freebase:m.0413c16
dbp:wikiPageUsesTemplate
dbt:Citation dbt:Cite_book
dbo:abstract
Applicative computing systems, or ACS are the systems of object calculi founded on combinatory logic and lambda calculus. The only essential notion which is under consideration in these systems is the representation of object. In combinatory logic the only metaoperator is application in a sense of applying one object to other. In lambda calculus two metaoperators are used: application – the same as in combinatory logic, and functional abstraction which binds the only variable in one object.
gold:hypernym
dbr:Systems
prov:wasDerivedFrom
wikipedia-en:Applicative_computing_systems?oldid=1108435227&ns=0
dbo:wikiPageLength
3542
foaf:isPrimaryTopicOf
wikipedia-en:Applicative_computing_systems
Subject Item
dbr:Applicative_universal_grammar
dbo:wikiPageWikiLink
dbr:Applicative_computing_systems
Subject Item
dbr:Combinatory_logic
dbo:wikiPageWikiLink
dbr:Applicative_computing_systems
Subject Item
dbr:Lambda_calculus
dbo:wikiPageWikiLink
dbr:Applicative_computing_systems
Subject Item
dbr:Categorical_abstract_machine
dbo:wikiPageWikiLink
dbr:Applicative_computing_systems
Subject Item
wikipedia-en:Applicative_computing_systems
foaf:primaryTopic
dbr:Applicative_computing_systems