{"entities":{"Q3067464":{"pageid":3078180,"ns":120,"title":"Item:Q3067464","lastrevid":85649309,"modified":"2026-06-03T10:41:49Z","type":"item","id":"Q3067464","labels":{"en":{"language":"en","value":"Verification of common interprocedural compiler optimizations using visibly pushdown Kleene algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5839819"}},"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":"Q3067464$92669B6F-8EA1-4109-985D-C97CCCC07782","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1288d1d14d67821761d3735331b9a6d002b56153","datavalue":{"value":{"text":"Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3067464$958063F1-86E8-43E5-B795-249FF4A6E40B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c7d9a5362c8117818e68cf4987b5f690eb9aa86","datavalue":{"value":"1308.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067464$8FAC0061-6805-434F-B06C-8581A9DF774E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c46636323345a2dcc7fb3fac72a60fb409c99fa","datavalue":{"value":"10.1007/978-3-642-17796-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067464$8893C4D7-814E-4CE1-96DF-6E394C513A24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3058f837ec338f02a3b06f7f50e72b5aa28b14d7","datavalue":{"value":{"entity-type":"item","numeric-id":3067462,"id":"Q3067462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067464$00793E0C-B651-4588-A1A5-98671A5397C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7bc93a75d641ac611d92ab0bf8857d650c93c1a","datavalue":{"value":{"entity-type":"item","numeric-id":3067463,"id":"Q3067463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067464$E3FAFFB5-9EB9-4393-90DD-1F9A8C9BFBEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61858cb81e4b5eb34d2de9199633f44c2ecae313","datavalue":{"value":{"entity-type":"item","numeric-id":2996122,"id":"Q2996122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067464$1B607DE8-95A5-4F7A-8EF7-F85A80496B89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3832aa8c4413a9f491fedd54c1d4e68094c46118","datavalue":{"value":{"time":"+2011-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3067464$65970742-2687-4A59-9003-D9DF3F253821","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067464$AF226F16-B9CA-4E05-B029-8302089F250F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067464$F8A772AA-6CDE-4D43-A7B4-F0762A04DBE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c51c085cf52560ee5dd152d6ce65f7b0e5c4df1","datavalue":{"value":"5839819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067464$C0FF96A7-0184-46DD-917A-EBE7FE74AE82","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8400ab86b306a4378eebf43133a98098c8e98ab","datavalue":{"value":{"entity-type":"item","numeric-id":46220,"id":"Q46220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067464$2DE9E563-3B21-40EC-8A42-88C04E253632","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":"Q3067464$FD3E1CC1-5807-49B5-B733-6187B2EC7E34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84a08d52b84d3d065c1d0d621df42e7874cab77a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-17796-5_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3067464$39800145-EC37-44CD-8DD1-FE63C626CDF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6efad1636d1d378ec7d39bfce291576fc7b9bb7d","datavalue":{"value":"W1487924811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3067464$5A036A08-F1D4-46F1-B507-87ECAACEE40E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067464$63B2C569-881A-4D88-B2DF-70776AADD4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85685e9695c35bbba47d1d1451a524520992dc2c","datavalue":{"value":{"entity-type":"item","numeric-id":3067464,"id":"Q3067464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067464$0B83AC02-29CC-4761-8797-09CCF090639E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e0b9c430b8c68b1224fea5795537a0925cf2378","datavalue":{"value":{"entity-type":"item","numeric-id":3651507,"id":"Q3651507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067464$AEC3E46C-E95B-4C62-BFAC-DEFD64F02365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067464$475DF005-8B45-4CF5-82CC-084FA30B6BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067464$C9103E7D-8E7A-439E-ACF9-268A558FE32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50820dcc1af6c5a368ac6f3fdc4a1d7adb9ffb30","datavalue":{"value":{"entity-type":"item","numeric-id":2767087,"id":"Q2767087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067464$E8100E18-A219-4A94-98CD-89FBEB8E19A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df66c3373ee20520c5ed216e62e84be7c2aa7441","datavalue":{"value":{"entity-type":"item","numeric-id":4460723,"id":"Q4460723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067464$2DBFFCD1-BCB7-405C-BF5F-A7BF74C51D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1ff3f699fb32cc9d2c446a339d7f9239ca62cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2723407,"id":"Q2723407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3067464$49069026-F604-4766-93B1-A29AA7B77796","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fefd4737af09ea3189486cd50e374bc8809732","datavalue":{"value":{"entity-type":"item","numeric-id":2767087,"id":"Q2767087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16db7c71e92f4d5e9a9750b83d80e4b491049671","datavalue":{"value":{"amount":"+0.8390787839889526","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":"Q3067464$A69BC128-89CB-4522-AAFC-3877B2476A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b015485d759bbc76fc25fe9ed492aebc9f255b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3651507,"id":"Q3651507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c7ace5e158a2977861cb34a0f1613074562930","datavalue":{"value":{"amount":"+0.8177839517593384","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":"Q3067464$8826B1A4-DEB7-4170-8751-61218D123D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b23862c78a7611a24576b4814adbb2c63c67740","datavalue":{"value":{"entity-type":"item","numeric-id":5421199,"id":"Q5421199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b36becc3d8343b6e55e962115b79b00b0a9a0f7","datavalue":{"value":{"amount":"+0.79994797706604","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":"Q3067464$2451DD79-1E41-4C24-AFA0-2AA9946EDD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"762befe0a893986b3b4ead4134e65a3adfdb77b4","datavalue":{"value":{"entity-type":"item","numeric-id":5899317,"id":"Q5899317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f37effe826689872098b1d9baeddc28dee30d4e8","datavalue":{"value":{"amount":"+0.7555307149887085","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":"Q3067464$87F1382B-2AD6-425C-8FC4-15A1A806355F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f96db05a8193b9bd7cee79ee07be4206fed8e55","datavalue":{"value":{"entity-type":"item","numeric-id":1346607,"id":"Q1346607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94b73b6e6c7ae13b707e6649fdc693a734d89008","datavalue":{"value":{"amount":"+0.7133561968803406","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":"Q3067464$2CACFA5B-A9E0-4D08-BD26-6AED243852FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of common interprocedural compiler optimizations using visibly pushdown Kleene algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_common_interprocedural_compiler_optimizations_using_visibly_pushdown_Kleene_algebra"}}}}}