{"entities":{"Q5326762":{"pageid":7356336,"ns":120,"title":"Item:Q5326762","lastrevid":100777727,"modified":"2026-06-05T23:05:16Z","type":"item","id":"Q5326762","labels":{"en":{"language":"en","value":"Proving more observational equivalences with ProVerif"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6195656"}},"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":"Q5326762$9792EF2A-E3F1-470E-9E29-75ABEE46A6AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27e81ee8484bd511dc7c8272533c6b2a96c4df8b","datavalue":{"value":{"text":"Proving More Observational Equivalences with ProVerif","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326762$627A6575-3CFF-4C7A-BB92-5DB60B1776F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92d6e1e8cddf987e785b4ac2a4a297bb7a85b4f8","datavalue":{"value":"1391.94737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326762$FAD61E43-A395-465F-9777-6660C475246C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d886ba181fb617ebc37efcc2bc2449978bcded8","datavalue":{"value":"10.1007/978-3-642-36830-1_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326762$3B29F340-31CD-40A0-AC09-F32DAF22F4C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92ce5379312fabb85a719672eceef973054125c8","datavalue":{"value":{"entity-type":"item","numeric-id":391118,"id":"Q391118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326762$B44FF4B4-6CE8-4C75-AA55-289D5953CBF4","rank":"normal"},{"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":"Q5326762$A3FD77CF-9F2F-4D9F-972A-74E1C837A60B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326762$2B04C5ED-7BAC-4E33-B18F-16F8F7F8B2D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b9371a1396b5660d5734cb5e0075d011d357893","datavalue":{"value":{"time":"+2013-08-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":"Q5326762$F51652E1-9187-4EB5-B4E4-71C7C91FE837","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326762$016AB2C8-F8E2-4020-8764-262C059D9F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326762$96AE6E87-9AF0-4EFE-9AC7-D256437F4377","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"907e2ed9db8557c58acde9ba742be8627ce551d2","datavalue":{"value":"6195656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326762$B5A102F5-7F0A-4EC2-94E2-862D777CF60D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"973cd15e22c791df17eaceaf230998dc9777a5b0","datavalue":{"value":{"entity-type":"item","numeric-id":18650,"id":"Q18650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326762$5A386F56-F384-4274-9F29-C3EC8C227E4C","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":"Q5326762$667EE924-CE0A-4A7B-BC75-9F720EA62864","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90df3f8e492c6f7321c7dcadbdf2839fe068e6c6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36830-1_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326762$507EB096-179F-472B-B99F-5115C66D7ECF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83f37323b5d7c9e46f9a3fdc9165016d4c6b1989","datavalue":{"value":"W171472358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326762$512795C3-2328-45EB-9E89-7C4258A41577","rank":"normal"}],"P1643":[{"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":"acb740bb27bf5c647fb408b05b14592b6e2e2f29","datavalue":{"value":{"amount":"+0.8191753029823303","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":"Q5326762$B0DE0BDF-F901-4558-96E3-ABC7EF19CD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92a7a06f825566971eb451ad6cdcdb08218f9652","datavalue":{"value":{"entity-type":"item","numeric-id":4493893,"id":"Q4493893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db2ef7843d4ab4c4aa5317d45ae30eec8a32c531","datavalue":{"value":{"amount":"+0.7825740575790405","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":"Q5326762$4386670A-F655-4E64-A6D5-463831F06C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1683adacc26d92ccaf9aff05ee6af8e05d4fd99f","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58c801771e85161dd3d1ee638e1a1a413c277da","datavalue":{"value":{"amount":"+0.7769173383712769","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":"Q5326762$B2434FC8-F94F-48B2-80BC-E6DB6F3A910A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b938c704fe410be264e1f2232654427d2215d804","datavalue":{"value":{"entity-type":"item","numeric-id":5278194,"id":"Q5278194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33098e901628f5fc2b63e802ea06187a10f5aed2","datavalue":{"value":{"amount":"+0.7702814340591431","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":"Q5326762$804220C3-099E-4DEA-9B3A-C9E65BACC89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8defb382480503002f67fdfe92e7f4be08066b6","datavalue":{"value":{"entity-type":"item","numeric-id":391121,"id":"Q391121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e92045c3412588c4a58e32cb18f27ecff8db05cb","datavalue":{"value":{"amount":"+0.7567118406295776","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":"Q5326762$5EB7B1CB-53F5-4468-B5A3-081BEA75E91F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving more observational equivalences with ProVerif","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_more_observational_equivalences_with_ProVerif"}}}}}