{"entities":{"Q3457775":{"pageid":5237175,"ns":120,"title":"Item:Q3457775","lastrevid":52417382,"modified":"2026-01-22T14:43:24Z","type":"item","id":"Q3457775","labels":{"en":{"language":"en","value":"Booster: an acceleration-based verification framework for array programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521662"}},"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":"Q3457775$EDE89C88-D17D-4EA5-BF3F-3D7766F222D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7e9b26ad7f5bce9fb76162da0c4b4c59d0057e5","datavalue":{"value":{"text":"Booster: An Acceleration-Based Verification Framework for Array Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457775$B8AB43D8-1803-4C2D-B472-B76EB6C55B2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dd8e5f6e79ef00f21035611db1b6ba3a25513865","datavalue":{"value":"1448.68284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457775$E394FF12-4050-4B45-91E3-2DA08060CFA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a1d0f33aa53b1a39fc05c0b3b713d493a735c6d","datavalue":{"value":"10.1007/978-3-319-11936-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457775$CF11C592-A05C-4F51-8F66-BBA40FEAEAB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8df320b2bf5040745ea698d888ef24486bf9092e","datavalue":{"value":{"entity-type":"item","numeric-id":287270,"id":"Q287270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457775$775DED3E-EB57-4F39-ACD3-E11F4B99F924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457775$04BD9D22-65FE-4A75-9801-3DC7DE04FC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457775$85278852-8FF0-400E-BEC7-0BA304142E17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457775$CA6FCAF1-E814-4935-97EE-92ABA0FD0729","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c8c48ef6ed00faaf912c712c5311b1d94846d86","datavalue":{"value":{"time":"+2015-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3457775$25A970E4-8832-40C9-AA61-4C4530C6F2BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457775$D09530C2-F98B-4DCF-8C0E-E7BECD90FF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457775$9B25EE0F-CD7B-47B9-88E4-B3C35EF2A78D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"006affa91fe68352348530571d55a297919d32d5","datavalue":{"value":"6521662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457775$6DB7B33F-4BE1-4B74-8250-F5F54DFDE2B6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"edcc5b773aefa12179daf9a302ebafdcfbdfdca6","datavalue":{"value":{"entity-type":"item","numeric-id":25620,"id":"Q25620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457775$88E249C6-8BEB-4963-8D55-9F3EF3C8F4C7","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":"Q3457775$4D1D7D73-05A6-4620-9657-650DF5F8C79A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cffdc6efd5fe2d59886bd9ae9a26fa60a3c2402d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11936-6_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457775$EC1B749A-959E-47C2-9925-ACE7A88C869C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"360b475dc038ce59a4fa2f41d3ae62d3eca023a4","datavalue":{"value":"W192687085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457775$A2031A67-32CD-4E9D-B13F-67A076404C6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e1918a22919a7b0c637e551ec9064efbde46352","datavalue":{"value":{"entity-type":"item","numeric-id":2964461,"id":"Q2964461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65390c37e82422214fc48116814cd06a18ba2b70","datavalue":{"value":{"amount":"+0.7704627513885498","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":"Q3457775$389E6347-56EC-49CE-9BB9-A865317370C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5563b95faa1b44f2d752ed5cbaa7a33e4344ac20","datavalue":{"value":{"entity-type":"item","numeric-id":3636859,"id":"Q3636859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d035525c866338038091059f5d67afa474967e","datavalue":{"value":{"amount":"+0.7304734587669373","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":"Q3457775$E4921253-3130-459F-8EA6-1D297C605F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1755c681f2850b9c2be50d8a3f34fae490a03b10","datavalue":{"value":{"entity-type":"item","numeric-id":479820,"id":"Q479820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b55befc8d8662eefe84bf1eb29d26e1b5adb82ba","datavalue":{"value":{"amount":"+0.7297951579093933","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":"Q3457775$6AB028AA-25DA-4D50-981A-DFC4F7616296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba84101757f901fdc7a5743110873411af78d7c","datavalue":{"value":{"entity-type":"item","numeric-id":2891439,"id":"Q2891439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969b8e1bdf4470ae7017ece3087b84a937206fa8","datavalue":{"value":{"amount":"+0.7145383358001709","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":"Q3457775$21E7C3E8-F481-416D-BDCA-5E5E8E2C5C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f9550b460f7de999a0525aec28440b36da166a0","datavalue":{"value":{"entity-type":"item","numeric-id":5233256,"id":"Q5233256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc2cccd2141293696bf2a46e9b23ec521c2e488","datavalue":{"value":{"amount":"+0.7133191823959351","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":"Q3457775$45334906-D252-45FC-9AAB-1980D35F4587","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3457775","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3457775"}}}}}