{"entities":{"Q2848036":{"pageid":2858756,"ns":120,"title":"Item:Q2848036","lastrevid":83496890,"modified":"2026-05-07T08:25:56Z","type":"item","id":"Q2848036","labels":{"en":{"language":"en","value":"Metareasoning about security protocols using distributed temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211395"}},"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":"Q2848036$5C7552A2-84A6-49DD-8400-94521B676E1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df148256098725628050b07296bdab5710de0ab7","datavalue":{"value":"1272.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848036$8D552624-7CD3-42A9-BA87-9D6E8300814A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b45d72ed2ba2486377818ff4f18636ea6d5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":549723,"id":"Q549723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848036$DE94383B-F9C5-4FCE-B9B0-43072BA7D6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6394a9b799318dddd4fd045f70a89704e53a076","datavalue":{"value":{"entity-type":"item","numeric-id":549721,"id":"Q549721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848036$9C9CAE0E-C64A-4720-ADA1-01C9DA6217FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848036$FCA9C4EF-620E-4F16-B227-716FD3E95E79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848036$1A86F9ED-0DE5-4837-99CF-A486B13D382C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a284642598b89dd609d558ca6bffecf6d1f3941f","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105000757","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848036$D6FECF62-7F4E-4143-B151-2AD91EA8C5D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848036$12E04241-D47F-451C-B652-90E4A8D763C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848036$3E3F653D-F0F0-46D8-8836-F867F18F3D1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb73ce1150bf5801000903e2fda26e1bb8e90dbd","datavalue":{"value":"6211395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848036$D36D043D-F2F6-4722-B7B9-A6602F2258AF","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":"Q2848036$FEAA3AC7-33F7-41CB-957F-A109494B580C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da78de94bc20d0c06d8e3846a56f5240d140095d","datavalue":{"value":{"text":"Metareasoning about security protocols using distributed temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848036$6178CCCF-4FBB-410A-A3CB-E3621026B7B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388b99730af7013eec7fafc809f59822d9a14e2f","datavalue":{"value":{"entity-type":"item","numeric-id":549724,"id":"Q549724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3576b58f969207cac88b2a3e3f96d060d0abf3fa","datavalue":{"value":{"amount":"+0.8759074211120605","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":"Q2848036$1619541C-7C8C-4C67-BC32-D9E7D489C008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf979eb5c2bd467ed3aa115b2219ad94a91df1d","datavalue":{"value":{"entity-type":"item","numeric-id":3378195,"id":"Q3378195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e966e6a6eccbb747c14701de5e2e9ec8be3350","datavalue":{"value":{"amount":"+0.7772141695022583","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":"Q2848036$4CFBBC7D-DB42-43BB-A88C-A081C45F8EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ebe381be4250d48f3a5bf66f2df0c3397e0151","datavalue":{"value":{"entity-type":"item","numeric-id":2866724,"id":"Q2866724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d7bd0b336a6152288ed8d462764847fb129c04","datavalue":{"value":{"amount":"+0.7729695439338684","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":"Q2848036$B16BCA69-FA8B-4982-8401-A58B808FBB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bad7543ebc63057620f3a521041a5cb76902da3","datavalue":{"value":{"entity-type":"item","numeric-id":2848069,"id":"Q2848069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e29205b695f85a994ce1f988b1aaee3f40aad4e","datavalue":{"value":{"amount":"+0.7628691792488098","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":"Q2848036$FE4C1B8B-5A1F-4990-B744-07AC21A7CA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1755c4aa7c37d25c04137607409c6626a15dff5","datavalue":{"value":{"entity-type":"item","numeric-id":4518909,"id":"Q4518909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc9ea6f87a345a6297011ae159215c58292bd97b","datavalue":{"value":{"amount":"+0.754034161567688","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":"Q2848036$853B3093-FAAC-4C48-92E2-6E78F103B6FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Metareasoning about security protocols using distributed temporal logic","badges":[]}}}}}