{"entities":{"Q6485963":{"pageid":14064621,"ns":120,"title":"Item:Q6485963","lastrevid":103424522,"modified":"2026-06-06T07:20:38Z","type":"item","id":"Q6485963","labels":{"en":{"language":"en","value":"Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7636327"}},"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":"Q6485963$FD5054CE-4488-4429-A775-DF38906B550D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8dd6000243edd65d750f36b73d262e680cb3bae","datavalue":{"value":{"text":"Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6485963$8CA9EE50-9EA4-42B8-8396-86A4BC211015","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be1336599e826d54906b2a3867e6269ce8e31cac","datavalue":{"value":"10.1007/978-3-030-59013-0_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485963$DF33CD63-B15D-4B3A-B0DF-D0A89F372410","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d70519ef78cb58e04ec872af558109333716e152","datavalue":{"value":{"entity-type":"item","numeric-id":391119,"id":"Q391119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485963$58610DDA-6B32-4A4E-A80D-9BBC18C759A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008edee8fc18ab1cd9ad59e3974fb7e15a23ac24","datavalue":{"value":{"entity-type":"item","numeric-id":391120,"id":"Q391120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485963$0A4798E1-FEBB-48B4-984E-7DC51062C1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80048a52914dcabeca08def1a1a28a681f268248","datavalue":{"value":{"entity-type":"item","numeric-id":896920,"id":"Q896920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485963$3BD22834-4B41-4B4D-A156-4885FB8F4E58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fef09d43bc68efe5d528bc71207c77e9e28c8a38","datavalue":{"value":{"entity-type":"item","numeric-id":6485962,"id":"Q6485962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6485963$27A0E99A-C18A-44AA-B22B-23C41D2EDE41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d72aad3ff4fb8b75fb496fbab59efd49871a44f","datavalue":{"value":{"time":"+2022-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6485963$AD9FD234-72E6-49F1-BBF5-E778FBD4158C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485963$5AEDD5A5-D50E-408D-93EE-DC481D1CD258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485963$B07B0AA3-F103-4340-A101-A4AEBF2E1797","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"366e522e8bd2ab0fc2f9a7553efb7d4639499e6b","datavalue":{"value":"7636327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6485963$732F03A0-3E00-437B-A77A-D858E1E16A5F","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":"Q6485963$494F0B5D-2F88-4B1A-9E51-5C1B6D903300","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"090e1b3e6f7060777110147f1394d6f6af5ede53","datavalue":{"value":{"entity-type":"item","numeric-id":2305427,"id":"Q2305427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9064a44d881b1cf6244a0e654a92114373ae2b01","datavalue":{"value":{"amount":"+0.8551109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6485963$972907A5-E645-47C0-AC88-A25A1DD70E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af10c3f3d620ad1acb5fcfefe12321c50d8ffb4f","datavalue":{"value":{"entity-type":"item","numeric-id":5253587,"id":"Q5253587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fe9724e839d964e133b5166ee807bdfda347a78","datavalue":{"value":{"amount":"+0.84872293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6485963$0EC05999-E1EF-44C5-BA6A-EA80B2931540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e23925897fc5eb5e368b5103bf38f3ebd06bd4e","datavalue":{"value":{"entity-type":"item","numeric-id":5316562,"id":"Q5316562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9421ab85de96019b613a0c72b5c7f66c603ab1d7","datavalue":{"value":{"amount":"+0.8342073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6485963$9DC200F2-B7EB-43A6-A7F4-DBACE4A2DEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9970926fb663e97cfa6d9724fe0af1a4b64d0fda","datavalue":{"value":{"entity-type":"item","numeric-id":3044257,"id":"Q3044257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"904b428528ab4e9d068cb865d37d9f3d2b8f3980","datavalue":{"value":{"amount":"+0.83307123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6485963$7EE421E7-A26F-4DE3-AAA6-DBF64E1CC256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d0d9c8c75cc0dd87f540d9305c74e9994ecfa5b","datavalue":{"value":{"entity-type":"item","numeric-id":5701513,"id":"Q5701513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d0c7b3457b91a18608444e550084ac672c24063","datavalue":{"value":{"amount":"+0.83244896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6485963$815686F4-2D84-4F48-ADB2-32DC12C7C53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c26126e33f0e5b2ae6522ad3d736c39146fb1c2","datavalue":{"value":{"entity-type":"item","numeric-id":2354917,"id":"Q2354917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ac916465866fcb176fa1c06feeac3547e7f719","datavalue":{"value":{"amount":"+0.83203274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6485963$425776E7-126B-4577-99D0-91536609ADB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1c7540b0cf7961f8f078b1e9c2d46ad11c1471","datavalue":{"value":{"entity-type":"item","numeric-id":5326754,"id":"Q5326754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f3b059821aa96e3b7ef3bdd7edc3bb98a748294","datavalue":{"value":{"amount":"+0.82869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6485963$A80C07A2-D217-4E0C-B62E-BF473F567F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0134b670b9d4234b3ea19ce6d3e8f0c0cf3ab426","datavalue":{"value":{"entity-type":"item","numeric-id":5394158,"id":"Q5394158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c690209b163181addf69e99b7faf8ce502698e58","datavalue":{"value":{"amount":"+0.82786995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6485963$E15E343B-F500-4AD2-BF6D-5424A8E331D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic Generation of Sources Lemmas in Tamarin: Towards Automatic Proofs of Security Protocols","badges":[]}}}}}