Matches in Wikidata for { <http://www.wikidata.org/entity/Q57955192> ?p ?o ?g. }
Showing items 1 to 43 of
43
with 100 items per page.
- Q57955192 description "article published in 2014" @default.
- Q57955192 description "article scientifique publié en 2014" @default.
- Q57955192 description "wetenschappelijk artikel" @default.
- Q57955192 description "наукова стаття, опублікована у 2014" @default.
- Q57955192 name "Interactive Simplifier Tracing and Debugging in Isabelle" @default.
- Q57955192 name "Interactive Simplifier Tracing and Debugging in Isabelle" @default.
- Q57955192 type Item @default.
- Q57955192 label "Interactive Simplifier Tracing and Debugging in Isabelle" @default.
- Q57955192 label "Interactive Simplifier Tracing and Debugging in Isabelle" @default.
- Q57955192 prefLabel "Interactive Simplifier Tracing and Debugging in Isabelle" @default.
- Q57955192 prefLabel "Interactive Simplifier Tracing and Debugging in Isabelle" @default.
- Q57955192 P1104 Q57955192-063F4283-3060-4B6A-A2F8-30B78BDFC0AF @default.
- Q57955192 P1433 Q57955192-2D69D32D-044C-4BF0-9A01-D9C8A5237B80 @default.
- Q57955192 P1476 Q57955192-7CEA0634-A6AC-4D32-8ACF-1C4026486EA6 @default.
- Q57955192 P2093 Q57955192-FD27C6FE-5020-462C-AE64-ED47164D0919 @default.
- Q57955192 P2860 Q57955192-17F4A805-EEA1-4A4C-812E-4B43E68ED8CA @default.
- Q57955192 P304 Q57955192-B499EABA-5244-441B-8D7F-65CBB952AA9B @default.
- Q57955192 P31 Q57955192-BB30AE32-91D6-498E-A0C5-75E84454F343 @default.
- Q57955192 P356 Q57955192-9011310B-27D4-47CE-889D-4BE9EFF77A2C @default.
- Q57955192 P407 Q57955192-479388C3-3979-478E-B924-E1A64638575C @default.
- Q57955192 P577 Q57955192-C4470C07-2B55-4C5D-B992-64E1B4DA2385 @default.
- Q57955192 P6104 Q57955192-AB2901E5-4776-4839-8999-2BB3198C4939 @default.
- Q57955192 P724 Q57955192-17512E46-840A-4AFF-8362-111056C91254 @default.
- Q57955192 P818 Q57955192-54AF22AA-EE65-417F-9E58-82605A3308B6 @default.
- Q57955192 P894 Q57955192-3F38D64B-6A0F-4FDC-9AA9-B36D59D6D035 @default.
- Q57955192 P8978 Q57955192-48D8DF57-268B-41A4-847E-F9D46CD56ECD @default.
- Q57955192 P356 978-3-319-08434-3_24 @default.
- Q57955192 P8978 Hupel14 @default.
- Q57955192 P1104 "+16" @default.
- Q57955192 P1433 Q924044 @default.
- Q57955192 P1476 "Interactive Simplifier Tracing and Debugging in Isabelle" @default.
- Q57955192 P2093 "Lars Hupel" @default.
- Q57955192 P2860 Q57978142 @default.
- Q57955192 P304 "328-343" @default.
- Q57955192 P31 Q13442814 @default.
- Q57955192 P356 "10.1007/978-3-319-08434-3_24" @default.
- Q57955192 P407 Q1860 @default.
- Q57955192 P577 "2014-01-01T00:00:00Z" @default.
- Q57955192 P6104 Q8487137 @default.
- Q57955192 P724 "arxiv-1406.0292" @default.
- Q57955192 P818 "1406.0292" @default.
- Q57955192 P894 "1304.68156" @default.
- Q57955192 P8978 "conf/mkm/Hupel14" @default.