Matches in Wikidata for { <http://www.wikidata.org/entity/Q57978235> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- Q57978235 description "im November 2005 veröffentlichter wissenschaftlicher Artikel" @default.
- Q57978235 description "wetenschappelijk artikel" @default.
- Q57978235 description "наукова стаття, опублікована в листопаді 2005" @default.
- Q57978235 name "A semantic framework for the abstract model checking of tccp programs" @default.
- Q57978235 name "A semantic framework for the abstract model checking of tccp programs" @default.
- Q57978235 type Item @default.
- Q57978235 label "A semantic framework for the abstract model checking of tccp programs" @default.
- Q57978235 label "A semantic framework for the abstract model checking of tccp programs" @default.
- Q57978235 prefLabel "A semantic framework for the abstract model checking of tccp programs" @default.
- Q57978235 prefLabel "A semantic framework for the abstract model checking of tccp programs" @default.
- Q57978235 P1433 Q57978235-55FDA984-7742-4740-B4D1-87C2D03B5D35 @default.
- Q57978235 P1476 Q57978235-AD686C42-08F4-411D-9FBC-D6BBE75A5E96 @default.
- Q57978235 P2093 Q57978235-498D9019-59E0-4669-98F1-85766216697F @default.
- Q57978235 P2093 Q57978235-4CD13D29-51E1-45C3-8559-9B3DB17BEA79 @default.
- Q57978235 P2093 Q57978235-61A9DE8F-7F3F-4F2E-AEC1-CBA309A394A8 @default.
- Q57978235 P2093 Q57978235-651F3D1B-474C-4996-9423-26283B9538C1 @default.
- Q57978235 P304 Q57978235-80397088-6466-4D56-9241-A9414AEF17C2 @default.
- Q57978235 P31 Q57978235-FC1B09FB-6B03-4023-8667-403591611DD3 @default.
- Q57978235 P356 Q57978235-31CAB88F-C582-41FC-9F04-576CECE8A7F2 @default.
- Q57978235 P433 Q57978235-5458777F-0B4A-49CD-AEA1-9C5619C4AA7A @default.
- Q57978235 P478 Q57978235-FE49D3C1-B44E-43FF-AF0E-6627A88FC9FB @default.
- Q57978235 P577 Q57978235-50E79630-E68B-4B15-9C4A-81642B853B32 @default.
- Q57978235 P6104 Q57978235-52148B96-2DA1-4A9E-A2C0-C7E6C67739E9 @default.
- Q57978235 P894 Q57978235-98E906F9-731A-4FFA-9BE0-D5A0B21EA9EA @default.
- Q57978235 P8978 Q57978235-5B7252B1-1E03-4582-A05F-71C0D8593E13 @default.
- Q57978235 P356 J.TCS.2005.08.009 @default.
- Q57978235 P8978 AlpuenteGPV05 @default.
- Q57978235 P1433 Q7782354 @default.
- Q57978235 P1476 "A semantic framework for the abstract model checking of tccp programs" @default.
- Q57978235 P2093 "Alicia Villanueva" @default.
- Q57978235 P2093 "Ernesto Pimentel" @default.
- Q57978235 P2093 "María Alpuente" @default.
- Q57978235 P2093 "María del Mar Gallardo" @default.
- Q57978235 P304 "58-95" @default.
- Q57978235 P31 Q13442814 @default.
- Q57978235 P356 "10.1016/J.TCS.2005.08.009" @default.
- Q57978235 P433 "1" @default.
- Q57978235 P478 "346" @default.
- Q57978235 P577 "2005-11-01T00:00:00Z" @default.
- Q57978235 P6104 Q8487137 @default.
- Q57978235 P894 "1087.68053" @default.
- Q57978235 P8978 "journals/tcs/AlpuenteGPV05" @default.