Matches in SemOpenAlex for { <https://semopenalex.org/work/W2750904834> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2750904834 endingPage "756" @default.
- W2750904834 startingPage "746" @default.
- W2750904834 abstract "In this paper we propose a formal system for solving shortest proof games as one important genre of retrograde chess analysis. Shortest proof games serve to establish the legality of a position in chess problems by searching for the shortest sequence of moves that lead from initial to given chess position. For the establishment of such a system we use Coq – a computer tool for verifying theorem proofs in higher-order logic. Our approach is based on the shortest trajectories (shortest planning paths which certain pieces might follow from initial square to achieve the target square), admissible trajectories (trajectories longer than the shortest trajectory), bundles of trajectories (sets of trajectories which all have the same starting and end square) and circular trajectories (trajectories whose starting and end square coincide). We show how these forms can be generated using Coq, how they can be used in order to solve an shortest proof game and how can it be concluded which of these forms should be generated in order to solve given problem." @default.
- W2750904834 created "2017-09-15" @default.
- W2750904834 creator A5014148285 @default.
- W2750904834 creator A5083436657 @default.
- W2750904834 date "2010-01-01" @default.
- W2750904834 modified "2023-09-24" @default.
- W2750904834 title "Formal System for Searching for the Shortest Proof Games using Coq" @default.
- W2750904834 cites W137199617 @default.
- W2750904834 cites W1529227536 @default.
- W2750904834 cites W1570211491 @default.
- W2750904834 cites W2236305778 @default.
- W2750904834 cites W2253121907 @default.
- W2750904834 cites W2739012874 @default.
- W2750904834 hasPublicationYear "2010" @default.
- W2750904834 type Work @default.
- W2750904834 sameAs 2750904834 @default.
- W2750904834 citedByCount "1" @default.
- W2750904834 countsByYear W27509048342020 @default.
- W2750904834 crossrefType "journal-article" @default.
- W2750904834 hasAuthorship W2750904834A5014148285 @default.
- W2750904834 hasAuthorship W2750904834A5083436657 @default.
- W2750904834 hasConcept C10138342 @default.
- W2750904834 hasConcept C108710211 @default.
- W2750904834 hasConcept C135692309 @default.
- W2750904834 hasConcept C162324750 @default.
- W2750904834 hasConcept C182306322 @default.
- W2750904834 hasConcept C198082294 @default.
- W2750904834 hasConcept C2524010 @default.
- W2750904834 hasConcept C33923547 @default.
- W2750904834 hasConcept C41008148 @default.
- W2750904834 hasConcept C80444323 @default.
- W2750904834 hasConcept C94461902 @default.
- W2750904834 hasConceptScore W2750904834C10138342 @default.
- W2750904834 hasConceptScore W2750904834C108710211 @default.
- W2750904834 hasConceptScore W2750904834C135692309 @default.
- W2750904834 hasConceptScore W2750904834C162324750 @default.
- W2750904834 hasConceptScore W2750904834C182306322 @default.
- W2750904834 hasConceptScore W2750904834C198082294 @default.
- W2750904834 hasConceptScore W2750904834C2524010 @default.
- W2750904834 hasConceptScore W2750904834C33923547 @default.
- W2750904834 hasConceptScore W2750904834C41008148 @default.
- W2750904834 hasConceptScore W2750904834C80444323 @default.
- W2750904834 hasConceptScore W2750904834C94461902 @default.
- W2750904834 hasIssue "6" @default.
- W2750904834 hasLocation W27509048341 @default.
- W2750904834 hasOpenAccess W2750904834 @default.
- W2750904834 hasPrimaryLocation W27509048341 @default.
- W2750904834 hasRelatedWork W1495808374 @default.
- W2750904834 hasRelatedWork W1512647262 @default.
- W2750904834 hasRelatedWork W1523314927 @default.
- W2750904834 hasRelatedWork W1574625464 @default.
- W2750904834 hasRelatedWork W1622764697 @default.
- W2750904834 hasRelatedWork W1663331386 @default.
- W2750904834 hasRelatedWork W1725823645 @default.
- W2750904834 hasRelatedWork W1963517913 @default.
- W2750904834 hasRelatedWork W2101144928 @default.
- W2750904834 hasRelatedWork W2108208833 @default.
- W2750904834 hasRelatedWork W2124095149 @default.
- W2750904834 hasRelatedWork W2268406518 @default.
- W2750904834 hasRelatedWork W2364159064 @default.
- W2750904834 hasRelatedWork W2884839953 @default.
- W2750904834 hasRelatedWork W2897115502 @default.
- W2750904834 hasRelatedWork W2936352478 @default.
- W2750904834 hasRelatedWork W2962981856 @default.
- W2750904834 hasRelatedWork W3037164082 @default.
- W2750904834 hasRelatedWork W3104491803 @default.
- W2750904834 hasRelatedWork W3198569014 @default.
- W2750904834 hasVolume "5" @default.
- W2750904834 isParatext "false" @default.
- W2750904834 isRetracted "false" @default.
- W2750904834 magId "2750904834" @default.
- W2750904834 workType "article" @default.