Matches in SemOpenAlex for { <https://semopenalex.org/work/W1986156613> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1986156613 endingPage "318" @default.
- W1986156613 startingPage "257" @default.
- W1986156613 abstract "MUSCADET is a theorem prover which works in those fields of pure mathematics that require a lot of knowledge and know-how. Declarative knowledge bases express general proof strategies and knowledge specific to special mathematical fields, by means of a simple language, in the form of rules, metarules and metaactions. Different types of rules are interpreted by the same inference engine which is general in the sense that it knows nothing, neither about the mathematical domains studied, nor even about mathematics in general. The system was experimented in several domains and in particular, proved difficult theorems in topological linear spaces." @default.
- W1986156613 created "2016-06-24" @default.
- W1986156613 creator A5043162824 @default.
- W1986156613 date "1989-04-01" @default.
- W1986156613 modified "2023-10-05" @default.
- W1986156613 title "MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics" @default.
- W1986156613 cites W16144991 @default.
- W1986156613 cites W1966119556 @default.
- W1986156613 cites W1970045008 @default.
- W1986156613 cites W1977740653 @default.
- W1986156613 cites W1988703384 @default.
- W1986156613 cites W1996158986 @default.
- W1986156613 cites W1996645107 @default.
- W1986156613 cites W2002597376 @default.
- W1986156613 cites W2020764148 @default.
- W1986156613 cites W2022811525 @default.
- W1986156613 cites W2023139438 @default.
- W1986156613 cites W2024311864 @default.
- W1986156613 cites W2028714117 @default.
- W1986156613 cites W2038634728 @default.
- W1986156613 cites W2045833670 @default.
- W1986156613 cites W2052377886 @default.
- W1986156613 cites W2058714454 @default.
- W1986156613 cites W2080104522 @default.
- W1986156613 cites W2081764129 @default.
- W1986156613 cites W2085089824 @default.
- W1986156613 cites W2086457680 @default.
- W1986156613 cites W2100738443 @default.
- W1986156613 cites W2118888533 @default.
- W1986156613 cites W2123806880 @default.
- W1986156613 cites W2125299991 @default.
- W1986156613 cites W2132174753 @default.
- W1986156613 cites W2162177141 @default.
- W1986156613 doi "https://doi.org/10.1016/0004-3702(89)90035-0" @default.
- W1986156613 hasPublicationYear "1989" @default.
- W1986156613 type Work @default.
- W1986156613 sameAs 1986156613 @default.
- W1986156613 citedByCount "21" @default.
- W1986156613 crossrefType "journal-article" @default.
- W1986156613 hasAuthorship W1986156613A5043162824 @default.
- W1986156613 hasConcept C108710211 @default.
- W1986156613 hasConcept C111472728 @default.
- W1986156613 hasConcept C11413529 @default.
- W1986156613 hasConcept C118615104 @default.
- W1986156613 hasConcept C136119220 @default.
- W1986156613 hasConcept C138885662 @default.
- W1986156613 hasConcept C154945302 @default.
- W1986156613 hasConcept C159718280 @default.
- W1986156613 hasConcept C176329583 @default.
- W1986156613 hasConcept C178489894 @default.
- W1986156613 hasConcept C202444582 @default.
- W1986156613 hasConcept C206880738 @default.
- W1986156613 hasConcept C2524010 @default.
- W1986156613 hasConcept C2776214188 @default.
- W1986156613 hasConcept C2780586882 @default.
- W1986156613 hasConcept C33923547 @default.
- W1986156613 hasConcept C41008148 @default.
- W1986156613 hasConcept C4554734 @default.
- W1986156613 hasConcept C46743427 @default.
- W1986156613 hasConceptScore W1986156613C108710211 @default.
- W1986156613 hasConceptScore W1986156613C111472728 @default.
- W1986156613 hasConceptScore W1986156613C11413529 @default.
- W1986156613 hasConceptScore W1986156613C118615104 @default.
- W1986156613 hasConceptScore W1986156613C136119220 @default.
- W1986156613 hasConceptScore W1986156613C138885662 @default.
- W1986156613 hasConceptScore W1986156613C154945302 @default.
- W1986156613 hasConceptScore W1986156613C159718280 @default.
- W1986156613 hasConceptScore W1986156613C176329583 @default.
- W1986156613 hasConceptScore W1986156613C178489894 @default.
- W1986156613 hasConceptScore W1986156613C202444582 @default.
- W1986156613 hasConceptScore W1986156613C206880738 @default.
- W1986156613 hasConceptScore W1986156613C2524010 @default.
- W1986156613 hasConceptScore W1986156613C2776214188 @default.
- W1986156613 hasConceptScore W1986156613C2780586882 @default.
- W1986156613 hasConceptScore W1986156613C33923547 @default.
- W1986156613 hasConceptScore W1986156613C41008148 @default.
- W1986156613 hasConceptScore W1986156613C4554734 @default.
- W1986156613 hasConceptScore W1986156613C46743427 @default.
- W1986156613 hasIssue "3" @default.
- W1986156613 hasLocation W19861566131 @default.
- W1986156613 hasOpenAccess W1986156613 @default.
- W1986156613 hasPrimaryLocation W19861566131 @default.
- W1986156613 hasRelatedWork W2001096758 @default.
- W1986156613 hasRelatedWork W2030257803 @default.
- W1986156613 hasRelatedWork W2057057690 @default.
- W1986156613 hasRelatedWork W2096571200 @default.
- W1986156613 hasRelatedWork W2159191205 @default.
- W1986156613 hasRelatedWork W2358462652 @default.
- W1986156613 hasRelatedWork W2368184788 @default.
- W1986156613 hasRelatedWork W2372304001 @default.
- W1986156613 hasRelatedWork W2509547676 @default.
- W1986156613 hasRelatedWork W2562305209 @default.
- W1986156613 hasVolume "38" @default.
- W1986156613 isParatext "false" @default.
- W1986156613 isRetracted "false" @default.
- W1986156613 magId "1986156613" @default.
- W1986156613 workType "article" @default.