{"entities":{"Q5327449":{"pageid":7357023,"ns":120,"title":"Item:Q5327449","lastrevid":51794453,"modified":"2026-01-20T02:00:40Z","type":"item","id":"Q5327449","labels":{"en":{"language":"en","value":"Coeffects: unified static analysis of context-dependence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196347"}},"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":"Q5327449$C55D4440-8AFE-4682-8FB3-130B1D6AAEC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cd4773306bed12d150631aa092a7ffc58b384a1","datavalue":{"value":{"text":"Coeffects: Unified Static Analysis of Context-Dependence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327449$C98010A5-047D-4294-8667-3FE586FC2BD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e40991b7c758911a3698810dc11339f1276116ae","datavalue":{"value":"1334.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327449$1A55CE8B-1E06-4281-A8A9-13886AA7335B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8f4d839e0a7ffa3172727123b7e2f89730453fd","datavalue":{"value":"10.1007/978-3-642-39212-2_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327449$84E3DF1C-0F64-4DEC-8EA1-7DA77B59AD28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"221cdc3971ae81de009265920ca3f2b120823a49","datavalue":{"value":{"entity-type":"item","numeric-id":2796212,"id":"Q2796212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327449$B3F9193E-C297-479A-8937-33928A4285DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64291cd98f197686ffec762027c05eaeba9376b0","datavalue":{"value":{"entity-type":"item","numeric-id":1001350,"id":"Q1001350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327449$3C91BDC9-6DC5-4550-A5BE-7F3604105624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd9eeea77fa294e9bccf24578b7f90fc51f99d2d","datavalue":{"value":{"entity-type":"item","numeric-id":796311,"id":"Q796311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327449$5AD2F18A-9D9B-4C9B-8AA0-70445391C2A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327449$0EB894E9-3D27-4FCD-BC1C-5569974F8C37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5327449$9AE2E6F4-61C5-4C5B-8403-69689B36C8D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b180ddcfc398d1fa0d4dd75ac409955d2a0303d7","datavalue":{"value":"https://kar.kent.ac.uk/57543/1/coeffects-icalp13.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327449$FD6AFF85-6CB0-45B2-965A-055A4978A969","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327449$3618EDBD-DAA7-4FFE-AC24-BF7E09BCA0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327449$D8F1C7C9-AA60-4EA5-8929-DC25654F7540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327449$77339F2D-E16A-4B99-B93F-B0F69D38FB4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1ef5fb24118ef0d003d352da5c6b28a93bc7c51","datavalue":{"value":"6196347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327449$FB651E53-5F26-43D7-A033-758B046EA26C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dd7504158f5bb9f587214a34c686b0a677f164ea","datavalue":{"value":"Q59505558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327449$1929BE51-0180-4C8A-8A05-20E8EDE62621","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":"Q5327449$B60740C6-5119-4DD1-88F8-DD28C4746A45","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c45547f09f80b4b38fad3305d3bae51076cff93c","datavalue":{"value":"W1830196027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327449$8083B64B-AF19-4E9C-A7BF-8EB3253044D5","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"593b91b7b63c5efeb14def91452d68647d0681f5","datavalue":{"value":"conf/icalp/PetricekOM13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327449$8F6E3EB6-6BC3-415D-A7C3-4B8CF6C34BA8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bffe2dee2aa8d7fa1b455747c60852c3806609d1","datavalue":{"value":{"entity-type":"item","numeric-id":2819671,"id":"Q2819671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d07c355f1ad40820b1a81b6a1f564f70ba797387","datavalue":{"value":{"amount":"+0.8672223687171936","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":"Q5327449$5B4A65E5-0829-4A52-BBE1-9C126196BBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a59b178589b3cb49a954f426871c415ae4f0dcd","datavalue":{"value":{"entity-type":"item","numeric-id":2985796,"id":"Q2985796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e6999cee7f00b5bbaa18b57e98ecfba899eb2c4","datavalue":{"value":{"amount":"+0.7889930009841919","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":"Q5327449$380A0FA9-8DC5-4721-9D00-64EFF63D7AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b6f096ab20c19989c32a439e840d463f9eea4f","datavalue":{"value":{"entity-type":"item","numeric-id":5410709,"id":"Q5410709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a12b8cb712518bbb44b8bb9c87064053f8fe4e3f","datavalue":{"value":{"amount":"+0.7391672730445862","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":"Q5327449$3B0EE47F-C957-45DD-AF33-F76585FC84FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58761ed76e10878f74eef39fd1018d920776c180","datavalue":{"value":{"entity-type":"item","numeric-id":2873672,"id":"Q2873672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b8ae60e8ffcab5ea9a6a611d9ae0217082d9cb","datavalue":{"value":{"amount":"+0.7252293825149536","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":"Q5327449$8C9C2E07-E40C-4F5E-9D77-FD849AE86E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f24a2f8292176b6355947a7347faf9ed4f51958","datavalue":{"value":{"entity-type":"item","numeric-id":3543663,"id":"Q3543663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8423c7f5dafacdad9265d96d25b3d2bc8c152783","datavalue":{"value":{"amount":"+0.7239509224891663","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":"Q5327449$CF00F30F-8813-442D-A5BC-A765D1923A66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5327449","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5327449"}}}}}