{"entities":{"Q2863872":{"pageid":2874592,"ns":120,"title":"Item:Q2863872","lastrevid":42326639,"modified":"2025-06-08T12:48:56Z","type":"item","id":"Q2863872","labels":{"en":{"language":"en","value":"Completeness and counter-example generations of a basic protocol logic (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235738"}},"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":"Q2863872$3AC91519-8EBF-4F4C-802C-F375C046CB52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66ddbe214f56a027b0bf45c32d2086f667368156","datavalue":{"value":"1276.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863872$48179B99-15E3-4AEF-8687-7F12B0B8E7B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ad2997a218ecfd974b0161ea5dc6311f8e056a8","datavalue":{"value":{"entity-type":"item","numeric-id":408336,"id":"Q408336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863872$7621BEE1-7F7B-4550-9835-DE0536B065EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26cd3ce2ca6a508af647c0b8ee8a10745379af0","datavalue":{"value":{"entity-type":"item","numeric-id":235600,"id":"Q235600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863872$523CE4B8-179F-4FDF-ADD0-451B677B401C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863872$D8336D6E-03BC-4017-B7C0-478EB5F5FF7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d3c75482741f35326b4a21e64c46b4abdc1f158","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106000351?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863872$FFF1BF79-DF83-4F8D-825E-61122FF8A8E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863872$5C5C26DC-7353-465A-93A8-3B75CEDCF94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863872$103F0F04-AE19-4B40-B76C-68FB54BABA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863872$B85E0122-A631-4A55-BCE5-184677986523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863872$EC5B5D4D-7FA8-4D7B-8D45-724328051040","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4dd596e68deb043e4f36dbc5cb164910fe8459a","datavalue":{"value":"6235738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863872$6A3B4F87-2D22-4DCC-B8C2-9C1674B803A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30f05d2cfaad8f9daab4830a92001afdcbcf2024","datavalue":{"value":"security protocol analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863872$72202376-ABAE-4083-B2F3-A2DAA7BDDC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cee31b109bfd0275ef9410b844f3bfc242cf31","datavalue":{"value":"first-order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863872$9ADAD9A3-6620-47FA-884F-99800E59C0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afa4ddd4d5951c3680b97215a1859c782b77cbc4","datavalue":{"value":"agreement properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863872$99CB0C9B-A914-4452-865D-4375254A9F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8ee749d72c0f3783080eab706da1db7a3a8f12","datavalue":{"value":"proof-search method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863872$D6740284-47A9-498E-9912-5A78B126E89C","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":"Q2863872$23164841-30CF-4854-9432-900E5FC8183B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5652f6ea177e26c0e269378dbed95cca44f56bb","datavalue":{"value":{"entity-type":"item","numeric-id":4353623,"id":"Q4353623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e6c014f5c4ea6f7d5936868d42ef50aec7acd2f","datavalue":{"value":{"amount":"+0.86478233","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":"Q2863872$D3CD99F6-B08A-4DF2-8E61-324A718FCCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4e3f4a983e379c2fde87c5cf46f2c80e7481d77","datavalue":{"value":{"entity-type":"item","numeric-id":2901223,"id":"Q2901223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14d584e51b426616e9ecfd17641616c7e2b016a","datavalue":{"value":{"amount":"+0.8595363","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":"Q2863872$3E38A240-5A8B-48F2-B6DC-27B3E9487B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5be94989e95a5b692ec27555420d25bc46d4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2949713,"id":"Q2949713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13cdf2029aa58819fc2018904b3b26777a93b0ac","datavalue":{"value":{"amount":"+0.8563099","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":"Q2863872$385E0B6D-B1CA-4E97-907F-72D91A0DF86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975c7e14fc21eb392cc7c1d1e5a4a2564b3ef902","datavalue":{"value":{"entity-type":"item","numeric-id":4779119,"id":"Q4779119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"222dd2a3ff29dfa2e7f6ab0052a17506942c8888","datavalue":{"value":{"amount":"+0.85608816","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":"Q2863872$0C9B3829-3DB9-4FDF-A4C4-E1FC00F914EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b3388fc48e9ec12ac2d36774773da4360b8e62","datavalue":{"value":{"entity-type":"item","numeric-id":2531279,"id":"Q2531279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddfde900322f74693887edc312595346e9e76d16","datavalue":{"value":{"amount":"+0.8558762","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":"Q2863872$AA0EA9AE-CEF0-4D50-BB05-F87185808307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb76fe1015bc32b21db6154a240f0cf6ad4bb725","datavalue":{"value":{"entity-type":"item","numeric-id":1199926,"id":"Q1199926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5eb4649a157f3ae04da28c04de41089b4e1f73f","datavalue":{"value":{"amount":"+0.85166466","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":"Q2863872$00591BA4-4003-4C6F-80EA-E4FF05C59094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b4dbc68b06bc8ecd04f5d1802c7e4cf586f269","datavalue":{"value":{"entity-type":"item","numeric-id":1110500,"id":"Q1110500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c2a69df3b7e5ddf7b92658be95143a731b785f","datavalue":{"value":{"amount":"+0.851476","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":"Q2863872$501175AA-27E7-44EA-8D9D-2975070FB2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f493728d7679715b42970806023897dd5507208","datavalue":{"value":{"entity-type":"item","numeric-id":3201745,"id":"Q3201745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d42912235b41cd2afd6de792162188cf6a3a2a3","datavalue":{"value":{"amount":"+0.8504536","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":"Q2863872$5DAFE8D0-58A2-4701-9672-F2B5C9ED4FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ba4920e4cd0070412225e45f447d2a5d262358","datavalue":{"value":{"entity-type":"item","numeric-id":3337453,"id":"Q3337453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db70ed8003b49dfe3c68bb07e83b021dc84d331","datavalue":{"value":{"amount":"+0.84985435","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":"Q2863872$A8CBCB81-C7A1-4EEB-8528-BF49A6EC7737","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f61cd43538c213221d821c6443b2b005b7763fc","datavalue":{"value":{"text":"Completeness and counter-example generations of a basic protocol logic (extended abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863872$A3B580FC-EEDA-4553-BED9-161618D33612","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863872"}}}}}