Matches in Wikidata for { <http://www.wikidata.org/entity/Q57850801> ?p ?o ?g. }
Showing items 1 to 39 of
39
with 100 items per page.
- Q57850801 description "wetenschappelijk artikel" @default.
- Q57850801 description "наукова стаття, опублікована у 2013" @default.
- Q57850801 name "A General Proof System for Modalities in Concurrent Constraint Programming" @default.
- Q57850801 name "A General Proof System for Modalities in Concurrent Constraint Programming" @default.
- Q57850801 type Item @default.
- Q57850801 label "A General Proof System for Modalities in Concurrent Constraint Programming" @default.
- Q57850801 label "A General Proof System for Modalities in Concurrent Constraint Programming" @default.
- Q57850801 prefLabel "A General Proof System for Modalities in Concurrent Constraint Programming" @default.
- Q57850801 prefLabel "A General Proof System for Modalities in Concurrent Constraint Programming" @default.
- Q57850801 P1104 Q57850801-A942635E-3870-482A-8239-B3C11B02D32D @default.
- Q57850801 P1433 Q57850801-2927DCB2-D115-44A0-9806-B8C85A36EB1E @default.
- Q57850801 P1476 Q57850801-31B91000-E265-4FCD-9387-65D199BD2870 @default.
- Q57850801 P2093 Q57850801-912D33D0-4A0A-4705-A049-091360CA9278 @default.
- Q57850801 P2093 Q57850801-D3999801-606E-4561-B078-60A9CE1FF179 @default.
- Q57850801 P2093 Q57850801-EB8C9AAF-148E-4979-BC26-7868D7707B6E @default.
- Q57850801 P304 Q57850801-42BBA5E5-91D4-4F73-9AD9-C9210DB898C7 @default.
- Q57850801 P31 Q57850801-DE11E65E-FF56-45C2-8FA7-2FADA86C770A @default.
- Q57850801 P356 Q57850801-ACD213CB-09C4-4337-8649-9EFA2F2FD584 @default.
- Q57850801 P407 Q57850801-FD05F2A1-8931-42CE-B02A-78B42B191522 @default.
- Q57850801 P577 Q57850801-34A36DEA-0918-4BBC-81E3-A924A9D15EFA @default.
- Q57850801 P6104 Q57850801-DD3F738F-25E2-4982-AB0E-76A1EACC06F7 @default.
- Q57850801 P894 Q57850801-646520E1-2023-4F85-BC94-13F12CD7B5D5 @default.
- Q57850801 P8978 Q57850801-29DDBC49-D851-4252-BCFB-B5EA6FFDFA0C @default.
- Q57850801 P356 978-3-642-40184-8_29 @default.
- Q57850801 P8978 NigamOP13 @default.
- Q57850801 P1104 "+15" @default.
- Q57850801 P1433 Q924044 @default.
- Q57850801 P1476 "A General Proof System for Modalities in Concurrent Constraint Programming" @default.
- Q57850801 P2093 "Carlos Olarte" @default.
- Q57850801 P2093 "Elaine Pimentel" @default.
- Q57850801 P2093 "Vivek Nigam" @default.
- Q57850801 P304 "410-424" @default.
- Q57850801 P31 Q13442814 @default.
- Q57850801 P356 "10.1007/978-3-642-40184-8_29" @default.
- Q57850801 P407 Q1860 @default.
- Q57850801 P577 "2013-01-01T00:00:00Z" @default.
- Q57850801 P6104 Q8487137 @default.
- Q57850801 P894 "1390.68485" @default.
- Q57850801 P8978 "conf/concur/NigamOP13" @default.