BIT predicate

http://dbpedia.org/resource/BIT_predicate

In mathematics and computer science, the BIT predicate or Ackermann coding, sometimes written BIT(i, j), is a predicate that tests whether the jth bit of the number i is 1, when i is written in binary. rdf:langString
rdf:langString BIT predicate
xsd:integer 7639504
xsd:integer 1032560224
rdf:langString In mathematics and computer science, the BIT predicate or Ackermann coding, sometimes written BIT(i, j), is a predicate that tests whether the jth bit of the number i is 1, when i is written in binary.
xsd:nonNegativeInteger 6153
<http://commons.wikimedia.org/wiki/Special:FilePath/Rado_graph.svg>
<http://dbpedia.org/resource/Category:Set_theory>
<http://dbpedia.org/resource/Category:Binary_arithmetic>
<http://dbpedia.org/resource/Category:Circuit_complexity>
<http://dbpedia.org/resource/Category:Descriptive_complexity>
<http://dbpedia.org/resource/Primitive_recursive_function>
<http://dbpedia.org/resource/Python_(programming_language)>
<http://dbpedia.org/resource/Element_(mathematics)>
<http://dbpedia.org/resource/FO_(complexity)>
<http://dbpedia.org/resource/Binary_numeral_system>
<http://dbpedia.org/resource/Bitwise_operation>
<http://dbpedia.org/resource/Richard_Rado>
<http://dbpedia.org/resource/Mathematics>
<http://dbpedia.org/resource/Rado_graph>
<http://dbpedia.org/resource/Complexity_class>
<http://dbpedia.org/resource/Computer_science>
<http://dbpedia.org/resource/Private_information_retrieval>
<http://dbpedia.org/resource/C++>
<http://dbpedia.org/resource/C_(programming_language)>
<http://dbpedia.org/resource/Category:Set_theory>
<http://dbpedia.org/resource/Wilhelm_Ackermann>
<http://dbpedia.org/resource/Finite_set>
<http://dbpedia.org/resource/First-order_logic>
<http://dbpedia.org/resource/Recursive_definition>
<http://dbpedia.org/resource/Predicate_(mathematical_logic)>
<http://dbpedia.org/resource/Category:Binary_arithmetic>
<http://dbpedia.org/resource/Java_(programming_language)>
<http://dbpedia.org/resource/Category:Circuit_complexity>
<http://dbpedia.org/resource/Binary_number>
<http://dbpedia.org/resource/Bit>
<http://dbpedia.org/resource/Hereditarily_finite_set>
<http://dbpedia.org/resource/Category:Descriptive_complexity>
<http://dbpedia.org/resource/Natural_number>
<http://dbpedia.org/resource/Descriptive_complexity>
<http://dbpedia.org/resource/Binary_representation>
<http://dbpedia.org/resource/File:Rado_graph.svg>
<http://rdf.freebase.com/ns/m.0267jxp>
<http://www.wikidata.org/entity/Q4835745>
<https://global.dbpedia.org/id/4Uj5A>
<http://dbpedia.org/resource/Template:Harvtxt>
<http://dbpedia.org/resource/Template:Reflist>
<http://commons.wikimedia.org/wiki/Special:FilePath/Rado_graph.svg?width=300>
<http://dbpedia.org/resource/Predicate>
<http://en.wikipedia.org/wiki/BIT_predicate?oldid=1032560224&ns=0>
<http://en.wikipedia.org/wiki/BIT_predicate>

data from the linked data cloud