{"entities":{"Q1770413":{"pageid":1781155,"ns":120,"title":"Item:Q1770413","lastrevid":43320054,"modified":"2025-07-24T16:54:10Z","type":"item","id":"Q1770413","labels":{"en":{"language":"en","value":"Verification of cryptographic protocols: tagging enforces termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153206"}},"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":"Q1770413$29B1D1C2-E585-4C9D-9A1E-62E8F8EC02A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a6049d7ffc7a815d216f093fd0067cc993a70b8","datavalue":{"value":{"text":"Verification of cryptographic protocols: tagging enforces termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770413$74EA62E2-8ECD-4DF0-96A1-C926B0CF1421","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6417a8825536b9414fff8ce5dadb56d15bb431eb","datavalue":{"value":"1070.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770413$AEEAD563-104C-404E-880C-0D3CDE0D9856","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a5fa1ce06089524f81c4bc61a5f677242e6f668","datavalue":{"value":{"entity-type":"item","numeric-id":1041814,"id":"Q1041814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770413$142B8DF4-4B5F-4405-B890-94436645BFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3527a91821d36e757e1613c0da59458b564b0344","datavalue":{"value":{"entity-type":"item","numeric-id":225062,"id":"Q225062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770413$EA780D72-0B50-4E1E-82AA-32CBA41AF740","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770413$F182961C-5DAE-4DB6-8EB6-ADE70AA3D55A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1934d792c26a5fadc4b54d2e40cc5c88366797ca","datavalue":{"value":{"time":"+2005-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1770413$738F9BE5-D6B8-434D-8D87-17C42070DB38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770413$370FBA1F-AE37-42F3-821F-830E63FD7CD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f54494da8f61c40b5022c4670322ffd6bc0a13ca","datavalue":{"value":"2153206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770413$174B8478-C096-4265-A49D-1731C26CEA1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d104a161b65d3eff24fdf067cff39949b368c8ff","datavalue":{"value":"Cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770413$CFA23681-8FB8-4656-900B-EEAD69873CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770413$68DF1BFD-B67B-4F2E-A846-9E0642B78776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef0530ef18563772d3f741322062bf074cdc527e","datavalue":{"value":"Resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770413$867F51AE-0F24-4891-9A2F-509319DF7130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2c35dae05a14380f13e751a9ba9ae03cc3523c3","datavalue":{"value":"Termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770413$167E0390-50EE-4C11-A3FC-C2F58AD7EDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"152242df1fec3a7ab0e3e9fee66f2d9e700a7612","datavalue":{"value":"Tagging","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770413$F2FD9C49-C188-44EF-BAB3-22F6DE1CCBC3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c5be43f59b23822927adea1d3ffb50f3bc628ec","datavalue":{"value":{"entity-type":"item","numeric-id":14788,"id":"Q14788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770413$872DE0FE-A360-4026-B8A9-81BDFF6D317E","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":"Q1770413$851D3862-03A2-4724-A4B7-1030F5957456","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15b1540583efadfee50e5003808f4d2899573ed8","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.10.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770413$42D18040-A41D-4CA9-AF90-EC225955F0CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b73b65a8662552b5f07e466c7dbc42d0f23945a","datavalue":{"value":"W2097134979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770413$5BB53658-951E-48CC-B567-6D257FB88EEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f72ed4d5dfee06c68091f6aa72dded66f76bccb","datavalue":{"value":{"entity-type":"item","numeric-id":5178896,"id":"Q5178896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770413$4682B3DC-2C07-423C-A7C4-5D0EE555E970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88841c928c327a6860d292686b79d9d48a1bdc75","datavalue":{"value":{"entity-type":"item","numeric-id":4484507,"id":"Q4484507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770413$38D0C318-AD55-4F53-870A-865E1651D22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c74a330b5c89ffa6afb6b93e78391cfa3ed028","datavalue":{"value":{"entity-type":"item","numeric-id":4411970,"id":"Q4411970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770413$769617C6-D33A-4205-9091-E8708C52BE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d29e1da3646d3860d1b8a75857de2e3205b477","datavalue":{"value":{"entity-type":"item","numeric-id":4484506,"id":"Q4484506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770413$23444C55-2699-4B88-8C73-C47900EDAD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9388e4864d4ffd5e910ab8ad7a5f28ddea27ff90","datavalue":{"value":{"entity-type":"item","numeric-id":2067697,"id":"Q2067697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770413$23361EA3-B5FF-44EE-B51B-9B4DBFBD1C0F","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":"Q1770413$57D94427-E24D-4D9C-AAD5-A81B647ACD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1e5c387495101cc179a37c17843dfd91b94145","datavalue":{"value":{"entity-type":"item","numeric-id":2754128,"id":"Q2754128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770413$9B9179C4-CAF6-4075-B4A9-BD665D1A24AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a36cb944c08f94b6b89ba8b39e20dba78080a3","datavalue":{"value":{"entity-type":"item","numeric-id":4535056,"id":"Q4535056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770413$A264D9D4-0C1A-449F-BCBA-0D3C1D086B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff8a97b4b9412cf94d02fb85f3195ed2195f2be","datavalue":{"value":{"entity-type":"item","numeric-id":4447230,"id":"Q4447230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770413$2BE2CEA1-8521-440B-930B-1A479271B259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17611ad257b61ab782adab4b003d5c18136092d4","datavalue":{"value":{"entity-type":"item","numeric-id":4411969,"id":"Q4411969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770413$161EAD20-DBA2-4A4A-B542-48208FABDA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afd4fa313d72573c9bd3f393fea2eaa1326a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770413$6EE58E22-79C5-4AF7-B00D-7E646F5C2D61","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":"Q1770413$F902A504-B0CD-4B0B-A897-04B24D854F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b870e74f38c917487c9e466f7eb7a12db2d3897e","datavalue":{"value":{"entity-type":"item","numeric-id":2763677,"id":"Q2763677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770413$212DFDDC-5B64-4C31-B8B7-535DA1B6B1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b673bbc3f5418c0aa993600aa0db97882717ad","datavalue":{"value":{"entity-type":"item","numeric-id":5191532,"id":"Q5191532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770413$5CE639E4-1715-4FEA-8470-F39D20B3AFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f8b81729c278d2b25a84d10accbf70874b133d","datavalue":{"value":{"entity-type":"item","numeric-id":4263167,"id":"Q4263167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770413$91F717A8-C29C-433F-834F-DDC7297F8B0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75f83419fa434a83610a6a09e974854cfb232e31","datavalue":{"value":"10.1016/J.TCS.2004.10.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770413$1B435E41-F612-4DD3-9171-E91DCDC88520","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e55482a6603589349c025c523181431157aeda","datavalue":{"value":{"entity-type":"item","numeric-id":4417856,"id":"Q4417856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q1770413$72A4BBCB-23DF-46D4-B23C-41975C25686F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5aceddcfb4e129546d31e8ee6f9adf0f79cf6e","datavalue":{"value":{"entity-type":"item","numeric-id":3498465,"id":"Q3498465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38f5fc9d9c95f929673ca5c2482716b2c9b41157","datavalue":{"value":{"amount":"+0.8972434","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":"Q1770413$46B7B0B1-A5C4-43FF-AFC4-FF2C538065AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ac66808a3dd3163d6bac7d40284249429ec871","datavalue":{"value":{"entity-type":"item","numeric-id":4341785,"id":"Q4341785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff5a0a6ac9062588775b573cd1f74bc64b8dc907","datavalue":{"value":{"amount":"+0.88017046","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":"Q1770413$6020C567-4758-4DFF-A539-702E5B313B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f4df83a770e3e91624e4ae2d6d92f0d107a88fc","datavalue":{"value":{"entity-type":"item","numeric-id":2841213,"id":"Q2841213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa097280b48eee363a430d5e3d611c3d1e26210","datavalue":{"value":{"amount":"+0.87854236","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":"Q1770413$3D7B447C-258D-4B8A-8905-3DC90DD741CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f15b3f267d6a1005dd7e6d63ad509abf30d6bb","datavalue":{"value":{"entity-type":"item","numeric-id":5900826,"id":"Q5900826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d51a4221475170bc473f141fa3964357c60be05","datavalue":{"value":{"amount":"+0.87294865","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":"Q1770413$AFD82240-0275-4307-A24F-871F92283F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ea166715a651b57d0d53c959094461424595c7","datavalue":{"value":{"entity-type":"item","numeric-id":4418691,"id":"Q4418691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25a05b89b8688be5c256efeac2283a0d01172401","datavalue":{"value":{"amount":"+0.8707433","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":"Q1770413$8C92E59E-6C64-4546-B617-9B8FD0E6E66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eb22caf2c5cec6275a18cb80e01f6e9845d6f42","datavalue":{"value":{"entity-type":"item","numeric-id":4804903,"id":"Q4804903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76eb101fe0f844db18a8c52313575678436d465c","datavalue":{"value":{"amount":"+0.86920726","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":"Q1770413$12290868-A034-49A5-9D8F-E6DA71E1FED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02ba595b7920110ca6b2a118a4a8f302f2c3fd9","datavalue":{"value":{"entity-type":"item","numeric-id":3593070,"id":"Q3593070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77fd57cda07d49b70c7a94947da778d80f4a6ded","datavalue":{"value":{"amount":"+0.86831987","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":"Q1770413$3E16894C-B6CE-4F3A-9183-CFCDCBA9A9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79769805b00562b411c18b8ec3cf31dc846b341f","datavalue":{"value":{"entity-type":"item","numeric-id":5144673,"id":"Q5144673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c14d5ac7a8c12594d1f81f1b5bfd6a79a877526","datavalue":{"value":{"amount":"+0.867437","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":"Q1770413$BBFC4A31-ECE3-4D8E-A7C5-1A000332E646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16937055dc011916e88cd4508f295e15a0c87ef0","datavalue":{"value":{"entity-type":"item","numeric-id":2318087,"id":"Q2318087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5135cffcab09f1ccd0963e6e8dbb4c015181bed6","datavalue":{"value":{"amount":"+0.86740816","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":"Q1770413$22BC9314-70B9-44B2-8719-2BEC8A353708","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1770413","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1770413"}}}}}