@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-en:	<http://en.wikipedia.org/wiki/> .
@prefix ns2:	<https://dbpedia.org/resource/> .
wikipedia-en:Predicate_logic	foaf:primaryTopic	ns2:First-order_logic .
wikipedia-en:First-order_logic	foaf:primaryTopic	ns2:First-order_logic .
@prefix ns3:	<https://dbpedia.org/ontology/> .
ns2:List_of_unsolved_problems_in_mathematics	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Saul_Kripke	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Mathematical_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Data_integration	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Metamath	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Isabelle_(proof_assistant)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Probabilistic_soft_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Outline_of_software_engineering	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:List_of_Lisp-family_programming_languages	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/1928_in_science>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Lambda	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Contradiction	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Relational_model	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Undecidable_problem	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:IFTTT	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Venn_diagram	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Logical_disjunction	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Image_schema	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Term_(logic)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Frank_Ramsey_(mathematician)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Thoralf_Skolem	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Automated_theorem_proving	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:First-order_reduction	ns3:wikiPageWikiLink	ns2:First-order_logic .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
ns2:First-order_logic	rdf:type	owl:Thing .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
ns2:First-order_logic	rdfs:seeAlso	<https://dbpedia.org/resource/Equality_(mathematics)> ,
		ns2:Formal_grammar ,
		ns2:Satisfiability ,
		ns2:Formal_language ,
		<https://dbpedia.org/resource/Alphabet_(formal_languages)> ;
	owl:sameAs	<http://pl.dbpedia.org/resource/Rachunek_predykat\u00F3w_pierwszego_rz\u0119du> ,
		<http://no.dbpedia.org/resource/F\u00F8rsteordens_logikk> ,
		<http://cs.dbpedia.org/resource/Predik\u00E1tov\u00E1_logika_prvn\u00EDho_\u0159\u00E1du> ,
		<http://sr.dbpedia.org/resource/\u041B\u043E\u0433\u0438\u043A\u0430_\u043F\u0440\u0432\u043E\u0433_\u0440\u0435\u0434\u0430> ,
		<http://he.dbpedia.org/resource/\u05E9\u05E4\u05D4_\u05DE\u05E1\u05D3\u05E8_\u05E8\u05D0\u05E9\u05D5\u05DF> .
@prefix dbpedia-it:	<http://it.dbpedia.org/resource/> .
ns2:First-order_logic	owl:sameAs	dbpedia-it:Teoria_del_primo_ordine ,
		<http://de.dbpedia.org/resource/Pr\u00E4dikatenlogik_erster_Stufe> ,
		<http://fr.dbpedia.org/resource/Calcul_des_pr\u00E9dicats> ,
		<http://ru.dbpedia.org/resource/\u041B\u043E\u0433\u0438\u043A\u0430_\u043F\u0435\u0440\u0432\u043E\u0433\u043E_\u043F\u043E\u0440\u044F\u0434\u043A\u0430> .
@prefix dbpedia-tl:	<http://tl.dbpedia.org/resource/> .
ns2:First-order_logic	owl:sameAs	dbpedia-tl:Lohika_ng_unang_orden ,
		<http://zh.dbpedia.org/resource/\u4E00\u9636\u903B\u8F91> ,
		<http://pt.dbpedia.org/resource/L\u00F3gica_de_primeira_ordem> .
@prefix dbpedia-eu:	<http://eu.dbpedia.org/resource/> .
ns2:First-order_logic	owl:sameAs	dbpedia-eu:Lehen_mailako_logika ,
		<http://rdf.freebase.com/ns/m.02yz4> ,
		<http://sv.dbpedia.org/resource/F\u00F6rsta_ordningens_logik> ,
		<https://global.dbpedia.org/id/3ke7a> ,
		<http://vi.dbpedia.org/resource/Logic_b\u1EADc_nh\u1EA5t> .
@prefix dbpedia-id:	<http://id.dbpedia.org/resource/> .
ns2:First-order_logic	owl:sameAs	dbpedia-id:Logika_predikat_tingkat_pertama ,
		<http://hy.dbpedia.org/resource/\u054A\u0580\u0565\u0564\u056B\u056F\u0561\u057F\u0576\u0565\u0580\u056B_\u057F\u0580\u0561\u0574\u0561\u0562\u0561\u0576\u0578\u0582\u0569\u0575\u0578\u0582\u0576> .
@prefix dbr:	<http://dbpedia.org/resource/> .
ns2:First-order_logic	owl:sameAs	dbr:First-order_logic ,
		<http://ko.dbpedia.org/resource/1\uCC28_\uB17C\uB9AC> ,
		<http://es.dbpedia.org/resource/L\u00F3gica_de_primer_orden> ,
		<http://ar.dbpedia.org/resource/\u0645\u0646\u0637\u0642_\u0627\u0644\u0631\u062A\u0628\u0629_\u0627\u0644\u0623\u0648\u0644\u0649> .
@prefix dbpedia-eo:	<http://eo.dbpedia.org/resource/> .
ns2:First-order_logic	owl:sameAs	dbpedia-eo:Predikatkalkulo .
@prefix dbpedia-simple:	<http://simple.dbpedia.org/resource/> .
ns2:First-order_logic	owl:sameAs	dbpedia-simple:First_order_logic ,
		<http://el.dbpedia.org/resource/\u039B\u03BF\u03B3\u03B9\u03BA\u03AE_\u03C0\u03C1\u03CE\u03C4\u03BF\u03C5_\u03B2\u03B1\u03B8\u03BC\u03BF\u03CD> ,
		<http://ca.dbpedia.org/resource/L\u00F2gica_de_primer_ordre> ,
		<http://sh.dbpedia.org/resource/\u041B\u043E\u0433\u0438\u043A\u0430_\u043F\u0440\u0432\u043E\u0433_\u0440\u0435\u0434\u0430> ,
		<http://hu.dbpedia.org/resource/Els\u0151rend\u0171_nyelv> ,
		<http://ja.dbpedia.org/resource/\u4E00\u968E\u8FF0\u8A9E\u8AD6\u7406> .
@prefix yago-res:	<http://yago-knowledge.org/resource/> .
ns2:First-order_logic	owl:sameAs	yago-res:First-order_logic ,
		<http://uk.dbpedia.org/resource/\u041B\u043E\u0433\u0456\u043A\u0430_\u043F\u0435\u0440\u0448\u043E\u0433\u043E_\u043F\u043E\u0440\u044F\u0434\u043A\u0443> ,
		<http://fa.dbpedia.org/resource/\u0645\u0646\u0637\u0642_\u0645\u0631\u062A\u0628\u0647_\u0627\u0648\u0644> .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
ns2:First-order_logic	owl:sameAs	wikidata:Q4055684 ;
	rdfs:label	"\u4E00\u968E\u8FF0\u8A9E\u8AD6\u7406"@ja ,
		"1\uCC28 \uB17C\uB9AC"@ko ,
		"Predikatkalkulo"@eo ,
		"L\u00F2gica de primer ordre"@ca ,
		"Predicate logic"@en ,
		"F\u00F6rsta ordningens logik"@sv ,
		"Predik\u00E1tov\u00E1 logika prvn\u00EDho \u0159\u00E1du"@cs ,
		"First-order logic"@en ,
		"\u4E00\u9636\u903B\u8F91"@zh ,
		"\u0645\u0646\u0637\u0642 \u0627\u0644\u0631\u062A\u0628\u0629 \u0627\u0644\u0623\u0648\u0644\u0649"@ar ,
		"L\u00F3gica de primer orden"@es ,
		"\u039B\u03BF\u03B3\u03B9\u03BA\u03AE \u03C0\u03C1\u03CE\u03C4\u03BF\u03C5 \u03B2\u03B1\u03B8\u03BC\u03BF\u03CD"@el ,
		"Logika predikat tingkat pertama"@in ,
		"\u041B\u043E\u0433\u0438\u043A\u0430 \u043F\u0435\u0440\u0432\u043E\u0433\u043E \u043F\u043E\u0440\u044F\u0434\u043A\u0430"@ru ,
		"Rachunek predykat\u00F3w pierwszego rz\u0119du"@pl ,
		"Calcul des pr\u00E9dicats"@fr ,
		"Lehen mailako logika"@eu ,
		"Teoria del primo ordine"@it ,
		"Pr\u00E4dikatenlogik erster Stufe"@de ,
		"\u041B\u043E\u0433\u0456\u043A\u0430 \u043F\u0435\u0440\u0448\u043E\u0433\u043E \u043F\u043E\u0440\u044F\u0434\u043A\u0443"@uk ,
		"L\u00F3gica de primeira ordem"@pt .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix ns17:	<https://dbpedia.org/resource/Category:> .
ns2:First-order_logic	dct:subject	ns17:Model_theory ,
		ns17:Systems_of_formal_logic ,
		ns17:Predicate_logic ;
	foaf:depiction	<http://commons.wikimedia.org/wiki/Special:FilePath/Prop-tableau-4.svg> .
@prefix prov:	<http://www.w3.org/ns/prov#> .
ns2:First-order_logic	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/First-order_logic?oldid=1310486557&ns=0> ,
		<http://en.wikipedia.org/wiki/Predicate_logic?oldid=1136949320&ns=0> ;
	ns3:wikiPageWikiLink	ns2:Axiom_schema ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_completeness_theorem> ,
		<https://dbpedia.org/resource/Zermelo\u2013Fraenkel_set_theory> ,
		<https://dbpedia.org/resource/Decidability_(logic)> ,
		ns2:Second-order_arithmetic ,
		ns2:Modus_ponens ,
		<https://dbpedia.org/resource/L\u00F6wenheim\u2013Skolem_theorem> ,
		ns2:T-norm_fuzzy_logics ,
		ns2:Axiomatic_system ,
		ns2:Nonfirstorderizability ,
		ns2:Entscheidungsproblem ,
		<https://dbpedia.org/resource/Skolem\u0027s_paradox> ,
		<https://dbpedia.org/resource/Formal_semantics_(logic)> ,
		ns2:Description_logics ,
		ns2:Semantic_tableaux ,
		ns2:Complete_theory ,
		ns2:Proof_assistant ,
		ns2:Soundness ,
		ns2:Recursively_enumerable ,
		ns2:Algorithm ,
		ns2:Material_conditional ,
		<https://dbpedia.org/resource/Resolution_(logic)> ,
		ns2:Two-variable_logic ,
		<https://dbpedia.org/resource/File:Prop-tableau-4.svg> ,
		ns2:Order_of_operations ,
		ns2:Decision_procedure ,
		ns2:Model_checking ,
		ns2:Abelian_groups ,
		ns2:Elementary_class ,
		ns2:Paul_Halmos ,
		<https://dbpedia.org/resource/Quantification_(logic)> ,
		ns2:Sheffer_stroke ,
		<https://dbpedia.org/resource/Per_Lindstr\u00F6m> ,
		ns2:Ordered_pair ,
		ns2:Disjunction ,
		ns2:Counting_quantifiers ,
		ns2:Inclusive_logic ,
		ns2:Semidecidability ,
		<https://dbpedia.org/resource/True_(logic)> ,
		ns2:Projection_function ,
		<https://dbpedia.org/resource/Unification_(computing)> ,
		ns2:Definitional_extension ,
		ns2:Non-logical_symbols ,
		ns2:Latin_script ,
		ns2:Mathematical_proofs ,
		<https://dbpedia.org/resource/Sentence_(mathematical_logic)> ,
		ns2:Predicate_functor_logic ,
		ns2:Predicate_symbol ,
		<https://dbpedia.org/resource/Predicate_(mathematical_logic)> ,
		ns2:Skolem_normal_form ,
		ns2:Uncountable ,
		ns2:Prenex_normal_form ,
		ns2:Prolog ,
		ns2:Cardinal_number ,
		ns2:Skolemization ,
		ns2:Arity ,
		ns2:Mathematics ,
		ns2:Consistency ,
		ns17:Predicate_logic ,
		ns2:Axiom_of_extensionality ,
		ns2:Alonzo_Church ,
		ns2:Truth_definition ,
		ns2:First-order_logic ,
		ns2:Two-element_Boolean_algebra ,
		ns2:ACL2 ,
		ns2:Gottlob_Frege ,
		ns2:Ehrenfeucht-Fraisse_game ,
		<https://dbpedia.org/resource/Tarski\u0027s_World> ,
		ns2:Universal_closure ,
		ns2:Stanford_Encyclopedia_of_Philosophy ,
		ns2:Well-formed_formula ,
		<https://dbpedia.org/resource/Lindstr\u00F6m\u0027s_theorem> ,
		ns2:Alan_Turing ,
		ns2:Real_line ,
		ns2:Rule_of_inference ,
		ns2:Natural_deduction ,
		ns2:Relation_algebra ,
		ns2:Relational_algebra ,
		ns2:Proof_theory ,
		ns2:Extension_by_definitions ,
		ns2:Modal_logic ,
		ns2:Linguistics ,
		ns2:Game_semantics ,
		<https://dbpedia.org/resource/Bernays\u2013Sch\u00F6nfinkel_class> ,
		ns17:Systems_of_formal_logic ,
		ns2:Sequent_calculus ,
		ns2:Syntax ,
		ns2:Wilhelm_Ackermann ,
		ns2:Metalogic ,
		<https://dbpedia.org/resource/Kurt_G\u00F6del> ,
		ns2:Logic_of_graphs ,
		ns2:Logical_biconditional ,
		ns2:Propositional_calculus ,
		ns2:Type_theory ,
		ns2:Herbrandization ,
		<https://dbpedia.org/resource/Interpretation_(logic)> ,
		ns2:Plural_quantification ,
		<https://dbpedia.org/resource/J\u00F3zef_Maria_Boche\u0144ski> ,
		<https://dbpedia.org/resource/Lattice_(order)> ,
		ns2:Logical_equality ,
		ns2:Philosophy ,
		ns2:Partial_order ,
		ns2:Pairing_function ,
		<https://dbpedia.org/resource/Formula_(mathematical_logic)> ,
		<https://dbpedia.org/resource/Isabelle_(theorem_prover)> ,
		ns2:Algebra ,
		ns2:New_York_City ,
		<https://dbpedia.org/resource/Extension_(predicate_logic)> ,
		ns2:Equivalence_relation ,
		ns2:Identity_of_indiscernibles ,
		ns2:Formation_rule ,
		ns2:Directed_graph ,
		ns2:Intended_interpretation ,
		ns2:Aristotelian_logic ,
		ns2:Decision_problem ,
		ns2:David_Hilbert ,
		ns2:Computational_complexity ,
		ns2:Hilbert-style_deductive_system ,
		<https://dbpedia.org/resource/Springer_Science+Business_Media> ,
		ns2:Heinz-Dieter_Ebbinghaus ,
		ns2:Axiom ,
		ns2:Existential_quantifier ,
		ns2:Bounded_quantifier ,
		ns2:Polyadic_algebra ,
		ns2:Power_set ,
		ns2:Atomic_formula ,
		ns2:Cylindric_algebra ,
		ns2:Truth_table ,
		ns2:Guarded_fragment ,
		ns2:Monadic_predicate_logic ,
		ns2:Backus-Naur_form ,
		ns2:Formal_specification ,
		ns2:CPU ,
		ns2:Intuitionistic_logic ,
		ns2:Compactness_theorem ,
		ns2:Truth_value ,
		ns2:Mizar_system ,
		<https://dbpedia.org/resource/Signature_(logic)> ,
		ns2:John_Etchemendy ,
		ns2:Springer-Verlag ,
		<https://dbpedia.org/resource/Term_(logic)> ,
		<https://dbpedia.org/resource/Republic_(Plato)> ,
		ns2:Equiconsistency ,
		ns2:Charles_Sanders_Peirce ,
		ns2:Tuple ,
		<https://dbpedia.org/resource/Completeness_(logic)> ,
		ns2:Foundations_of_mathematics ,
		ns2:Method_of_analytic_tableaux ,
		ns2:Prior_Analytics ,
		<https://dbpedia.org/resource/False_(logic)> ,
		ns2:Branching_quantifier ,
		ns2:Willard_Van_Orman_Quine ,
		ns2:Parse_tree ,
		<https://dbpedia.org/resource/Tautology_(logic)> ,
		ns2:Mathematical_Tripos ,
		ns2:Wilfrid_Hodges ,
		ns2:Countable_set ,
		ns17:Model_theory ,
		ns2:List_of_logic_symbols ,
		ns2:Search_algorithm ,
		<https://dbpedia.org/resource/FO(.)> ,
		ns2:Principles_of_Mathematical_Logic ,
		ns2:Relational_model ,
		ns2:Heuristic_function ,
		ns2:Peirce_arrow ,
		ns2:T-schema ,
		ns2:Cardinality ,
		ns2:Axiomatic_set_theory ,
		ns2:Arithmetic ,
		ns2:Finitary_relation ,
		ns2:Polish_notation ,
		ns2:Model_theory ,
		<https://dbpedia.org/resource/Quantifier_(logic)> ,
		ns2:Exclusive_or ,
		ns2:Universal_quantification ,
		<https://dbpedia.org/resource/Type_(model_theory)> ,
		ns2:Semidecidable ,
		ns2:Knowledge_representation_language ,
		ns2:Uniqueness_quantification ,
		ns2:Existential_quantification ,
		ns2:Axiom_of_choice ,
		ns2:Undergraduate_Texts_in_Mathematics ,
		ns2:Integer ,
		ns2:George_Boolos ,
		<https://dbpedia.org/resource/Peter_B._Andrews> ,
		<https://dbpedia.org/resource/G\u00F6del\u0027s_incompleteness_theorem> ,
		ns2:Empty_set ,
		ns2:Number_theory ,
		ns2:Logical_conjunction ,
		ns2:Metamath ,
		ns2:Proof_verification ,
		<https://dbpedia.org/resource/Morley\u0027s_categoricity_theorem> ,
		ns2:Topology ,
		ns2:Set_theory ,
		ns2:Logical_consequence ,
		ns2:Data_type ,
		ns2:Poset ,
		<https://dbpedia.org/resource/Connected_component_(graph_theory)> ,
		ns2:Formal_grammar ,
		ns2:Computer_science ,
		ns2:Universal_quantifier ,
		ns2:Boolean-valued_function ,
		ns2:Congruence_relation ,
		ns2:Automated_theorem_proving ,
		<https://dbpedia.org/resource/Graph_(discrete_mathematics)> ,
		ns2:Context-free_grammar ,
		ns2:Negation ,
		ns2:Higher-order_logic ,
		ns2:Ordered_field ,
		ns2:Computational_complexity_theory ,
		ns2:Formal_verification ,
		ns2:Semantics ,
		ns2:Inductive_definition ,
		<https://dbpedia.org/resource/Group_(mathematics)> ,
		ns2:Nonstandard_model ,
		<https://dbpedia.org/resource/Lindenbaum\u2013Tarski_algebra> ,
		ns2:Categorical_theory ,
		ns2:Halting_problem ,
		ns2:Natural_number ,
		<https://dbpedia.org/resource/L\u00F6wenheim_number> ,
		ns2:Principia_Mathematica ,
		ns2:Domain_of_discourse ,
		ns2:Universal_generalization ,
		ns2:Alfred_Tarski ,
		ns2:Peano_arithmetic ,
		ns2:Abstract_algebra ,
		ns2:Formal_language ,
		ns2:Logical_connective ,
		ns2:Formal_system ,
		ns2:Atomic_sentence ,
		ns2:Propositional_logic ,
		ns2:Deductive_system ,
		ns2:Second-order_logic ,
		ns2:Propositional_variable ;
	ns3:wikiPageExternalLink	<https://books.google.com/books%3Fid=4sbSBwAAQBAJ&printsec=frontcover&hl=iw&source=gbs_ge_summary_r&cad=0%23v=onepage&q&f=false%7C\u0027\u0027Mathematical> ,
		<http://john.fremlin.de/schoolwork/logic/index.html> ,
		<http://us.metamath.org/index.html> ,
		<http://www.ltn.lv/~podnieks/> ,
		<https://books.google.com/books%3Fid=nV4zAsWAvT0C&printsec=frontcover%23v=onepage&q=%22first-order%20logic%22&f=false> ,
		<http://www.umsu.de/logik/trees/> ,
		<http://plato.stanford.edu/entries/logic-classical/> ,
		<https://books.google.com/books%3Fid=b0Fvrw9tBcMC&pg=PA5> ,
		<http://jstor.org/stable/2687794> ,
		<https://doi.org/10.1007/978-1-4684-9452-5> ,
		<http://www.fecundity.com/logic/> ;
	ns3:description	"koleksi sistem formal yang digunakan dalam bidang matematika, linguistik dan ilmu komputer"@in ,
		"m\u00E9thode formelle, utilise des variables sur des objets non logiques et permet l'usage de phrases qui contiennent des variables; seules les variables sont quantifi\u00E9es"@fr ,
		"\u062F\u0631 \u0645\u0646\u0637\u0642 \u0645\u0631\u062A\u0628\u0647 \u0627\u0648\u0644 \u062C\u0645\u0644\u0627\u062A\u06CC \u0648\u062C\u0648\u062F \u062F\u0627\u0631\u062F \u06A9\u0647 \u0627\u0632 \u00AB\u0645\u062A\u063A\u06CC\u0631\u0647\u0627\u06CC \u0633\u0648\u0631 \u062F\u0627\u062F\u0647 \u0634\u062F\u0647\u00BB \u0631\u0648\u06CC \u0627\u0634\u06CC\u0627\u06CC \u063A\u06CC\u0631 \u0645\u0646\u0637\u0642\u06CC \u0627\u0633\u062A\u0641\u0627\u062F\u0647 \u0645\u06CC\u200C\u06A9\u0646\u062F."@fa ,
		"\u4F7F\u7528\u65BC\u6578\u5B78\u3001\u54F2\u5B78\u3001\u8A9E\u8A00\u5B78\u53CA\u96FB\u8166\u79D1\u5B78\u4E2D\u7684\u4E00\u7A2E\u5F62\u5F0F\u7CFB\u7D71"@zh ,
		"collection of formal systems used in mathematics, philosophy, linguistics, and computer science"@en ,
		"sistema l\u00F3gico que estende a l\u00F3gica proposicional"@pt ,
		"sistema formale usato in matematica, filosofia, linguistica e informatica"@it ,
		"Teilgebiet der mathematischen Logik: Familie logischer Systeme"@de ,
		"\u5F15\u6570\u3068\u3057\u3066\u5909\u6570\u3092\u53D6\u308B\u95A2\u6570\u3084\u8FF0\u8A9E\u306E\u91CF\u5316\u306F\u8A31\u3055\u305A\u3001\u500B\u4F53\u306E\u307F\u306E\u91CF\u5316\u3092\u8A31\u3059\u8FF0\u8A9E\u8AD6\u7406\u306E\u3053\u3068"@ja ,
		"sistema formal dise\u00F1ado para estudiar la inferencia en los lenguajes de primer orden"@es ;
	ns3:thumbnail	<http://commons.wikimedia.org/wiki/Special:FilePath/Prop-tableau-4.svg?width=300> .
@prefix ns19:	<https://dbpedia.org/property/> .
@prefix ns20:	<https://dbpedia.org/resource/Template:> .
ns2:First-order_logic	ns19:wikiPageUsesTemplate	ns20:Redirect ,
		ns20:ISBN ,
		ns20:Main ,
		ns20:See_also ,
		ns20:Tmath ,
		ns20:And ,
		ns20:Colend ,
		ns20:Citation ,
		ns20:Seealso ,
		ns20:Citations_needed ,
		ns20:R_with_Wikidata_item ,
		ns20:Further ,
		ns20:Sfn ,
		ns20:Citation_needed ,
		ns20:Reflist ,
		ns20:Short_description ,
		ns20:Doi ,
		ns20:Portal ,
		ns20:Mathematical_logic ,
		ns20:Cols ,
		ns20:Mvar ,
		ns20:Section_link ,
		ns20:Unsourced_section ,
		ns20:Cite_book ,
		ns20:Logical_connectives_sidebar ,
		ns20:Springer ,
		ns20:Authority_control ,
		ns20:Math ,
		ns20:Mono ,
		ns20:Redirect_category_shell ,
		ns20:Rp ,
		ns20:Transformation_rules ,
		ns20:JSTOR ,
		<https://dbpedia.org/resource/Template:=> ,
		ns20:Sdash ,
		ns20:Formal_languages ,
		ns20:Clarification_needed ,
		ns20:R_to_related_topic ;
	ns19:date	"January 2023"@en ;
	ns19:title	"Predicate calculus"@en ;
	ns19:id	"p/p074360"@en .
@prefix gold:	<http://purl.org/linguistics/gold/> .
ns2:First-order_logic	gold:hypernym	ns2:Collection ;
	foaf:isPrimaryTopicOf	wikipedia-en:First-order_logic ,
		wikipedia-en:Predicate_logic ;
	ns19:reason	"Article should clarify syntactic-semantic distinction here, e.g. second-order logic can be interpreted as a many-sorted first-order logic, so syntactically it could be argued that it's not more expressive, and it admits categorical axiomatizations only using full semantics, but using Henkin semantics it is a conservative extension of the typical semantics for first-order logic. So really the article needs to clarify whether it is discussing FOL exclusively as a syntactic system, or as a syntactic and semantic system, and in either case clarify in which senses \"extensions\" of first-order logic are being assumed to extend it ."@en .
ns2:First-order	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageDisambiguates	ns2:First-order_logic .
ns2:FO	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageDisambiguates	ns2:First-order_logic .
ns2:Database_normalization	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/L\u00E1szl\u00F3_Kalm\u00E1r>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Large_countable_ordinal	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Dynamic_logic_(modal_logic)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Harald_Ganzinger	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Number	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Definite_clause_grammar	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Set_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Andrzej_Grzegorczyk	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:June_1919	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Sudoku	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Olivia_Caramello	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Exclusive_or	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Algebraically_closed_field	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Truth_table	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Symbol_(formal)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:List_of_mathematical_abbreviations	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:DE-9IM	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Differential_(mathematics)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Scott\u2013Potter_set_theory>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Kripke\u2013Platek_set_theory>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/S_(set_theory)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Vaught_conjecture	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Game_Description_Language	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Otter_(theorem_prover)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Barwise_compactness_theorem	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Equivalence_relation	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:String_diagram	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Alfred_Tarski	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Game_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Fuzzy_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Modal_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Datalog	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Categorical_proposition	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Pure_inductive_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Abstract_algebraic_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Abstract_model_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Institution_(computer_science)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Knowledge_processing_for_robots	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Transitive_closure	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Association_fallacy	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Raven_paradox	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Double-negation_translation	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Lincos_language	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Regular_tree_grammar	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:CARINE	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Clock_(model_checking)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Alternating-time_temporal_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Decision_Model_and_Notation	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Outline_of_philosophy	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Square_(algebra)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Tarski\u0027s_axioms>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Mathematics,_Form_and_Function>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Syllogism	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Axiom	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:History_of_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Universe_(mathematics)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/NL_(complexity)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/L_(complexity)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Elementary_class	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Ordinal_arithmetic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Presburger_arithmetic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Computable_function	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Primitive_recursive_arithmetic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:EXPSPACE	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Boolean_algebras_canonically_defined	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Finite_set	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Pregeometry_(model_theory)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Context-free_grammar	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Existential_graph	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Entitative_graph	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Algebraic_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/RE_(complexity)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Quantifier_rank	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Conjunctive_query	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Expressive_power_(computer_science)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Non-logical_symbol	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Robinson\u0027s_joint_consistency_theorem>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Interpretation_(model_theory)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Object-role_modeling	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Paul_Halmos	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Lattice_(order)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Constructive_set_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Structure_(mathematical_logic)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Evidence	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Conjunctive_normal_form	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:List_of_PSPACE-complete_problems	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Timeline_of_category_theory_and_related_mathematics	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:George_Boolos	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Ancestral_relation	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Problem_of_multiple_generality	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Quantification_theory	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Intensional_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Law_of_identity	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Algebraic_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Characteristica_universalis	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Quantifier_(logic)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Hilbert_system	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Slingshot_argument	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Evert_Willem_Beth	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Monadic_predicate_calculus	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Proof_calculus	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Infinitary_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Situation_calculus	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:BIT_predicate	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Vienna_Circle	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Giorgi_Japaridze	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Semantic_heterogeneity	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Epsilon	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Epsilon_calculus	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Universal_instantiation	ns19:field	ns2:First-order_logic .
<https://dbpedia.org/resource/Substitution_(logic)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Existential_generalization	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns19:field	ns2:First-order_logic .
ns2:Dictum_de_omni_et_nullo	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Existential_instantiation	ns19:field	ns2:First-order_logic .
ns2:List_of_rules_of_inference	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Tennenbaum\u0027s_theorem>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Craig_interpolation	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Ground_expression	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Formally_real_field	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Elementary_diagram	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Extensions_of_First_Order_Logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Filter_quantifier	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Markov_logic_network	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Elementary_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Guarded_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Natural_language_processing	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Logical_conjunction	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Model_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Foundations_of_mathematics	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:List_of_first-order_theories	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Glossary_of_areas_of_mathematics	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Transitive_relation	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Controlled_natural_language	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Begriffsschrift	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:International_Workshop_on_First-Order_Theorem_Proving	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Resolvent_cubic	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Resolution_(logic)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Game_semantics	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Star-free_language	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Semantic_Web_Services_Language	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Open-world_assumption	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Planning_Domain_Definition_Language	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Web_Services_Modeling_Language	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Torsion_group	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Susanne_Bobzien	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Regular_category	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Institutional_model_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Model_complete_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Infinite-valued_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Greek_letters_used_in_mathematics,_science,_and_engineering>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Data_model	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Herbrand_structure	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Herbrand\u0027s_theorem>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Hilbert\u0027s_program>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Kurt_G\u00F6del>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Herbrandization	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/History_of_the_Church\u2013Turing_thesis>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Unification_(computer_science)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:List_of_mathematical_logic_topics	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Rules_of_passage_(logic)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Educational_software	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Phi	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:List_of_logic_symbols	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Uniqueness_quantification	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/ML_(programming_language)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Linear_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Sentence_(mathematical_logic)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Skolem\u0027s_paradox>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Deduction_theorem	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Joseph_Sgro	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Database_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:First-order_predicate_calculus	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Philosophical_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Gettier_problem	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Sergei_N._Artemov>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Ontological_commitment	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Knowledge_retrieval	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Identity_of_indiscernibles	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Classical_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Data_type	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Wedge_(symbol)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:List_of_incomplete_proofs	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Two-variable_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Decidability_(logic)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:P_versus_NP_problem	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Computability_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Abstract_machine	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Mereology	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Newton_da_Costa	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:William_Lane_Craig	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Referential_integrity	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Linear_temporal_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Wilhelm_Ackermann	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Decider_(Turing_machine)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Nonelementary_problem	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:First-order_predicate_logic	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:First-order_logic_with_equality	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
<https://dbpedia.org/resource/Tarski\u0027s_World>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/1st_order_logic>	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:First-Order_Logic	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:First-order-logic	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:First-order_Peano_arithmetic	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:First-order_sentence	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:First_Order_Language	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:First_order_language	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:First_order_logic_with_equality	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:First_order_predicate_calculus	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:First_order_predicate_logic	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Counting_quantification	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Satisfaction_relation	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Empty_domain	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Glue_semantics	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Laws_of_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Vivid_knowledge	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Sahlqvist_formula	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Quantification_calculus	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Deductive_systems_for_first-order_logic	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Many-sorted_first-order_logic	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:FOPC	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:FOPL	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Lower_Predicate_Calculus	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Equational_first-order_logic	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Polyadic_predicate_calculus	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Predicate_Calculus	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Predicate_Logic	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
<https://dbpedia.org/resource/Predicate_logic_(Philosophy)>	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
<https://dbpedia.org/resource/Predicate_logic_(philosophy)>	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Tarskian_semantics	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Semantics_of_first-order_logic	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Writing_system	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Euclidean_geometry	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Prolog	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Ontology_(information_science)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Symbolic_artificial_intelligence	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Outline_of_natural_language_processing	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Relation_algebra	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Converse_(logic)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Equivalent_definitions_of_mathematical_structures	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Homotopy_type_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Joyce_Friedman	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Interval_temporal_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Fixed-point_theorems	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Gottlob_Frege	ns19:notableIdeas	ns2:First-order_logic .
ns2:Logicism	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Ontology	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Connectionism	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Index_of_philosophy_articles_(D\u2013H)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Glossary_of_spirituality_terms	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Fallacy_of_the_undistributed_middle	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Default_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Universal_generalization	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns19:field	ns2:First-order_logic .
ns2:Glossary_of_set_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Zohar_Manna	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Atomic_formula	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Polyadic_algebra	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Alloy_(specification_language)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Numbering_(computability_theory)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:List_of_Boolean_algebra_topics	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:MINLOG	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Common_Logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Fluent_(artificial_intelligence)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Fluent_calculus	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Vampire_(theorem_prover)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Empty_set	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Axiom_of_choice	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Set_(mathematics)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Jaakko_Hintikka	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Mathematical_induction	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Outline_of_artificial_intelligence	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Transfer_principle	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Hyperreal_number	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Harry_R._Lewis>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Rado_graph	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Predicate_functor_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Skolem_normal_form	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Davis\u2013Putnam_algorithm>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Prenex_normal_form	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:DPLL_algorithm	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Structural_induction	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Induction,_bounding_and_least_number_principles>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Grigore_Ro\u0219u>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Common_Algebraic_Specification_Language	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Normalisation_by_evaluation	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:FOL	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageDisambiguates	ns2:First-order_logic .
ns2:Formal_linguistics	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/CLiX_(markup)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/E_(theorem_prover)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Algebraic_geometry	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Propositional_representation	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Total_order	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:List_of_pioneers_in_computer_science	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Diagrammatic_reasoning	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Ruth_Barcan_Marcus	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Leon_Henkin	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Four_color_theorem	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Glossary_of_artificial_intelligence	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:KeY	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Predicate_transformer_semantics	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Model_checking	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Formal_methods	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Soundness	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Scientific_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Inference_engine	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:HYPO_CBR	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Logic_in_computer_science	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Vadalog	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:If_and_only_if	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Mu_(negative)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Reading_comprehension	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Mereotopology	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Topos	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Asymmetric_relation	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Axiom_of_regularity	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Stanis\u0142aw_Le\u015Bniewski>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Richard_Milton_Martin	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:First-order_theory	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
<https://dbpedia.org/resource/Predicate_(mathematical_logic)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Tarski\u0027s_undefinability_theorem>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Lindstr\u00F6m\u0027s_theorem>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Well-formed_formula	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:General_set_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Existence_theorem	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Proof_sketch_for_G\u00F6del\u0027s_first_incompleteness_theorem>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Hypergraph	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Contraposition	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Larch_Prover	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Disjunction_and_existence_properties	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Finite_model_property	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Disquotational_principle	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Theorem_Proving_System	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Trivialism	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Reasoning_system	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Type_(model_theory)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Cantor\u0027s_first_set_theory_article>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Ontology_engineering	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Temporal_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Quantum_machine_learning	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Principles_of_Mathematical_Logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Haim_Gaifman	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Meta-ontology	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Mutilated_chessboard_problem	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Gottlob_Frege__Gottlob_Frege__1	ns3:notableIdea	ns2:First-order_logic .
<https://dbpedia.org/resource/\u03A001_class>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/SNARK_(theorem_prover)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Donkey_sentence	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Statistical_relational_learning	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Howson_property	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Dis-unification_(computer_science)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Geometric_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Abstract_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Nonfirstorderizability	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:True_arithmetic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Independence-friendly_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/L\u00F6wenheim_number>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Abstract_elementary_class	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Non-standard_model	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Non-standard_model_of_arithmetic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Categorical_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Timeline_of_mathematical_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Trakhtenbrot\u0027s_theorem>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Method_of_analytic_tableaux	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Nominal_terms_(computer_science)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Classical_predicate_logic	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Branching_quantifier	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Reification_(linguistics)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Computation_tree_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Possible_world	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Willard_Van_Orman_Quine	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Tautology_(logic)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Law_of_thought	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Philosophy_of_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Outline_of_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Index_of_logic_articles	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Epistemic_humility	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Negation	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Janusz_Brzozowski_(computer_scientist)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:First_order_logic	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Peano_axioms	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Predicate_logic	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Formal_system	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Formal_language	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Russell\u0027s_paradox>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Zermelo\u2013Fraenkel_set_theory>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Second-order_arithmetic	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/G\u00F6del\u0027s_completeness_theorem>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Von_Neumann\u2013Bernays\u2013G\u00F6del_set_theory>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Axiomatic_system	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Forcing_(mathematics)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Satisfiability	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/L\u00F6wenheim\u2013Skolem_theorem>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Second-order_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Field_(mathematics)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Morse\u2013Kelley_set_theory>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Propositional_variable	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Axiom_schema	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:First-order_language	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Predicate_calculus	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Finitist_set_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Frame_problem	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Logic_of_graphs	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Propositional_calculus	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Type_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Zorn\u0027s_lemma>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Algebraic_structure	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Direct_proof	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Free_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Laws_of_Form	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/G\u00F6del\u0027s_incompleteness_theorems>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Hilbert\u0027s_axioms>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Natural_deduction	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Real_closed_field	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Quine\u2013Putnam_indispensability_argument>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Web_Ontology_Language	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Description_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Metalogic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Primitive_recursive_function	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Where_Mathematics_Comes_From	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Extension_by_definitions	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Sequent_calculus	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Infinitesimal	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Metatheorem	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Tarski\u0027s_axiomatization_of_the_reals>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Robinson_arithmetic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Axiom_of_empty_set	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Consistency	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:ACL2	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Formal_ethics	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Theory_(mathematical_logic)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Two-element_Boolean_algebra	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Algorithmic_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/FO(.)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Ultrafilter	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Order_(mathematics)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Bisimulation	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Implementation_of_mathematics_in_set_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Ackermann_set_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:ST_type_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Valuation_(logic)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Intuitionistic_type_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Semantic_theory_of_truth	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Decidability_of_first-order_theories_of_the_real_numbers	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Self-verifying_theories	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Beth_definability	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Monadic_second-order_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Predicate_variable	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Standard_translation	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Artificial_intelligence	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Cyc	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Semantic_network	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Completeness_(logic)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Queue_number	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Knowledge_representation_and_reasoning	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:First_Order_Logic	ns3:wikiPageWikiLink	ns2:First-order_logic ;
	ns3:wikiPageRedirects	ns2:First-order_logic .
ns2:Conceptual_graph	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:CycL	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Existential_quantification	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Universal_quantification	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Frame_(artificial_intelligence)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Ontology_language	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Hybrid_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Kripke_semantics	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/TLA+>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/B\u00FCchi\u0027s_problem>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Ehrenfeucht\u2013Fra\u00EFss\u00E9_game>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Superposition_calculus	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Hereditarily_countable_set	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Real_number	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:List_of_types_of_numbers	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Glossary_of_computer_science	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Circumscription_(logic)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Metamathematics	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Turing_machine	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/P_(complexity)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Signature_(logic)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Intuitionistic_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Elementary_equivalence	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Modal_companion	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Combinatory_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Domain_of_discourse	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Arithmetical_set	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Post\u0027s_theorem>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Diagonal_lemma	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Greg_Nelson_(computer_scientist)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Equational_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Nouvelle_AI	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Chain-complete_partial_order	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Quasi-quotation	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Meronymy_and_holonymy	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:T-norm_fuzzy_logics	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Clone_(algebra)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Satisfiability_modulo_theories	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Theory_of_pure_equality	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Internal_set_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Nonstandard_calculus	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Finite_model_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Descriptive_complexity_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Fixed-point_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Bernays\u2013Sch\u00F6nfinkel_class>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/\u0141ukasiewicz_logic>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Program_synthesis	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Indiscernibles	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Corresponding_conditional	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Attempto_Controlled_English	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Monadic_Boolean_algebra	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:SemEval	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Higher-order_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Spectrum_of_a_sentence	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Fagin\u0027s_theorem>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:SNePS	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Judgment_(mathematical_logic)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Logical_framework	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Matching_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Recursive_language	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Projection_(relational_algebra)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Embedded_dependency	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Tuple-generating_dependency	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Descriptive_Complexity	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Skolem_arithmetic	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Fragment_(logic)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Johan_van_Benthem_(logician)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Open_formula	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Pseudo-finite_field	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Wanda_Szmielew	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Omega-categorical_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Pocket_set_theory	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Prover9	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Least_fixed_point	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:HiLog	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Occurs_check	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Event_calculus	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Deductive_language	ns3:wikiPageWikiLink	ns2:First-order_logic .
<https://dbpedia.org/resource/Completeness_(knowledge_bases)>	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Equality-generating_dependency	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Straight-line_program	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Lambda_cube	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Zeroth-order_logic	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Logic_form	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Elementary_definition	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Algebraic_sentence	ns3:wikiPageWikiLink	ns2:First-order_logic .
ns2:Elementary_sentence	ns3:wikiPageWikiLink	ns2:First-order_logic .