{"entities":{"Q5188173":{"pageid":7217745,"ns":120,"title":"Item:Q5188173","lastrevid":50925737,"modified":"2026-01-15T18:59:45Z","type":"item","id":"Q5188173","labels":{"en":{"language":"en","value":"LTL model checking for security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5679728"}},"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":"Q5188173$F4BC1D01-47D8-41BC-8652-A1B0B30DA841","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1417bb9605fb1853459a499f9e80bc8cb7d5e3d","datavalue":{"value":{"text":"LTL model checking for security protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5188173$93E82498-C9ED-48CE-B096-0576E330B448","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3596f111aa9f0a28c7748fafcd502c282b145986","datavalue":{"value":"1186.68276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5188173$5696B562-AE76-4070-B281-0491C778091A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06fe841e51b87ebaac60f6ea20a2e9992ca33534","datavalue":{"value":"10.3166/JANCL.19.403-429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5188173$7A4D4930-AEBC-433C-8C20-2C441E20788C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8929b5e8fd595db2a268be7799695598b47ac8","datavalue":{"value":{"entity-type":"item","numeric-id":219435,"id":"Q219435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5188173$12897FE9-036F-416F-B937-EE37330A6DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7304a416be1a8c502f71d7ff34bcaefa1256efb","datavalue":{"value":{"entity-type":"item","numeric-id":2900174,"id":"Q2900174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5188173$55AD3C9D-5247-463C-8D03-DAE30C1F7320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4305e7b2a6e4459bc4478e72255ec07233bbecdb","datavalue":{"value":{"entity-type":"item","numeric-id":540675,"id":"Q540675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5188173$145335FE-56D4-48E2-8835-74B1D881382B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5188173$E0E79E26-0089-4AC8-BA7A-0A105511ECAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bab9c77774bae4661721487f1fc699428504882","datavalue":{"value":{"time":"+2010-03-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":"Q5188173$E40CAC35-6CCB-4508-B3DD-1F58210B8C5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5188173$EC84168F-1C37-455E-A7C6-3C708B3107E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e6f514ebf2a7c136422053507a47775f1797eac","datavalue":{"value":"5679728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5188173$9786A355-7C55-433C-97A7-206FCF87C832","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5188173$F896203A-AA96-4E70-8DF2-3FD16DAA21D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5188173$C89CB33A-ECA9-40E8-8740-5A6C79BC4E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03c2b4bc9d4eaf63b227d89f1936eb55d86a9dc9","datavalue":{"value":"SAT-based model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5188173$111389A1-AA7A-4FEC-87BF-F4132F3B7573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60e4f636bc58cddaba96cce5308390b6e19f47e7","datavalue":{"value":"multi-set rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5188173$EAB369EE-02BC-4482-A4C4-98EC838D75DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5188173$E7E95F68-2439-4BC4-8EE6-789A8583F8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a50a96ba78a8760de6ea300d25ca2f322e48889","datavalue":{"value":"abstract communication channels","type":"string"},"datatype":"string"},"type":"statement","id":"Q5188173$A582B099-447F-4A07-8281-BD856F62AA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e52a1ce8308a00e61c93b6bfd3d4056dd9b385e0","datavalue":{"value":"ASW","type":"string"},"datatype":"string"},"type":"statement","id":"Q5188173$91AA2191-B008-4419-90D1-5970E3E707F4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5188173$29EBB71A-BEC6-4A7D-8FC7-A0B36F5BE0BC","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":"Q5188173$CF61474D-ED6B-41EA-8D45-C3E58E3DBCE2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb5c4b219d3464f67abe03bacbab2bc7d5d21ca","datavalue":{"value":{"entity-type":"item","numeric-id":5188173,"id":"Q5188173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5188173$A7481B69-6BE9-455E-97CC-5CCF3458EEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5188173$12FE57B3-6250-47BF-8CA6-ED49C3CF9F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f76bc9983c48a813b5c9832d4542e98ca61be2","datavalue":{"value":{"entity-type":"item","numeric-id":2848042,"id":"Q2848042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5188173$1134750C-BC01-4890-8D9D-851C6A8D5888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc6419f32a05f369ee14fa6f7687547de9a08ab","datavalue":{"value":{"entity-type":"item","numeric-id":3128627,"id":"Q3128627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5188173$23D92BEA-A3E3-493E-BDEF-E8193FC04047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c60e66285069f25e6de7572c6642f1b28bafb4e","datavalue":{"value":{"entity-type":"item","numeric-id":1603658,"id":"Q1603658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5188173$980B9737-A45F-4AA8-8A00-70D719CD89BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b6d53b56ffcade8549f69e044247f9042fd1709","datavalue":{"value":"https://doi.org/10.3166/jancl.19.403-429","type":"string"},"datatype":"url"},"type":"statement","id":"Q5188173$ABE95E86-F1F6-4080-8301-A390723422EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3ba1062d9bcec69ca84f759be092516d51fe1dd","datavalue":{"value":"W2022738481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5188173$D8555C02-7B22-40CB-8CE8-A3B242180084","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930d2e43de7549a0e749923990abe43f7c013c78","datavalue":{"value":{"entity-type":"item","numeric-id":4934628,"id":"Q4934628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f09bdf5266eb2f337487bb6183e673ff859cd7c","datavalue":{"value":{"amount":"+0.7484564781188965","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":"Q5188173$DE1272A6-F8A1-4EC9-80BB-5A22D6A323F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a6c5b064e194d2cfda5b9786389d9cfbed9f0ca","datavalue":{"value":{"entity-type":"item","numeric-id":5506380,"id":"Q5506380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e5abb57d2c1a1932819a2552b0d77d73df6094","datavalue":{"value":{"amount":"+0.7411443591117859","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":"Q5188173$1DA7CFBC-5607-4C63-96A0-220E269000C3","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":"03af69afc0cf274ffdd463e52e3293744c3169e1","datavalue":{"value":{"amount":"+0.7291839718818665","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":"Q5188173$9AA8C568-4D3C-4F89-ADEE-1C428599042F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef53109b01710033eb214465c1fd5262e102a3f","datavalue":{"value":{"entity-type":"item","numeric-id":2848042,"id":"Q2848042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a23d22a9a39b34d0b34df84012a3c74c70786ab","datavalue":{"value":{"amount":"+0.7215366959571838","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":"Q5188173$65A0E8A3-E5F5-4E18-A70B-0FB0BC7FAA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6206fb2333e843b84a862f154bfb633db182fcda","datavalue":{"value":{"entity-type":"item","numeric-id":1853583,"id":"Q1853583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"620fb87a8233c1986b4fe12476060705df3d38df","datavalue":{"value":{"amount":"+0.7173847556114197","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":"Q5188173$004E5CA7-8B9E-4082-9A84-18835FA58820","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5188173","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5188173"}}}}}