About: Binary combinatory logic

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Binary combinatory logic Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Drug, within Data Space : el.dbpedia.org associated with source document(s)

Binary combinatory logic (BCL) is a computer programming language that uses binary terms 0 and 1 to create a complete formulation of combinatory logic using only the symbols 0 and 1. Using the S and K combinators, complex boolean algebra functions can be made. BCL has applications in the theory of program-size complexity (Kolmogorov complexity).

Attributes	Values
rdf:type	drug
rdfs:label	Binary combinatory logic (en)
rdfs:comment	Binary combinatory logic (BCL) is a computer programming language that uses binary terms 0 and 1 to create a complete formulation of combinatory logic using only the symbols 0 and 1. Using the S and K combinators, complex boolean algebra functions can be made. BCL has applications in the theory of program-size complexity (Kolmogorov complexity). (en)
sameAs	Binary combinatory logic
dbp:wikiPageUsesTemplate	dbt:Cbignore dbt:Cite_journal dbt:Cite_web dbt:Reflist dbt:Context
Subject	Algorithmic information theory Combinatory logic
Link from a Wikipage to an external page	https://www.youtube.com/watch%3Fv=koqL2nfrNAE&list=PLi8_XqluS5xc7GL-bgVrxpA2Uww6nK0gV https://writings.stephenwolfram.com/2020/12/combinators-a-centennial-view/%7Curl-status=live%7Caccess-date=2021-02-17%7Cwebsite=writings.stephenwolfram.com%7Clanguage=en%7Carchive-url=https:/web.archive.org/web/20201206200216/https:/writings.stephenwolfram.com/2020/12/combinators-a-centennial-view/ https://ghostarchive.org/varchive/youtube/20211221/koqL2nfrNAE http://www.ioccc.org/2012/tromp/hint.html https://tromp.github.io/cl/cl.html
thumbnail	wiki-commons:Special:FilePath/Rule_110_SK_Basis.png?width=300
foaf:depiction
gold:hypernym	Formulation
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Binary_combinatory_logic?oldid=1074047948&ns=0
Wikipage page ID	2296426 (xsd:integer)
page length (characters) of wiki page	4769 (xsd:nonNegativeInteger)
Wikipage revision ID	1074047948 (xsd:integer)
Link from a Wikipage to another Wikipage	Programming language Backus–Naur form Turing completeness Turing machine Algorithmic information theory Combinatory logic Cellular automaton Denotational semantics Combinatory logic Operational semantics Parsing Rewriting SKI combinator calculus Iota and Jot Kolmogorov complexity
has abstract	Binary combinatory logic (BCL) is a computer programming language that uses binary terms 0 and 1 to create a complete formulation of combinatory logic using only the symbols 0 and 1. Using the S and K combinators, complex boolean algebra functions can be made. BCL has applications in the theory of program-size complexity (Kolmogorov complexity). (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Binary_combinatory_logic
is Wikipage redirect of	Binary Combinatory Logic Binary lambda calculus
is Link from a Wikipage to another Wikipage of	BCL BLC Binary Combinatory Logic Constructed language Iota and Jot John Tromp Lambda calculus Esoteric programming language Binary lambda calculus
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Binary_combinatory_logic

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software