Matches in Wikidata for { <http://www.wikidata.org/entity/Q62652843> ?p ?o ?g. }
Showing items 1 to 34 of
34
with 100 items per page.
- Q62652843 description "article scientifique publié en 2005" @default.
- Q62652843 description "wetenschappelijk artikel" @default.
- Q62652843 description "наукова стаття, опублікована у 2005" @default.
- Q62652843 name "Proof Planning for First-Order Temporal Logic" @default.
- Q62652843 name "Proof Planning for First-Order Temporal Logic" @default.
- Q62652843 type Item @default.
- Q62652843 label "Proof Planning for First-Order Temporal Logic" @default.
- Q62652843 label "Proof Planning for First-Order Temporal Logic" @default.
- Q62652843 prefLabel "Proof Planning for First-Order Temporal Logic" @default.
- Q62652843 prefLabel "Proof Planning for First-Order Temporal Logic" @default.
- Q62652843 P1433 Q62652843-958200F3-56E4-4CC8-8C86-574E9746D36A @default.
- Q62652843 P1476 Q62652843-785C3127-14EE-4E65-8055-09E216279982 @default.
- Q62652843 P2093 Q62652843-942AC4A0-A92A-45BF-99D0-D55DCA8DD5F1 @default.
- Q62652843 P2093 Q62652843-D2F350B5-D7DA-4685-BA8E-846B856BA4D7 @default.
- Q62652843 P304 Q62652843-B20CE6C7-987E-4212-ADFC-8BF0D037AAC1 @default.
- Q62652843 P31 Q62652843-0CFAB83A-E2B9-478D-AF37-9E1C56A4A994 @default.
- Q62652843 P356 Q62652843-70677CD5-FE5C-42DD-B994-A8220DDB2A9F @default.
- Q62652843 P407 Q62652843-E67781A1-7B81-4C09-831F-6433C15B8CE5 @default.
- Q62652843 P577 Q62652843-B12DFA75-EDF9-40A7-8228-4694B46DDCEF @default.
- Q62652843 P8978 Q62652843-C932D9C9-634A-4D9A-BE0B-2385B938B7AB @default.
- Q62652843 P921 Q62652843-BED5CF0A-8A8E-4F0D-BB21-7B04DDB9DE82 @default.
- Q62652843 P356 11532231_17 @default.
- Q62652843 P8978 CastelliniS05 @default.
- Q62652843 P1433 Q924044 @default.
- Q62652843 P1476 "Proof Planning for First-Order Temporal Logic" @default.
- Q62652843 P2093 "Alan Smaill" @default.
- Q62652843 P2093 "Claudio Castellini" @default.
- Q62652843 P304 "235-249" @default.
- Q62652843 P31 Q13442814 @default.
- Q62652843 P356 "10.1007/11532231_17" @default.
- Q62652843 P407 Q1860 @default.
- Q62652843 P577 "2005-01-01T00:00:00Z" @default.
- Q62652843 P8978 "conf/cade/CastelliniS05" @default.
- Q62652843 P921 Q781833 @default.