FRINK Linked Data Fragments server

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

• W3166031293 endingPage "916" @default.
• W3166031293 startingPage "905" @default.
• W3166031293 abstract "Abstract We report on the 2019 edition of the Confluence Competition, a competition of software tools that aim to prove or disprove confluence and related (undecidable) properties of rewrite systems automatically." @default.
• W3166031293 created "2021-06-22" @default.
• W3166031293 creator A5045451143 @default.
• W3166031293 creator A5049118633 @default.
• W3166031293 creator A5066388238 @default.
• W3166031293 date "2021-05-28" @default.
• W3166031293 modified "2023-09-26" @default.
• W3166031293 title "CoCo 2019: report on the eighth confluence competition" @default.
• W3166031293 cites W134328369 @default.
• W3166031293 cites W1468454629 @default.
• W3166031293 cites W1481869731 @default.
• W3166031293 cites W1482572800 @default.
• W3166031293 cites W1508261706 @default.
• W3166031293 cites W1516143638 @default.
• W3166031293 cites W1552961498 @default.
• W3166031293 cites W1569493237 @default.
• W3166031293 cites W1586794044 @default.
• W3166031293 cites W1973506584 @default.
• W3166031293 cites W1975808446 @default.
• W3166031293 cites W1979101142 @default.
• W3166031293 cites W2003992820 @default.
• W3166031293 cites W2086727636 @default.
• W3166031293 cites W2090855107 @default.
• W3166031293 cites W2109893633 @default.
• W3166031293 cites W215183311 @default.
• W3166031293 cites W2293888213 @default.
• W3166031293 cites W2479515585 @default.
• W3166031293 cites W2491573813 @default.
• W3166031293 cites W2507006525 @default.
• W3166031293 cites W2735861624 @default.
• W3166031293 cites W2758285181 @default.
• W3166031293 cites W2799786954 @default.
• W3166031293 cites W2810893545 @default.
• W3166031293 cites W2811032655 @default.
• W3166031293 cites W2811111741 @default.
• W3166031293 cites W2811418878 @default.
• W3166031293 cites W2886482294 @default.
• W3166031293 cites W2912720389 @default.
• W3166031293 cites W2927777979 @default.
• W3166031293 cites W2927789344 @default.
• W3166031293 cites W2969538927 @default.
• W3166031293 cites W2969868654 @default.
• W3166031293 cites W2970469945 @default.
• W3166031293 cites W3021880308 @default.
• W3166031293 cites W3038093685 @default.
• W3166031293 cites W333834217 @default.
• W3166031293 cites W4230919050 @default.
• W3166031293 cites W4250846042 @default.
• W3166031293 doi "https://doi.org/10.1007/s10009-021-00620-4" @default.
• W3166031293 hasPublicationYear "2021" @default.
• W3166031293 type Work @default.
• W3166031293 sameAs 3166031293 @default.
• W3166031293 citedByCount "4" @default.
• W3166031293 countsByYear W31660312932021 @default.
• W3166031293 countsByYear W31660312932022 @default.
• W3166031293 countsByYear W31660312932023 @default.
• W3166031293 crossrefType "journal-article" @default.
• W3166031293 hasAuthorship W3166031293A5045451143 @default.
• W3166031293 hasAuthorship W3166031293A5049118633 @default.
• W3166031293 hasAuthorship W3166031293A5066388238 @default.
• W3166031293 hasBestOaLocation W31660312931 @default.
• W3166031293 hasConcept C153269930 @default.
• W3166031293 hasConcept C18903297 @default.
• W3166031293 hasConcept C192034797 @default.
• W3166031293 hasConcept C199360897 @default.
• W3166031293 hasConcept C24858836 @default.
• W3166031293 hasConcept C2777904410 @default.
• W3166031293 hasConcept C41008148 @default.
• W3166031293 hasConcept C77906462 @default.
• W3166031293 hasConcept C80444323 @default.
• W3166031293 hasConcept C86803240 @default.
• W3166031293 hasConcept C91306197 @default.
• W3166031293 hasConceptScore W3166031293C153269930 @default.
• W3166031293 hasConceptScore W3166031293C18903297 @default.
• W3166031293 hasConceptScore W3166031293C192034797 @default.
• W3166031293 hasConceptScore W3166031293C199360897 @default.
• W3166031293 hasConceptScore W3166031293C24858836 @default.
• W3166031293 hasConceptScore W3166031293C2777904410 @default.
• W3166031293 hasConceptScore W3166031293C41008148 @default.
• W3166031293 hasConceptScore W3166031293C77906462 @default.
• W3166031293 hasConceptScore W3166031293C80444323 @default.
• W3166031293 hasConceptScore W3166031293C86803240 @default.
• W3166031293 hasConceptScore W3166031293C91306197 @default.
• W3166031293 hasIssue "6" @default.
• W3166031293 hasLocation W31660312931 @default.
• W3166031293 hasLocation W31660312932 @default.
• W3166031293 hasLocation W31660312933 @default.
• W3166031293 hasOpenAccess W3166031293 @default.
• W3166031293 hasPrimaryLocation W31660312931 @default.
• W3166031293 hasRelatedWork W1485302172 @default.
• W3166031293 hasRelatedWork W1521877753 @default.
• W3166031293 hasRelatedWork W192799299 @default.
• W3166031293 hasRelatedWork W2008237330 @default.
• W3166031293 hasRelatedWork W2031433925 @default.
• W3166031293 hasRelatedWork W2047831585 @default.
• W3166031293 hasRelatedWork W2048551412 @default.
• W3166031293 hasRelatedWork W2090238248 @default.
• W3166031293 hasRelatedWork W3166031293 @default.

• next