{"entities":{"Q2177599":{"pageid":2188342,"ns":120,"title":"Item:Q2177599","lastrevid":78499925,"modified":"2026-05-06T11:44:32Z","type":"item","id":"Q2177599","labels":{"en":{"language":"en","value":"Dolev-Yao theory with associative blindpair operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7197423"}},"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":"Q2177599$65A1A245-70EA-4AF4-A1E1-AF6373E8D97E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52727d5e1976044ff329ffdb71cb88665f4e8662","datavalue":{"value":{"text":"Dolev-Yao theory with associative blindpair operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2177599$5E303F6B-E843-4FEA-8D1E-8FC9E9443DD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f87405e4981d06dddd94bcc1b173ad7c4584a36","datavalue":{"value":"1455.94122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177599$19064137-BE81-4283-A967-3FAEAB397FD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fb511c9391dd696729e807a8f5124efa73d43f5","datavalue":{"value":"10.1007/978-3-030-23679-3_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177599$4ED44270-ACB3-4BAD-A5C4-B84B64374411","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2177599$20ECAF5B-E7FB-40F2-9DDC-D14BA65D441D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63b133e2f3cdb47e2584c85d3d40bfb2c7f5272d","datavalue":{"value":{"time":"+2020-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2177599$CBE19A1B-369B-4EBF-A3D2-5FEA5EDB11CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177599$CF6C3920-DD91-491A-B578-0BD1FAC3766B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177599$8FD79838-B2A8-4B0D-80C2-80FE04AAF3A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e300b67abdf1fef8ad6be6aab3f16b1500d960e","datavalue":{"value":"7197423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177599$91AEA951-68F5-49A5-B480-1B4599814804","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1162a17c23e3ffb24b5d732ea42418288035784","datavalue":{"value":"Dolev-Yao model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177599$BBE3DB1E-542D-44D9-AF9C-0C62D704383A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177599$42B5F266-ACF4-4CBF-A0DE-9256E3B6712B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453739b0e2f1651ef284cd4dea2e53f4b6500518","datavalue":{"value":"alternating pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2177599$F07CA0B1-40A6-4E72-A1BF-EDD4E8BEDC8C","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":"Q2177599$794B6022-75EA-4CB1-AD6B-4287320731F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83c762a573296efeae923ea13b10fa72a96d98ab","datavalue":{"value":"https://doi.org/10.1007/978-3-030-23679-3_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2177599$C41BCEAB-E37E-4FC0-9A73-03E738A9E2B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"196b48a06258f12e1167877f153ddb4e7ce4dc4f","datavalue":{"value":"W2954006999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177599$D62569C8-B7E7-440E-A067-C491C185044E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3102836a3c615c5abf2b295eea3e4f781093e7aa","datavalue":{"value":{"entity-type":"item","numeric-id":3586076,"id":"Q3586076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46acf0617d82c8e6d82301cf4c13c69d7d012f34","datavalue":{"value":{"amount":"+0.8803955912590027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2177599$1C18B2E7-5299-4A59-AC4D-34CE2F5952B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831fdf921549fb7e6c277ea080f02501b3028f24","datavalue":{"value":{"entity-type":"item","numeric-id":5862666,"id":"Q5862666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0761518acbf33b5e9aaa1726de7f4ed87947aca","datavalue":{"value":{"amount":"+0.743171215057373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2177599$A7C3C5BD-0EC0-4EF3-9C1A-2AD44895C63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d32f0f98de328b95af0f8c46a32b07f560b43bec","datavalue":{"value":{"entity-type":"item","numeric-id":5900955,"id":"Q5900955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edd4a2b00a815f42ccff71e7c3e10ead8184f8f7","datavalue":{"value":{"amount":"+0.7246851325035095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2177599$E2905409-5A85-4ED7-A6B2-590980C61FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dfacdfa8f628a19b224ec865f50d82c401a4a71","datavalue":{"value":{"entity-type":"item","numeric-id":1045939,"id":"Q1045939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8ff44be05a0e93920a8418aa8b82be4dde07186","datavalue":{"value":{"amount":"+0.7108796834945679","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2177599$10CAC613-DE07-4A88-B122-57A3ED366298","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":"dc73e5f0013233a89ea8bbee4861ef23e6854016","datavalue":{"value":{"amount":"+0.7063423991203308","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2177599$E7F11495-AE9F-4D19-AEA6-24A698766042","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dolev-Yao theory with associative blindpair operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dolev-Yao_theory_with_associative_blindpair_operators"}}}}}