{"entities":{"Q3460872":{"pageid":5240272,"ns":120,"title":"Item:Q3460872","lastrevid":87231590,"modified":"2026-06-04T11:09:47Z","type":"item","id":"Q3460872","labels":{"en":{"language":"en","value":"Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527841"}},"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":"Q3460872$673EDC2B-1A06-4AD8-9EEA-0F2E180C4D43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0461cb054eb20ea2e1211beb395a5646ce4f2241","datavalue":{"value":{"text":"Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460872$6DB0FCCF-A85E-4D22-A112-747CEE5E06DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dfdbb09c0225b99571a35400f84e339ee445179d","datavalue":{"value":"1437.94060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460872$B16D8D2C-B3A9-4CE2-B684-74BD4A0CC7FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aba64c92a9888dd9f6f09ee63f206c89a54c73e1","datavalue":{"value":"10.1007/978-3-319-25527-9_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460872$F54609AB-F7D6-4624-968A-DAF1AB6CE03C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460872$FB0A9DA8-9FAA-4D7F-9CEF-8E318E994600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460872$25DCE384-4DEF-4284-8399-1247EB1A32A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"934af2cfc4affe97c4e08b3708a0f8c728b068b3","datavalue":{"value":{"entity-type":"item","numeric-id":462492,"id":"Q462492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460872$58E9A38F-AEE9-4B53-BCEE-34F1F51AE41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"893d4e95bab3f0a7b3894fc03f5329d8bc74115a","datavalue":{"value":{"entity-type":"item","numeric-id":831946,"id":"Q831946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460872$035129BB-92D3-45E9-A698-72CF74A8DD82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"230a3c844c1293bf0d2be6b72e34eb37f9ffb929","datavalue":{"value":{"entity-type":"item","numeric-id":3460853,"id":"Q3460853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460872$97150273-8F5E-4D7F-A5A3-E324648FFC27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460872$D84C01F2-5097-43A5-80CD-E130673D20BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460872$139B5D76-F0BE-4D9D-98F8-36AEC4AED0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460872$7EBFBA1E-066B-4A6B-BBF5-75CF2E2D5F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460872$1A00E69F-5D6C-4784-B10F-1656332ECDC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e31eb82ca79113020c63c9ac0dd5c2e91da8c9f","datavalue":{"value":"6527841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460872$CB48445B-6C50-4725-B017-48FFE26E9361","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"391de4a7403a58cfe989587b0bd79269a9793106","datavalue":{"value":{"entity-type":"item","numeric-id":24090,"id":"Q24090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460872$25594B39-2C05-4B5D-B3B1-581771B18CC6","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":"Q3460872$99D61B69-9AA3-42B2-A0AD-968E7408983A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a902dc3bb2a0acd623f2660b87ea4d9ebbcf952a","datavalue":{"value":"https://doi.org/10.1007/978-3-319-25527-9_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460872$0AB5B75E-0F8E-425A-BC2B-B21B27F6AAFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f05ccb963394c7da17584602e963cfcb3eb28884","datavalue":{"value":"W2296667264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460872$8A782881-8424-4422-B9DF-0D6D6650D74D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c83e9de3ecdf1301ebf53e9df41e940da5200bd","datavalue":{"value":{"entity-type":"item","numeric-id":673624,"id":"Q673624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460872$3F4FE4CA-19B2-44E9-BBB1-6B5FCF468115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ef94cd854f261a03421632ce7dd586f76d29c7","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460872$5169D49C-10B0-4F5F-AB86-7F190FEB5164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460872$311F78AC-26A3-4716-B66D-7FFB7D9FCF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aae537d2ba2f913f4058731c9a788ac51920f70","datavalue":{"value":{"entity-type":"item","numeric-id":4036586,"id":"Q4036586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460872$032178C0-571F-4046-8E61-DF89981FB1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e506e4af8108702e5b9b9b42874a27b1aa643df","datavalue":{"value":{"entity-type":"item","numeric-id":5703857,"id":"Q5703857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460872$CF31BD7D-AC96-4BDE-8959-83C70FC4AF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460872$D032A9F4-D44D-4BA8-AC3E-69EBC6C5FF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6faf23ae58f0d008eb59c8c3066e56d64ed7b45","datavalue":{"value":{"entity-type":"item","numeric-id":860906,"id":"Q860906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460872$231BDA89-A0F7-49CD-AAD3-663E5A0521DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2613520dd94bccb06517a96e46dc00cc2cb71a4d","datavalue":{"value":{"entity-type":"item","numeric-id":3184784,"id":"Q3184784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460872$B1FD82B1-A357-41A8-810C-A6E71945E4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde07a5af9c9126c9edeee597823bae300bf25b6","datavalue":{"value":{"entity-type":"item","numeric-id":1931909,"id":"Q1931909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460872$CB5CA922-E1E5-4EFD-9C64-249F11E7D7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460872$BC38BBAF-D29C-4FE5-BE13-1C6F391C9EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460872$1CD8EBC7-8262-4432-9116-1112894A1CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460872$63A2BD64-D869-4D0D-878E-F2C1C7A4ECBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14a1a742e214d8245c75cee91c994ccfb70891f3","datavalue":{"value":{"entity-type":"item","numeric-id":880981,"id":"Q880981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460872$B6005D8F-035A-43FF-9DE6-D5E1D281AC39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37606ff70932a9570760ab69cba902c0d3f1ea31","datavalue":{"value":{"entity-type":"item","numeric-id":2482449,"id":"Q2482449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb9854d655b11c7f09dc1fe6f9b114e48087bb6","datavalue":{"value":{"amount":"+0.9348714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460872$3B3DAE52-001A-471D-889D-EC259B7ABABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf7380c7d6dd7a828f6121c15034e8d262e64d4","datavalue":{"value":{"entity-type":"item","numeric-id":6487294,"id":"Q6487294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f9411de8667f28c07a4a94700655055e677a13","datavalue":{"value":{"amount":"+0.8869405","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460872$69B84B45-C39E-4C79-B9AA-582FD81E51B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e7f743bcca1b007e42a470db5a301ec2950b1a","datavalue":{"value":{"entity-type":"item","numeric-id":3591419,"id":"Q3591419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdd148e124dc5b65ab676e11294dd84116508d24","datavalue":{"value":{"amount":"+0.88616806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460872$78DC91E7-27F9-47CA-8D5E-CDA0527121D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ffe29d02649cc38d2d6b00b272070394678adf","datavalue":{"value":{"entity-type":"item","numeric-id":6052948,"id":"Q6052948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a1cc3b56a0753f43fe88316df5fcfbbd01ec7d","datavalue":{"value":{"amount":"+0.8815325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460872$1DFF62E7-ED5C-4095-B159-1A9CB5FD1532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7fad45566bc3629bf7dbc2cd939367d31827ba","datavalue":{"value":{"entity-type":"item","numeric-id":2303359,"id":"Q2303359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde9a903cf6280a2d73fee4a6d99e6ed5c0bdc5d","datavalue":{"value":{"amount":"+0.8802641","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460872$4CFF9A61-3998-4DF0-912C-E9F74C09B8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"517cd3cb617920845b81b918e3240f509e716868","datavalue":{"value":{"entity-type":"item","numeric-id":5240106,"id":"Q5240106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d60f99117c47c98d556e5447ec69f1619def82e","datavalue":{"value":{"amount":"+0.87417626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460872$E128FB2C-8BEF-46D6-A80B-D340203644B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8185c638f112cbd253c828f2a16aeebeda3e4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e2b3bc509f468e1bada210fdaffcfc4be6dd84","datavalue":{"value":{"amount":"+0.87145174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460872$45472F91-8E18-492E-B40F-0678D2248A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc034118f46ddd9a537f305e0522c51e18beea8","datavalue":{"value":{"entity-type":"item","numeric-id":4536588,"id":"Q4536588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b363fb9e41c517c3697f4a51f9626b1d6f70a11","datavalue":{"value":{"amount":"+0.86912954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460872$CBFC7268-AC5D-48E6-9A05-80E642CCCE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f926ad9f8829debbd7a43dc393730f177621549","datavalue":{"value":{"entity-type":"item","numeric-id":2999248,"id":"Q2999248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d1b46fcdb2ebed6f504c2224da562fdfc53f1a","datavalue":{"value":{"amount":"+0.8650555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3460872$629766A2-C8EE-40BE-9534-F48EFACFC5BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Symbolic_Protocol_Analysis_with_Disequality_Constraints_Modulo_Equational_Theories"}}}}}