Matches in Wikidata for { <http://www.wikidata.org/entity/Q61593313> ?p ?o ?g. }
Showing items 1 to 38 of
38
with 100 items per page.
- Q61593313 description "article scientifique publié en 2012" @default.
- Q61593313 description "wetenschappelijk artikel" @default.
- Q61593313 description "наукова стаття, опублікована у 2012" @default.
- Q61593313 name "Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics" @default.
- Q61593313 name "Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics" @default.
- Q61593313 type Item @default.
- Q61593313 label "Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics" @default.
- Q61593313 label "Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics" @default.
- Q61593313 prefLabel "Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics" @default.
- Q61593313 prefLabel "Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics" @default.
- Q61593313 P1433 Q61593313-13C3C1EF-26E0-40F1-AAE6-AE45BC61C076 @default.
- Q61593313 P1476 Q61593313-DFC3AD20-9120-4A25-BC6A-7CF31F80211F @default.
- Q61593313 P2093 Q61593313-85D81B75-E27E-4C22-8847-B78DC9E051EE @default.
- Q61593313 P2093 Q61593313-8ED3D575-5F92-4644-A106-3787EB93EF3E @default.
- Q61593313 P2093 Q61593313-8F362E83-02F3-417D-B525-CA3851DEFFFC @default.
- Q61593313 P304 Q61593313-15A68ABE-4530-4B87-B3F4-48E378035AD9 @default.
- Q61593313 P31 Q61593313-BBF73C52-428C-41FF-A903-5B9C39AD1AE0 @default.
- Q61593313 P356 Q61593313-530FC9EF-ABCE-4D83-9671-49EE3B46F0AD @default.
- Q61593313 P407 Q61593313-25E35568-4DF8-4220-B3C5-A3A6FE344909 @default.
- Q61593313 P577 Q61593313-14754FC1-8DA3-42C0-81DA-328126ED0AEF @default.
- Q61593313 P6104 Q61593313-2B6ACCD5-075B-4546-9131-23E6FA1FA553 @default.
- Q61593313 P894 Q61593313-E26BB04B-992E-47CA-97FE-7C037C86420F @default.
- Q61593313 P8978 Q61593313-B152BAEA-E8AC-4667-9723-B0EE79515FC7 @default.
- Q61593313 P356 978-3-642-32621-9_24 @default.
- Q61593313 P8978 VolpeMC12 @default.
- Q61593313 P1433 Q924044 @default.
- Q61593313 P1476 "Classic-Like Cut-Based Tableau Systems for Finite-Valued Logics" @default.
- Q61593313 P2093 "Carlos Caleiro" @default.
- Q61593313 P2093 "João Marcos" @default.
- Q61593313 P2093 "Marco Volpe" @default.
- Q61593313 P304 "321-335" @default.
- Q61593313 P31 Q13442814 @default.
- Q61593313 P356 "10.1007/978-3-642-32621-9_24" @default.
- Q61593313 P407 Q1860 @default.
- Q61593313 P577 "2012-01-01T00:00:00Z" @default.
- Q61593313 P6104 Q8487137 @default.
- Q61593313 P894 "1362.03022" @default.
- Q61593313 P8978 "conf/wollic/VolpeMC12" @default.