{"entities":{"Q3605521":{"pageid":5635427,"ns":120,"title":"Item:Q3605521","lastrevid":80808365,"modified":"2026-05-06T17:02:49Z","type":"item","id":"Q3605521","labels":{"en":{"language":"en","value":"The Logic of Proofs as a Foundation for Certifying Mobile Computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5510284"}},"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":"Q3605521$1A2A892F-0EEB-4838-B4CD-D7384DA265C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29b8bb0d1e32a681a44b2622d06e77fdc869f1d6","datavalue":{"value":{"text":"The Logic of Proofs as a Foundation for Certifying Mobile Computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3605521$53D381F2-42D0-49CD-80A6-4C84D348050E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0cc8b86db81dcbdf222f3217ac24db6ac68bd94","datavalue":{"value":"1211.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605521$CEBAA5F0-7175-414A-9B59-E8FB3A1623DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d30223bb4dd948fcfd6160e228af0367257004ec","datavalue":{"value":"10.1007/978-3-540-92687-0_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605521$EF8E6C09-0878-4897-9102-98604A0F84B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32fec076cd784676ce6465fb8cbb84aed2bdec55","datavalue":{"value":{"entity-type":"item","numeric-id":408546,"id":"Q408546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605521$2B6D40F8-7CBC-4E04-AD0C-9F4043532CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9425d4d26b0f752c4b15c9c0f8bafff5c2d8a449","datavalue":{"value":{"entity-type":"item","numeric-id":408547,"id":"Q408547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605521$D1CF2F38-8074-4013-BA99-C5D570BC4684","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605521$E0990582-0880-4883-9CA4-BFBF07DD9EEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e18d4fd78a311e2c3bebfb4c4076a76532be8395","datavalue":{"value":{"time":"+2009-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3605521$DDDF8664-F888-4D8C-9C38-9E4C1E8BE470","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605521$CA3532C5-69EF-4A77-87E3-9C1D86F6ED38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605521$0F6AE0CB-D736-4235-AAFC-24C760D7D61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605521$47767F7C-666C-4A86-9BA9-61A633FDA795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605521$F2B082C9-F1A9-41C6-B380-56DD7AB8586B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9edb7b0d64dd90df58f490d3a8722603e22017c8","datavalue":{"value":"5510284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605521$E022373C-7092-42D7-8BAF-6058726B378B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6111489034643139b6436054b44d6250e7c1756c","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605521$23F36BB4-880D-45E3-B269-3F23B88ED7DE","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":"Q3605521$758C2B50-F9FA-4ABE-9C08-CA326F8E1035","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0037247ab1e1c0d11c81b7894563a39536b06fa","datavalue":{"value":"https://doi.org/10.1007/978-3-540-92687-0_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3605521$0391A561-45FF-427D-98C7-51949B104957","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28028772c3bd8a6be92c64aa6273ec4dbefe121e","datavalue":{"value":"W1515702224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605521$DE973D50-AD60-467D-8C5E-7924BDE07D8F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5224c86e4b6d0df0925007d11afe2b2afa54d192","datavalue":{"value":{"entity-type":"item","numeric-id":5434495,"id":"Q5434495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605521$305740AE-D068-4803-BBF0-4A712BAEAB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605521$F92D2A68-0213-4A74-AC98-CD1517400F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b55c33e3f29c6ff937578edfe680e9e1bdcd52","datavalue":{"value":{"entity-type":"item","numeric-id":408548,"id":"Q408548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605521$F92DC884-484B-4A12-9DF1-0DED1DB8D404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e91f5b51b7f25d18220469de81a31167afba300f","datavalue":{"value":{"entity-type":"item","numeric-id":4525951,"id":"Q4525951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605521$8B057B4F-B94E-406F-8DB0-86C0821BDFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605521$106F95E6-8F3E-446F-BD7C-F380E7D8EE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604686a5863b0bbdb6c64aa93b923e5212a9cf8f","datavalue":{"value":{"entity-type":"item","numeric-id":2746757,"id":"Q2746757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605521$6475D150-1F3B-4FBA-BB71-E7CB10D6F1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605521$4F7146AB-5DDB-4FC1-9DD3-454B0D5746EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106507d2ad7198eda87b14657c5af01d30112965","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605521$990D008C-D9E8-4AAB-87CA-BF4C5AE95759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f7cbdd097548afc1faabe330adaa8a87935a44","datavalue":{"value":{"entity-type":"item","numeric-id":5308700,"id":"Q5308700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605521$07A43EC8-DB53-496E-8164-E55B1BB2726B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8447ce1c70c2edee6b21562c8952399ed09dbf3","datavalue":{"value":{"entity-type":"item","numeric-id":5458795,"id":"Q5458795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605521$202B885A-BAB0-475B-932D-598AF7FEA429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cecd4cf00bc8e024448b12f96273285315a1e3f","datavalue":{"value":{"entity-type":"item","numeric-id":1583363,"id":"Q1583363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605521$C71EB70C-017A-499E-8D01-2E6093998052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a859f7e941858c199e0c28aa358d69b1b1269302","datavalue":{"value":{"entity-type":"item","numeric-id":5394569,"id":"Q5394569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605521$70F91E7C-1854-46DD-B312-1DFCC4447EB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6329edf424aee4ec283bb9b74b8e8a8270f47417","datavalue":{"value":{"entity-type":"item","numeric-id":408548,"id":"Q408548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82a216de625653a49b4f15dc6d5f925ed82f853d","datavalue":{"value":{"amount":"+0.9181079864501952","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":"Q3605521$583BF9A0-D034-4CD8-B4A5-EB15418AA781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c8c2487feef556ea5f088e9ac9186d865b31b4","datavalue":{"value":{"entity-type":"item","numeric-id":3602993,"id":"Q3602993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a311bd64720fc3c881cb37e59e6af7ab592f848","datavalue":{"value":{"amount":"+0.7834604382514954","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":"Q3605521$8CDF7D01-1B11-42B4-A13C-B182956662B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5372b48eed0f40cb4eb93ee5cb6de9c745e8c5c3","datavalue":{"value":{"entity-type":"item","numeric-id":5308700,"id":"Q5308700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75149671f1accac1b58a845a2d30b366945fe929","datavalue":{"value":{"amount":"+0.7473118901252747","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":"Q3605521$91FBED95-2008-436D-9230-ADEAF832A558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce34ef5f0152e7ef9185a106ce8ead91a9f2097f","datavalue":{"value":{"entity-type":"item","numeric-id":5900713,"id":"Q5900713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ebc46f9a01d75418bdb623fabd51b71e1b33d6","datavalue":{"value":{"amount":"+0.7399982810020447","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":"Q3605521$3857422D-2558-4496-B7FC-ADDDA2594240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eafe5e46402627853465a7c0a38487023b6e8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5898617,"id":"Q5898617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0302d2555fa53c4ad9774880d53bef6762bc9a69","datavalue":{"value":{"amount":"+0.7325972318649292","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":"Q3605521$E1304365-F55D-4F10-B438-F07065707E9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Logic of Proofs as a Foundation for Certifying Mobile Computation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Logic_of_Proofs_as_a_Foundation_for_Certifying_Mobile_Computation"}}}}}