{"entities":{"Q1826465":{"pageid":1837207,"ns":120,"title":"Item:Q1826465","lastrevid":48303976,"modified":"2026-01-04T07:33:34Z","type":"item","id":"Q1826465","labels":{"en":{"language":"en","value":"A syntactic approach to foundational proof-carrying code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2081538"}},"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":"Q1826465$15232D88-E29A-46E6-8EE0-5CBA8DDD74EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"208439dd6e8092cb9bcd21b48537dca7f0809bf2","datavalue":{"value":{"text":"A syntactic approach to foundational proof-carrying code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1826465$FAD67FF3-4989-40D3-9FC9-1C90442DA851","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bb5fc91a5fc2a0466e5abbef84676fd528d87b3","datavalue":{"value":"1069.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826465$0FB6DE62-21F2-4B36-84D6-CF303A50885D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d2700646178a2eef09f2a86d6769c586bb51056","datavalue":{"value":{"entity-type":"item","numeric-id":1826461,"id":"Q1826461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826465$DE37F13B-E4E2-4F74-901F-5562BB9B029C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45204622bfa7b343b3d270acbf7de72b0faad61","datavalue":{"value":{"entity-type":"item","numeric-id":835763,"id":"Q835763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826465$D2424861-2DF3-45C1-A48A-6825F38E94AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8b985082271340f912fb7d71edfa317aff8bfed","datavalue":{"value":{"entity-type":"item","numeric-id":1826462,"id":"Q1826462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826465$5E5BA975-DF26-4741-86F3-43A86A84F2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa5bdc8a2141af5d730d4053f7a88e47b1b74a08","datavalue":{"value":{"entity-type":"item","numeric-id":1826463,"id":"Q1826463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826465$29861160-4555-43E9-A737-796D405F65AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c2bae226c690398c00479b659d51ac794d76be7","datavalue":{"value":{"entity-type":"item","numeric-id":1826464,"id":"Q1826464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826465$9F4AC7A3-EBDB-45F2-BCC0-5E4BCF3EA685","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1826465$D69F9072-F467-4F50-BEE5-9545DBD8A462","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1826465$4CA42F0B-139A-4E71-BECF-D7C14A376590","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826465$8F723591-5C1B-4293-BA31-59A649CFAF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826465$C40A43BA-0312-4F4E-B84E-DCB2A56AF9F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d1fc34c8a9780f2d5ded299ca16ee0c6b4edbaf","datavalue":{"value":"2081538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826465$439981ED-1111-4ABA-B892-64C9B5A9F790","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"359831b19c24d61f08a7f72d458f1219f0d0d238","datavalue":{"value":"foundational proof-carrying code","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826465$CC8E5A7E-EEE5-4952-A332-C7347798167C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b9c52f47b7d80b03fc095aa9eba4751a228ae56","datavalue":{"value":"syntactic soundness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826465$AE9A7ABC-53FD-4664-8691-7BE1C028FC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385f5cbc8720521caa7fed622072e6c6cf9fdaa6","datavalue":{"value":"typed assembly language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1826465$7639C5FC-711C-4F90-87ED-61615AC82720","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":"Q1826465$22D023C8-12C6-4C83-A951-C964E6C90448","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":"Q1826465$A6684636-287D-4815-AE65-16540953AFF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b280f5ac11bbccc34ad1eba9761eaf9428f04dc8","datavalue":{"value":"10.1023/B:JARS.0000021012.97318.E9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1826465$9A9AF718-4369-4BE9-9F5C-958CB82E954E","rank":"normal"}],"P1643":[{"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":"2aa8ff971c4d1ebcef225e5a8d963cb911e0c4ca","datavalue":{"value":{"amount":"+0.8878553509712219","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":"Q1826465$FE05A187-43D0-40CB-B946-06C47D6CFCFE","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":"f22edc8098a102197b856351d0ee03d815306890","datavalue":{"value":{"amount":"+0.8842115998268127","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":"Q1826465$9E0B476A-E918-4994-A7EA-A58BABAA748F","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":"77dccf52bbb7d86f782e69ea42b06bd707058df1","datavalue":{"value":{"amount":"+0.8730586767196655","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":"Q1826465$D9FB7DD7-9451-45F6-A852-BA96FA1028E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0e20e561c0a94c18d17dcbff1b8e67b357e42f","datavalue":{"value":{"entity-type":"item","numeric-id":4823138,"id":"Q4823138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"970a3a0584b0f4e763412116ca7d056406e827bf","datavalue":{"value":{"amount":"+0.8595551252365112","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":"Q1826465$6A76B7C3-1D01-49B9-8311-3ECED69892BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07dcaec69054130be72a53d68cd034f76a83ca2f","datavalue":{"value":{"entity-type":"item","numeric-id":4809042,"id":"Q4809042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146481ae94e841c087c6b57632fb4b1e2cda5333","datavalue":{"value":{"amount":"+0.8529412150382996","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":"Q1826465$14301DC6-D078-4BB1-8839-D9005D081B35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1826465","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1826465"}}}}}