{"entities":{"Q3452264":{"pageid":5227925,"ns":120,"title":"Item:Q3452264","lastrevid":52391849,"modified":"2026-01-22T13:10:51Z","type":"item","id":"Q3452264","labels":{"en":{"language":"en","value":"Summarizing procedures in concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6507271"}},"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":"Q3452264$218D784F-D8D8-4467-992E-F0566C979C0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"582a1f6c31d1d2c0ced809fed16a91402388737b","datavalue":{"value":{"text":"Summarizing procedures in concurrent programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452264$DE606EF4-60FA-4BB8-9135-70B449F3ED11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54366474e5f8d176f2e1c8e2f1a3c9c0ceb7360f","datavalue":{"value":"1325.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452264$36B1AC45-F077-421C-A932-235D34B3115E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5009479e40a008012fb16537059e59dbe2a49232","datavalue":{"value":"10.1145/964001.964022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452264$8C8C7C32-BF6B-4580-9B7F-D8E900BFCC55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cc3e39d72e1956b65012dbfcf84931423e35849","datavalue":{"value":{"entity-type":"item","numeric-id":1351997,"id":"Q1351997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452264$68675065-A84F-4339-8CF3-75FAA7B7AD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61e1c15131a00734d19fb57dbeb828f0f9aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":557793,"id":"Q557793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452264$CDA22C8C-938C-4FF3-9E87-2A59A740D2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1680139912b893dbf24793a201b57f8a0fbf4194","datavalue":{"value":{"entity-type":"item","numeric-id":765512,"id":"Q765512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452264$D5FD76F1-2AE5-4361-9BEA-CDB162D87A7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0852588251a756a8ac86204eccc7b587f97246ef","datavalue":{"value":{"entity-type":"item","numeric-id":3452244,"id":"Q3452244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452264$31432CF1-4F85-4651-8593-4C0FCC6125D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c539994eb381dc1a629fdee36492e4b7f4d8928a","datavalue":{"value":{"time":"+2015-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3452264$E1BA3970-BF3B-45C3-AD22-7A4BA5D258DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452264$6A666126-A253-49EA-B3FD-55937AF0DED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452264$C77A454C-BA80-4478-93EB-FF9954BD0425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452264$E3143E27-F433-4C22-BEC4-4AFC4387E9D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fe5c64c809c37a524a32802d98fa4c918d474e8","datavalue":{"value":"6507271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452264$BB499625-34CA-41C6-B655-204A4E43F5C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452264$E5098498-7CF6-48F2-A833-9B8BEF80047E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ba16acde7d546eea637c7c661efbf8c7660236a","datavalue":{"value":"interprocedural dataflow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452264$8EE6DC83-9763-40BF-913B-F46BC87B0740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452264$7BDB21BD-7244-46FC-B063-1EC28BA3E1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ca85324a9a55e27d61502c230eea084936acc3a","datavalue":{"value":"procedure summaries","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452264$E8968EAA-898D-40A3-A278-C1A4A088F43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452264$D3A063E7-ABC6-434D-9017-B452AFBB342F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452264$F10B4642-44E7-40DA-BDA6-8B34A2B17261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"879d4fcc502e9c9491c09385dee5cb4215bfef54","datavalue":{"value":"transactions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452264$9AF9DB06-D394-4B4E-8287-C1D7674136F1","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":"Q3452264$1A7BFDB5-05ED-42FD-85B9-B827F7D95D6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1b0921588071ad2c4bc7942f23c641cc76680a8","datavalue":{"value":"https://doi.org/10.1145/964001.964022","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452264$37AA0AB1-09C7-436C-8FA7-7E036B8D0932","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"071cd6622e9021a7724117b0acfb3f224be40fad","datavalue":{"value":"W2164496154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452264$FB8B4FFF-C7AB-4DBF-958F-792B19F5BB37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288cf32e858436fc410024ed1cfdfde484c8d53d","datavalue":{"value":{"entity-type":"item","numeric-id":5756498,"id":"Q5756498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d0e0ecc71cb97bc3aa2d56b2adbb43055071c20","datavalue":{"value":{"amount":"+0.7866067886352539","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":"Q3452264$7FE9D093-10BB-44B7-8822-CF0F9FB75F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77d221ff7e43e424843138df3edab9eac0ab315","datavalue":{"value":{"entity-type":"item","numeric-id":3189841,"id":"Q3189841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f045ee4c88058c13384a563be552ebc89d2d7fc","datavalue":{"value":{"amount":"+0.7750983238220215","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":"Q3452264$CEC34F80-177B-4C56-8D27-62CC605B4ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197b94e8c8a4abb81c66412ebb65fad8a1ef627e","datavalue":{"value":{"entity-type":"item","numeric-id":5316586,"id":"Q5316586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e46adde3d86275d3626a5a6dff47c86f8c8585f6","datavalue":{"value":{"amount":"+0.7607895731925964","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":"Q3452264$4BB565BA-1500-47F0-B378-2816949A0766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6f1b6e5cd0336e7aa2e8607e5cba00c3b036e5","datavalue":{"value":{"entity-type":"item","numeric-id":3176375,"id":"Q3176375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b82817585b86bd4c5ddf13fc783d1fe174b0b1ab","datavalue":{"value":{"amount":"+0.7415772080421448","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":"Q3452264$3BD2D9F7-B6D2-4BE1-B141-7C79FAAB6F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b81ca1dd04165a28ea7481dad20ae24571d5e09","datavalue":{"value":{"entity-type":"item","numeric-id":4518888,"id":"Q4518888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e174391c597a463eb0293144e7ce827bfc512695","datavalue":{"value":{"amount":"+0.7399842739105225","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":"Q3452264$3C779E3E-161A-49ED-B4B6-82ABB463E0A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3452264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3452264"}}}}}