Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Successor function
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Elementary operation on a natural number
Property
Value
dbo:
description
funzione
(it)
función
(es)
ange beskrivning
(sv)
elementary operation on a natural number
(en)
fonction récursive
(fr)
自然數的初等運算
(zh)
dbo:
wikiPageWikiLink
dbr
:Hyperoperation
dbr
:Primitive_recursive_function
dbr
:Peano_axioms
dbc
:Arithmetic
dbr
:Addition
dbr
:Exponentiation
dbr
:Closure_(mathematics)
dbc
:Logic_in_computer_science
dbr
:Computable_function
dbr
:Mathematics
dbr
:Formal_language
dbr
:Set-theoretic_definition_of_natural_numbers
dbr
:Tetration
dbr
:Computability
dbr
:Successor_ordinal
dbc
:Mathematical_logic
dbr
:John_von_Neumann
dbr
:Multiplication
dbr
:Sequence
dbr
:Increment_and_decrement_operators
dbr
:Empty_set
dbr
:Successor_cardinal
dbr
:Axiom_of_infinity
dbr
:Natural_number
dbr
:Grzegorczyk_hierarchy
dbp:
wikiPageUsesTemplate
dbt
:Cite_book
dbt
:Reflist
dbt
:Other_uses
dbt
:Hyperoperations
dbt
:Mathlogic-stub
dbt
:Space
dbt
:Short_description
dct:
subject
dbc
:Arithmetic
dbc
:Logic_in_computer_science
dbc
:Mathematical_logic
gold:
hypernym
dbr
:S
rdfs:
label
Successor function
(en)
Fonction successeur
(fr)
後者関数
(ja)
다음수 함수
(ko)
Função sucessora
(pt)
Successor
(sv)
後繼函數
(zh)
owl:
sameAs
freebase
:Successor function
wikidata
:Successor function
dbpedia-fr
:Successor function
dbpedia-zh
:Successor function
dbpedia-ja
:Successor function
dbpedia-pt
:Successor function
dbpedia-fa
:Successor function
dbpedia-sv
:Successor function
dbpedia-vi
:Successor function
dbpedia-ko
:Successor function
dbpedia-global
:Successor function
prov:
wasDerivedFrom
wikipedia-en
:Successor_function?oldid=1215844987&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Successor_function
is
dbo:
wikiPageDisambiguates
of
dbr
:Successor
is
dbo:
wikiPageRedirects
of
dbr
:0-ation
dbr
:Zeration
dbr
:Hyper-0
dbr
:Hyper0
dbr
:Successor_map
is
dbo:
wikiPageWikiLink
of
dbr
:Axiomatic_system
dbr
:Hyperoperation
dbr
:Inductive_type
dbr
:Functional_programming
dbr
:Peano_axioms
dbr
:Typographical_Number_Theory
dbr
:Intuitionistic_type_theory
dbr
:Arithmetic
dbr
:Function_(mathematics)
dbr
:Addition
dbr
:Outline_of_discrete_mathematics
dbr
:ST_type_theory
dbr
:Proof_sketch_for_Gödel's_first_incompleteness_theorem
dbr
:List_of_paradoxes
dbr
:Robinson_arithmetic
dbr
:Church_encoding
dbr
:Search_problem
dbr
:Richard_Dedekind
dbr
:+1
dbr
:Finitism
dbr
:Mathematics,_Form_and_Function
dbr
:1
dbr
:Church–Turing_thesis
dbr
:Set-theoretic_definition_of_natural_numbers
dbr
:Tetration
dbr
:Induction_variable
dbr
:Initial_algebra
dbr
:Arity
dbr
:Four_fours
dbr
:List_of_first-order_theories
dbr
:Proofs_involving_the_addition_of_natural_numbers
dbr
:Axiom
dbr
:Origin_of_language
dbr
:Mathematical_logic
dbr
:Knuth's_up-arrow_notation
dbr
:Unary_function
dbr
:Increment_and_decrement_operators
dbr
:Transitive_relation
dbr
:Succession
dbr
:Parity_of_zero
dbr
:Rewriting
dbr
:Scott–Potter_set_theory
dbr
:Monus
dbr
:Carleman_matrix
dbr
:Primitive_notion
dbr
:Second-order_arithmetic
dbr
:Agda_(programming_language)
dbr
:Natural_number
dbr
:Successor
dbr
:Foundations_of_mathematics
dbr
:Grzegorczyk_hierarchy
dbr
:Natural_numbers_object
dbr
:Ultrafinitism
dbr
:Constructive_set_theory
dbr
:Path_ordering_(term_rewriting)
dbr
:Serial_relation
dbr
:Outline_of_algebraic_structures
dbr
:Equivalent_definitions_of_mathematical_structures
dbr
:0-ation
dbr
:Zeration
dbr
:Hyper-0
dbr
:Hyper0
dbr
:Successor_map
is
foaf:
primaryTopic
of
wikipedia-en
:Successor_function
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International