{"entities":{"Q5458333":{"pageid":7487892,"ns":120,"title":"Item:Q5458333","lastrevid":96234767,"modified":"2026-06-05T10:45:02Z","type":"item","id":"Q5458333","labels":{"en":{"language":"en","value":"Interprocedural Analysis of Concurrent Programs Under a Context Bound"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262375"}},"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":"Q5458333$F914B3FD-64C0-4A67-9AA5-0547B4513877","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f6b1b31dc9222ec43413f2ba1b6f9ea4c81bad0","datavalue":{"value":{"text":"Interprocedural Analysis of Concurrent Programs Under a Context Bound","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458333$82F8FEE7-0E5D-473F-BA9E-40C1384C6575","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ca90eb5257676c2b390dac6a183daa49e38a8de","datavalue":{"value":"1134.68349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458333$A2A40C5B-008F-4D42-AA43-1D59E78F4F11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"606000adef16ca158d71b8311a46d59a4f633e60","datavalue":{"value":"10.1007/978-3-540-78800-3_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458333$62CDE984-7984-4912-B5D1-2A8A4F43D7F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45e6b5181b5906f6b9ceccc1a8d8587cc76491c9","datavalue":{"value":{"entity-type":"item","numeric-id":1039851,"id":"Q1039851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$BC82D02D-4FB5-4178-8291-12290A3272FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4210cde0488918f9e758e0070524bd78d3176514","datavalue":{"value":{"entity-type":"item","numeric-id":402128,"id":"Q402128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$C5B6ACC0-C60D-45ED-9071-160BA1300310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e478c57279e053f904f261d0a32174f35e5c1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3433723,"id":"Q3433723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$BB6AF359-FA41-4252-99EF-2F1E77063712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"190aeb0a4140f0f074ae1c5aadd2d8c38248c9a5","datavalue":{"value":{"entity-type":"item","numeric-id":1404294,"id":"Q1404294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$E1245DEF-28B3-4E2F-B18C-B2B08843E4C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$FD22A966-3719-4F8A-8659-A33CC653B36F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-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":"Q5458333$71B198F3-1D20-41FA-BE87-9EDA749C3024","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458333$A92C88EC-088C-4541-B16D-33B2E0478E64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f99a3fd860817da82f1d18ec573f0a8798217bc0","datavalue":{"value":"5262375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458333$ADBCC5D5-3AAF-4B48-B001-A4EE419E1EDD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b20bdd44ba5dda1408033b52815544ca46ca60dd","datavalue":{"value":{"entity-type":"item","numeric-id":26067,"id":"Q26067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$BD75A772-100E-45B8-8064-2244C18470CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$87E78DB5-6049-4BFF-BB29-4B562BA5ECC9","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":"Q5458333$4CA656E9-A697-4800-B9FB-73C4668BCC7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cafca49f62f41f4f878ee408953380f8236aa5e1","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78800-3_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458333$091EF31E-C045-46CF-BE23-808A3841C9E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5fa53a2c6ad4b7549e79fe257c0cfb69f0c3532","datavalue":{"value":"W1545371423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458333$8570173A-0997-4463-B7E9-47F0652FEA70","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$1FCD9F2D-9CAF-446F-BFE5-06EEC6E666B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d44e0d283ee4a6747f41419e53b399d833e2ad","datavalue":{"value":{"entity-type":"item","numeric-id":5897782,"id":"Q5897782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$BAC97F3F-1B7C-4D58-9BC5-5DFCBBFF9E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05714b3da002b8b1bc619de4e60891497dad85dd","datavalue":{"value":{"entity-type":"item","numeric-id":2942913,"id":"Q2942913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$EB323C77-AA4F-4A9E-AEDE-480030FF6FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c80ef7e77c39f82700d0e9a7874ae037fda395","datavalue":{"value":{"entity-type":"item","numeric-id":5429323,"id":"Q5429323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$AC74EB18-52D5-4C84-8B01-D491F22A57FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c82e9f6dc46a17a1531710a1314df285e95f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$DEB28495-DC5F-464F-8608-F86060BE605A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de77900b6ca5ecc880ae38be55173559bdc08936","datavalue":{"value":{"entity-type":"item","numeric-id":685354,"id":"Q685354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$12205156-A537-474E-8F40-57CE77B26D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bbe7a299d570facbdd631c622bdeafdcc911790","datavalue":{"value":{"entity-type":"item","numeric-id":5899068,"id":"Q5899068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$3A2D8CFB-2115-41CD-85C4-C4A8FE040AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2670feac67e5c7837b7deafe39ce20a73145aea3","datavalue":{"value":{"entity-type":"item","numeric-id":4223067,"id":"Q4223067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$26CFD1CA-EF94-4392-98C1-B43AD75B3200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$238795D1-6A4A-4AE1-B5D6-5B9E3D238A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$26313C1E-5960-4C87-A075-9FFFC1C362EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f024e5fa4de8f716298ab02999628d2f814871fb","datavalue":{"value":{"entity-type":"item","numeric-id":3189810,"id":"Q3189810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$CBE92DE4-0C3D-45CB-97E3-E3D515875E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d95a40f91d6edffe2086f7c8fd7e81f27685de8","datavalue":{"value":{"entity-type":"item","numeric-id":3612003,"id":"Q3612003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$8116489A-6383-4AA2-B72F-4FC0F6460CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728714e704897dc5089dad7a6353e4ee7c8d2097","datavalue":{"value":{"entity-type":"item","numeric-id":5458333,"id":"Q5458333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$32777058-4D24-49B6-B9AD-3E38B01655BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba0e254908fa1a9fe1b76530cfbe42551f85e9d","datavalue":{"value":{"entity-type":"item","numeric-id":3452271,"id":"Q3452271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$8C817B2B-FCC7-47C2-9550-5C4AE25DC924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$3D76B4B9-4C3B-4F34-AC00-E5ABC243292A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$63AC86F5-F7E7-4F60-B4B4-B0323B4AFAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216a174f9b94581ec80a6e29700e89650d5819b8","datavalue":{"value":{"entity-type":"item","numeric-id":5096757,"id":"Q5096757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$B1220927-C0A6-4D3A-A596-69BFF7C0B211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee0c598d6ddfbfae4ea8479557380be0e2aa296","datavalue":{"value":{"entity-type":"item","numeric-id":2568453,"id":"Q2568453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458333$B5C34AB9-0D05-4047-9184-D805E3661B46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd5631880233381d2c0969dc48027c0e2a4c4ec0","datavalue":{"value":{"entity-type":"item","numeric-id":3512480,"id":"Q3512480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff75876d87c21f40972b3cc7e2152a5151c4ba4e","datavalue":{"value":{"amount":"+0.873246431350708","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":"Q5458333$B74DA933-1D2B-4DC8-A70B-77DC15D823F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d01039bbb25d3c7b33ed2d4a2a28c713b9441e","datavalue":{"value":{"entity-type":"item","numeric-id":1039852,"id":"Q1039852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a4ccade0fc6f2b40397b27a1966dcd409f5cb1","datavalue":{"value":{"amount":"+0.8618482947349548","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":"Q5458333$59F02E59-30A7-470B-9927-6F7A258994CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3924f3e301a6ba0ae870c33ade794c1a0c842d47","datavalue":{"value":{"entity-type":"item","numeric-id":5458334,"id":"Q5458334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9897d3f390b588be38c5ea9b2f042f13e9d7902e","datavalue":{"value":{"amount":"+0.8151431083679199","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":"Q5458333$9802661B-503A-4181-8046-1A5AFF21D2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c372af39a26ac6a90db42578e5f1e6f719300f90","datavalue":{"value":{"entity-type":"item","numeric-id":3224694,"id":"Q3224694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b42ec578b0febcb35a0b115ff46de8c3fe5b2ac","datavalue":{"value":{"amount":"+0.8083376884460449","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":"Q5458333$0B419789-FF97-4C3C-90B8-3C41569C17D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01e671e823e3a6989aa37480b0c1bb47a4d7f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3617755,"id":"Q3617755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f0b218572c5dc928f848abbb251074ac710a206","datavalue":{"value":{"amount":"+0.8083372116088867","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":"Q5458333$5AD41F80-D854-4D74-B00F-F6BCD7FE8B5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interprocedural Analysis of Concurrent Programs Under a Context Bound","badges":[]}}}}}