{"entities":{"Q3593496":{"pageid":5623401,"ns":120,"title":"Item:Q3593496","lastrevid":50132597,"modified":"2026-01-13T06:15:13Z","type":"item","id":"Q3593496","labels":{"en":{"language":"en","value":"Tutorial examples of the semantic approach to foundational proof-carrying code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5173448"}},"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":"Q3593496$391577FB-B937-489C-A377-1C75591431F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6ba406ee43195e36854f7d35257657404613d00","datavalue":{"value":"1121.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593496$CB937E66-BB2C-466A-BB91-03A5A61EF7D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db6452a8a0408f27542935d3024f201ae02ffe1a","datavalue":{"value":{"time":"+2007-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3593496$78874CA1-40F1-4468-B19E-58C6DEA706A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593496$9B90EDE0-27D5-4A7C-9AEB-EAF303F94E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593496$5DFBD0B8-547D-409B-BDAE-A25D8C5009E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593496$67875667-CC95-4F9C-9346-EFF2A1C994A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"170ed11ca26ec7a4b7b4d3768b7731b60d4e6e6f","datavalue":{"value":"5173448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3593496$11C0A739-EB34-481B-B24C-7075633D9206","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e76b6f266792e06e674671bd1f1ac37182443f65","datavalue":{"value":"Hoare-style reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3593496$09F420BB-BCE4-4965-9ABA-021C58A72434","rank":"normal"}],"P16":[{"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":"Q3593496$F1C46601-3EE7-4024-8F50-01C86268B626","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":"Q3593496$4385624C-6A29-49C2-B1EC-4B13DBE94077","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":"446af2ab036f887d4c10326be2259e6dcef4763a","datavalue":{"value":{"amount":"+0.9961360692977904","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":"Q3593496$76DB4286-1F75-4EA0-889B-2FEC91BAB582","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":"e47de1d70725341f0e6e2ec4d0e60662b2953ed0","datavalue":{"value":{"amount":"+0.9670836925506592","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":"Q3593496$A9655AAD-0420-4378-8414-B86DE982F38E","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":"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":"Q3593496$4AB531A0-4C74-4D5F-80DE-82A783D32704","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":"7797ab22e23e67f7cdb9cbbe7b7370eb35a32516","datavalue":{"value":{"amount":"+0.8623385429382324","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":"Q3593496$00B21B1D-6390-40C1-A8E2-51442AC85774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4058f62085610f87a8a0f446c6ee87fa66459336","datavalue":{"value":{"entity-type":"item","numeric-id":4418583,"id":"Q4418583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19fa7c13b4ac380981fec95cc1c89fbaa05b4aa7","datavalue":{"value":{"amount":"+0.8607128858566284","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":"Q3593496$160E1685-A477-4A49-838F-C3A5C12C91F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3593496","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3593496"}}}}}