{"entities":{"Q880981":{"pageid":882829,"ns":120,"title":"Item:Q880981","lastrevid":65055624,"modified":"2026-04-12T00:00:50Z","type":"item","id":"Q880981","labels":{"en":{"language":"en","value":"Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5155274"}},"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":"Q880981$25EF67CA-1360-4606-92A5-43AFD16A0D6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36261a88a490d6559e860fd76a66c3fee92daf2c","datavalue":{"value":{"text":"Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q880981$D0FE1E63-A36A-482B-986F-C84EA4A3FC6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5111b5ba59a4e28f51954e6e514c05d7390f0c3b","datavalue":{"value":"1115.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880981$A5B77F64-CF64-4D0E-837D-05F39B178426","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a21a699a0a68aecb14fb3639a56cdde4b7cfada","datavalue":{"value":{"entity-type":"item","numeric-id":860884,"id":"Q860884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$D3565F25-42C0-489D-A914-1611D789ED72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$84988713-0C0E-4B15-933C-4A99D735F0CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$4CC41A6B-9E5D-4DDA-93B6-506D054B1028","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c59fbad6c8ea71cce099c10b2a0da0dcbcbe2eda","datavalue":{"value":{"time":"+2007-05-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q880981$8369A9E5-CAC4-4D2C-BA73-0530BF45F7A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880981$C8F90497-1E14-41B8-A4E2-CC29AB261EA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8a20a1991b5f6e5240b49217ecef4b05b14ea68","datavalue":{"value":"5155274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880981$D5D27D45-5EDE-4D63-9DB9-D8C73803D66B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a06780c8b73b4ca183d7232139c47a08fd303e33","datavalue":{"value":"Rewrite theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q880981$895299C0-2653-49E8-A8A1-7660ADFF4BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b37af79fc43fc86061790b2d0baabc797cda890","datavalue":{"value":"Narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q880981$2D0A1684-97CA-4EF5-ABAA-2D1CA416BBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e49008e488d79415f4549cf10d3b60ce2a232d","datavalue":{"value":"Reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q880981$63531CF5-673D-4AC0-82CE-9C02687ED31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ba53224bb39802a0d76d484115b3269a209aa67","datavalue":{"value":"Security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q880981$BA13DE2C-54EC-4756-B4A5-F20F226BEE22","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$4FB2D5F8-931F-4835-A884-2A939DF44542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$8CA95DD1-1D5C-429B-933C-A05FDF1B0294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1cb9415da33ef4439e31401604aca35afdaf65bf","datavalue":{"value":{"entity-type":"item","numeric-id":24089,"id":"Q24089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$73AED033-80CD-4511-8720-866D9A2816B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ab5668d708c884e00e91bf8e8096cfef14a43c","datavalue":{"value":{"entity-type":"item","numeric-id":18478,"id":"Q18478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$FAD662D7-8910-4D7E-886A-4F09C083F95C","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":"Q880981$06D2B02B-915F-4E12-83C9-577553A45D30","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cbdacd41aa9c9a68d4b3ad4d20726bb1c86b8f5","datavalue":{"value":"https://doi.org/10.1007/s10990-007-9000-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q880981$93470462-0800-48A0-BD50-E4DAC14C1B5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9acd4a43f5e3f89512348573809a977405bd1642","datavalue":{"value":"W2042987983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880981$694947E4-A3A9-40EE-B19F-F3223461F26F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e489f60b50ffbcb76ff4a8ca52e7c0625bf4ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4536615,"id":"Q4536615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$2132DA3B-3B03-4226-9BE3-27182DC3AD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a87eb4cdd0fe9ceaf462410bfeb005fa5d0358f","datavalue":{"value":{"entity-type":"item","numeric-id":3457756,"id":"Q3457756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$020B7EDD-EAF4-400B-BA01-8644613017C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf54744a08e8b93914db9cf0c37c129d201dbde","datavalue":{"value":{"entity-type":"item","numeric-id":1261194,"id":"Q1261194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$6B0B61E5-AAC1-4104-9CFD-E7D8FBEA8BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8364c618ad76db52057e29b74d52fa66ec4e18c2","datavalue":{"value":{"entity-type":"item","numeric-id":4251060,"id":"Q4251060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$A081AB1F-32AF-45DB-A8C8-88492076EAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78abf06cd43bc8b5469b6b54f3aaf21e033b53e","datavalue":{"value":{"entity-type":"item","numeric-id":2760246,"id":"Q2760246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$F6385452-F7B1-4BC3-9C63-C4A659BCA584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8815be8d7d5cd349532a95ef9c4572798782f172","datavalue":{"value":{"entity-type":"item","numeric-id":5191511,"id":"Q5191511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$1C4B7E48-62A5-4194-AF9B-4E4B4C3FE0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4928528fce2a350e872c3b2f160a2368e4b5def6","datavalue":{"value":{"entity-type":"item","numeric-id":557799,"id":"Q557799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$59BF7A02-D237-4296-9BF1-649BDA76ECDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e72e86189ac2504861784ad173ee9db28a12b4","datavalue":{"value":{"entity-type":"item","numeric-id":2734833,"id":"Q2734833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$EECB652C-7D53-48C2-978A-9D4E6BCB33A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$6B9E6DA3-BCF1-48EF-AB78-8B91132AE31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39b46036e0e44c388baf61cdcb5ecf5b5fa7252","datavalue":{"value":{"entity-type":"item","numeric-id":4447224,"id":"Q4447224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$E57CA784-232E-4700-8CED-E09A7CBC03CE","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":"Q880981$2D47E21A-1906-4AA5-9B79-1FA1DDBB01D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e28476bfef33ad1b2b85b86e71d14c7098ed3c","datavalue":{"value":{"entity-type":"item","numeric-id":4936148,"id":"Q4936148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$EDF3A4AA-C795-48D5-96B8-7150CF2F8099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a250a1d3c58e08ceedf1e2eee631a8149bb5730","datavalue":{"value":{"entity-type":"item","numeric-id":5308019,"id":"Q5308019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$2FDBE4A2-BBEC-46E6-BFC0-29515F10B0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6faf23ae58f0d008eb59c8c3066e56d64ed7b45","datavalue":{"value":{"entity-type":"item","numeric-id":860906,"id":"Q860906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$466F851B-D907-441C-BE27-B3F953DB580A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fffc04d48fd4ea431cd5595724ca58d513399c","datavalue":{"value":{"entity-type":"item","numeric-id":5703856,"id":"Q5703856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$E1DB5B07-ABDC-4C84-9C81-F3E269604F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$F23D0BDC-34C5-4150-A39A-073E2C74E9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890390b7c0f8ed661b7084e98573fc0b11a27b52","datavalue":{"value":{"entity-type":"item","numeric-id":2723425,"id":"Q2723425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$F707C241-68D3-42B0-8AD3-CC8D6A7DB08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a76dd1ccc57817977cfe3d7392b99ece204fbd","datavalue":{"value":{"entity-type":"item","numeric-id":2996202,"id":"Q2996202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$199FE9E6-21E3-4F13-BC51-84BAF57D455F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83880f170299ba13e2e839890cba27cc20df7932","datavalue":{"value":{"entity-type":"item","numeric-id":4305632,"id":"Q4305632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$AE6257B4-AC68-40BA-AF39-B299CE516959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$743FBDB0-0E50-4D8D-93F5-0675B56DFBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbc703228a035d147d0db52ae748cbc53607ca0","datavalue":{"value":{"entity-type":"item","numeric-id":2767013,"id":"Q2767013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$7576B473-D3FD-4200-A18E-76F914D256D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f497a094cae9f220fe8ee16ff975c47f7e7dca6a","datavalue":{"value":{"entity-type":"item","numeric-id":3664457,"id":"Q3664457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$4BBD7A44-CE95-4C94-9F5C-41C02A8F0CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01da25e464c0aff317b994d1238b1479d2a74b38","datavalue":{"value":{"entity-type":"item","numeric-id":4447232,"id":"Q4447232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$73AB55A4-5B8D-41B3-B4CB-AEC310E7CF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf0e7549abbeaeb4c770d7e9f8179e576dc25d3","datavalue":{"value":{"entity-type":"item","numeric-id":1856157,"id":"Q1856157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$3673D846-12E1-44B0-BD98-D5F1B1FA5CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a6320002eee51efddaa9f2f4a03f37bab8991e","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$DEEB884A-DB9F-478E-9589-FD585F6BB2F7","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":"Q880981$C08AE0FE-8E37-4F08-B38B-49489B315935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a017308b7d84cde00f1a99b8c26c4d5c47a0d9","datavalue":{"value":{"entity-type":"item","numeric-id":5703853,"id":"Q5703853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$3CF58867-BDD6-4EBA-ACDD-F1C0220306C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e68c3826d8a9f725fb388c85c09c5d9fff8c1cd1","datavalue":{"value":{"entity-type":"item","numeric-id":3046721,"id":"Q3046721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$0D180562-7F9C-4D16-A4CF-753DCA8C11FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6fb75d437faf494d7b5091162dbc4bb8963e4c","datavalue":{"value":{"entity-type":"item","numeric-id":2849863,"id":"Q2849863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$8E3AD0D5-49FE-4401-8868-E75D3B8EA8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$555780DB-7A96-4DFB-A300-C7B309AEDF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$12F6376E-7B1E-416C-A7EC-55DA2643C8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9316d9136544b03dca7f1ef0d69632e0b15be3d","datavalue":{"value":{"entity-type":"item","numeric-id":4447253,"id":"Q4447253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$BEA1B59F-AA46-4741-B781-65E82981CDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$8A7B680C-74BA-4BFD-AC63-BEF08C6ED8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f95485102ee6530ceab9827faad9827664e5dd4c","datavalue":{"value":{"entity-type":"item","numeric-id":2936786,"id":"Q2936786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$FC7260B1-E45C-4934-95C8-9E561E557D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626d7a62e073def6cda0e756433e91c381c28af8","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$2C63348C-B0C1-4DBA-A904-082A53FF6DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56213f215f8589cb5b9b607fe971b63f08690128","datavalue":{"value":{"entity-type":"item","numeric-id":293167,"id":"Q293167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$0AA15E4E-2974-4BFC-B277-02F9419EF48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f1e88c59e967c9d93293a22c53fd0e4784e564d","datavalue":{"value":{"entity-type":"item","numeric-id":4818812,"id":"Q4818812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$B992C6A5-A248-4312-959A-EEB298A28203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa703a3567d0034a8a5c9d58b556309ae4271aa","datavalue":{"value":{"entity-type":"item","numeric-id":689097,"id":"Q689097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$9BAD554A-6EB1-41C5-AED6-4D56BE1D5F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0992a9732d4c0a6122dab597921488e8c283dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4421726,"id":"Q4421726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$827A6E13-E68A-46ED-BCB0-459C168942B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a454998f1fc34a05a653691c407c0efcce24369c","datavalue":{"value":{"entity-type":"item","numeric-id":5492833,"id":"Q5492833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$042C911C-D3E6-4E7B-AADE-79731C0381CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbae692bb098457b53da37124be49b0f1f7ad4f","datavalue":{"value":{"entity-type":"item","numeric-id":5901565,"id":"Q5901565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q880981$DABE955A-DBD8-4C43-A72D-F94FF82A2D90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"218685c076f72fe5d3869ac378627218676b604e","datavalue":{"value":"10.1007/S10990-007-9000-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q880981$7F2BA1DE-C123-4115-A2DB-284A6644AF53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14bed56fce598d9e2fe50562a8a00dc0417f672","datavalue":{"value":{"entity-type":"item","numeric-id":2849863,"id":"Q2849863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00daa4b59072c02ff637d9dd291d93c05e2a9645","datavalue":{"value":{"amount":"+0.9993730187416076","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":"Q880981$5EFD409F-7F96-4E0B-81F4-569B831419AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c445258b911802bb3431fbaf0b8b45ce915f165","datavalue":{"value":{"entity-type":"item","numeric-id":2873786,"id":"Q2873786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"446059dfc34a3131b695ff48a6acfd4f5dc89f36","datavalue":{"value":{"amount":"+0.8752739429473877","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":"Q880981$49FA32E2-5DFB-4972-84D0-680DA0AB0061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18232826ca113b0e1b038f48f7e5b5851600007","datavalue":{"value":{"entity-type":"item","numeric-id":2915104,"id":"Q2915104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c76ab3e846d241c4bbce7a95c96fe98a78975c","datavalue":{"value":{"amount":"+0.8513842225074768","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":"Q880981$7FF8FC3D-A4E3-42A7-BBC8-E7ED832B5390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c92ae53005a5d61974c6566ef8b91007845e730","datavalue":{"value":{"entity-type":"item","numeric-id":5179131,"id":"Q5179131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e200bd18f186e3a1a413602f020f488c5f19636","datavalue":{"value":{"amount":"+0.8417893648147583","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":"Q880981$9520A2BB-0401-46A9-9AB2-410C382803E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78085207cf686163660e80e680bb10af9a32fec0","datavalue":{"value":{"entity-type":"item","numeric-id":5492833,"id":"Q5492833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b127a6cabacbf95d3758c0cb915689f725f1464","datavalue":{"value":{"amount":"+0.8372353911399841","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":"Q880981$90F9B08E-FA18-43AE-B92B-A8A057730E49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_reachability_analysis_using_narrowing_and_its_application_to_verification_of_cryptographic_protocols"}}}}}