{"entities":{"Q5902125":{"pageid":8010916,"ns":120,"title":"Item:Q5902125","lastrevid":97620812,"modified":"2026-06-05T15:06:37Z","type":"item","id":"Q5902125","labels":{"en":{"language":"en","value":"A Proof Theoretic Analysis of Intruder Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5571839"}},"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":"Q5902125$B08900CF-4493-49D8-B34B-28CD21B22AF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a6770649daebeeb264370cb0cd5c2ee822fb105","datavalue":{"value":{"text":"A Proof Theoretic Analysis of Intruder Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902125$E89EE954-7884-425A-BEAC-85062D35B456","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9157731b0c2d5e98a154211182d231b09e1e683","datavalue":{"value":"1201.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902125$838AD3D7-776E-4579-B323-B7750C3BAD36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccbf44c495b3c1a5e6e04b111aa60e73fcdaa7a8","datavalue":{"value":"10.1007/978-3-642-02348-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902125$1369EFDE-9201-4B97-AED2-9D87CCFA57B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902125$3DC0C8F2-0637-45FB-9D5B-0E1CE8261CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902125$74013FB3-AB78-42F7-BEEB-DC4B79C12FC1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902125$87CD31B8-4881-4AE2-8681-729181620BE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902125$1C6EB5CD-15CA-4DE6-B629-CDDDA37839A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38401c586ca30466976ca274798c1cdb878711a0","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.9404","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902125$04FE9910-B380-44F4-9052-03ABFC701377","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902125$BF8BC39A-CA59-4B85-9074-ACBC141B1EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902125$5C430074-E1D2-498D-A320-0CAC36882A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902125$92BD119A-81BD-457A-899F-84CD32CFEF5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"910e3b7ea6e934457278e1917b97a38ebe988718","datavalue":{"value":"5571839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902125$4927349A-8A37-49E6-B3C4-FFC1BB488CC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"839a21c8dd58bff74e8fa26128e25db963193020","datavalue":{"value":"AC-convergent theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902125$AE433D1E-C331-4CF2-8EA0-03C0720288E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902125$F3220F5E-2AF9-4CF0-8027-4600F7D0AFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57af4fa9a20a32591243f92b54bbc42c599e9d09","datavalue":{"value":"intruder deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902125$1B7BEC4D-0762-4170-AB51-0C21934CEEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902125$1CB0D08C-B4C9-4357-8561-6DAB98325ABD","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":"Q5902125$BC987F8D-8755-4ABE-B419-EC9CE6CDC0AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb42cbf9d9f12d4988c85210f116f08fabd35db5","datavalue":{"value":"W1782352263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902125$73219221-8C69-49E7-9BC6-1AF09A251115","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902125$77B63B22-740E-4887-91BF-45D8A0D919EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e489f60b50ffbcb76ff4a8ca52e7c0625bf4ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4536615,"id":"Q4536615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902125$C01961C2-0D40-420E-9861-D036B71581DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95a34c8aa545e7f9fb8eb6bef8482adc1308a8ed","datavalue":{"value":{"entity-type":"item","numeric-id":3525004,"id":"Q3525004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902125$5E8830C2-343B-4968-A349-45A25FF9D32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc97f546228c5c4ad050bfe934a2da9822d01f2","datavalue":{"value":{"entity-type":"item","numeric-id":1918503,"id":"Q1918503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902125$EDAB57FF-3D6D-4A96-8319-FCAD7C7674EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43ed076b922bab4526d2e55f06121ec4c2de885","datavalue":{"value":{"entity-type":"item","numeric-id":4535055,"id":"Q4535055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902125$6184A65E-60FD-4BE4-B0F4-EDB51AEE8D0A","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":"Q5902125$C8D400CC-4D1B-4336-8D7F-DC595BA382D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b6a15ea7bd47f8d587d7880f317f8dc8a225e8","datavalue":{"value":{"entity-type":"item","numeric-id":3498466,"id":"Q3498466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902125$98CD4832-946F-4960-A209-A62C8F3A842D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9040a8fcdcbb5c6cec79c451e1486fff7f050501","datavalue":{"value":{"entity-type":"item","numeric-id":1045939,"id":"Q1045939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902125$A213914A-A0FB-45A4-AF7B-75F289F9D2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f14111429a5ba61647f365bfa468c78b1bd2874","datavalue":{"value":{"entity-type":"item","numeric-id":3591419,"id":"Q3591419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902125$3FAAC364-A1E5-4BD7-8C4C-579AA8E1AA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4478401f47f86a8e59318518de26bb2d0ec75fd2","datavalue":{"value":{"entity-type":"item","numeric-id":2482449,"id":"Q2482449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902125$C14D86E7-C57C-455D-AC26-C81E715D206F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25daf8d15c7f307c38d437c6af367e120d5dcff0","datavalue":{"value":{"entity-type":"item","numeric-id":4341689,"id":"Q4341689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902125$4F8719CC-DE67-4F21-8056-58F6E8948567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f619adea6db0ab75b9bc69654a89af3583c163f","datavalue":{"value":{"entity-type":"item","numeric-id":5316564,"id":"Q5316564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902125$81A71AD6-3D65-4515-81BE-04C258140FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0d0fd1ed6a0d6d1cbf76c02409bd15ce7ae548","datavalue":{"value":{"entity-type":"item","numeric-id":876047,"id":"Q876047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902125$2FB4744B-A832-4E52-8D7A-6D49EE1A1AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25c898898b618a08f301331a46c4d1e466a4aef","datavalue":{"value":{"entity-type":"item","numeric-id":582270,"id":"Q582270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902125$9F050F10-80F7-4BDB-954D-8EF21B9AC521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c48845d1510f5f2ff8effd0c1e717b436521df","datavalue":{"value":{"entity-type":"item","numeric-id":3498447,"id":"Q3498447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902125$5CD33A4B-3EA6-411D-81ED-19527AC58436","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d561c31ef58d5a8f7573ee94598d2d324ee800","datavalue":{"value":{"entity-type":"item","numeric-id":5890483,"id":"Q5890483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","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":"Q5902125$A8FEA647-5355-48BB-97D3-067622296619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6ccd111e646f9cb6b9ca5786ce058c3dc9c8d2d","datavalue":{"value":{"entity-type":"item","numeric-id":683746,"id":"Q683746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de4480cd236370500ad6be60acb81b6ab8aaf662","datavalue":{"value":{"amount":"+0.8748919","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":"Q5902125$DC452BEA-04F1-4B95-B485-FED899BC206F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecd416ff278c1f65eb4fc3475ce4889ec6d4f458","datavalue":{"value":{"entity-type":"item","numeric-id":5387865,"id":"Q5387865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6047d8cc59c8f21d7591e5efc70cacfc3bd98f87","datavalue":{"value":{"amount":"+0.8639315","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":"Q5902125$CDDC8370-9D47-44A8-A8D4-C411F8F8EE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d93b6be496914bc7a99b4bd9c6dcfb8479fb63d6","datavalue":{"value":{"entity-type":"item","numeric-id":1868239,"id":"Q1868239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c63254604198807d46ff8b835c03b07bc2fedf2","datavalue":{"value":{"amount":"+0.85622686","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":"Q5902125$321E4A4E-E958-4ED1-A3C2-1B5047683995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efb37b909f6a7304f8d4680927355fbe38f92f84","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b4f7c224df513ac630aba3b8e26c51f54b438e8","datavalue":{"value":{"amount":"+0.84675884","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":"Q5902125$06CF3B1A-FA8E-41A0-B0B4-D0D4D520340E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b333c543d704257088996ea9556a68e90debe70","datavalue":{"value":{"entity-type":"item","numeric-id":4413893,"id":"Q4413893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b872b9870b3937c56aa09f97d2a7b0bece9d6dec","datavalue":{"value":{"amount":"+0.84637016","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":"Q5902125$6E47CE55-145B-4D68-93FC-1FB2388E8B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a47bc64d822cea8c553171dd258853e920957567","datavalue":{"value":{"entity-type":"item","numeric-id":4637223,"id":"Q4637223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a9bf537843ee23088aa6700cdb580b890f92ec8","datavalue":{"value":{"amount":"+0.8445854","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":"Q5902125$4A809D71-7DD6-4F7C-B623-0A5EA4C169E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96b24529064868309ef70909e88547cc2d47a9b","datavalue":{"value":{"entity-type":"item","numeric-id":661286,"id":"Q661286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe7b128d82db42da60be4e389a67a4e858d55fdf","datavalue":{"value":{"amount":"+0.8444076","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":"Q5902125$41A1C115-187D-4B9C-9337-140854FE5109","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Proof Theoretic Analysis of Intruder Theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Proof_Theoretic_Analysis_of_Intruder_Theories"}}}}}