{"entities":{"Q1398674":{"pageid":1409414,"ns":120,"title":"Item:Q1398674","lastrevid":70331553,"modified":"2026-04-13T14:03:33Z","type":"item","id":"Q1398674","labels":{"en":{"language":"en","value":"Abstracting cryptographic protocols with tree automata."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1961602"}},"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":"Q1398674$4DFB8F2E-DF4E-4FB5-AC01-15E4263826EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee3a3e1696892f6c190e1218325a7a99c72c0c15","datavalue":{"value":{"text":"Abstracting cryptographic protocols with tree automata.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1398674$CD44F4E0-5D3C-473C-A200-215AF6199BB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40f9c7c60cad854b4a59a60188a8057860703320","datavalue":{"value":"1047.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398674$C8A3E74A-7B1A-4D5D-A7A5-DEC336CEE41F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f30882586c670b9cdb73515f917d64b83b0066f5","datavalue":{"value":"10.1016/S0167-6423(02)00132-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398674$47B100EB-5773-4582-8416-084DE810982B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8ef1c6e78c9ea414b5f452a20c5da29ecee893b","datavalue":{"value":{"entity-type":"item","numeric-id":848743,"id":"Q848743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398674$DA393706-2B89-4799-9B93-710FCD748336","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1398674$929C12D6-DC55-4C56-9485-29C00CE3BC2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8675d4e82e5e7ab948eb20cb416d2e93a38ea5aa","datavalue":{"value":{"time":"+2003-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1398674$F4C0F52D-59D3-44CB-ACCF-00AA77177FF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398674$CD42639A-5048-4022-B9E4-7545945D4546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398674$8110AF9D-2C93-4D41-9F0D-C1CBABBD0A1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00176660b243650d20183f7d43a3d2959120ff90","datavalue":{"value":"1961602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1398674$D9D3E09C-43D2-49B0-AE60-BEF120486A43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398674$A312461F-4D05-402C-AFD9-B41712E61F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398674$8A9A5010-32CF-47BF-A852-A49146C82A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"370572882f9971af28ce4e27b736b4c9e057f9d1","datavalue":{"value":"regualr tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1398674$FCAD2146-0684-4D95-AB4B-FE54FCD952CF","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":"Q1398674$7A51CD5C-DE73-4D82-BCB2-A5CE27A644CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bdc6d5f13c29d3c71aeb751041f3077f0860db8","datavalue":{"value":{"entity-type":"item","numeric-id":4494379,"id":"Q4494379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a8080609f9aa9134b6fd7d504a75dca9e830ce","datavalue":{"value":{"amount":"+0.9963956475257874","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":"Q1398674$394A018C-DD09-41E9-B91F-E133884FE23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f4979dc32471f3fdc42d8854dae12d8611a512c","datavalue":{"value":{"entity-type":"item","numeric-id":2841216,"id":"Q2841216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"985cb8be9db224f4b7de2c3fc5272767fccfdf51","datavalue":{"value":{"amount":"+0.8293392062187195","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":"Q1398674$1512CC5D-42BD-4129-8A30-1467967D5698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"126daadec64057aa06d01ebdfd4fbdc215d83e37","datavalue":{"value":{"entity-type":"item","numeric-id":4778712,"id":"Q4778712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef7b90081bc666bee514ca3a1694b62bf98b09ab","datavalue":{"value":{"amount":"+0.8228324055671692","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":"Q1398674$52279152-8C78-4153-A12E-BE8F849BD948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd8f63f231bba53497c99559216819e911a7a235","datavalue":{"value":{"entity-type":"item","numeric-id":4417934,"id":"Q4417934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d111dae2bbd30cc832be1add01f2f6ed21a09775","datavalue":{"value":{"amount":"+0.8195364475250244","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":"Q1398674$FFB0E813-40BE-48F4-A03D-21589AC31613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfd333244d293c4e7224aaed40e4276bc5b4b47d","datavalue":{"value":{"entity-type":"item","numeric-id":1770429,"id":"Q1770429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd903ea4854c5dc492413cc019021649ff36a63","datavalue":{"value":{"amount":"+0.8188526630401611","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":"Q1398674$28040D1C-14EE-4E64-9AFC-7F00719837D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstracting cryptographic protocols with tree automata.","badges":[]}}}}}