{"entities":{"Q739638":{"pageid":741487,"ns":120,"title":"Item:Q739638","lastrevid":63977634,"modified":"2026-04-11T16:49:39Z","type":"item","id":"Q739638","labels":{"en":{"language":"en","value":"Ping-pong protocols as prefix grammars: modelling and verification via program transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6618154"}},"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":"Q739638$21F45C32-AA8D-4307-B5C4-DF6A966B7EB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7666cff8f722f05a106ffa6e72810aafa407ee91","datavalue":{"value":{"text":"Ping-pong protocols as prefix grammars: modelling and verification via program transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q739638$DE2A28C9-D72E-4D4A-BA5F-56F978F89077","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f669825a969b45036bdf3ad2242866c58ae82d1","datavalue":{"value":"1348.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739638$26D0CFAD-C634-488D-9049-F79DEDBFAC0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"885a7528d3623f63403aa11c82695b7177950b15","datavalue":{"value":{"entity-type":"item","numeric-id":739637,"id":"Q739637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739638$D774CECD-2537-4BA0-ACFB-75CE03762ACC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739638$BEBC97A7-DAFF-49AD-B4E4-E403D98F096D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"706da6f12e9daca9da0b5659a31fd3aa9be7fde4","datavalue":{"value":{"time":"+2016-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q739638$7F8413CA-41F4-4E6B-9A16-D387A4EE9140","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739638$EC56D9A6-762E-4C0F-9157-450C4CC58C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739638$BD901F5D-DF6B-4601-AF5E-12EE0199597A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4264b8bf260e532ba12469970b36fcaf09f85467","datavalue":{"value":"68P30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739638$06D2CBF4-F4E9-4B27-BE30-0A8D04C57C4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5da196aea81b5ccd5f8b14f4b99707a77e828f90","datavalue":{"value":"6618154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739638$BCF25A70-7C00-41B4-BC2F-7A6C389E155B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dad884dff0a259f313e0ee2c5d8ca0bcc3f2493","datavalue":{"value":"prefix grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q739638$5CAED353-BA14-476F-8C13-AFDE82B19E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"519cf2c361bf1e858f767b16f4096b243dce2c7f","datavalue":{"value":"ping-pong protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q739638$892ADB2D-7687-48D6-AE03-2140EED47A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q739638$3F3A95EE-F807-4475-95FC-C96700313E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78944fa5f06f66d5b5ccd752b57553218456eaa4","datavalue":{"value":"supercompilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q739638$27F96AC9-4ACA-443B-9575-AD88D7240A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48efbb72b282f670d5aae6b165ad4ac195935b80","datavalue":{"value":"Dolev-Yao intruder model","type":"string"},"datatype":"string"},"type":"statement","id":"Q739638$DF1CB2DC-9AAD-40E3-9921-A2D974915B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q739638$7DAB2E91-5A2B-4564-91EB-A9298A409783","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a10fa0d0fc1b68b6a8c9081db3fab0d000f0c64","datavalue":{"value":{"entity-type":"item","numeric-id":39349,"id":"Q39349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739638$AEC08B3B-4C73-4789-91B3-C60180C34A41","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":"Q739638$AA281541-723B-4F46-BA15-9F56BBA25958","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2afe3601f06bfbe6e1464c8008c37fa2d73e815a","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2016.06.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q739638$E6F97833-312E-47C4-B5D7-99A1F5DE857E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d24bad2d3e16310fc9c2d99ec9effa21b4635388","datavalue":{"value":"W2465156511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739638$457D25FC-CA46-4ACA-896D-39F2F0A9DB5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd7f535b99990e97c48b21b4f729647c06639dd","datavalue":{"value":{"entity-type":"item","numeric-id":4230922,"id":"Q4230922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739638$86B284F8-BE4F-48C1-B319-2AF59025E54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3944d11f57df22916bf6d751f60919e8d5446f58","datavalue":{"value":{"entity-type":"item","numeric-id":3323837,"id":"Q3323837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739638$1FDDF0C3-337F-4EE2-9385-FB98D4B440AC","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":"Q739638$873AE99A-9E74-4A22-B157-D72D2FEF8E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53768200f849bd1551995a792a07c7ad59461741","datavalue":{"value":{"entity-type":"item","numeric-id":3457979,"id":"Q3457979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739638$27408521-2D52-41BD-A834-CADA8468DB12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d8926d45fcb4b1bb909cd05f1d67a543373e29","datavalue":{"value":{"entity-type":"item","numeric-id":1758675,"id":"Q1758675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739638$3894C681-AA77-4362-92EC-5AA3815E4A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa36d4382a0eabba3097efbe024f1c573ebd8d1","datavalue":{"value":{"entity-type":"item","numeric-id":3526545,"id":"Q3526545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739638$0A8D557A-AC85-438F-AA7B-38C84C5B90C0","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":"Q739638$888191AC-26E1-4A2F-AFBC-636C7DB227E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e87f3fa34a5f70644bfed872e89f2e2f311b4a8a","datavalue":{"value":{"entity-type":"item","numeric-id":2371554,"id":"Q2371554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739638$004510E3-4D67-4F76-9224-155B0F705FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8219b8caf64f58381971bc73c47456fa8a33f55a","datavalue":{"value":{"entity-type":"item","numeric-id":3645296,"id":"Q3645296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739638$6E710F5A-7F3F-421A-A003-69AACB3F1EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8703228b70bd76dfe6540872520bac9ad5b1b1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3732942,"id":"Q3732942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q739638$FE19AB24-F03B-4204-BD07-53468CD5642A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5124749ca34c47c9c9b88d7746ec76c3976f665","datavalue":{"value":"10.1016/J.JLAMP.2016.06.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q739638$A0E5A455-598F-4BFE-B7F6-C0B47599EC7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0f187c6ac7f459b3af347d0f27a43bceebba4b8","datavalue":{"value":{"entity-type":"item","numeric-id":3522925,"id":"Q3522925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"421582bd634f6f6b294ed79ad80d98466f7a01bd","datavalue":{"value":{"amount":"+0.88770986","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":"Q739638$9D367118-B7A0-4978-8A6B-F9030C79A56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"278c367e157997329c073bbec86536a2850f9165","datavalue":{"value":{"entity-type":"item","numeric-id":919803,"id":"Q919803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffb837bf2c8d6a933f03e125aa17d4e8d97bdd7e","datavalue":{"value":{"amount":"+0.82389164","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":"Q739638$05245DD9-058F-4E7B-89B8-1192893753BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12c1d633f694e7c420be9bb0eed4dae17486012c","datavalue":{"value":{"entity-type":"item","numeric-id":929968,"id":"Q929968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f932865cc473790c7564e06142b639d4d1ed340","datavalue":{"value":{"amount":"+0.8228152","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":"Q739638$BBBC3E4A-9B49-4E25-8DA3-4004794E6E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a18ede42f313dc1f3a28a5a0b023f74f026d3e60","datavalue":{"value":{"entity-type":"item","numeric-id":2844070,"id":"Q2844070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a160a18c12ff8452a6ba490bf2852e49df76f7ca","datavalue":{"value":{"amount":"+0.8197932","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":"Q739638$CD3CADA5-700C-4B0C-83C6-267C69087CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226e2e4cd98cedf563a4980a68e2180d1fecaae4","datavalue":{"value":{"entity-type":"item","numeric-id":5302878,"id":"Q5302878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9578245f677fbd8a91d00849ae6a48e9761ef7c","datavalue":{"value":{"amount":"+0.81717956","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":"Q739638$CD885EFF-0866-4BD0-B245-7474BE748154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f8ab3935fc2620e55cf076b9b8278195de59fc","datavalue":{"value":{"entity-type":"item","numeric-id":5459189,"id":"Q5459189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f20aef219966ced0a6cf99020c191655ec81d7","datavalue":{"value":{"amount":"+0.8169155","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":"Q739638$C5487D62-544B-4CA2-BC93-B822D311B026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4745acb3acf53ea2b8529872283d51c5409e9059","datavalue":{"value":{"entity-type":"item","numeric-id":4315825,"id":"Q4315825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33d457519e010cb7204775a4da0815ca4edaf9d9","datavalue":{"value":{"amount":"+0.81625456","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":"Q739638$384488D0-8B2C-4462-93C6-BB0C754BE7DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ping-pong protocols as prefix grammars: modelling and verification via program transformation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ping-pong_protocols_as_prefix_grammars:_modelling_and_verification_via_program_transformation"}}}}}