{"entities":{"Q3656838":{"pageid":5686744,"ns":120,"title":"Item:Q3656838","lastrevid":81035792,"modified":"2026-05-06T17:34:08Z","type":"item","id":"Q3656838","labels":{"en":{"language":"en","value":"Higher-order program verification and language-based security (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5658345"}},"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":"Q3656838$3C89FC1F-372F-49CA-854E-09C222403861","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2b994808db9784c803530f280275a29636afe21","datavalue":{"value":{"text":"Higher-Order Program Verification and Language-Based Security","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3656838$22CE39FE-8875-4C3A-B789-B7FA70A016F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ed667c9c212b0c802f76deeafe591413e652b61","datavalue":{"value":"1273.68234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656838$90DC4E4D-CE88-4CE5-B39F-0C088204ECDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f14738f1f070144d78d73d8c5150eecdd3680e86","datavalue":{"value":"10.1007/978-3-642-10622-4_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656838$05D42670-2B43-4AF0-A8D4-5D4CA06706BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656838$0A6BA7FF-41C8-41D8-8E66-E2E1F94FF484","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d7eee17c9f8b073598571ed167b4471cb563b33e","datavalue":{"value":{"entity-type":"item","numeric-id":3656836,"id":"Q3656836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656838$10F9113C-6CDF-4C64-A127-994BAC36D4D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d7ae205d063227bc6a8fe4b8cec53b398b20968","datavalue":{"value":{"time":"+2010-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3656838$322E5C30-650B-41A7-B9FD-72A9BFA56BE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656838$B358FF84-20C8-463D-9006-8B4ED99023D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8cccbae58d07bdea17489803f1e51ab13fe4697","datavalue":{"value":"5658345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656838$25E18A3A-27EC-42A3-8B39-F38A607F4137","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ddbaa3b03a38f11a6bcdd2b68639f8cddb4eb536","datavalue":{"value":{"entity-type":"item","numeric-id":21861,"id":"Q21861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656838$22E5D2AE-587D-42CD-860B-6FAEFC2DEB70","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":"Q3656838$6B3407BC-017F-4998-8E96-3B2FA659EF5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76938c58f597dc573d30581e724f092cc6db74ea","datavalue":{"value":"https://doi.org/10.1007/978-3-642-10622-4_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3656838$EAEBE2CC-D1EB-4923-B474-43260AC855E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8608f8c5c5bd558dc3ee7de1b277e14ee765d6ab","datavalue":{"value":"W1522097072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656838$31D81C08-B988-49D0-86A3-D75920285D99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc12397298656cfaf1faa81a070e5facc8714997","datavalue":{"value":{"entity-type":"item","numeric-id":4778707,"id":"Q4778707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"663f319fa664b86b367298370b36a23ca3c04cea","datavalue":{"value":{"amount":"+0.7530301213264465","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":"Q3656838$B0F0132B-EEAE-40DF-9757-18DD5D0314DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa8d52c7593ff0d29df32ff6422f7fbff9926316","datavalue":{"value":{"entity-type":"item","numeric-id":2866340,"id":"Q2866340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d066f0f373894767001ac6cc244fcb2acc32fa6d","datavalue":{"value":{"amount":"+0.7420092821121216","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":"Q3656838$D099A854-70FD-405D-9BC9-8ADE0439E41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ccb1191a94d96960c35877220f461aed7f4efc","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0175aab8d4771284de7488658c44d039aeeff7a6","datavalue":{"value":{"amount":"+0.7418440580368042","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":"Q3656838$EBD6B80A-E250-4616-BA22-0701C8C77A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3630adff43ba9932bb927ccd88e3b6dd45d1f6c0","datavalue":{"value":{"entity-type":"item","numeric-id":5451968,"id":"Q5451968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47cc90440dfcdf1c1efc5ccc9f621a975f1c6121","datavalue":{"value":{"amount":"+0.7416686415672302","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":"Q3656838$1ECE4F21-29B6-4C52-9EE8-94F0EAC7835E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f34b64a349c4606601cddb539d3c1e869aecca7","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d92ff8bdfa18bff8ac2e298591f162a5988757","datavalue":{"value":{"amount":"+0.7262595891952515","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":"Q3656838$568B3461-5F8A-4DB7-B080-03F5AEBFFEFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher-order program verification and language-based security (extended abstract)","badges":[]}}}}}