Matches in Wikidata for { <http://www.wikidata.org/entity/Q56501617> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- Q56501617 description "article scientifique publié en 2010" @default.
- Q56501617 description "wetenschappelijk artikel" @default.
- Q56501617 description "наукова стаття, опублікована у 2010" @default.
- Q56501617 name "Counterpart Semantics for a Second-Order μ-Calculus" @default.
- Q56501617 name "Counterpart Semantics for a Second-Order μ-Calculus" @default.
- Q56501617 type Item @default.
- Q56501617 label "Counterpart Semantics for a Second-Order μ-Calculus" @default.
- Q56501617 label "Counterpart Semantics for a Second-Order μ-Calculus" @default.
- Q56501617 prefLabel "Counterpart Semantics for a Second-Order μ-Calculus" @default.
- Q56501617 prefLabel "Counterpart Semantics for a Second-Order μ-Calculus" @default.
- Q56501617 P1104 Q56501617-74EED25E-3D6E-4696-9EAC-B754F09B1156 @default.
- Q56501617 P1433 Q56501617-75F0771B-D58A-4BF1-8BDC-E1D1DD4B3A36 @default.
- Q56501617 P1476 Q56501617-752CE1BA-A884-415F-BFE6-759A68AA3D48 @default.
- Q56501617 P2093 Q56501617-FF37972F-FBD0-4091-9EBB-E98308C09CC5 @default.
- Q56501617 P304 Q56501617-044FA940-D34E-4F91-A407-8954AF56ED07 @default.
- Q56501617 P31 Q56501617-344DC771-0FEF-4C8C-B446-788F13CC18E7 @default.
- Q56501617 P356 Q56501617-22AAA492-6604-4C0F-9BCC-3603B423ACB5 @default.
- Q56501617 P407 Q56501617-33CE430A-D839-458E-83CD-5065ABFBE697 @default.
- Q56501617 P50 Q56501617-6D781C7B-0A7A-4F70-A3D6-8DDB3F470968 @default.
- Q56501617 P50 Q56501617-A2DCF0C0-BF58-491A-BC56-672610C733CD @default.
- Q56501617 P577 Q56501617-B960E2C6-9A1C-474F-BA27-22DF7701B851 @default.
- Q56501617 P5875 Q56501617-4E11B0F7-4043-450A-A8C2-9D0D186F033A @default.
- Q56501617 P6104 Q56501617-14D68B32-B5FA-4D3E-BD15-184B0D124916 @default.
- Q56501617 P894 Q56501617-9F6D5F07-A6D5-43E5-832D-50639653CDA0 @default.
- Q56501617 P8978 Q56501617-C4A6B855-56AA-43D9-A33A-CEA14B88D28B @default.
- Q56501617 P356 978-3-642-15928-2_19 @default.
- Q56501617 P8978 GadducciLV10 @default.
- Q56501617 P1104 "+16" @default.
- Q56501617 P1433 Q924044 @default.
- Q56501617 P1476 "Counterpart Semantics for a Second-Order μ-Calculus" @default.
- Q56501617 P2093 "Fabio Gadducci" @default.
- Q56501617 P304 "282-297" @default.
- Q56501617 P31 Q13442814 @default.
- Q56501617 P356 "10.1007/978-3-642-15928-2_19" @default.
- Q56501617 P407 Q1860 @default.
- Q56501617 P50 Q56491394 @default.
- Q56501617 P50 Q56491856 @default.
- Q56501617 P577 "2010-01-01T00:00:00Z" @default.
- Q56501617 P5875 "225802801" @default.
- Q56501617 P6104 Q8487137 @default.
- Q56501617 P894 "1306.68070" @default.
- Q56501617 P8978 "conf/gg/GadducciLV10" @default.