{"entities":{"Q3631368":{"pageid":5661274,"ns":120,"title":"Item:Q3631368","lastrevid":87481727,"modified":"2026-06-04T11:47:30Z","type":"item","id":"Q3631368","labels":{"en":{"language":"en","value":"Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5562950"}},"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":"Q3631368$7337C17F-7DAA-44C9-863E-5476C0EA3A52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39938500e07cf8a0ae045893b6cbd0a9cdd85ebe","datavalue":{"value":{"text":"Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3631368$635B4434-7F49-4157-8303-ABAB34C8D012","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fea48a48e57acf42708273015c8a6a41c3422fde","datavalue":{"value":"1242.94015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631368$5C1815C7-9AAD-4667-BAEF-96DD9D5EB5E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a82a86899016515125276b0460c215c2c60bd59e","datavalue":{"value":"10.1007/978-3-642-02002-5_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631368$8DD2CC20-D2B1-4353-9E8A-1EEE552BCCF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58c3f1040f095d35860e29a1e4ebbce287a0aa55","datavalue":{"value":{"entity-type":"item","numeric-id":436403,"id":"Q436403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631368$79162288-5D85-48CE-91CF-7593BC0407B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f520d915db58b1deff0a192b1bdf4c695119eda3","datavalue":{"value":{"entity-type":"item","numeric-id":462487,"id":"Q462487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631368$5B9EBD5A-5666-4D1D-AADB-3F4BA56565A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"550246d3d5c4ed58297c4c866d03e2c9d3d577c5","datavalue":{"value":{"entity-type":"item","numeric-id":3631367,"id":"Q3631367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631368$80FF0F95-0C3F-44E5-8EA9-081872946F37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3afd749067cfa1ab6b987c39309b37c6321cf562","datavalue":{"value":{"time":"+2009-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3631368$0B112500-6CAC-481E-82FD-43196A9EB498","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631368$A7F96373-DB11-4404-BD7D-B9E895F45D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631368$D2289C47-C4F8-4050-B404-0E540BBFC52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631368$7E02231B-18DF-45F7-899C-8E2006FAA4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631368$74E8F849-820F-482A-AD20-1F17B47A0A04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9608afe843e2f8b37bd0567805ef2519ed8f329","datavalue":{"value":"5562950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631368$B68536CB-3255-435E-9FC1-7DF7019F2839","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":"Q3631368$8DECB573-BFA8-4681-8D23-2202B8AB913E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ad57bb562cdb4f0920eb5469ebf99b3be445dc4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02002-5_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3631368$6AFFDA38-E2C8-4E07-96C8-58ABAE33E1F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"400bea0416db2b1e0fa88d11feb4520d8b13a2ee","datavalue":{"value":"W2133030362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3631368$2CCC3B47-0DA7-4B77-B17B-EA0D30D0F6D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed4e2b73edd0e2661ebb75822eda29ecb9eb63a","datavalue":{"value":{"entity-type":"item","numeric-id":3906484,"id":"Q3906484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631368$D9830D7C-B23E-47C8-8ED5-08B032744FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631368$A2132E8F-8020-4553-B67F-F870BD2EA2E0","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":"Q3631368$036B13EC-5DDB-478F-85C9-01262898602D","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":"Q3631368$60EB40EF-B8C7-4BAE-8AC8-68BAD3D78BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9546478b4ae6a85f56dd5e933b661091f9993c00","datavalue":{"value":{"entity-type":"item","numeric-id":1887730,"id":"Q1887730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631368$87DF70D9-955C-43FD-B943-713F11AE2109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"552bf039ed0a24c8a4a34dc5dcdafecc32a34e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2946596,"id":"Q2946596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631368$D4DD64B3-BC91-4606-9C50-074A6318A8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127fc404d70d2c74792e0fa1dce28f9cd95c3e7d","datavalue":{"value":{"entity-type":"item","numeric-id":3498469,"id":"Q3498469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631368$B6957EB8-B609-40C8-BF9E-2E372616A6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebba25ec6e30e98195fd89fc28af9b9ec829611","datavalue":{"value":{"entity-type":"item","numeric-id":2751377,"id":"Q2751377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631368$B5A0B9B3-28AF-4241-8E7B-3B04E9A548EE","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":"Q3631368$1ED6D39A-6EC6-41C4-8A4D-01D47FA3989C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b9e8fec29b4866af88e22e240c709faf2edb39","datavalue":{"value":{"entity-type":"item","numeric-id":5308709,"id":"Q5308709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3631368$0A4A2A3D-AC78-4449-8DED-921FAB3BF0F4","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":"Q3631368$CF61A423-0EA0-418F-81A4-0D59772F2991","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee9fa22fef036a9ec5d24ed2fd065ec736af9fe","datavalue":{"value":{"entity-type":"item","numeric-id":3636823,"id":"Q3636823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6bea2b3b7e4a9e728a233cba96cb0e84bddc6e7","datavalue":{"value":{"amount":"+0.8947449","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3631368$93513E1D-8343-44F9-B9E2-94485958661B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"761fe0e5cfa13bfd00081cdbe34620b912ff480f","datavalue":{"value":{"entity-type":"item","numeric-id":5089298,"id":"Q5089298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406d6ad80c491e526055dfcf2bc74961465e648e","datavalue":{"value":{"amount":"+0.8874246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3631368$3BDAEE67-3DD3-424D-9B4F-7C02FA004B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9438579996d8140e5ecd61e6ada2bd960ba98d1","datavalue":{"value":{"entity-type":"item","numeric-id":4411969,"id":"Q4411969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f221495426c9a1c71a36f793bbc3acbe52ba31b7","datavalue":{"value":{"amount":"+0.88650024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3631368$1A612425-33E9-44C1-AABB-75EBF01F9782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1881a90cdb51bacf77b11e4a1489ef116fbca795","datavalue":{"value":{"entity-type":"item","numeric-id":5874186,"id":"Q5874186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb96bc1bf2c5516d4bf01edf871ba58f3419c80b","datavalue":{"value":{"amount":"+0.883755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3631368$F47C192B-82F3-4568-AC6F-35F5F003F5F3","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":"d593f43bbfd7c5d1b0394aeef790152609f7cf14","datavalue":{"value":{"amount":"+0.8819541","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3631368$69FE65B4-E67B-4E81-8F49-9668E26E8DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25fc9f2993b4b334e4e14689dc265a5221493d8a","datavalue":{"value":{"entity-type":"item","numeric-id":3498469,"id":"Q3498469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"303248b286f96ab03635a6055ea724795c20ad51","datavalue":{"value":{"amount":"+0.8801773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3631368$C26F2E2C-200A-4CD8-BC87-7071BD8B93B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcf0d1fb08bbbca3e718def74543987a69b0a1e","datavalue":{"value":{"entity-type":"item","numeric-id":3507341,"id":"Q3507341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d01a469df54b1dd9389ec858e3feb73dfde43589","datavalue":{"value":{"amount":"+0.87947303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3631368$16FCA3EF-D4DC-486C-A8C0-B07D4CB0EA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d8fb7df65148217e6e49782ccd07a05a15bd9e","datavalue":{"value":{"entity-type":"item","numeric-id":2849570,"id":"Q2849570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d4c733012796b8e9fbc52b0987edc3a115062c","datavalue":{"value":{"amount":"+0.8780597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3631368$020064DE-D124-40C8-BFEA-55E801305414","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_Security_Protocols_with_a_Bounded_Number_of_Sessions_Based_on_Resolution_for_Rigid_Variables"}}}}}