{"entities":{"Q2920124":{"pageid":2930844,"ns":120,"title":"Item:Q2920124","lastrevid":42500925,"modified":"2025-06-30T14:37:47Z","type":"item","id":"Q2920124","labels":{"en":{"language":"en","value":"Simulation based security in the applied pi calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6098225"}},"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":"Q2920124$4013CCA0-94C3-4AD8-BFCC-495674C9E90C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eae9c3a569fa4760e37bee1fbf1acf4943a38f67","datavalue":{"value":"1250.94035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920124$81D590FD-A1A4-4133-877C-FB6914667AD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"008edee8fc18ab1cd9ad59e3974fb7e15a23ac24","datavalue":{"value":{"entity-type":"item","numeric-id":391120,"id":"Q391120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920124$1A459D84-D60D-40CF-9C05-4B801B766A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b9545c86dcecbba882f43703ca686b323cf501e","datavalue":{"value":{"entity-type":"item","numeric-id":437023,"id":"Q437023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920124$57A44C4A-AC58-4BBC-ABB4-5F9C8A43D71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e19b29cc565ae57469d341579530587927e6a97","datavalue":{"value":{"entity-type":"item","numeric-id":1020556,"id":"Q1020556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920124$CBEC8E40-A6A2-46DE-9A5D-3DB5A374A6BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ee92d50481ed05c06549abf63f6ece88b90dd74","datavalue":{"value":{"time":"+2012-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2920124$3449E0AB-20CC-4C70-820B-7D984D9DF8E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a5c1bc58f78d164a891c235fee2c893877f4602","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_2e05.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2920124$76559F84-07BC-46EF-B88B-7735C173E178","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920124$7CBADDD3-EAEA-4C5F-8C0C-20343388574E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920124$3E7C0788-8EB7-4330-AAA6-E9F3114950EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920124$F26446E6-FE0E-456D-BD81-BA2929388731","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"782216c4e8d2eeab165d9388b5b32b379b41c1a9","datavalue":{"value":"6098225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920124$D6FF625E-97CD-49C1-80FA-EBE2F3909156","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05b7d36c995064f5b00e9b9100a7a8deda24fafd","datavalue":{"value":"simulation based security","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920124$BAA79786-62EF-446A-98C2-EF9F91DF4CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b99aec85ad335d7beb55770ec6674fa8b87d9c83","datavalue":{"value":"applied pi calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920124$CBAADF0B-6A80-4425-A180-20388E5FBE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8e3714ee58693bababb4c001fa5b093b045f2d7","datavalue":{"value":"joint state theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920124$C81A9524-FCC1-41F7-956F-375C9214716A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac1b0f4652fda2e0729255f76ed9a501d42f6c80","datavalue":{"value":"authentication protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920124$D466B248-5742-4F63-841A-C3581504FA36","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920124$89E6AA50-0D3C-424D-B530-E7C376A26FBE","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":"Q2920124$95E86A60-4F12-4710-B9F1-38DC82319F40","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50592b1aacc6a2d1547f4fd1a96b8971e05fa580","datavalue":{"value":"W1684428352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920124$B201A7A3-8330-4C15-8CB5-306276696A49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a09e9544def07f7426b5743e5fef429b2690daf8","datavalue":{"value":{"text":"Simulation based security in the applied pi calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2920124$0DF2D672-7979-4364-8F36-021EC1222C4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82cae2152c21c9fd963d944b747fa93a9b6c0cf1","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2009.2316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920124$85540518-DE2C-4782-B52F-45027D55A04F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3aee9d85a30882e9652bee599e15181efa187e4","datavalue":{"value":{"entity-type":"item","numeric-id":5491642,"id":"Q5491642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e032cf23d766cf7d1b52235dc18e8caa2e8e6f52","datavalue":{"value":{"amount":"+0.9040241","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":"Q2920124$0E6671BF-0FD3-4E85-8560-06E46404B40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d1585d2763b36edcd8400e0923cfdc142c6ad9","datavalue":{"value":{"entity-type":"item","numeric-id":1772311,"id":"Q1772311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d87405d5b9a5fd5b685092eda3287ae17f0ebdb5","datavalue":{"value":{"amount":"+0.8905579","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":"Q2920124$02E560A1-C0A5-46C1-8CCC-46D74357C267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0198508278fd9154c232766005ea4a91636ec77e","datavalue":{"value":{"entity-type":"item","numeric-id":5711659,"id":"Q5711659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea0cfb799adb599632fd6eb894d63b8d67b0602","datavalue":{"value":{"amount":"+0.8689574","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":"Q2920124$D49B5C6F-9BDB-4614-9923-6461E76234CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"477cb56e1713c3960d9c4a55adaa810cfdbaf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":1021241,"id":"Q1021241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea0cfb799adb599632fd6eb894d63b8d67b0602","datavalue":{"value":{"amount":"+0.8689574","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":"Q2920124$C38456A8-E354-496D-9A69-62B900AC17B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c014a42553277dc8c8b9653ae292a4268ec347dc","datavalue":{"value":{"entity-type":"item","numeric-id":5857790,"id":"Q5857790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f5a5d8a86b7fee19823214cdb1c0ea4675c02f6","datavalue":{"value":{"amount":"+0.86717933","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":"Q2920124$0672B86B-EB27-42DD-BF26-8DBABDF8E6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a7e6f67c383a39dff2d81b1ad01994a84ba82f9","datavalue":{"value":{"entity-type":"item","numeric-id":2849415,"id":"Q2849415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32a2e764a015c87db540bf1517e382ebedb4f018","datavalue":{"value":{"amount":"+0.8556658","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":"Q2920124$6B80510F-4E39-4A77-9233-E723EB7A37E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37444537dcfe8e2d066aebffff1ec1fb3da25b77","datavalue":{"value":{"entity-type":"item","numeric-id":2170112,"id":"Q2170112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5fdb4960e1eff098482eee8deb0864ca6fade2","datavalue":{"value":{"amount":"+0.85161066","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":"Q2920124$ACD6D820-4F21-4B4D-9D25-BFA60EFB9BCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2920124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2920124"}}}}}