{"entities":{"Q18650":{"pageid":18706,"ns":120,"title":"Item:Q18650","lastrevid":56227773,"modified":"2026-03-13T05:35:46Z","type":"item","id":"Q18650","labels":{"en":{"language":"en","value":"ProVerif"}},"descriptions":{},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"27ec17a3a65697e8688d4f695bec6b0d4e0ed9d3","datavalue":{"value":"6558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18650$640760CF-F378-4303-9995-904BE985DB2B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$DD7BC953-97F0-4125-979C-385F925DC435","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"f1ccdc18c2c7f9fee86c2d5489dea968bd047032","datavalue":{"value":"http://prosecco.gforge.inria.fr/personal/bblanche/proverif/","type":"string"},"datatype":"url"},"type":"statement","id":"Q18650$1747D65D-063E-4F1C-9969-B19ACD87E9A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18650$1BC5F6E9-8A44-4BED-929B-33871412B417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18650$BD3C8E3B-C1E5-4E61-AB33-B49D60E5975B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4edc7e695c3667a3dc24594c0516548b87f81467","datavalue":{"value":"81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18650$9A32C199-144C-423E-8912-0EF967ADD147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a438efc028ac8f007fcfec586995516429ecdd8","datavalue":{"value":"91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18650$E2068447-E322-4A71-BE8A-7C9C0CC146E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bebb7aa66b6973aa3a0c9749da8f6cd6626bb594","datavalue":{"value":"94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18650$65C7305A-E938-40D6-AD29-478560B6921A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a467a32e3049b1299c9c2b688461b7f273ec943","datavalue":{"value":"60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q18650$9D3E611C-79B3-4951-86EA-E8CEC7B4D2B2","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f4fb518d3fd3a5c86906e09c5e1de9482d064570","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$4B87B02B-768A-412E-8828-971B9ADE789C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc1b6e44864e7fae4ecb6da2cea69bf43da500fc","datavalue":{"value":{"entity-type":"item","numeric-id":35211,"id":"Q35211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$44CAFA37-CEBE-4193-A688-C542701BE144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8533330b9fa0c1f7979d4af1d0e8bdba3ffc811c","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$8AA78268-8CD4-461A-AAAF-50F92810E260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6f924ad332e3e253edef5e11304786cd104dd718","datavalue":{"value":{"entity-type":"item","numeric-id":21450,"id":"Q21450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$D1C21718-DD1D-4E14-A808-8740204C063E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0c36473fa34d47be43714c4aee9b8e04152dd6a3","datavalue":{"value":{"entity-type":"item","numeric-id":15278,"id":"Q15278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$2F1E6FD0-E90F-4E39-936B-0FC8BCCFD159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"6c0a3a1c9504a0e8d3eaa24fd0fb9f58e4a6c21b","datavalue":{"value":{"entity-type":"item","numeric-id":21449,"id":"Q21449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$5D46C904-93B8-4CA5-BC57-9001283FE350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"9465386e25e228c7a31737df8faa8b7ec770cb6e","datavalue":{"value":{"entity-type":"item","numeric-id":24090,"id":"Q24090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$A2429FFF-CF3C-4B90-8D1B-F5EC87FDBA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"446c33bf9b374ba0441e5f70667e3e0c13ccd355","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$0AABD537-FECE-4740-8AB0-7B3CC0F1008B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d0a767152357061ad955e0896fbf62a8779caf85","datavalue":{"value":{"entity-type":"item","numeric-id":32423,"id":"Q32423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$8AD1B381-EDC7-4E3C-BC9B-9FEA2A85C0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"516e69d03ac1aca7152de4e35010ef91b4f7c92f","datavalue":{"value":{"entity-type":"item","numeric-id":24089,"id":"Q24089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$5D6E3CC2-72AB-4FD8-8122-9DF5D8AAA872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ea20ee866bb46ad0f40de8942196b43333ae86b0","datavalue":{"value":{"entity-type":"item","numeric-id":18651,"id":"Q18651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$F322604F-5CEF-44BF-A878-22DFBFF37E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"8684b30302380de026b74341bd83de736a5fcd46","datavalue":{"value":{"entity-type":"item","numeric-id":25181,"id":"Q25181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$C24BA662-1DDB-46BE-B5B9-39FBF32C7CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$286D9F67-FAFD-4CA7-8480-A13CFA62425A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"0566ad334499237f2689386a24c3ff4452487d83","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$C2F5DD70-97F1-4156-9AB9-9F19967B2CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1d5d24fcbf14ea718ade2349be977a027913e173","datavalue":{"value":{"entity-type":"item","numeric-id":51957,"id":"Q51957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$D7A855C2-D8CE-4A71-A0C7-655E2BDD2A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$BA3AA85C-38D4-49BB-B1E9-C5B2C7DFA253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$C7C0BB0D-A45F-4494-A91F-785FC29C3B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a329650a64e0afebd2fe07699653f90b14242809","datavalue":{"value":{"entity-type":"item","numeric-id":18326,"id":"Q18326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$E8B58B62-B054-419C-BA94-243F5A3BD95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"678b0b96157ea336e6c854b12f6f087351e83672","datavalue":{"value":{"entity-type":"item","numeric-id":15523,"id":"Q15523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$016233A3-F0AC-4C51-A245-C0B555F27BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q18650$917E2474-A1A5-4A7C-AD46-8C3AF6DDDFD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ProVerif","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ProVerif"}}}}}