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:
http://dbpedia.org/resource/Template:Mathlogic-stub
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
2701099
(xsd:integer)
dbo:
wikiPageRevisionID
567204099
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Asbox
prov:
wasDerivedFrom
wikipedia-en
:Template:Mathlogic-stub?oldid=567204099&ns=10
is
dbp:
wikiPageUsesTemplate
of
dbr
:Elementary_definition
dbr
:Elementary_diagram
dbr
:Elementary_sentence
dbr
:Elementary_theory
dbr
:End_extension
dbr
:Multiverse_(set_theory)
dbr
:Set_constraint
dbr
:Omega-categorical_theory
dbr
:Algebraic_definition
dbr
:Algebraic_semantics_(mathematical_logic)
dbr
:Algebraic_sentence
dbr
:Algorithmic_logic
dbr
:Beth_definability
dbr
:Cyclic_negation
dbr
:Deductive_closure
dbr
:Double_recursion
dbr
:International_Workshop_on_First-Order_Theorem_Proving
dbr
:Lightface_analytic_game
dbr
:Limited_principle_of_omniscience
dbr
:Scattered_order
dbr
:Systems_of_Logic_Based_on_Ordinals
dbr
:Robinson's_joint_consistency_theorem
dbr
:Weihrauch_reducibility
dbr
:Continuum_(set_theory)
dbr
:Principle_of_distributivity
dbr
:Quantifier_rank
dbr
:Bounded_arithmetic
dbr
:Constructive_nonstandard_analysis
dbr
:Continuous_function_(set_theory)
dbr
:Convergence_(logic)
dbr
:Equisatisfiability
dbr
:LEGO_(proof_assistant)
dbr
:Reduced_product
dbr
:Milner–Rado_paradox
dbr
:Open_formula
dbr
:Bernays–Schönfinkel_class
dbr
:Complete_theory
dbr
:Completeness_of_atomic_initial_sequents
dbr
:Computable_isomorphism
dbr
:Computable_measure_theory
dbr
:Computable_real_function
dbr
:Friedberg_numbering
dbr
:Low_basis_theorem
dbr
:Overlap_(term_rewriting)
dbr
:Strength_(mathematical_logic)
dbr
:Successor_function
dbr
:Sudan_function
dbr
:Superposition_calculus
dbr
:Material_nonimplication
dbr
:Gabbay's_separation_theorem
dbr
:Gödel_logic
dbr
:Joint_embedding_property
dbr
:Lindström's_theorem
dbr
:Linked_set
dbr
:Logic_for_Computable_Functions
dbr
:Logical_machine
dbr
:Truth-table_reduction
dbr
:Supernatural_number
dbr
:Abstract_structure
dbr
:Barwise_compactness_theorem
dbr
:Centered_set
dbr
:Diagonal_intersection
dbr
:Diagram_(mathematical_logic)
dbr
:Hilbert–Bernays_provability_conditions
dbr
:Kanamori–McAloon_theorem
dbr
:High_(computability)
dbr
:Countryman_line
dbr
:Jensen's_covering_theorem
dbr
:Takeuti's_conjecture
dbr
:Abstract_logic
dbr
:Abstract_model_theory
dbr
:Binary_decision
dbr
:Coherent_space
dbr
:Effective_Polish_space
dbr
:Herbrand_interpretation
dbr
:Honest_leftmost_branch
dbr
:Zero_dagger
dbr
:Modal_collapse
dbr
:Double_turnstile
dbr
:Class_logic
dbr
:Classical_mathematics
dbr
:Ground_axiom
dbr
:Michael_D._Morley
dbr
:Cantor–Dedekind_axiom
dbr
:Chang's_conjecture
dbr
:Kleene–Rosser_paradox
dbr
:Knaster's_condition
dbr
:Maximal_set
dbr
:Nested_sequent_calculus
dbr
:Extension_(predicate_logic)
dbr
:Extension_by_new_constant_and_function_names
dbr
:Low_(computability)
dbr
:Lusin's_separation_theorem
dbr
:Separating_set
dbr
:Łoś–Tarski_preservation_theorem
dbr
:Proof_mining
dbr
:Semicomputable_function
dbr
:Finite_character
dbr
:First-order_reduction
dbr
:Ordinal_logic
dbr
:Polyadic_algebra
dbr
:Tarski–Kuratowski_algorithm
dbr
:UTM_theorem
dbr
:Soft_set
dbr
:Paraconsistent_mathematics
dbr
:Paradoxes_of_the_Infinite
dbr
:Theory_of_pure_equality
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License