Matches in SemOpenAlex for { <https://semopenalex.org/work/W349156734> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W349156734 endingPage "334" @default.
- W349156734 startingPage "330" @default.
- W349156734 abstract "We demonstrate the advantage of using a many-sorted resolution calculus by a mechanical solution of a challenge problem. This problem known as Schubert's Steamroller had been unsolved by automated theorem provers until now. Our solution clearly demonstrates the power of a many-sorted resolution calculus. The proposed method is applicable to all resolution-based inference systems." @default.
- W349156734 created "2016-06-24" @default.
- W349156734 creator A5060098656 @default.
- W349156734 date "1984-08-06" @default.
- W349156734 modified "2023-09-25" @default.
- W349156734 title "A mechanical solution of Schubert's steamroller by many-sorted resolution" @default.
- W349156734 cites W1484868172 @default.
- W349156734 cites W1519434182 @default.
- W349156734 cites W1530999579 @default.
- W349156734 cites W1590828018 @default.
- W349156734 cites W1911287697 @default.
- W349156734 cites W1972956465 @default.
- W349156734 cites W1996720702 @default.
- W349156734 cites W2047669821 @default.
- W349156734 cites W2059555651 @default.
- W349156734 cites W2069761883 @default.
- W349156734 cites W2070854693 @default.
- W349156734 cites W2100738443 @default.
- W349156734 cites W2150008221 @default.
- W349156734 cites W2159645142 @default.
- W349156734 cites W2160937552 @default.
- W349156734 cites W2506980730 @default.
- W349156734 cites W25397687 @default.
- W349156734 cites W28444215 @default.
- W349156734 cites W2901283935 @default.
- W349156734 cites W83404676 @default.
- W349156734 cites W38890958 @default.
- W349156734 hasPublicationYear "1984" @default.
- W349156734 type Work @default.
- W349156734 sameAs 349156734 @default.
- W349156734 citedByCount "10" @default.
- W349156734 crossrefType "proceedings-article" @default.
- W349156734 hasAuthorship W349156734A5060098656 @default.
- W349156734 hasConcept C11413529 @default.
- W349156734 hasConcept C114614502 @default.
- W349156734 hasConcept C138268822 @default.
- W349156734 hasConcept C154945302 @default.
- W349156734 hasConcept C162929932 @default.
- W349156734 hasConcept C169843257 @default.
- W349156734 hasConcept C199343813 @default.
- W349156734 hasConcept C206880738 @default.
- W349156734 hasConcept C2776214188 @default.
- W349156734 hasConcept C2777686260 @default.
- W349156734 hasConcept C33923547 @default.
- W349156734 hasConcept C41008148 @default.
- W349156734 hasConcept C71924100 @default.
- W349156734 hasConceptScore W349156734C11413529 @default.
- W349156734 hasConceptScore W349156734C114614502 @default.
- W349156734 hasConceptScore W349156734C138268822 @default.
- W349156734 hasConceptScore W349156734C154945302 @default.
- W349156734 hasConceptScore W349156734C162929932 @default.
- W349156734 hasConceptScore W349156734C169843257 @default.
- W349156734 hasConceptScore W349156734C199343813 @default.
- W349156734 hasConceptScore W349156734C206880738 @default.
- W349156734 hasConceptScore W349156734C2776214188 @default.
- W349156734 hasConceptScore W349156734C2777686260 @default.
- W349156734 hasConceptScore W349156734C33923547 @default.
- W349156734 hasConceptScore W349156734C41008148 @default.
- W349156734 hasConceptScore W349156734C71924100 @default.
- W349156734 hasLocation W3491567341 @default.
- W349156734 hasOpenAccess W349156734 @default.
- W349156734 hasPrimaryLocation W3491567341 @default.
- W349156734 hasRelatedWork W1530837725 @default.
- W349156734 hasRelatedWork W1530999579 @default.
- W349156734 hasRelatedWork W1584374742 @default.
- W349156734 hasRelatedWork W1598398705 @default.
- W349156734 hasRelatedWork W1600661924 @default.
- W349156734 hasRelatedWork W1601094116 @default.
- W349156734 hasRelatedWork W1656258 @default.
- W349156734 hasRelatedWork W16777302 @default.
- W349156734 hasRelatedWork W1996158986 @default.
- W349156734 hasRelatedWork W2047669821 @default.
- W349156734 hasRelatedWork W2048083479 @default.
- W349156734 hasRelatedWork W2100738443 @default.
- W349156734 hasRelatedWork W2107046473 @default.
- W349156734 hasRelatedWork W2205909797 @default.
- W349156734 hasRelatedWork W2345876752 @default.
- W349156734 hasRelatedWork W251272775 @default.
- W349156734 hasRelatedWork W2786933490 @default.
- W349156734 hasRelatedWork W2790318756 @default.
- W349156734 hasRelatedWork W2935683702 @default.
- W349156734 hasRelatedWork W2963497566 @default.
- W349156734 isParatext "false" @default.
- W349156734 isRetracted "false" @default.
- W349156734 magId "349156734" @default.
- W349156734 workType "article" @default.