{"entities":{"Q3624272":{"pageid":5654178,"ns":120,"title":"Item:Q3624272","lastrevid":87454892,"modified":"2026-06-04T11:43:28Z","type":"item","id":"Q3624272","labels":{"en":{"language":"en","value":"SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5549191"}},"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":"Q3624272$324293D2-8E33-47FD-9A5D-B46AE13FDC6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59606da8afff77c0080939d4a3bc1dcad01105eb","datavalue":{"value":{"text":"SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3624272$2708CA19-7820-431E-A050-6C211EAC9502","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09f6f4bc8357ce6fda0565f15226f224acbf2e5e","datavalue":{"value":"1237.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624272$D40B1588-57A9-432C-93A9-563BE81A99AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e10812c560602c8f06d65ebd6c83763fd8562a5","datavalue":{"value":"10.1007/978-3-642-01440-6_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624272$42EE58E7-C37E-4461-985A-32F7073C2B2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3a9ef8f7bec0a13d9487613ba93e2a9c1034736","datavalue":{"value":{"entity-type":"item","numeric-id":2512817,"id":"Q2512817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624272$A1EDD32E-FCCE-4388-8177-17D76E8E0094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ad8425385621952ca8bdf4c021ffeaf2afa8be6","datavalue":{"value":{"entity-type":"item","numeric-id":3507340,"id":"Q3507340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624272$AB064534-0791-41F2-AD4D-A28BE80026D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43c58569846d61b472550f2efc872275f83e776b","datavalue":{"value":{"entity-type":"item","numeric-id":533184,"id":"Q533184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624272$B5BD4527-B5A4-410B-9A95-9EFBF57D534A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61ad29d033768aa132a1f75b622e485064f46e61","datavalue":{"value":{"entity-type":"item","numeric-id":2980840,"id":"Q2980840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624272$A681D38C-2EB4-490C-BF18-30C01A03BAC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc7396a377674bf1d1ad6a9c9bbfaef229fcbe16","datavalue":{"value":{"time":"+2009-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3624272$A2C1E5AA-7E01-4F47-BE02-599DC2B6A419","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624272$090031E0-64E2-4AFE-9665-A91729A726C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624272$46F725C4-3EE9-414E-865D-D40F24A0FDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624272$BFC95F9A-A040-4C6F-8016-F6FBED4EF6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624272$021CA3DC-D217-4A02-B15A-8073FC17F486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624272$06DA5D5A-CC91-476E-A656-CC2046D000A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb52d1068826b2cdf0e1d2b348f41e320609559c","datavalue":{"value":"5549191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624272$87CF2ED5-12F5-4DBF-A1F2-ED353E4DD82A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4ea10327db28874882ccd8da3d8d6f07f044476","datavalue":{"value":"security protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624272$B2BAC306-7FB7-477C-80BF-C56400AE4844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"319826e824bc23f20db18c4bba5db58ef3fba914","datavalue":{"value":"non-termination characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624272$9DC3C767-F005-4D04-9AB6-E8D94673D37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a0e2c7821e852ab785d61ca4ff0d43d74169b74","datavalue":{"value":"non-termination prediction algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624272$BF548510-1BFE-469F-83A0-C7E292413431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624272$4D8516DA-75C8-4D7C-B021-1879E44447C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624272$365BBDCA-2C21-4E46-99FD-6B4B7001D127","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":"Q3624272$1D9109AA-067D-4BA9-838A-6A733E970927","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37f176434a2316ec7bc9f1e39d06862a6906ca76","datavalue":{"value":"https://doi.org/10.1007/978-3-642-01440-6_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3624272$37F7F8A0-EC63-420E-9B10-F8FC5FCFC627","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31a6d474e6bd3b03cb89383a288ab6fc450fcd4f","datavalue":{"value":"W2158485170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624272$26F2A990-0615-4A70-AAAA-C549649CC928","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c6095ec7a0d43c14e38a3c860f3105939d4c59","datavalue":{"value":{"entity-type":"item","numeric-id":5491199,"id":"Q5491199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e633eaaa881433cffe55422f6c9afd25cf4769ce","datavalue":{"value":{"amount":"+0.8022964000701904","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":"Q3624272$139556B6-4617-4D74-900E-B74B3A3599B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e851cb4ec4cd59224610a6733ec5fe9e51e7a387","datavalue":{"value":{"entity-type":"item","numeric-id":4707750,"id":"Q4707750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"151ecfc1e69bf2171f95019041fc887cc9d94985","datavalue":{"value":{"amount":"+0.7315270900726318","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":"Q3624272$5BDA3C33-5568-4C90-AF5D-291D49A49859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f71dae6023426b4cc6f554ce0e5bacd83417185","datavalue":{"value":{"entity-type":"item","numeric-id":5738918,"id":"Q5738918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6a1bd8d76fa7bd1a6f0b050393316fc6536b440","datavalue":{"value":{"amount":"+0.7311862707138062","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":"Q3624272$AEF89F1C-46A1-499C-A969-8E6987AD8731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e8215663a0e9fc1bc632141e66276fda095bd1","datavalue":{"value":{"entity-type":"item","numeric-id":5394563,"id":"Q5394563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9b7203e0209a4407be46e646484c9f9be758995","datavalue":{"value":{"amount":"+0.7273712754249573","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":"Q3624272$68A58B8B-63AB-4688-A1ED-80744B5F3248","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":"27ada8f759735afb047d709427cd4904c8b5d05d","datavalue":{"value":{"amount":"+0.7217487692832947","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":"Q3624272$9E897F30-C276-450C-8944-A4F22B180DDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SPVT-II:_An_Efficient_Security_Protocol_Verifier_Based_on_Logic_Programming"}}}}}