{"entities":{"Q3543663":{"pageid":5573567,"ns":120,"title":"Item:Q3543663","lastrevid":87341507,"modified":"2026-06-04T11:26:34Z","type":"item","id":"Q3543663","labels":{"en":{"language":"en","value":"Formalizing Soundness of Contextual Effects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5378186"}},"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":"Q3543663$A74A0BF1-EAA2-4041-93D7-5FA4AAA8D801","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3147eab561ea3ff27cb919c0bbea54ec342650c8","datavalue":{"value":{"text":"Formalizing Soundness of Contextual Effects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3543663$E54C310C-B9C6-48BF-B54B-540005E1C94C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce2bb5402a1e6f2fdef7a4d850bcd12c1d2016ba","datavalue":{"value":"1165.68470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543663$3D5FEDE8-8023-48D1-B5CB-A5A6CBB59DB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7424c8c494b0abac715cf303a633162a097a540","datavalue":{"value":"10.1007/978-3-540-71067-7_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543663$FB6A5D73-6E3A-445C-832C-22435C491EE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543663$01EF4A69-A432-4242-B866-60251EA013FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9390341f6bd0adb4a80933997da5182af87828a8","datavalue":{"value":{"time":"+2008-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3543663$CD8199DA-A9DE-4A7E-8ED0-55B3A8508711","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543663$72825957-E4C0-48A8-B874-1D888DCC66E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543663$809B322F-7076-43C2-B74D-58D03019CAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543663$E8B9AE2B-FABD-4130-83C8-7ED92DD5C767","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08ae4b39fd02ef83558f18ad3912646b3b0f11ad","datavalue":{"value":"5378186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543663$C1EC3A7C-5FBB-46C7-9AF0-E8EAA833A0FA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543663$101E96BA-3AC6-4928-90A8-841164F00DAE","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":"Q3543663$CC79204F-8857-4482-B1A6-093EAB77B872","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c129594778f7300cd1f5f3616c8a91fd702c7c0a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71067-7_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3543663$3330F24D-908E-4F7B-B37E-ACE498901233","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b987dea267de89fccaaf5fade7047550b7ff3ce9","datavalue":{"value":"W1802969127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543663$5A17A8AE-7A36-4A98-87F6-5D3E578D670C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c50237c8bde09d6668086722c62e1080ba158cf","datavalue":{"value":{"entity-type":"item","numeric-id":3189820,"id":"Q3189820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543663$6F84B52B-1DA6-461F-8C07-92290A760A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10630f5160097667960414f663a902e7cb3018df","datavalue":{"value":{"entity-type":"item","numeric-id":3087995,"id":"Q3087995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543663$3D6D0EC4-8E45-4767-863E-742C522F7FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"144a8cd1c14e42d6636851de9fc6f3a1470213e7","datavalue":{"value":{"entity-type":"item","numeric-id":3613380,"id":"Q3613380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543663$EA17E59E-B397-4213-9D4C-6C6824BD8ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a078dd0e624234f9b7dc925204085eddb103b943","datavalue":{"value":{"entity-type":"item","numeric-id":5178917,"id":"Q5178917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543663$CB4245BC-B56A-465E-833C-0F714B55B358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6fddf3fd03035d085e1b6bf6ca2601e00a90946","datavalue":{"value":{"entity-type":"item","numeric-id":3189824,"id":"Q3189824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543663$A6FB13A6-FDCE-4351-ACCD-DAD6BF27F39C","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":"Q3543663$11755A4E-0ECF-443E-B1FA-189DB2DCD4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baac0f42c9f1d9eefa8418e25f8ef5b29068bd18","datavalue":{"value":{"entity-type":"item","numeric-id":5451968,"id":"Q5451968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543663$576F0724-E9BF-4A39-8906-1D93C4C10BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b77730f27d19fff5a2af30b38837d9c3e169906","datavalue":{"value":{"entity-type":"item","numeric-id":2729060,"id":"Q2729060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543663$3FF1E788-4F3A-40AE-B8F0-9CEAF4B68C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccb5cfdd478327a0edd7de22de0cfaf0e52337c","datavalue":{"value":{"entity-type":"item","numeric-id":1327400,"id":"Q1327400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543663$49290738-CCAC-42F2-8DC4-89BA13F684B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255421bfab8c7892a86afe5fb04b3e7f89d8eca2","datavalue":{"value":{"entity-type":"item","numeric-id":3189824,"id":"Q3189824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a72f068f2c08aadc5ed50cf2f3ecf7804ac88f9a","datavalue":{"value":{"amount":"+0.7331019639968872","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":"Q3543663$353A0EA2-F1AB-492B-8B42-B9C6A8F79A39","rank":"normal"},{"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":"fb7dc6f5a68d8d471080f5de18a20f5600d010a0","datavalue":{"value":{"amount":"+0.7266075611114502","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":"Q3543663$BD689D45-A9C4-48E2-9292-4398835D987F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8874df511c9e768d41cc817f9ac9a545cdb81ea","datavalue":{"value":{"entity-type":"item","numeric-id":5327449,"id":"Q5327449"},"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":"Q3543663$3A5A21E9-1D81-4D29-A6A5-8D691B8076E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55b518aae1ad3e69b25a3f42324daa402412ed81","datavalue":{"value":{"entity-type":"item","numeric-id":5892064,"id":"Q5892064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb059eda9e5b54dbe81a840ae0f31be617926d6","datavalue":{"value":{"amount":"+0.7081113457679749","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":"Q3543663$62213188-A982-4933-8B65-93D11B267AF1","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":"de785efc7bfe390ce9d1b7a043998ad8256a2f73","datavalue":{"value":{"amount":"+0.6921622157096863","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":"Q3543663$D5A2D343-8777-4EBF-AE68-3CA284CB8514","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing Soundness of Contextual Effects","badges":[]}}}}}