Matches in SemOpenAlex for { <https://semopenalex.org/work/W2046511504> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W2046511504 endingPage "261" @default.
- W2046511504 startingPage "227" @default.
- W2046511504 abstract "Abstract Some new approaches to mechanical theorem proving in the first-order predicate calculus are presented. These are based on a natural deduction system which can be used to show that a set of clauses is inconsistent. This natural deduction system distinguishes positive from negative literals and treats clauses having 0, 1, and 2 or more positive literals in three separate ways. Several such systems are presented. The systems are complete and relatively simple and allow a goal to be decomposed into subgoals, and solutions to the subgoals can then be searched for in the same way. Also, the systems permit a natural use of semantic information to delete unachievable subgoals. The goal-subgoal structure of these systems should allow much of the current artificial intelligence methodology to be applied to mechanical theorem proving." @default.
- W2046511504 created "2016-06-24" @default.
- W2046511504 creator A5019821870 @default.
- W2046511504 date "1982-03-01" @default.
- W2046511504 modified "2023-09-24" @default.
- W2046511504 title "A simplified problem reduction format" @default.
- W2046511504 cites W1966048066 @default.
- W2046511504 cites W1996158986 @default.
- W2046511504 cites W1998113645 @default.
- W2046511504 cites W2010917637 @default.
- W2046511504 cites W2023139438 @default.
- W2046511504 cites W2025339139 @default.
- W2046511504 cites W2025712536 @default.
- W2046511504 cites W2075469844 @default.
- W2046511504 cites W2100738443 @default.
- W2046511504 doi "https://doi.org/10.1016/0004-3702(82)90041-8" @default.
- W2046511504 hasPublicationYear "1982" @default.
- W2046511504 type Work @default.
- W2046511504 sameAs 2046511504 @default.
- W2046511504 citedByCount "43" @default.
- W2046511504 countsByYear W20465115042015 @default.
- W2046511504 crossrefType "journal-article" @default.
- W2046511504 hasAuthorship W2046511504A5019821870 @default.
- W2046511504 hasConcept C111335779 @default.
- W2046511504 hasConcept C2524010 @default.
- W2046511504 hasConcept C33923547 @default.
- W2046511504 hasConcept C41008148 @default.
- W2046511504 hasConceptScore W2046511504C111335779 @default.
- W2046511504 hasConceptScore W2046511504C2524010 @default.
- W2046511504 hasConceptScore W2046511504C33923547 @default.
- W2046511504 hasConceptScore W2046511504C41008148 @default.
- W2046511504 hasIssue "2" @default.
- W2046511504 hasLocation W20465115041 @default.
- W2046511504 hasOpenAccess W2046511504 @default.
- W2046511504 hasPrimaryLocation W20465115041 @default.
- W2046511504 hasRelatedWork W2093578348 @default.
- W2046511504 hasRelatedWork W2358668433 @default.
- W2046511504 hasRelatedWork W2376932109 @default.
- W2046511504 hasRelatedWork W2382290278 @default.
- W2046511504 hasRelatedWork W2390279801 @default.
- W2046511504 hasRelatedWork W2538049348 @default.
- W2046511504 hasRelatedWork W2748952813 @default.
- W2046511504 hasRelatedWork W2766271392 @default.
- W2046511504 hasRelatedWork W2899084033 @default.
- W2046511504 hasRelatedWork W3032668683 @default.
- W2046511504 hasVolume "18" @default.
- W2046511504 isParatext "false" @default.
- W2046511504 isRetracted "false" @default.
- W2046511504 magId "2046511504" @default.
- W2046511504 workType "article" @default.