Matches in SemOpenAlex for { <https://semopenalex.org/work/W3204438756> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W3204438756 created "2021-10-11" @default.
- W3204438756 creator A5018641353 @default.
- W3204438756 creator A5053878331 @default.
- W3204438756 creator A5065220600 @default.
- W3204438756 date "2021-10-04" @default.
- W3204438756 modified "2023-10-16" @default.
- W3204438756 title "An Interactive Theorem Prover for Matching Logic with Proof Object Generation" @default.
- W3204438756 hasPublicationYear "2021" @default.
- W3204438756 type Work @default.
- W3204438756 sameAs 3204438756 @default.
- W3204438756 citedByCount "0" @default.
- W3204438756 crossrefType "journal-article" @default.
- W3204438756 hasAuthorship W3204438756A5018641353 @default.
- W3204438756 hasAuthorship W3204438756A5053878331 @default.
- W3204438756 hasAuthorship W3204438756A5065220600 @default.
- W3204438756 hasConcept C105605280 @default.
- W3204438756 hasConcept C105795698 @default.
- W3204438756 hasConcept C108710211 @default.
- W3204438756 hasConcept C11413529 @default.
- W3204438756 hasConcept C154945302 @default.
- W3204438756 hasConcept C159718280 @default.
- W3204438756 hasConcept C165064840 @default.
- W3204438756 hasConcept C199343813 @default.
- W3204438756 hasConcept C199360897 @default.
- W3204438756 hasConcept C206880738 @default.
- W3204438756 hasConcept C2524010 @default.
- W3204438756 hasConcept C2777686260 @default.
- W3204438756 hasConcept C2781238097 @default.
- W3204438756 hasConcept C33923547 @default.
- W3204438756 hasConcept C41008148 @default.
- W3204438756 hasConcept C71924100 @default.
- W3204438756 hasConcept C80444323 @default.
- W3204438756 hasConceptScore W3204438756C105605280 @default.
- W3204438756 hasConceptScore W3204438756C105795698 @default.
- W3204438756 hasConceptScore W3204438756C108710211 @default.
- W3204438756 hasConceptScore W3204438756C11413529 @default.
- W3204438756 hasConceptScore W3204438756C154945302 @default.
- W3204438756 hasConceptScore W3204438756C159718280 @default.
- W3204438756 hasConceptScore W3204438756C165064840 @default.
- W3204438756 hasConceptScore W3204438756C199343813 @default.
- W3204438756 hasConceptScore W3204438756C199360897 @default.
- W3204438756 hasConceptScore W3204438756C206880738 @default.
- W3204438756 hasConceptScore W3204438756C2524010 @default.
- W3204438756 hasConceptScore W3204438756C2777686260 @default.
- W3204438756 hasConceptScore W3204438756C2781238097 @default.
- W3204438756 hasConceptScore W3204438756C33923547 @default.
- W3204438756 hasConceptScore W3204438756C41008148 @default.
- W3204438756 hasConceptScore W3204438756C71924100 @default.
- W3204438756 hasConceptScore W3204438756C80444323 @default.
- W3204438756 hasLocation W32044387561 @default.
- W3204438756 hasOpenAccess W3204438756 @default.
- W3204438756 hasPrimaryLocation W32044387561 @default.
- W3204438756 hasRelatedWork W134091217 @default.
- W3204438756 hasRelatedWork W1556427327 @default.
- W3204438756 hasRelatedWork W1592672507 @default.
- W3204438756 hasRelatedWork W163012990 @default.
- W3204438756 hasRelatedWork W17889614 @default.
- W3204438756 hasRelatedWork W179065745 @default.
- W3204438756 hasRelatedWork W2319334257 @default.
- W3204438756 hasRelatedWork W2401255201 @default.
- W3204438756 hasRelatedWork W2914344498 @default.
- W3204438756 hasRelatedWork W3004100840 @default.
- W3204438756 hasRelatedWork W3033641443 @default.
- W3204438756 hasRelatedWork W57682047 @default.
- W3204438756 hasRelatedWork W593894321 @default.
- W3204438756 hasRelatedWork W63122532 @default.
- W3204438756 hasRelatedWork W83799930 @default.
- W3204438756 hasRelatedWork W97894006 @default.
- W3204438756 hasRelatedWork W1155595021 @default.
- W3204438756 hasRelatedWork W1542579875 @default.
- W3204438756 hasRelatedWork W2192184199 @default.
- W3204438756 hasRelatedWork W2297848989 @default.
- W3204438756 isParatext "false" @default.
- W3204438756 isRetracted "false" @default.
- W3204438756 magId "3204438756" @default.
- W3204438756 workType "article" @default.