Matches in Wikidata for { <http://www.wikidata.org/entity/Q113318229> ?p ?o ?g. }
Showing items 1 to 33 of
33
with 100 items per page.
- Q113318229 description "article scientifique publié en 2011" @default.
- Q113318229 description "artículu científicu espublizáu n'ochobre de 2011" @default.
- Q113318229 description "scientific article published on 22 October 2011" @default.
- Q113318229 description "наукова стаття, опублікована в жовтні 2011" @default.
- Q113318229 name "Step-Indexed Kripke Model of Separation Logic for Storable Locks" @default.
- Q113318229 type Item @default.
- Q113318229 label "Step-Indexed Kripke Model of Separation Logic for Storable Locks" @default.
- Q113318229 prefLabel "Step-Indexed Kripke Model of Separation Logic for Storable Locks" @default.
- Q113318229 P1433 Q113318229-042ADE2C-3296-4D3B-9975-1F6D2F4AAA98 @default.
- Q113318229 P1476 Q113318229-19DAEF88-037E-4DAB-8385-236BDCCD9354 @default.
- Q113318229 P2093 Q113318229-8652D4C1-722D-4F15-8B98-7F6B9063C6D8 @default.
- Q113318229 P2093 Q113318229-8688000E-A397-44ED-B1A8-6C8AEB30A3B6 @default.
- Q113318229 P2093 Q113318229-87BDE767-BE4C-4896-8971-F3ED69353079 @default.
- Q113318229 P304 Q113318229-F8129F41-FC5A-4358-9E28-CCAE9343684C @default.
- Q113318229 P31 Q113318229-D9500680-559D-41BC-B1E0-3DCA194E5E66 @default.
- Q113318229 P356 Q113318229-2A3A9C93-1411-4C13-91A3-71A29DF4A028 @default.
- Q113318229 P478 Q113318229-015A0212-2153-4B1C-B1A8-669D74388113 @default.
- Q113318229 P577 Q113318229-C6EC770B-3223-4954-BD32-A810F64ACA04 @default.
- Q113318229 P6104 Q113318229-5FCA889C-5FDA-4646-821D-EA04631821DF @default.
- Q113318229 P894 Q113318229-93E7F361-C95D-477A-8580-68EF2A4B927F @default.
- Q113318229 P356 J.ENTCS.2011.09.018 @default.
- Q113318229 P1433 Q5358287 @default.
- Q113318229 P1476 "Step-Indexed Kripke Model of Separation Logic for Storable Locks" @default.
- Q113318229 P2093 "Alexandre Buisse" @default.
- Q113318229 P2093 "Kristian Støvring" @default.
- Q113318229 P2093 "Lars Birkedal" @default.
- Q113318229 P304 "121-143" @default.
- Q113318229 P31 Q13442814 @default.
- Q113318229 P356 "10.1016/J.ENTCS.2011.09.018" @default.
- Q113318229 P478 "276" @default.
- Q113318229 P577 "2011-10-22T00:00:00Z" @default.
- Q113318229 P6104 Q8487137 @default.
- Q113318229 P894 "1342.68075" @default.