{"entities":{"Q5178856":{"pageid":7208428,"ns":120,"title":"Item:Q5178856","lastrevid":41636591,"modified":"2025-05-06T15:53:42Z","type":"item","id":"Q5178856","labels":{"en":{"language":"en","value":"A semantic model of types and machine instructions for proof-carrying code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416212"}},"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":"Q5178856$B3BD613E-5DA4-491B-B4B6-36BBF7B408DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be7058de2fd1ec4f36feaccf40cabad03c90ae91","datavalue":{"value":{"text":"A semantic model of types and machine instructions for proof-carrying code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178856$64975BA7-6760-436A-87E0-ED8BA281F8F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8345e4eb4bd9d929d0daa2386292481ca7c96d8","datavalue":{"value":"1323.68351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178856$00FE54A6-B434-45DB-BDBB-A2331BF954B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4af988e0e464add7bc2b9491d3fb970bef58649e","datavalue":{"value":"10.1145/325694.325727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178856$96D54D13-37E8-41D8-8767-54090215FE65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc26ae99955b17096664472ad434caf6f770734f","datavalue":{"value":{"entity-type":"item","numeric-id":1663237,"id":"Q1663237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178856$0AFCBA4A-6BDF-4F86-8782-5537C893AC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3098c31aaa054039cc5414efb85f4a6bce38102","datavalue":{"value":{"entity-type":"item","numeric-id":590551,"id":"Q590551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178856$F8399EBB-532D-4F69-90C0-9E5A371E512F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00ace0ec2df838fdad7145b8dfd170c033f275fe","datavalue":{"value":{"entity-type":"item","numeric-id":5178836,"id":"Q5178836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178856$E617B578-9CFB-4290-BE56-5485AECB5744","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19d34c79dcb21ff5f6ae9d83e7c1b224cf605fc5","datavalue":{"value":{"time":"+2015-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178856$DA8D012F-FDF5-4EDC-BBB1-D535FF9CA54B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178856$FABADD49-377C-46C3-9555-BE897678EB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178856$180C4420-82A0-4FC5-9DB7-56BED0CB4430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178856$212C3870-7FE1-400A-BF66-3E980DA30B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178856$D24EF8D8-41F4-46DD-B7F0-902FCEC0DBFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e072f48867eb2beea9208da9b3937a8557d491e","datavalue":{"value":"6416212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178856$07BB0076-6BCD-481D-B963-D0B89182E9D2","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":"Q5178856$FC27C884-DD83-4CA6-B4DF-74E5FC74B66E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"926063427208a08a21f2e1881564a7e0bdf2ad52","datavalue":{"value":"https://doi.org/10.1145/325694.325727","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178856$35376017-4896-4BBC-A0D4-DAA1C56789B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69fc4a71787940a0af18887688caae1fcdd3b127","datavalue":{"value":"W2153297607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178856$BE84DC4C-31C9-46B3-B1BC-A5E0BE37535F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5dcbb169f2c708b8e803982d4175da6fc4d4cab","datavalue":{"value":{"entity-type":"item","numeric-id":5464642,"id":"Q5464642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d6884d4fd0890b8b381c4f81fd91156b6a4c56","datavalue":{"value":{"amount":"+0.8940023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178856$EE5EB6D2-E744-4134-A929-2533262FE59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9207cc8a9d5215981c8d9bce1501b69ed721dd3a","datavalue":{"value":{"entity-type":"item","numeric-id":5703864,"id":"Q5703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a6676d1164b59925920c82edc309c41ef98dcfd","datavalue":{"value":{"amount":"+0.8910756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178856$6C674C64-3723-4142-902C-CD7B1BF073B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24695374181717ad1bed4a90e0740942008205a0","datavalue":{"value":{"entity-type":"item","numeric-id":1826465,"id":"Q1826465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f707e5f94c994cff3392437a05d8715e790d26","datavalue":{"value":{"amount":"+0.88376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178856$A82D6C5F-DB41-46E9-9F42-F1E1974128B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"134c9cda8b29d55e7eaa5af49a9e13bcafc19127","datavalue":{"value":{"entity-type":"item","numeric-id":5704014,"id":"Q5704014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8102716edaace9d4ddcabfaea16f144f6294f3","datavalue":{"value":{"amount":"+0.878744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178856$3F8F4CC6-7E15-4FCB-9D2D-AE0CEFF085FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edd4cadff8376df57883391d2745835ea9db7a71","datavalue":{"value":{"entity-type":"item","numeric-id":5178897,"id":"Q5178897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e6267c7610eea37267a95724f76ae62de819e2d","datavalue":{"value":{"amount":"+0.87750894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178856$3AE9099C-15F0-4D2F-A7D1-BAC32A106BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7adb9526da39fdca1865edc78c64195f811bfef4","datavalue":{"value":{"entity-type":"item","numeric-id":5438966,"id":"Q5438966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f61b86f4a052a2b949b68b6d9f0288f0ced82019","datavalue":{"value":{"amount":"+0.87646127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178856$F5673EF5-DE59-44BA-95B7-52273D3381BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc263c08637b696bc78907fabc836af09196bd8","datavalue":{"value":{"entity-type":"item","numeric-id":3593496,"id":"Q3593496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ebf2d1248b566673423bd40ffefdf45c0dcee20","datavalue":{"value":{"amount":"+0.87599003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178856$D71533DA-2717-46FB-B138-F7AEC56D49C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fd0887d9303d6a5b7f60dd0479ea33753b3bb35","datavalue":{"value":{"entity-type":"item","numeric-id":5408400,"id":"Q5408400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"484c2ca5ac911c652733fb1cc0f0ba7895813e50","datavalue":{"value":{"amount":"+0.87232107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5178856$B4C73F3A-DC41-4CA2-805F-F168F42CB6CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5178856","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5178856"}}}}}