Matches in SemOpenAlex for { <https://semopenalex.org/work/W1488589660> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W1488589660 abstract "In this paper, we compare different existing approaches employed in data mining of big proof libraries in automated and interactive theorem proving." @default.
- W1488589660 created "2016-06-24" @default.
- W1488589660 creator A5008590671 @default.
- W1488589660 creator A5026643182 @default.
- W1488589660 date "2013-03-05" @default.
- W1488589660 modified "2023-09-27" @default.
- W1488589660 title "Statistical Proof Pattern Recognition: Automated or Interactive?" @default.
- W1488589660 cites W1495610319 @default.
- W1488589660 cites W1623345509 @default.
- W1488589660 cites W1995539874 @default.
- W1488589660 cites W2097437276 @default.
- W1488589660 cites W2950385918 @default.
- W1488589660 hasPublicationYear "2013" @default.
- W1488589660 type Work @default.
- W1488589660 sameAs 1488589660 @default.
- W1488589660 citedByCount "0" @default.
- W1488589660 crossrefType "posted-content" @default.
- W1488589660 hasAuthorship W1488589660A5008590671 @default.
- W1488589660 hasAuthorship W1488589660A5026643182 @default.
- W1488589660 hasConcept C111919701 @default.
- W1488589660 hasConcept C124978682 @default.
- W1488589660 hasConcept C153180895 @default.
- W1488589660 hasConcept C154945302 @default.
- W1488589660 hasConcept C41008148 @default.
- W1488589660 hasConceptScore W1488589660C111919701 @default.
- W1488589660 hasConceptScore W1488589660C124978682 @default.
- W1488589660 hasConceptScore W1488589660C153180895 @default.
- W1488589660 hasConceptScore W1488589660C154945302 @default.
- W1488589660 hasConceptScore W1488589660C41008148 @default.
- W1488589660 hasLocation W14885896601 @default.
- W1488589660 hasOpenAccess W1488589660 @default.
- W1488589660 hasPrimaryLocation W14885896601 @default.
- W1488589660 hasRelatedWork W1508270675 @default.
- W1488589660 hasRelatedWork W190972329 @default.
- W1488589660 hasRelatedWork W2024555933 @default.
- W1488589660 hasRelatedWork W207619537 @default.
- W1488589660 hasRelatedWork W2089150881 @default.
- W1488589660 hasRelatedWork W2113189763 @default.
- W1488589660 hasRelatedWork W2155568874 @default.
- W1488589660 hasRelatedWork W2489939112 @default.
- W1488589660 hasRelatedWork W2515050393 @default.
- W1488589660 hasRelatedWork W2558479113 @default.
- W1488589660 hasRelatedWork W2790036144 @default.
- W1488589660 hasRelatedWork W2921049387 @default.
- W1488589660 hasRelatedWork W2937607577 @default.
- W1488589660 hasRelatedWork W2963426812 @default.
- W1488589660 hasRelatedWork W3023067998 @default.
- W1488589660 hasRelatedWork W3035811490 @default.
- W1488589660 hasRelatedWork W9442253 @default.
- W1488589660 hasRelatedWork W1516558836 @default.
- W1488589660 hasRelatedWork W20757419 @default.
- W1488589660 hasRelatedWork W2620803329 @default.
- W1488589660 isParatext "false" @default.
- W1488589660 isRetracted "false" @default.
- W1488589660 magId "1488589660" @default.
- W1488589660 workType "article" @default.