Matches in SemOpenAlex for { <https://semopenalex.org/work/W93464227> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W93464227 endingPage "60" @default.
- W93464227 startingPage "56" @default.
- W93464227 abstract "An important part of understanding a specification is recognizing the consequences of what is stated. We describe a program that can help a user acquire this understanding. It does this by deriving interesting, though not deep consequences of a set of input axioms, while avoiding (a typically much larger set of) uninteresting consequences. The heuristics for obtaining that effect are described and justified. The program has been used in a symbolic evaluator that helps a user to understand and debug specifications written in the Gist specification language." @default.
- W93464227 created "2016-06-24" @default.
- W93464227 creator A5062651906 @default.
- W93464227 date "1984-08-06" @default.
- W93464227 modified "2023-09-25" @default.
- W93464227 title "A forward inference engine to aid in understanding specifications" @default.
- W93464227 cites W1823666162 @default.
- W93464227 cites W2091926481 @default.
- W93464227 cites W2100738443 @default.
- W93464227 cites W2112215608 @default.
- W93464227 cites W2132174753 @default.
- W93464227 cites W390490791 @default.
- W93464227 cites W46854458 @default.
- W93464227 hasPublicationYear "1984" @default.
- W93464227 type Work @default.
- W93464227 sameAs 93464227 @default.
- W93464227 citedByCount "11" @default.
- W93464227 crossrefType "proceedings-article" @default.
- W93464227 hasAuthorship W93464227A5062651906 @default.
- W93464227 hasConcept C111919701 @default.
- W93464227 hasConcept C115903868 @default.
- W93464227 hasConcept C127705205 @default.
- W93464227 hasConcept C154945302 @default.
- W93464227 hasConcept C167729594 @default.
- W93464227 hasConcept C168065819 @default.
- W93464227 hasConcept C177264268 @default.
- W93464227 hasConcept C199360897 @default.
- W93464227 hasConcept C201677973 @default.
- W93464227 hasConcept C2524010 @default.
- W93464227 hasConcept C2776214188 @default.
- W93464227 hasConcept C2777904410 @default.
- W93464227 hasConcept C2779639559 @default.
- W93464227 hasConcept C33923547 @default.
- W93464227 hasConcept C41008148 @default.
- W93464227 hasConcept C46743427 @default.
- W93464227 hasConcept C80444323 @default.
- W93464227 hasConceptScore W93464227C111919701 @default.
- W93464227 hasConceptScore W93464227C115903868 @default.
- W93464227 hasConceptScore W93464227C127705205 @default.
- W93464227 hasConceptScore W93464227C154945302 @default.
- W93464227 hasConceptScore W93464227C167729594 @default.
- W93464227 hasConceptScore W93464227C168065819 @default.
- W93464227 hasConceptScore W93464227C177264268 @default.
- W93464227 hasConceptScore W93464227C199360897 @default.
- W93464227 hasConceptScore W93464227C201677973 @default.
- W93464227 hasConceptScore W93464227C2524010 @default.
- W93464227 hasConceptScore W93464227C2776214188 @default.
- W93464227 hasConceptScore W93464227C2777904410 @default.
- W93464227 hasConceptScore W93464227C2779639559 @default.
- W93464227 hasConceptScore W93464227C33923547 @default.
- W93464227 hasConceptScore W93464227C41008148 @default.
- W93464227 hasConceptScore W93464227C46743427 @default.
- W93464227 hasConceptScore W93464227C80444323 @default.
- W93464227 hasLocation W934642271 @default.
- W93464227 hasOpenAccess W93464227 @default.
- W93464227 hasPrimaryLocation W934642271 @default.
- W93464227 hasRelatedWork W1020586694 @default.
- W93464227 hasRelatedWork W1493113943 @default.
- W93464227 hasRelatedWork W1511767298 @default.
- W93464227 hasRelatedWork W1519664340 @default.
- W93464227 hasRelatedWork W1558897762 @default.
- W93464227 hasRelatedWork W1582379324 @default.
- W93464227 hasRelatedWork W1597067549 @default.
- W93464227 hasRelatedWork W1619646871 @default.
- W93464227 hasRelatedWork W171207038 @default.
- W93464227 hasRelatedWork W1970658603 @default.
- W93464227 hasRelatedWork W2096536569 @default.
- W93464227 hasRelatedWork W2181685311 @default.
- W93464227 hasRelatedWork W2808982973 @default.
- W93464227 hasRelatedWork W2886968080 @default.
- W93464227 hasRelatedWork W2921631340 @default.
- W93464227 hasRelatedWork W62218527 @default.
- W93464227 hasRelatedWork W985559363 @default.
- W93464227 hasRelatedWork W1994059374 @default.
- W93464227 hasRelatedWork W2024861252 @default.
- W93464227 hasRelatedWork W3111070973 @default.
- W93464227 isParatext "false" @default.
- W93464227 isRetracted "false" @default.
- W93464227 magId "93464227" @default.
- W93464227 workType "article" @default.