{
  "http://en.wikipedia.org/wiki/Well-formed_formula" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Propositional_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Strict_conditional" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Tarski's_axioms" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Rewriting" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Non-classical_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Sequent_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Sheffer_stroke" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Fragment_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Type_theory" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Class_(set_theory)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Metalogic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Sequent" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Consistency" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Atomic_formula" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Kripke\u2013Platek_set_theory" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Axiom_schema_of_specification" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Schr\u00F6dinger_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Finite_model_property" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Friedman_translation" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Formula_(mathematical_logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Judgment_(mathematical_logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Monoidal_t-norm_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/System_L" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Tautology_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Associative_property" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Interpretation_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Validity_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/BL_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/New_Foundations" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Computation_tree_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Logical_truth" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Zermelo_set_theory" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Cumulative_hierarchy" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Second-order_arithmetic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Second-order_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Frege's_propositional_calculus" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/First-order_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/History_of_the_function_concept" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Formal_system" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Formal_language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Mathematical_proof" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Logical_connective" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Propositional_formula" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Self-reference" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Double_negation" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Implementation_of_mathematics_in_set_theory" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Tautology_(rule_of_inference)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Atomic_sentence" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Satisfiability" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Temporal_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Original_proof_of_G\u00F6del's_completeness_theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Academic_Games" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Equation" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Mathematical_notation" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Formula" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Sentence_(mathematical_logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Deduction_theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/General_Problem_Solver" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Mathematical_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Well-formed_formula" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://la.dbpedia.org/resource/Formula_bene_formata" } ,
      { "type" : "uri", "value" : "http://yago-knowledge.org/resource/Well-formed_formula" } ,
      { "type" : "uri", "value" : "http://pt.dbpedia.org/resource/F\u00F3rmula_bem_formada" } ,
      { "type" : "uri", "value" : "http://ar.dbpedia.org/resource/\u0635\u064A\u063A\u0629_\u062C\u064A\u062F\u0629_\u0627\u0644\u062A\u0643\u0648\u064A\u0646" } ,
      { "type" : "uri", "value" : "http://ja.dbpedia.org/resource/\u8AD6\u7406\u5F0F_(\u6570\u5B66)" } ,
      { "type" : "uri", "value" : "http://he.dbpedia.org/resource/\u05E0\u05D5\u05E1\u05D7\u05D4_(\u05DC\u05D5\u05D2\u05D9\u05E7\u05D4)" } ,
      { "type" : "uri", "value" : "http://ko.dbpedia.org/resource/\uB17C\uB9AC\uC2DD" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q655328" } ,
      { "type" : "uri", "value" : "http://ca.dbpedia.org/resource/F\u00F3rmula_ben_formada" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/4qQr2" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ,
      { "type" : "uri", "value" : "http://yago-knowledge.org/resource/WFF_'N_PROOF" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.02484v" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Formule_logique" } ,
      { "type" : "uri", "value" : "http://es.dbpedia.org/resource/F\u00F3rmula_bien_formada" } ,
      { "type" : "uri", "value" : "http://it.dbpedia.org/resource/Formula_ben_formata" } ,
      { "type" : "uri", "value" : "http://zh.dbpedia.org/resource/\u5408\u5F0F\u516C\u5F0F" } ,
      { "type" : "uri", "value" : "http://fa.dbpedia.org/resource/\u0641\u0631\u0645\u0648\u0644_\u062E\u0648\u0634_\u0641\u0631\u0645" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "F\u00F3rmula ben formada" , "lang" : "ca" } ,
      { "type" : "literal", "value" : "Formule logique" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "\u5408\u5F0F\u516C\u5F0F" , "lang" : "zh" } ,
      { "type" : "literal", "value" : "Well-formed formula" , "lang" : "en" } ,
      { "type" : "literal", "value" : "\u0635\u064A\u063A\u0629 \u062C\u064A\u062F\u0629 \u0627\u0644\u062A\u0643\u0648\u064A\u0646" , "lang" : "ar" } ,
      { "type" : "literal", "value" : "F\u00F3rmula bien formada" , "lang" : "es" } ,
      { "type" : "literal", "value" : "Formula ben formata" , "lang" : "it" } ,
      { "type" : "literal", "value" : "F\u00F3rmula bem formada" , "lang" : "pt" } ,
      { "type" : "literal", "value" : "\uB17C\uB9AC\uC2DD" , "lang" : "ko" } ,
      { "type" : "literal", "value" : "\u8AD6\u7406\u5F0F (\u6570\u5B66)" , "lang" : "ja" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Formal_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Logical_expressions" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Mathematical_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Metalogic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Syntax_(logic)" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Well-formed_formula?oldid=1312210287&ns=0" } ] ,
    "http://purl.org/linguistics/gold/hypernym" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Word" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Well-formed_formula" } ] ,
    "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Backus\u2013Naur_form" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Mathematical_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Sequence" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Polish_notation" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Metalogic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Interactive_theorem_proving" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/New_York_City" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Standard_mathematical_order_of_operations" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Effective_method" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Formation_rules" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Substitution_of_variables" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Yale_Law_School" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/List_of_model_checking_tools" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Syntax_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Domain_of_discourse" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_language" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Predicate_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Mathematical_proof" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Logical_connective" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Propositional_formula" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Formal_semantics_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Propositional_calculus" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Nonsense_word" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Interpretation_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Java_(programming_language)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Order_of_operations" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Penguin_Books" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-defined_expression" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Springer_Science+Business_Media" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Automated_theorem_prover" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Logical_expressions" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/University_of_Michigan" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Type-token_distinction" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/The_Whiffenpoofs" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Decidable_set" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Cheering" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formedness" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Cambridge_University_Press" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Formal_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Term_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Arity" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Alphabet_(computer_science)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Quantification_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Propositional_variable" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Atomic_formula" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Dover_Publications" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Category:Mathematical_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Yale_University" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Whiffenpoof" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Academic_Press" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/First-order_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Free_and_bound_variables" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Alonzo_Church" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Existential_quantification" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Syntax_(logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Satisfiability_and_validity" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Signature_(mathematical_logic)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Free_variable" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Inductive_definition" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Symbol_(formal)" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/WFF_'N_PROOF" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Infix_notation" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Ground_expression" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Propositional_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Peano_arithmetic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Variable_(mathematics)" } ] ,
    "http://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "\u062A\u0633\u0644\u0633\u0644 \u0645\u062D\u062F\u0648\u062F \u0645\u0646 \u0627\u0644\u0631\u0645\u0648\u0632 \u0645\u0646 \u0623\u0628\u062C\u062F\u064A\u0629 \u0645\u0639\u064A\u0646\u0629 \u0648\u0627\u0644\u062A\u064A \u0647\u064A \u062C\u0632\u0621 \u0645\u0646 \u0644\u063A\u0629 \u0631\u0633\u0645\u064A\u0629" , "lang" : "ar" } ,
      { "type" : "literal", "value" : "secuencia de car\u00E1cteres que cumple la norma gramatical de un lenguaje formal" , "lang" : "es" } ,
      { "type" : "literal", "value" : "secuencia finita de s\u00EDmbolos dun alfabeto dado que forma parte dunha linguaxe formal" , "lang" : "gl" } ,
      { "type" : "literal", "value" : "et syntaktisk korrekt udtryk, der overholder logiksystemets regler og konventioner; reglerne specificerer, hvordan man konstruerer formler v.h.a. logiske symboler, variabler, kvantifikatorer og forbindelser." , "lang" : "da" } ,
      { "type" : "literal", "value" : "\u8AD6\u7406\u7D50\u5408\u5B50\u306E\u9069\u7528\u5BFE\u8C61\u3068\u306A\u308B\u8A18\u53F7\u5217" , "lang" : "ja" } ,
      { "type" : "literal", "value" : "kone\u010Dn\u00E1 posloupnost symbol\u016F ve form\u00E1ln\u00EDm jazyce, reprezentuj\u00EDc\u00ED n\u011Bjak\u00E9 (matematick\u00E9) tvrzen\u00ED v jist\u00E9 form\u00E1ln\u00ED teorii predik\u00E1tov\u00E9 logiky prvn\u00EDho \u0159\u00E1du" , "lang" : "cs" } ,
      { "type" : "literal", "value" : "sekvens av symboler fr\u00E5n ett givet alfabet" , "lang" : "sv" } ,
      { "type" : "literal", "value" : "\u0441\u0438\u043D\u0442\u0430\u043A\u0441\u0438\u0447\u0435\u0441\u043A\u0438 \u0432\u0435\u0440\u043D\u0430\u044F \u0441\u0442\u0440\u043E\u043A\u0430 \u0432 \u0444\u043E\u0440\u043C\u0430\u043B\u044C\u043D\u043E\u043C \u044F\u0437\u044B\u043A\u0435" , "lang" : "ru" } ,
      { "type" : "literal", "value" : "stringa di simboli che, intuitivamente, rappresenti un'espressione sintatticamente corretta e che viene definita mediante le regole della grammatica di un sistema formale" , "lang" : "it" } ,
      { "type" : "literal", "value" : "assemblages de lettres auxquels il est possible de donner une signification en termes de valeur de v\u00E9rit\u00E9" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "finite sequence of symbols from a given alphabet that is part of a formal language" , "lang" : "en" } ] ,
    "http://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Refn" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Broader" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Main" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Portal" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Mathematical_logic" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Cite_news" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Math" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Formal_languages" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Short_description" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:!" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Reflist" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Citation" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Template:Anchor" } ] ,
    "http://dbpedia.org/ontology/wikiPageExternalLink" : [ { "type" : "uri", "value" : "https://archive.org/details/blackwellguideto0000unse_q4c2" } ,
      { "type" : "uri", "value" : "https://web.archive.org/web/20090208141433/http:/umich.edu/~newsinfo/MT/02/Spr02/mt9s02.html" } ,
      { "type" : "uri", "value" : "http://www.apronus.com/provenmath/formulas.htm" } ,
      { "type" : "uri", "value" : "http://www.umich.edu/~newsinfo/MT/02/Spr02/mt9s02.html" } ,
      { "type" : "uri", "value" : "http://www.cs.odu.edu/~toida/nerzic/content/logic/pred_logic/construction/wff_intro.html" } ] } ,
  "http://dbpedia.org/resource/WFF_'N_PROOF" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Symbol_(formal)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Proof_(truth)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Formula_(disambiguation)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] ,
    "http://dbpedia.org/ontology/wikiPageDisambiguates" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Commutative_property" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Ordinal_definable_set" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Well-defined_expression" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Recursive_definition" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Wilkie's_theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Integer-valued_function" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Syntax_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Indiscernibles" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Outline_of_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Expression_(mathematics)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/List_of_first-order_theories" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Imaginary_element" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Truth" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Axiom_schema_of_replacement" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Domain-specific_language" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Metalanguage" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Discrete_mathematics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Homomorphism" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Real_closed_field" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Complete_theory" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Skolem_normal_form" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Zermelo\u2013Fraenkel_set_theory" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Formal_proof" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Deductive_closure" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Predicate_variable" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Deviant_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Well_formed_formula" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Stockholm_format" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Proposition" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Satisfiability_modulo_theories" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/T-norm_fuzzy_logics" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Scope_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Induction,_bounding_and_least_number_principles" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Filter_quantifier" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Algebraic_extension" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/History_of_mathematical_notation" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Index_of_logic_articles" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Theory_(mathematical_logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Well-formedness" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Identity_(mathematics)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Formal_grammar" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Substitution_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Equality_(mathematics)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Axiom_schema" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/List_of_mathematical_abbreviations" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Quasi-quotation" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Common_knowledge_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Paraconsistent_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Tarski\u2013Seidenberg_theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Formula_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Completeness_(logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Acceptability" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Arithmetical_set" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Truth_predicate" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Philosophical_logic" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Donkey_sentence" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Automated_theorem_proving" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Percent_sign" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Quantifier_elimination" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Program_synthesis" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/G\u00F6del_numbering" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Proof_sketch_for_G\u00F6del's_first_incompleteness_theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Admissible_rule" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/WalkSAT" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Interpretability" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Weak_interpretability" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Inhabited_set" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Index_of_philosophy_articles_(R\u2013Z)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Nonstandard_analysis" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Predicate_(mathematical_logic)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Craig's_theorem" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Logical_formula" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/WFF" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] ,
    "http://dbpedia.org/ontology/wikiPageDisambiguates" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Well-formed" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] ,
    "http://dbpedia.org/ontology/wikiPageDisambiguates" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Layman_Allen" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Quantifier-free_formula" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Well-formed_formulae" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Well_formed_formulae" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Extension_by_definitions" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Existentially_closed_model" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Subformula" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Well-formed_formulas" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Formula_(logics)" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Conservative_extension" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Rule_of_replacement" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] } ,
  "http://dbpedia.org/resource/Logical_expression" : { "http://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] ,
    "http://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "http://dbpedia.org/resource/Well-formed_formula" } ] }
}