Matches in Wikidata for { <http://www.wikidata.org/entity/Q61583756> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- Q61583756 description "article scientifique publié en 2011" @default.
- Q61583756 description "wetenschappelijk artikel" @default.
- Q61583756 description "наукова стаття, опублікована у 2011" @default.
- Q61583756 name "A Categorical Semantics for Inductive-Inductive Definitions" @default.
- Q61583756 name "A Categorical Semantics for Inductive-Inductive Definitions" @default.
- Q61583756 type Item @default.
- Q61583756 label "A Categorical Semantics for Inductive-Inductive Definitions" @default.
- Q61583756 label "A Categorical Semantics for Inductive-Inductive Definitions" @default.
- Q61583756 prefLabel "A Categorical Semantics for Inductive-Inductive Definitions" @default.
- Q61583756 prefLabel "A Categorical Semantics for Inductive-Inductive Definitions" @default.
- Q61583756 P1104 Q61583756-A2082224-1A19-445E-BD0E-0D536753D0E9 @default.
- Q61583756 P1433 Q61583756-55B32BC8-56FE-452F-9924-DDCFB5FFCA5D @default.
- Q61583756 P1476 Q61583756-5173EF17-D084-48C3-9988-C5AED64CD92E @default.
- Q61583756 P2093 Q61583756-A31B171B-7338-4EF1-97F7-3D3D89E94819 @default.
- Q61583756 P2093 Q61583756-C69C6894-3C52-46EA-BDD4-D1353DD6B33B @default.
- Q61583756 P2093 Q61583756-D24CA291-AF5C-4E0F-BC20-EE1ED0A2CF4A @default.
- Q61583756 P2093 Q61583756-D6AEFDFD-FC3E-475A-87BF-2835FD6DA4A4 @default.
- Q61583756 P304 Q61583756-08910781-E018-4C03-95BE-861556DB8724 @default.
- Q61583756 P31 Q61583756-6FFAC928-FE78-4FEF-A91D-1FC741181A5A @default.
- Q61583756 P356 Q61583756-46562992-00B8-48E0-B82F-2C47D94983E7 @default.
- Q61583756 P407 Q61583756-458C28CC-7BE5-410A-8DC8-96F790297CA9 @default.
- Q61583756 P577 Q61583756-4AF3FBFD-9568-424F-8E69-B6A4F17B54BA @default.
- Q61583756 P6104 Q61583756-190B3E83-5626-48AE-93F6-0C62A0877E72 @default.
- Q61583756 P894 Q61583756-76977DC2-6A9F-40C5-A1F8-CA6119833010 @default.
- Q61583756 P8978 Q61583756-B86AE60D-01BE-4583-BD5D-C50C7784FFDE @default.
- Q61583756 P356 978-3-642-22944-2_6 @default.
- Q61583756 P8978 AltenkirchMFS11 @default.
- Q61583756 P1104 "+15" @default.
- Q61583756 P1433 Q924044 @default.
- Q61583756 P1476 "A Categorical Semantics for Inductive-Inductive Definitions" @default.
- Q61583756 P2093 "Anton Setzer" @default.
- Q61583756 P2093 "Fredrik Nordvall Forsberg" @default.
- Q61583756 P2093 "Peter Morris" @default.
- Q61583756 P2093 "Thorsten Altenkirch" @default.
- Q61583756 P304 "70-84" @default.
- Q61583756 P31 Q13442814 @default.
- Q61583756 P356 "10.1007/978-3-642-22944-2_6" @default.
- Q61583756 P407 Q1860 @default.
- Q61583756 P577 "2011-01-01T00:00:00Z" @default.
- Q61583756 P6104 Q8487137 @default.
- Q61583756 P894 "1344.68143" @default.
- Q61583756 P8978 "conf/calco/AltenkirchMFS11" @default.