SemOpenAlex |

SemOpenAlex

Matches in SemOpenAlex for { <https://semopenalex.org/work/W13799593> ?p ?o ?g. }

Showing items 1 to 100 of ±101 with 100 items per page.

W13799593 created "2016-06-24" @default.
W13799593 creator A5023799110 @default.
W13799593 creator A5058278855 @default.
W13799593 date "2007-11-13" @default.
W13799593 modified "2023-09-26" @default.
W13799593 title "Proof Simplification for Model Generation and Its Applications" @default.
W13799593 cites W1528245710 @default.
W13799593 cites W1537629081 @default.
W13799593 cites W1539343435 @default.
W13799593 cites W1559498617 @default.
W13799593 cites W1564814748 @default.
W13799593 cites W1646117648 @default.
W13799593 cites W1924552249 @default.
W13799593 cites W1984720830 @default.
W13799593 cites W2025252200 @default.
W13799593 cites W2098536959 @default.
W13799593 cites W2126257062 @default.
W13799593 cites W2136771436 @default.
W13799593 cites W2163619482 @default.
W13799593 cites W2167440926 @default.
W13799593 cites W2493672872 @default.
W13799593 cites W2499957903 @default.
W13799593 cites W2505983251 @default.
W13799593 cites W2912282119 @default.
W13799593 cites W4230479732 @default.
W13799593 doi "https://doi.org/10.1007/3-540-44404-1_8" @default.
W13799593 hasPublicationYear "2007" @default.
W13799593 type Work @default.
W13799593 sameAs 13799593 @default.
W13799593 citedByCount "5" @default.
W13799593 countsByYear W137995932015 @default.
W13799593 crossrefType "book-chapter" @default.
W13799593 hasAuthorship W13799593A5023799110 @default.
W13799593 hasAuthorship W13799593A5058278855 @default.
W13799593 hasConcept C105605280 @default.
W13799593 hasConcept C108710211 @default.
W13799593 hasConcept C111919701 @default.
W13799593 hasConcept C11413529 @default.
W13799593 hasConcept C118539577 @default.
W13799593 hasConcept C118615104 @default.
W13799593 hasConcept C124978682 @default.
W13799593 hasConcept C134306372 @default.
W13799593 hasConcept C135754263 @default.
W13799593 hasConcept C17231256 @default.
W13799593 hasConcept C173613240 @default.
W13799593 hasConcept C17744445 @default.
W13799593 hasConcept C195653647 @default.
W13799593 hasConcept C199343813 @default.
W13799593 hasConcept C199539241 @default.
W13799593 hasConcept C202854965 @default.
W13799593 hasConcept C203265346 @default.
W13799593 hasConcept C206880738 @default.
W13799593 hasConcept C2318724 @default.
W13799593 hasConcept C2524010 @default.
W13799593 hasConcept C2777431735 @default.
W13799593 hasConcept C2777686260 @default.
W13799593 hasConcept C33923547 @default.
W13799593 hasConcept C41008148 @default.
W13799593 hasConcept C71924100 @default.
W13799593 hasConceptScore W13799593C105605280 @default.
W13799593 hasConceptScore W13799593C108710211 @default.
W13799593 hasConceptScore W13799593C111919701 @default.
W13799593 hasConceptScore W13799593C11413529 @default.
W13799593 hasConceptScore W13799593C118539577 @default.
W13799593 hasConceptScore W13799593C118615104 @default.
W13799593 hasConceptScore W13799593C124978682 @default.
W13799593 hasConceptScore W13799593C134306372 @default.
W13799593 hasConceptScore W13799593C135754263 @default.
W13799593 hasConceptScore W13799593C17231256 @default.
W13799593 hasConceptScore W13799593C173613240 @default.
W13799593 hasConceptScore W13799593C17744445 @default.
W13799593 hasConceptScore W13799593C195653647 @default.
W13799593 hasConceptScore W13799593C199343813 @default.
W13799593 hasConceptScore W13799593C199539241 @default.
W13799593 hasConceptScore W13799593C202854965 @default.
W13799593 hasConceptScore W13799593C203265346 @default.
W13799593 hasConceptScore W13799593C206880738 @default.
W13799593 hasConceptScore W13799593C2318724 @default.
W13799593 hasConceptScore W13799593C2524010 @default.
W13799593 hasConceptScore W13799593C2777431735 @default.
W13799593 hasConceptScore W13799593C2777686260 @default.
W13799593 hasConceptScore W13799593C33923547 @default.
W13799593 hasConceptScore W13799593C41008148 @default.
W13799593 hasConceptScore W13799593C71924100 @default.
W13799593 hasLocation W137995931 @default.
W13799593 hasOpenAccess W13799593 @default.
W13799593 hasPrimaryLocation W137995931 @default.
W13799593 hasRelatedWork W1596801655 @default.
W13799593 hasRelatedWork W1972437902 @default.
W13799593 hasRelatedWork W2358668433 @default.
W13799593 hasRelatedWork W2373011076 @default.
W13799593 hasRelatedWork W2376932109 @default.
W13799593 hasRelatedWork W2387147530 @default.
W13799593 hasRelatedWork W2390279801 @default.
W13799593 hasRelatedWork W2688602461 @default.
W13799593 hasRelatedWork W2748952813 @default.
W13799593 hasRelatedWork W2899084033 @default.
W13799593 isParatext "false" @default.
W13799593 isRetracted "false" @default.
W13799593 magId "13799593" @default.