{"entities":{"Q5327337":{"pageid":7356911,"ns":120,"title":"Item:Q5327337","lastrevid":51793850,"modified":"2026-01-20T01:54:44Z","type":"item","id":"Q5327337","labels":{"en":{"language":"en","value":"Lightweight proof by reflection using a posteriori simulation of effectful computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196157"}},"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":"Q5327337$7C0B9333-DB83-4C83-9F46-5EEB052C9BB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a254e877cde8d99f0f28a9ec20fcce8270ec615f","datavalue":{"value":{"text":"Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5327337$363B50E0-9BB4-43F3-9D3A-E717713B8777","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11edb4b2bdbc43a4bdee74911bdde1eb3cb65914","datavalue":{"value":"1317.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327337$8CB4D09E-8EAC-4938-8D93-482FB0FCC2CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3419ed0ecf1f4fd544e82db360e7942f6d51c53","datavalue":{"value":"10.1007/978-3-642-39634-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327337$6BD65CA4-13BF-4701-9674-0F026D95F11A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"082105e57010d741d671bcf9c5f73bd5b4776725","datavalue":{"value":{"entity-type":"item","numeric-id":2889801,"id":"Q2889801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327337$FD1AD113-313E-4BBA-9047-FE33089AF595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77349d7f7398c47e6d2065cd0d80588fae809ad3","datavalue":{"value":{"entity-type":"item","numeric-id":2133448,"id":"Q2133448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327337$6F8073E5-D69E-4611-8FEC-9E40DD3B9998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c91129883b1c8f62a4dd4f1c079991c736590f","datavalue":{"value":{"entity-type":"item","numeric-id":703497,"id":"Q703497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327337$9347BC48-C038-4FC3-851D-DA364F602CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03755d4aabc7831f3051426847269a4a588f5547","datavalue":{"value":{"entity-type":"item","numeric-id":777872,"id":"Q777872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327337$1AF09B33-1E54-4F49-A2D2-8C279C2EE78F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5327337$4889B601-237D-4EFF-A205-7CA378022DB4","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":"Q5327337$9A0CE351-4595-4481-8F9F-8B3F1D5B9DE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327337$F4067B4C-6C4A-4CF2-8858-8DCBCF75D9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327337$274F7BA2-3EF8-44F9-B2CB-6D5A532F0E9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"059b414418db448331d896add77564774f4fa819","datavalue":{"value":"6196157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327337$FEAA6F3C-42D3-457F-A13D-EDEE284E9FE7","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":"Q5327337$9B9CC1E3-FEB3-4017-AE53-C9391578C1A9","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":"Q5327337$4C94D56B-B2B6-4E45-BB5B-A8C292054C9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecd1b9b0148f3cf23ce7976902f77ca30aebac60","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39634-2_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5327337$96057796-4E5E-410E-9A76-A081BFC50C56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee5cf8c232696a280409db11d34bd66f29d982d9","datavalue":{"value":"W205472424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5327337$272AC3B6-2E62-4D8B-9AAC-67ACFC95301B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435c230f2e936567467c911556c7b07e730f6c8f","datavalue":{"value":{"entity-type":"item","numeric-id":2802496,"id":"Q2802496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d39de155505877ff4218684fa81001b65733310","datavalue":{"value":{"amount":"+0.7451660633087158","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":"Q5327337$ABB41923-368F-44F5-B8FF-BACE94A52109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6375d904022100cb81376160eb9f0da8c95dfdf0","datavalue":{"value":{"entity-type":"item","numeric-id":2941181,"id":"Q2941181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c097dc209b14c76f0dbf65f896ed2aeabbeab17","datavalue":{"value":{"amount":"+0.7238296866416931","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":"Q5327337$710827E1-4B33-4011-8313-AE86953EAA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bcd34bb498d5a7074a2853aad6cd506d979d0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3024916,"id":"Q3024916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"926b70cf106a17d568dc9ce0ad8a7e65074ca0ed","datavalue":{"value":{"amount":"+0.7158131003379822","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":"Q5327337$8A4B96E5-3C73-436B-8467-3EDF090C6E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a3953779ae87934461ed4b9de866e5a861420e","datavalue":{"value":{"entity-type":"item","numeric-id":5464663,"id":"Q5464663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f8d9ad08efe51f0c1deb26de9fd1319e18039a1","datavalue":{"value":{"amount":"+0.7125821709632874","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":"Q5327337$B47D475E-03D5-4991-8768-340DB7BA29E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50509fd6590150389cde6ebc3893286b99921659","datavalue":{"value":{"entity-type":"item","numeric-id":2879264,"id":"Q2879264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c4c79bc6cf86ecc91c23e34e60cad938359134f","datavalue":{"value":{"amount":"+0.702079713344574","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":"Q5327337$F9F3F1F5-EC37-4061-BC87-0A45DF55311D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5327337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5327337"}}}}}