{"entities":{"Q861694":{"pageid":863542,"ns":120,"title":"Item:Q861694","lastrevid":64957554,"modified":"2026-04-11T23:21:26Z","type":"item","id":"Q861694","labels":{"en":{"language":"en","value":"Decidability issues for extended ping-pong protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5119732"}},"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":"Q861694$AE1B316E-4810-4322-B245-E35E0BFD5804","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d6d85b0e319e26c430a49e8dda429daff90edbf","datavalue":{"value":{"text":"Decidability issues for extended ping-pong protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q861694$97661592-029F-4735-A256-52CDA4E82D2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc20dc6afac15ef986d33eac80df46b0e703ab0b","datavalue":{"value":"1107.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861694$67C0794D-BE27-43D8-B784-0E46C840DE07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f357d017754e572ccc44c17ada188ba5cbe27432","datavalue":{"value":{"entity-type":"item","numeric-id":861693,"id":"Q861693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861694$7A35B276-BE24-46A1-9552-7D276407D2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115241a544f99ad7a30e923fe7cd2e43b86b4105","datavalue":{"value":{"entity-type":"item","numeric-id":444489,"id":"Q444489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861694$C9CA08E8-E357-45CD-A5D2-718DF73E93ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861694$4D5B8CDB-F661-48DB-A941-664628627860","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35bf8729f5a833a26eee340dee2bdc3e7c14d114","datavalue":{"value":{"time":"+2007-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q861694$C149A99F-F57B-4BBD-B7C5-29CD74B21233","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861694$76C6ACF4-FEAE-4974-9C22-FDFB0C3E05C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861694$71FE0442-ACCF-470D-86FD-4E2D98ECA512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861694$9AAC1A60-AB3F-48BB-A0B3-019C1483F4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861694$BF986C91-B6F9-4416-B055-5FEF08740877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861694$864274E2-2BD9-48F2-811F-56898D8315EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c349e9e200016a841a134a3fbfc971849c507c79","datavalue":{"value":"5119732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861694$BFF08233-74DF-4AE5-94B2-C813ECD55D4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q861694$4108166F-E958-453C-A214-13E1399E8DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"925e150e74e45555ae7550f13717a6fb58116a33","datavalue":{"value":"formal modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q861694$AD50B905-FAF4-4EA5-B0EB-0191BC928023","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":"Q861694$505FAF2C-39AA-4515-B6F0-3A46B025EDAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6722c4b7c052edb0950096592e11b1511558995","datavalue":{"value":"https://doi.org/10.1007/s10817-005-9015-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q861694$9242F853-94A3-42D8-A5F5-D18787F78A63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab397303a2292e5d29601677730a21ef5a8b2abb","datavalue":{"value":"W2140498954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861694$219024DC-37D0-4D75-A255-93DA2B4CB569","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":"Q861694$11F58A11-743E-4F84-94D0-18ADB54A38F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88841c928c327a6860d292686b79d9d48a1bdc75","datavalue":{"value":{"entity-type":"item","numeric-id":4484507,"id":"Q4484507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861694$04FBACD3-7A53-4E93-A2ED-BD3B8B33B417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e489f60b50ffbcb76ff4a8ca52e7c0625bf4ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4536615,"id":"Q4536615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861694$C5543FCA-9608-4CE9-8043-4B68EFDF2C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2359ea34b4e7685569c1fcc0ec424abb83c93aa","datavalue":{"value":{"entity-type":"item","numeric-id":1853612,"id":"Q1853612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861694$4FD2CBF6-1DC3-4681-AB82-A06FA694E11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43ed076b922bab4526d2e55f06121ec4c2de885","datavalue":{"value":{"entity-type":"item","numeric-id":4535055,"id":"Q4535055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861694$C79403C6-265E-48B7-BDFD-7F1A87490A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6473c3e86b72de5065fa5f2153919d4fac2fc8","datavalue":{"value":{"entity-type":"item","numeric-id":5338328,"id":"Q5338328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861694$11693609-0202-4239-BFB1-C16BED198B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78abf06cd43bc8b5469b6b54f3aaf21e033b53e","datavalue":{"value":{"entity-type":"item","numeric-id":2760246,"id":"Q2760246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861694$A5C829CC-3DCD-4A04-A5CC-0FFEAE2DC22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b143616a2682ba929d1857fc48124930111bdcb0","datavalue":{"value":{"entity-type":"item","numeric-id":4449170,"id":"Q4449170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861694$0D956EE0-D182-4D79-8B46-07055CA205B5","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":"Q861694$C1CCCAD3-C057-4FE5-AF01-5D92B324C3D2","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":"Q861694$750F59CF-9F22-4601-B365-A66D1DDBEC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afd4fa313d72573c9bd3f393fea2eaa1326a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861694$11D851E4-CB04-4EDF-A059-B3EA10A6ED00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a133b2b9476ffc4401b56d83bdfd1f487592e7be","datavalue":{"value":{"entity-type":"item","numeric-id":2754086,"id":"Q2754086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861694$956491D3-C2A3-49F6-851F-331C246C47E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d6689863919efc9d2b8984e9760a2b2c07aae6","datavalue":{"value":{"entity-type":"item","numeric-id":2754157,"id":"Q2754157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861694$0C27367A-08EC-4FD0-BB64-E1C318ACA69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89803e0c93fbb5df0451b16f3be1f848c742f67","datavalue":{"value":{"entity-type":"item","numeric-id":5308453,"id":"Q5308453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861694$BA4FB5F8-9149-4656-99A6-C10BB43EEB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6d4d34eb49ef6ddbb08aaf93c6aa4077fc09d5","datavalue":{"value":{"entity-type":"item","numeric-id":5311485,"id":"Q5311485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861694$45889DB6-04A2-43F5-B8EF-3E42D08C8278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e98f322680a32cb9958826de3f407d1215106b","datavalue":{"value":{"entity-type":"item","numeric-id":1854328,"id":"Q1854328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861694$B51A8070-829C-4A53-81FF-4745A86FE787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626d7a62e073def6cda0e756433e91c381c28af8","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861694$E74A8B34-B59D-44B2-8553-5749F2D6A0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q861694$A44C70A7-126B-4EBE-8BDC-C0EE9405A438","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e80362e15931f11e1baa46120327609a911f2f62","datavalue":{"value":"10.1007/S10817-005-9015-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q861694$03D4E9BC-C7A2-44F9-B051-4179394A4ADF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d96d2399e08d4c5a060096956e40d9b7be84bb09","datavalue":{"value":{"entity-type":"item","numeric-id":5711531,"id":"Q5711531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9360606f347c49d60634ca4c52743f99e81d0c8","datavalue":{"value":{"amount":"+0.918294072151184","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":"Q861694$23995A3D-AC24-413D-B48F-5B3623F18258","rank":"normal"},{"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":"54fa95bd43331127b6e9f85af83e9806d03bbd8b","datavalue":{"value":{"amount":"+0.8212912082672119","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":"Q861694$841188B0-7E16-4D5A-B433-29AA8A8D4C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2d2d767477cfbd8d1d0ca65b778fef05a4838ef","datavalue":{"value":{"entity-type":"item","numeric-id":3323837,"id":"Q3323837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"250d73174804e3a4bbb7436aa7216225891239ad","datavalue":{"value":{"amount":"+0.794045090675354","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":"Q861694$B460EDF4-7ABC-4ECA-8E07-B25345503295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56830d0d942dbab79e68eeae201dc597f651488b","datavalue":{"value":{"entity-type":"item","numeric-id":739638,"id":"Q739638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69606e104ef5d7e403d00c5192b893cdaea1230b","datavalue":{"value":{"amount":"+0.7887443900108337","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":"Q861694$0AD54F51-07B7-401F-871D-2091924D8461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee6a9ff5887c4275dc135bc957cca10bba3a02b4","datavalue":{"value":{"entity-type":"item","numeric-id":3661462,"id":"Q3661462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"466f87f1dde152a4db280457425b2e6ac731e7d0","datavalue":{"value":{"amount":"+0.7843701243400574","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":"Q861694$7656A8F7-1036-42F2-A3EC-C3DD040575A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability issues for extended ping-pong protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_issues_for_extended_ping-pong_protocols"}}}}}