Servois (Q42497): Difference between revisions

From MaRDI portal
Created claim: described by source (P286): Automatic generation of precise and useful commutativity conditions (Q2324210), #quickstatements; #temporary_batch_1708095571419
Swh import (talk | contribs)
SWHID from Software Heritage
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI software profile / rank
 
Normal rank
Property / source code repository
 
Property / source code repository: https://github.com/kbansal/servois / rank
 
Normal rank
Property / Software Heritage ID
 
Property / Software Heritage ID: swh:1:snp:cc206468d7ff40fa0da910af26076e4a97fbdb5c / rank
 
Normal rank
Property / Software Heritage ID: swh:1:snp:cc206468d7ff40fa0da910af26076e4a97fbdb5c / qualifier
 
Property / Software Heritage ID: swh:1:snp:cc206468d7ff40fa0da910af26076e4a97fbdb5c / qualifier
 
point in time: 10 January 2021
Timestamp+2021-01-10T00:00:00Z
Timezone+00:00
CalendarGregorian
Precision1 day
Before0
After0
links / mardi / namelinks / mardi / name
 

Latest revision as of 23:10, 21 March 2024