{"entities":{"Q2871846":{"pageid":2882566,"ns":120,"title":"Item:Q2871846","lastrevid":79529942,"modified":"2026-05-06T14:07:46Z","type":"item","id":"Q2871846","labels":{"en":{"language":"en","value":"An abstract analysis framework for synchronous concurrent languages based on source-to-source transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244375"}},"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":"Q2871846$73453AE7-FF74-4347-8B5F-716058D950CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c14db61539ebc42e958d6a0c422de508aaa6bac2","datavalue":{"value":"1278.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871846$65C09EB9-4716-4ADB-AD27-81A34518309C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e18f92bae88aab7fff02b29661d701a50cbfba8","datavalue":{"value":{"entity-type":"item","numeric-id":2871845,"id":"Q2871845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871846$7DE66EDA-A8C9-4A53-AB38-BBBE3EC11D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52f31efad8a2adf8c5d910a917f0e3e39185d913","datavalue":{"value":{"entity-type":"item","numeric-id":216148,"id":"Q216148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871846$9108828C-DEE0-4B2A-B128-DCEB6D12A67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36308e32b5a03059e4bfa8be66993d163941fc86","datavalue":{"value":{"entity-type":"item","numeric-id":2409735,"id":"Q2409735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871846$79F0E4D1-C865-45B2-BCA1-17629E7BB995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871846$06118091-E08C-4517-BD67-949C43CFE430","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c704b287c68a3d4d8361a025642d6eba13574eb","datavalue":{"value":{"time":"+2014-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871846$EDFD8184-C4CE-4195-9E07-311301199A8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3e975a430240ee62f3f75f9faf2983378a2765e","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066108001771?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871846$B01FBFEA-FAC4-421C-A253-814633D9B65E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871846$FD926A9F-C393-470B-A7B1-B95C9E1ABF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871846$7C027DA3-A69E-4936-B35E-6F7AD8B349BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5c71fdef2ecb0fd2461aa6289045d3e505deaa3","datavalue":{"value":"6244375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871846$B4FE6EDA-0DBA-402C-A011-CEA664A7466A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc062e2d311aa84366365333d09c3a4e32b41bc","datavalue":{"value":{"entity-type":"item","numeric-id":20934,"id":"Q20934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871846$FAC44CD5-2FCC-4200-ACCD-87762041825A","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":"Q2871846$BED55B43-D6DC-4C89-A2E4-DB30BBA083D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"150813816f3374ab715ee5397afd896cfda6dcf2","datavalue":{"value":{"text":"An abstract analysis framework for synchronous concurrent languages based on source-to-source transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871846$2F45E7A7-2089-4BA9-91B1-3358B376695A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a507e1f3f551dd928732af02c1d5ff05f0e4a075","datavalue":{"value":{"entity-type":"item","numeric-id":1818311,"id":"Q1818311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e7b569a6adb234081578922b9e001f391c4b4c7","datavalue":{"value":{"amount":"+0.7528685331344604","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":"Q2871846$47F99C90-018E-4768-8C79-63EB1BEC5371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbddfc3d1916d48fae1a45d011100183f6bab233","datavalue":{"value":{"entity-type":"item","numeric-id":4259957,"id":"Q4259957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a0bbad124653c205a19412ac211801b83c6ee35","datavalue":{"value":{"amount":"+0.7526969909667969","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":"Q2871846$03D0CA2E-4E41-4E59-8EE1-B591ED76712A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be80bdc1978d2b4ffa7991ea350b7af105e7f93d","datavalue":{"value":{"entity-type":"item","numeric-id":2942913,"id":"Q2942913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a049e7706885eed11a83a7439e7a93907d09e3ee","datavalue":{"value":{"amount":"+0.7491345405578613","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":"Q2871846$219F2709-7C58-4C79-BFD4-7EDB92095CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a98f3cb62653d08e582bb7765b7940dbfd93438","datavalue":{"value":{"entity-type":"item","numeric-id":4948014,"id":"Q4948014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c11b7eea1c20d3e07a57020db552348c89109dbc","datavalue":{"value":{"amount":"+0.7490735650062561","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":"Q2871846$E14814BA-A311-47E1-B75C-DD661D2373AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b50432cfdfe97c0137998d91057eb4020655fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5711514,"id":"Q5711514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c11b7eea1c20d3e07a57020db552348c89109dbc","datavalue":{"value":{"amount":"+0.7490735650062561","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":"Q2871846$745C9830-4163-410F-AB60-D65EF1A0DE60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An abstract analysis framework for synchronous concurrent languages based on source-to-source transformation","badges":[]}}}}}