{"entities":{"Q3000580":{"pageid":3011304,"ns":120,"title":"Item:Q3000580","lastrevid":51249116,"modified":"2026-01-17T10:56:03Z","type":"item","id":"Q3000580","labels":{"en":{"language":"en","value":"Dataflow analysis for datarace-free programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897343"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000580$A223DF11-B5BE-4BE5-81F3-586B0EC3A952","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4285d414cd802916a649857cd46597feec57e67","datavalue":{"value":{"text":"Dataflow Analysis for Datarace-Free Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000580$191B22CE-E0CD-44D5-93E6-E74C50148F38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad90c4c004d4f8072b5f31e19f7c130579ac5aba","datavalue":{"value":"1326.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000580$3549FA70-E883-4E0B-A8DE-04365006BF0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99e0c8ccb4008a899669565d8b72a5a1e58405bf","datavalue":{"value":"10.1007/978-3-642-19718-5_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000580$EF158571-F1B1-4950-94E4-4606A9548538","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000580$22AE9D0D-8597-4523-9177-49514C2F66A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000580$F23F1328-0367-4339-8C3C-46F67C422082","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000580$8BB3E931-02B9-414E-84DC-F4087E105965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000580$F666C414-3959-44FF-970B-8687550E14C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e87f642f7e6f8b9f27c51a6e965e9705ef15917","datavalue":{"value":"5897343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000580$31061216-E87E-45D0-9980-F525C0855FD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"268f18e8564f6b5efc42a270395a1675187b18de","datavalue":{"value":"dataflow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000580$CD3E5288-B870-4BD1-9D21-A6A5FD666E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18db0bfee331740ad744b79ef1e012d986db6b65","datavalue":{"value":"datarace-free program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000580$58F03BBF-E031-4577-BE18-891496FEC88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000580$880136C5-FBB4-4652-8D00-C67B93F28F6C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"544285ff7639d6e2f1833203ed056490a36c6e30","datavalue":{"value":{"entity-type":"item","numeric-id":21115,"id":"Q21115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000580$6CD4B11B-9C9B-44CC-9DF0-0BAE2BFE639B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000580$0B17A235-B2CF-4811-AD14-7EDA3C95C294","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"043adf448c79e1e896314fb6c5cb141b4569301e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19718-5_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000580$EE5BF074-FFA4-4C05-B2CB-E6B231584325","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a3519912e196633dedf584dd08a38255ca1b8ff","datavalue":{"value":"W1751824204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000580$AEE52F23-CAF0-4D30-B4F0-A2EF93725280","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba125ff869d6c35e7864e4766ed966a8f26fdfd5","datavalue":{"value":{"entity-type":"item","numeric-id":3000580,"id":"Q3000580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000580$3BBBD80E-A5E3-415F-B1B9-69B654C89E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55836f377d76fd6e99efba31d8e324412c7e34cd","datavalue":{"value":{"entity-type":"item","numeric-id":4930732,"id":"Q4930732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000580$EFE8AC16-12FF-404B-8AE6-8A175FF8AD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b9998a3f298b79f1a6a6c5768dfa90bb3cac3e1","datavalue":{"value":{"entity-type":"item","numeric-id":4738361,"id":"Q4738361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000580$4CBDEFF9-2B8A-4FDD-9D09-7281FDBD637F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4bcf149a82f4ecdacc08e753743e430f121760d","datavalue":{"value":{"entity-type":"item","numeric-id":4426384,"id":"Q4426384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000580$91FD0BA8-1857-4AD3-8319-5870FBD47AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f74680b7893caf6d8d36f6689f73c5b166658e","datavalue":{"value":{"entity-type":"item","numeric-id":1245693,"id":"Q1245693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000580$81920A0D-D4EB-4337-B7E5-AB915FEF6FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c67c1af8188e320ba0299a6df2df39f5b6e776e","datavalue":{"value":{"entity-type":"item","numeric-id":4068060,"id":"Q4068060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000580$2183A464-A5EB-4374-B232-D1F7E3E4D8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5517663ef781686c76cecb24340125a1b069eb1c","datavalue":{"value":{"entity-type":"item","numeric-id":4930739,"id":"Q4930739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000580$3B0D908F-9495-4C2A-ADE8-FFBD665C6173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aad708b8e4e30e35c3846234774de37622f45350","datavalue":{"value":{"entity-type":"item","numeric-id":5276162,"id":"Q5276162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000580$FD317AF9-2DD1-4087-AFF4-400C29129E5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef762977f4a2917b28ec00d9999e2245a7862553","datavalue":{"value":{"entity-type":"item","numeric-id":5233246,"id":"Q5233246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84c9d326b20477abcb51d4fd28621d34b4376d59","datavalue":{"value":{"amount":"+0.8307262063026428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000580$94C3C123-CB3B-4912-A32C-6BCB35490ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1136a9051866a8a1b5493699d2cb90d58c0cd5ad","datavalue":{"value":{"entity-type":"item","numeric-id":1399005,"id":"Q1399005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b46aec06c998eea87125887be32c5e6ef279daec","datavalue":{"value":{"amount":"+0.8120747804641724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000580$04EDDC18-9EA6-4BB9-A183-643281BF3512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50c149a5139ce48406d8619599a444ff5093027b","datavalue":{"value":{"entity-type":"item","numeric-id":1623168,"id":"Q1623168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09bc938ddb1cf45df6d922bb44d4e3dcda02e1ff","datavalue":{"value":{"amount":"+0.7814028263092041","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000580$BBE130B8-CAE5-4F7A-885F-5F18402893AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f38db799bd2f61471fbf15b183e30805a684b0d","datavalue":{"value":{"entity-type":"item","numeric-id":5883581,"id":"Q5883581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0877342f9f51ece771016fcaf530b2f63821b4c6","datavalue":{"value":{"amount":"+0.7674391269683838","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000580$10555F8F-588F-41CE-80AE-0DE2ABD032B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"505611ef02b2a722b7e9be561f37aa086880d4db","datavalue":{"value":{"entity-type":"item","numeric-id":3523163,"id":"Q3523163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bd1606bc016542b713ae0da5d040ab55da72fda","datavalue":{"value":{"amount":"+0.7652961015701294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3000580$F53A7765-B3D7-4AA6-BCEA-BA8743308F47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000580","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000580"}}}}}