{"entities":{"Q3522925":{"pageid":5552829,"ns":120,"title":"Item:Q3522925","lastrevid":50446052,"modified":"2026-01-14T01:59:43Z","type":"item","id":"Q3522925","labels":{"en":{"language":"en","value":"Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5321076"}},"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":"Q3522925$C8EF999E-A686-453C-B0C4-60428DF99489","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60bd6a3558da718031c40b90b0983b37a66d3e8b","datavalue":{"value":{"text":"Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522925$E728CAB2-D98E-4789-ADE6-9081125C8E40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5767c17e57c52dff40341f23f5c115442b786871","datavalue":{"value":"1161.68617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522925$FF248421-3052-4C0A-BAF2-725640D25086","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4168ff6db7a88c76e904bbabf4f45aa3c997cee","datavalue":{"value":"10.1007/11901914_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522925$829C4645-6F23-492D-9410-E9E060A03D85","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522925$C05DC7A1-6C18-4A07-9214-31119DE95190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522925$84FFEEC9-1659-43B4-8C9C-B6500BD44AB0","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":"Q3522925$78EB6D86-58AB-4751-B707-E193D19EC8EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522925$D769FF9C-FC99-4824-B160-6BAB88341A77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bf0f0ee9c49018dff9c641c5da1a78a5da873e5","datavalue":{"value":{"time":"+2008-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522925$71004AFA-ED37-4B4A-9A9E-5AA6A7315A3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522925$C17FAD3A-ECF5-490D-99A7-5DF737D3B437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522925$FC0482E2-D878-4A54-B407-FC7D23595F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522925$75AE538F-597F-4C80-980F-53FE2C566AC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f42ecd97ef076a6eae9183bc4036ea90bff15854","datavalue":{"value":"5321076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522925$B9E86D63-3AC4-466D-8C0B-20533A00821F","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":"Q3522925$8E64B969-C47C-4012-874E-EE79331DAA24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08f48713983706bca60685a7a8b7b9eb924b1924","datavalue":{"value":"https://doi.org/10.1007/11901914_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522925$A3C38258-8DA9-45A8-9D03-E6D64DD02483","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a1f7d2d05ff4718e60b4045560db97c414cd530","datavalue":{"value":"W2141433854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522925$C11D8DB3-6673-4908-8A69-532EB8C87896","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a6e76881323b0d92a0a1ddec8b8d5e3deb63b8d","datavalue":{"value":{"entity-type":"item","numeric-id":861694,"id":"Q861694"},"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":"Q3522925$4F4B61FE-9947-4720-8FB6-520C33EDB38F","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":"78565cab11a00c624360c61946867b58b0806140","datavalue":{"value":{"amount":"+0.8080651760101318","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":"Q3522925$60C03739-29E0-4E14-B67F-22AC92B93669","rank":"normal"},{"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":"871e93a2cd302e33fbd696042ae91554d52de20f","datavalue":{"value":{"amount":"+0.7837704420089722","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":"Q3522925$8F10520B-9D17-4120-AF5B-05D4A895F063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8adfe3520f44148d912bb31721dc885de457cfb0","datavalue":{"value":{"entity-type":"item","numeric-id":4535056,"id":"Q4535056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e0be9aa52e8b4499bf909f7f4c2c9aefb70c26a","datavalue":{"value":{"amount":"+0.7086213827133179","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":"Q3522925$F1FC8BC3-1644-4EE0-8B25-5C910D57C505","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":"816cc800f158b6bbc93be36c81043eb1b0b1faee","datavalue":{"value":{"amount":"+0.7067700624465942","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":"Q3522925$117641E2-512C-46E6-8807-324A3C726AEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522925","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522925"}}}}}