{"entities":{"Q408548":{"pageid":410315,"ns":120,"title":"Item:Q408548","lastrevid":51444818,"modified":"2026-01-18T06:41:31Z","type":"item","id":"Q408548","labels":{"en":{"language":"en","value":"Justification logic as a foundation for certifying mobile computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6022775"}},"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":"Q408548$B26585E1-055A-4DBF-897B-223CC68F5027","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b2238c267c3ed162496458802a8ad05913d39db","datavalue":{"value":{"text":"Justification logic as a foundation for certifying mobile computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q408548$CFDDC9D7-CE6C-4D33-9EFB-9D3700C4F09B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f90595010964b115bd99a2adfb258b4c60f1fb9","datavalue":{"value":"1271.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408548$C58A0CF3-E7AB-42E9-9AF1-AB2A1B2120FF","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":"Q408548$FF9CF1DC-0CFF-47E3-A8AE-7CA6C3958CDA","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":"Q408548$CC953248-CDA9-41AB-BFFB-72705FDCDFCD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408548$00D4651C-A0EB-491D-8DE2-E11D70AEB724","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b23f7bc3899b33a4c3b235a941fe6fd0e7130556","datavalue":{"value":{"time":"+2012-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q408548$8B9A2620-278C-463F-8207-F087F61DFE28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408548$900B32C5-D7C4-41A9-9B86-5557F8E04AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408548$08B7C5CA-A2D3-4040-B0C7-F5D20D82254D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408548$8C6B8AE6-A0FD-4AA4-BC39-B1C861C359B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408548$97AF9E67-99E1-4BE7-B2C7-A42007B4DDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408548$96E2BFC2-B1A9-4A75-8778-3E38CB9E80BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7249152f24f4cd435965b7b05f08793e02fda69","datavalue":{"value":"6022775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408548$148EDBFC-799E-4AA0-9388-8A8AF275CD06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2740ce0a6f992e9fd590063af5415cd3e02a4a46","datavalue":{"value":"Curry-de Bruijn-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q408548$720B2DB5-1FEC-4022-B6D1-A27E0BED9C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q408548$76F653EF-5A05-410D-9CE7-8C9DDB3DA078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6281bf33000cf8b1b52fe1887f54986bc91c9f8","datavalue":{"value":"mobile computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q408548$1A48F08E-FC24-49F0-8AD7-1534006D9CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q408548$76DE31A5-8E19-405E-BD95-F9D3B28DBA73","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":"Q408548$56A18F58-FE99-478F-A2ED-AA107ABE84B6","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":"Q408548$61193217-AB67-4ECC-9579-C750ACB54461","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb8f38f825f22aae3aac1bb71354a780d1c6a720","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.09.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q408548$6BDEBBBD-9178-42E7-BD87-2863371B7641","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"903ed6f7e3845f770e829a9b34a4c893bf2d249a","datavalue":{"value":"W1974142908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408548$0EC3F66B-B6A3-4C0B-9096-2575E4F6C452","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"204b29a27f5014465bbf18a836ac1d7e769ef5a3","datavalue":{"value":{"entity-type":"item","numeric-id":1326774,"id":"Q1326774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408548$F4CBA052-F731-4ABF-9161-DED130049BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f182e8d068c4ffda3ffda36b3ed008e8979c149a","datavalue":{"value":{"entity-type":"item","numeric-id":5692429,"id":"Q5692429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408548$67B00835-AEE6-4DEC-8771-ECD80A09D957","rank":"normal"},{"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":"Q408548$1B715B1F-4B94-4BA5-8332-8E518AA165C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4187ec3ea62727137c93df33a1a765212354fa36","datavalue":{"value":{"entity-type":"item","numeric-id":3585058,"id":"Q3585058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408548$06564A0A-3EAD-4AA3-87F1-1E577C9E28D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba08a437a70cf639d99741bc364e8aa3e5f667ca","datavalue":{"value":{"entity-type":"item","numeric-id":3605521,"id":"Q3605521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408548$A0DA5309-38FF-45E3-A4F9-889297FD27F8","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":"Q408548$767668B9-67C0-4963-856C-F45E99ABF5D5","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":"Q408548$0B58F6C0-6FCD-4E3D-98A4-B76F37DC4545","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":"Q408548$5358C34C-C474-4AE6-9F37-90992CF3794C","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":"Q408548$B95C0EFC-1FCB-4F45-860E-1CF9F38A95B6","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":"Q408548$CB0FCA71-0A4E-44D8-8127-8D2632FD6DC3","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":"Q408548$0B79916B-C0B5-40BF-A76C-A171D27FC737","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":"Q408548$8CF3A190-859C-418B-A779-C1AAEB867F61","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":"Q408548$8C3B2FB8-1350-4C81-87B9-1DA75BBD331D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q408548$FF141128-DAAC-4070-9C0C-64CB3951BAF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47a1aa4fc7cf7ae2c9bb3d8dfb07aa771012479d","datavalue":{"value":"10.1016/J.APAL.2011.09.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q408548$AE959178-EB12-4808-8232-8DBC8D871794","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c61951c0c68f8f6dd6f12ac5a3d44b526ef39a8","datavalue":{"value":{"entity-type":"item","numeric-id":3605521,"id":"Q3605521"},"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":"Q408548$1A79D525-7DB3-44F4-AD20-F11DB2F49D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3669276cdd944464f4db9d1d6b46e5240e15764d","datavalue":{"value":{"entity-type":"item","numeric-id":4612429,"id":"Q4612429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e204cc4ca834b2ae948f503fb48946e06888738a","datavalue":{"value":{"amount":"+0.7887722253799438","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":"Q408548$C599127B-45A4-474E-A144-7656C58C38F0","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":"ed9331b0576aee9c16cdcf7b5818e35bdf56766f","datavalue":{"value":{"amount":"+0.7638492584228516","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":"Q408548$F1D41863-6C4A-4E1A-9FE8-48ABD75167C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fe426ac3289233ddb1f1c83610c8b4291fe80d","datavalue":{"value":{"entity-type":"item","numeric-id":276037,"id":"Q276037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e923a06c60d01f27e875c3a1ee38c1bafa5b99","datavalue":{"value":{"amount":"+0.7591288089752197","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":"Q408548$B118FC69-F45F-4462-98BF-541F5F66F1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bee7d35a4f979b2dedd12e3ca311e79a91c086c","datavalue":{"value":{"entity-type":"item","numeric-id":3585058,"id":"Q3585058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f898844a324cb16c105b10638383005ac90bcb8","datavalue":{"value":{"amount":"+0.7547441720962524","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":"Q408548$4C570E98-66A3-43D2-9C5E-F6D40AAB7004","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:408548","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:408548"}}}}}