{"entities":{"Q2268473":{"pageid":2279216,"ns":120,"title":"Item:Q2268473","lastrevid":71721294,"modified":"2026-04-14T00:06:49Z","type":"item","id":"Q2268473","labels":{"en":{"language":"en","value":"Invariant-based reasoning about parameterized security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5678424"}},"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":"Q2268473$04B19ACD-F32A-41CB-AFDD-51445BA79EAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47b05267bc7ad33caf9a412e90ca409362442c44","datavalue":{"value":{"text":"Invariant-based reasoning about parameterized security protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2268473$A76FD674-FFFE-4E23-9AFD-554BDD74F9F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"595cae3fc3a4ae4a6ff90307ea77998b15af7ceb","datavalue":{"value":"1183.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268473$49EFEA6A-3A70-483E-92F0-147EBBC923FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4949bfe7f241ceec9481e901cd77fa06baaaab72","datavalue":{"value":{"entity-type":"item","numeric-id":736455,"id":"Q736455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268473$48D25EAA-0502-450D-93BA-358A54E9F4B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268473$3B16A468-C305-4C28-89DF-80D90B6BAA35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5963425934a4997e71559431eabf28722466015","datavalue":{"value":{"time":"+2010-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2268473$3996EFD7-B9A2-4514-8442-A69D794608BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268473$435DA706-0777-41D7-805F-57CE2CF118ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268473$F26277D9-AADB-490D-A548-D23FB9FCBFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268473$1130E05B-949B-4D3E-9B55-9C932CDC5915","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8e00acb64397605ebee59a7fc2d3698279a025a","datavalue":{"value":"5678424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268473$564CBFD6-E9F4-411B-AADD-64DDB3DB0582","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"814e2a245b1da973063215c7c406e1ba1bd248c2","datavalue":{"value":"mathematical techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q2268473$8629ECA9-CA00-4F9A-BCF9-8DE753F9651F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f802f3e8569c8814279d27422c34b41eaa5f1e34","datavalue":{"value":"program construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2268473$1ABB0DB0-28FB-4FD2-8AFE-D298B6CE3571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2268473$FC32B25A-793A-4CC6-8E6B-8D7F620AE11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q2268473$B7E2B6DA-171B-4C26-BCB9-6B7F1D6966BE","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":"Q2268473$97450BF2-A99E-4C85-9693-A5B9B38AD2ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6c5c130521566862e02b33e57cdcd1d9ece1211","datavalue":{"value":"https://doi.org/10.1007/s00165-009-0104-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2268473$6E0E7B94-9DED-4C1A-9AC3-5014D379FA46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a46f0cf769a585168293cd018d60b55067bd174","datavalue":{"value":"W2140546312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268473$4DA023C1-B4A9-498B-9BA6-6EE81173D546","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268473$753CBD7E-3BAD-4D99-8B20-5E6964931BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea5c7bfcd7d33e8177170c842fe7d83d5fbf89c","datavalue":{"value":{"entity-type":"item","numeric-id":4206382,"id":"Q4206382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268473$B278C7AD-E2CE-453F-AFEF-68B8165E3312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a5deb64016a52dffeea04fddc0b1c93e2efc6c","datavalue":{"value":{"entity-type":"item","numeric-id":1872784,"id":"Q1872784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268473$497ECBD9-CD6E-4248-9E73-C57376684ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd4a3629eae6016c3583e61dc3a90211833fa137","datavalue":{"value":{"entity-type":"item","numeric-id":1402458,"id":"Q1402458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268473$2957A3B6-A7E0-4172-97EF-6D5339D27A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f1446921ca66af9cf74808b58adb43d57d2d0ce","datavalue":{"value":{"entity-type":"item","numeric-id":5310653,"id":"Q5310653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268473$4A137AF4-CF0C-43CA-9713-72D2A2696793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268473$7FFBFC02-DEAA-479B-BCAF-7BD69F11E9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813f3c01ce240e547a74626486147f932152fd36","datavalue":{"value":{"entity-type":"item","numeric-id":3618819,"id":"Q3618819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268473$03EBD1D6-7FA0-4077-9E7A-7B2DD2452494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bbd2233deb86f754f9e8f47c151acfc0c0148ee","datavalue":{"value":{"entity-type":"item","numeric-id":2481207,"id":"Q2481207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268473$F4F71BA7-3446-43FB-BB0D-826805B641D8","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":"Q2268473$A1CB545E-3D0F-413B-92A3-D44A946DB711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aacbf51de93374262c0fa3e0c7807f350477bc90","datavalue":{"value":{"entity-type":"item","numeric-id":4258224,"id":"Q4258224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268473$83F10BDB-B603-4AFC-A62C-832848E14A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268473$94D1EA58-B478-4F21-9313-4534AE7F8CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1271cf31e22c13f0728898206c3a15836057f233","datavalue":{"value":{"entity-type":"item","numeric-id":3510806,"id":"Q3510806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268473$0847C4D2-0BC4-480E-84D2-4AA2C513129D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3f62891c00404bd088a33ea9ab1cee6ed7db5e8c","datavalue":{"value":"Q130981637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268473$DE335432-66F7-446B-810E-BC17E09A20A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6ef7ab405be59b2db9f2eecd7e9638c65c6a9fd","datavalue":{"value":"10.1007/S00165-009-0104-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268473$00E9DB35-9FCC-4A66-8F5C-BA2059DF0E95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e732a40c53536162117d0d3d0e2e1cedf78fd94e","datavalue":{"value":{"entity-type":"item","numeric-id":2841219,"id":"Q2841219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05090651e569134a803cdfd6f2a6bad8d0dc91cb","datavalue":{"value":{"amount":"+0.7336359024047852","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":"Q2268473$AA32C6FB-EEDF-489F-90AF-621D47458E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e7ff7524e20949e66b680a4823dbeb97b707dd","datavalue":{"value":{"entity-type":"item","numeric-id":276488,"id":"Q276488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2547554fbb1023ff01e573b28c76e4bc9e855354","datavalue":{"value":{"amount":"+0.7205414175987244","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":"Q2268473$2C9BC28E-7C77-48E1-BF6C-0D857DADC49E","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":"16e350f90101a8bce011fd7971642064e2f9831c","datavalue":{"value":{"amount":"+0.7186412215232849","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":"Q2268473$5EEF686C-1DA7-4E72-BBB4-9B90C337B1A9","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":"3474f1fbe57976b563c2005ed24032cb1fd5ea4b","datavalue":{"value":{"amount":"+0.7130604386329651","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":"Q2268473$4507259F-4D7B-4339-8CE1-1A7452F9D532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b81dd5c7ad198a64fb52eeb77fffdcbb8cbae7e","datavalue":{"value":{"entity-type":"item","numeric-id":4817437,"id":"Q4817437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"076e68f4c8ae138d7eb52cf294ccffa97e240878","datavalue":{"value":{"amount":"+0.7063296437263489","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":"Q2268473$EB886239-CC2B-46FE-AB16-D773EE4BD123","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invariant-based reasoning about parameterized security protocols","badges":[]}}}}}