Matches in SemOpenAlex for { <https://semopenalex.org/work/W2337651610> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2337651610 endingPage "338" @default.
- W2337651610 startingPage "333" @default.
- W2337651610 abstract "The automation of reasoning as deduction in logical theories is well established. Such logical theories are usually inherited from the literature or are built manually for a particular reasoning task. They are then regarded as fixed. We will argue that they should be regarded as fluid." @default.
- W2337651610 created "2016-06-24" @default.
- W2337651610 creator A5040311876 @default.
- W2337651610 date "2008-07-26" @default.
- W2337651610 modified "2023-09-24" @default.
- W2337651610 title "Automating Signature Evolution in Logical Theories" @default.
- W2337651610 cites W4230997289 @default.
- W2337651610 doi "https://doi.org/10.1007/978-3-540-85110-3_29" @default.
- W2337651610 hasPublicationYear "2008" @default.
- W2337651610 type Work @default.
- W2337651610 sameAs 2337651610 @default.
- W2337651610 citedByCount "2" @default.
- W2337651610 crossrefType "book-chapter" @default.
- W2337651610 hasAuthorship W2337651610A5040311876 @default.
- W2337651610 hasBestOaLocation W23376516102 @default.
- W2337651610 hasConcept C105795698 @default.
- W2337651610 hasConcept C115901376 @default.
- W2337651610 hasConcept C127413603 @default.
- W2337651610 hasConcept C134752490 @default.
- W2337651610 hasConcept C154945302 @default.
- W2337651610 hasConcept C15744967 @default.
- W2337651610 hasConcept C162324750 @default.
- W2337651610 hasConcept C187736073 @default.
- W2337651610 hasConcept C188147891 @default.
- W2337651610 hasConcept C195344581 @default.
- W2337651610 hasConcept C199360897 @default.
- W2337651610 hasConcept C20693621 @default.
- W2337651610 hasConcept C21847791 @default.
- W2337651610 hasConcept C2524010 @default.
- W2337651610 hasConcept C2779696439 @default.
- W2337651610 hasConcept C2780451532 @default.
- W2337651610 hasConcept C2983390893 @default.
- W2337651610 hasConcept C33923547 @default.
- W2337651610 hasConcept C41008148 @default.
- W2337651610 hasConcept C43971567 @default.
- W2337651610 hasConcept C6260981 @default.
- W2337651610 hasConcept C78519656 @default.
- W2337651610 hasConcept C97364631 @default.
- W2337651610 hasConceptScore W2337651610C105795698 @default.
- W2337651610 hasConceptScore W2337651610C115901376 @default.
- W2337651610 hasConceptScore W2337651610C127413603 @default.
- W2337651610 hasConceptScore W2337651610C134752490 @default.
- W2337651610 hasConceptScore W2337651610C154945302 @default.
- W2337651610 hasConceptScore W2337651610C15744967 @default.
- W2337651610 hasConceptScore W2337651610C162324750 @default.
- W2337651610 hasConceptScore W2337651610C187736073 @default.
- W2337651610 hasConceptScore W2337651610C188147891 @default.
- W2337651610 hasConceptScore W2337651610C195344581 @default.
- W2337651610 hasConceptScore W2337651610C199360897 @default.
- W2337651610 hasConceptScore W2337651610C20693621 @default.
- W2337651610 hasConceptScore W2337651610C21847791 @default.
- W2337651610 hasConceptScore W2337651610C2524010 @default.
- W2337651610 hasConceptScore W2337651610C2779696439 @default.
- W2337651610 hasConceptScore W2337651610C2780451532 @default.
- W2337651610 hasConceptScore W2337651610C2983390893 @default.
- W2337651610 hasConceptScore W2337651610C33923547 @default.
- W2337651610 hasConceptScore W2337651610C41008148 @default.
- W2337651610 hasConceptScore W2337651610C43971567 @default.
- W2337651610 hasConceptScore W2337651610C6260981 @default.
- W2337651610 hasConceptScore W2337651610C78519656 @default.
- W2337651610 hasConceptScore W2337651610C97364631 @default.
- W2337651610 hasLocation W23376516101 @default.
- W2337651610 hasLocation W23376516102 @default.
- W2337651610 hasLocation W23376516103 @default.
- W2337651610 hasOpenAccess W2337651610 @default.
- W2337651610 hasPrimaryLocation W23376516101 @default.
- W2337651610 hasRelatedWork W1510214531 @default.
- W2337651610 hasRelatedWork W1557315447 @default.
- W2337651610 hasRelatedWork W1581189024 @default.
- W2337651610 hasRelatedWork W2351550978 @default.
- W2337651610 hasRelatedWork W2351976579 @default.
- W2337651610 hasRelatedWork W2352611817 @default.
- W2337651610 hasRelatedWork W2364516162 @default.
- W2337651610 hasRelatedWork W4311341123 @default.
- W2337651610 hasRelatedWork W4361806656 @default.
- W2337651610 hasRelatedWork W2004174358 @default.
- W2337651610 isParatext "false" @default.
- W2337651610 isRetracted "false" @default.
- W2337651610 magId "2337651610" @default.
- W2337651610 workType "book-chapter" @default.