Matches in SemOpenAlex for { <https://semopenalex.org/work/W2282845460> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2282845460 endingPage "232" @default.
- W2282845460 startingPage "219" @default.
- W2282845460 abstract "TIP is a toolbox for users and developers of inductive provers. It consists of a large number of tools which can, for example, simplify an inductive problem, monomorphise it or find counterexamples to it. We are using TIP to help maintain a set of benchmarks for inductive theorem provers, where its main job is to encode aspects of the problem that are not natively supported by the respective provers. TIP makes it easier to write inductive provers, by supplying necessary tools such as lemma discovery which prover authors can simply import into their own prover." @default.
- W2282845460 created "2016-06-24" @default.
- W2282845460 creator A5073889822 @default.
- W2282845460 creator A5075214611 @default.
- W2282845460 date "2015-01-01" @default.
- W2282845460 modified "2023-10-18" @default.
- W2282845460 title "TIP: Tools for Inductive Provers" @default.
- W2282845460 cites W123460044 @default.
- W2282845460 cites W1526260483 @default.
- W2282845460 cites W1553352239 @default.
- W2282845460 cites W1566741425 @default.
- W2282845460 cites W174956004 @default.
- W2282845460 cites W1831545713 @default.
- W2282845460 cites W1856554806 @default.
- W2282845460 cites W197730338 @default.
- W2282845460 cites W2043266941 @default.
- W2282845460 cites W2043416466 @default.
- W2282845460 cites W2065240466 @default.
- W2282845460 cites W2109261022 @default.
- W2282845460 cites W2234299051 @default.
- W2282845460 cites W2266187614 @default.
- W2282845460 cites W4242126179 @default.
- W2282845460 doi "https://doi.org/10.1007/978-3-662-48899-7_16" @default.
- W2282845460 hasPublicationYear "2015" @default.
- W2282845460 type Work @default.
- W2282845460 sameAs 2282845460 @default.
- W2282845460 citedByCount "6" @default.
- W2282845460 countsByYear W22828454602017 @default.
- W2282845460 countsByYear W22828454602018 @default.
- W2282845460 countsByYear W22828454602019 @default.
- W2282845460 countsByYear W22828454602021 @default.
- W2282845460 countsByYear W22828454602022 @default.
- W2282845460 crossrefType "book-chapter" @default.
- W2282845460 hasAuthorship W2282845460A5073889822 @default.
- W2282845460 hasAuthorship W2282845460A5075214611 @default.
- W2282845460 hasBestOaLocation W22828454602 @default.
- W2282845460 hasConcept C154945302 @default.
- W2282845460 hasConcept C199360897 @default.
- W2282845460 hasConcept C41008148 @default.
- W2282845460 hasConceptScore W2282845460C154945302 @default.
- W2282845460 hasConceptScore W2282845460C199360897 @default.
- W2282845460 hasConceptScore W2282845460C41008148 @default.
- W2282845460 hasLocation W22828454601 @default.
- W2282845460 hasLocation W22828454602 @default.
- W2282845460 hasOpenAccess W2282845460 @default.
- W2282845460 hasPrimaryLocation W22828454601 @default.
- W2282845460 hasRelatedWork W1527862632 @default.
- W2282845460 hasRelatedWork W1652311832 @default.
- W2282845460 hasRelatedWork W2109507516 @default.
- W2282845460 hasRelatedWork W2118300983 @default.
- W2282845460 hasRelatedWork W2135396778 @default.
- W2282845460 hasRelatedWork W2166247150 @default.
- W2282845460 hasRelatedWork W2462453872 @default.
- W2282845460 hasRelatedWork W3137189469 @default.
- W2282845460 hasRelatedWork W4235530921 @default.
- W2282845460 hasRelatedWork W4243252198 @default.
- W2282845460 isParatext "false" @default.
- W2282845460 isRetracted "false" @default.
- W2282845460 magId "2282845460" @default.
- W2282845460 workType "book-chapter" @default.