{"entities":{"Q3457774":{"pageid":5237174,"ns":120,"title":"Item:Q3457774","lastrevid":52417379,"modified":"2026-01-22T14:43:24Z","type":"item","id":"Q3457774","labels":{"en":{"language":"en","value":"Verifying communicating multi-pushdown systems via split-width"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521661"}},"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":"Q3457774$F156B28E-14D5-4506-9E6A-CB0DBB91EF15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88e7b8c1fad33ef0ede413a05d6c5c44031d0ef8","datavalue":{"value":{"text":"Verifying Communicating Multi-pushdown Systems via Split-Width","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457774$1A318312-50EB-4545-9E50-8C40543DEB72","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a27a34bcf55104766cc159c35f6d3a4ffe2e8341","datavalue":{"value":"1448.68283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457774$BE09E39E-997C-4533-851A-85E6FD89BA88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d625ff76190292ff2449b20a5e25eb880c297f8","datavalue":{"value":"10.1007/978-3-319-11936-6_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457774$C2A8997D-2E04-499A-A78E-BE6863C9EF2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b14cffc870f818033ac052cdb96ecd764d552b","datavalue":{"value":{"entity-type":"item","numeric-id":1706161,"id":"Q1706161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457774$985D82A6-5383-4D5F-B573-8FDAC2DAA839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457774$B9D4090A-A1E8-49F9-866A-DBAE85579AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3796e2b09efc9ac94e6c12485881d0be27760550","datavalue":{"value":{"entity-type":"item","numeric-id":1323354,"id":"Q1323354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457774$C0D33683-B768-454C-9854-233CEAFA38E5","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":"Q3457774$A996A895-0B4A-43D7-BD39-16D44DFE2FB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c8c48ef6ed00faaf912c712c5311b1d94846d86","datavalue":{"value":{"time":"+2015-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3457774$D198CE92-4617-4552-A48F-661A6C2D99FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457774$3898DD34-B35B-4BF9-B34F-AB1FCD6629BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457774$0C85D7ED-5C3A-43BD-81A8-4DD93366B064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457774$40D27BD4-EEA5-457E-99F4-67355ED78331","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e849350ec9431cba1107a207bff6a9a4c5678cf3","datavalue":{"value":"6521661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457774$A81C2684-C564-43F1-98E0-7ADFF5A6949D","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":"Q3457774$FE53F2B0-2CD9-4851-8BA8-A530A5050719","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e445df516ea3463140bfe0118edb6c55acdce90f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11936-6_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457774$8DD48153-5BFE-4DEC-B0A6-263E6362BCB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9bd7d247a85430feb9b3c03f35220716ed6ebf70","datavalue":{"value":"W131795912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457774$A0BF7C43-2890-4EAE-951D-6256999AE614","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ede99006b950818e2e917bc929d2942b6d18287","datavalue":{"value":{"entity-type":"item","numeric-id":2811340,"id":"Q2811340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e7e36a016f56af2379c829213d6e8a9884fa94","datavalue":{"value":{"amount":"+0.8199644684791565","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":"Q3457774$D1D1E1F6-4679-4FA8-978E-DA29F9C95567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17df1f4caa7b3fc34199ee44266c04dc3ed6346f","datavalue":{"value":{"entity-type":"item","numeric-id":2912701,"id":"Q2912701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1802f620f6b542bf29da6672b15ff707c800d1a8","datavalue":{"value":{"amount":"+0.8053885102272034","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":"Q3457774$88C1AB9D-5BF4-461F-B54F-7DD715BA9738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"974dd739822416770b29b5987bb33e801aec3fed","datavalue":{"value":{"entity-type":"item","numeric-id":5111652,"id":"Q5111652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744aeb4ab0842ffabd701953886127c53716f01d","datavalue":{"value":{"amount":"+0.7857517004013062","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":"Q3457774$6231F2C7-07D2-4FA2-A77B-E9633CC94F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"949dd26dbac03e357010c06cd763e58f913607a6","datavalue":{"value":{"entity-type":"item","numeric-id":3190125,"id":"Q3190125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e81e9c7e15ae16df7d8e1958f6287d963a1ab8","datavalue":{"value":{"amount":"+0.7669661045074463","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":"Q3457774$84FE1564-EF12-4F78-B436-3556DCB6BE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea5e9dc265d8af16e3e6270e4de21e2a42b0f6a","datavalue":{"value":{"entity-type":"item","numeric-id":5900852,"id":"Q5900852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c20edad3913fa5bdf69b0bccd3fc043cf34a420","datavalue":{"value":{"amount":"+0.7369817495346069","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":"Q3457774$850EFC2F-B9A7-48EC-A1DE-3768BCADF3ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3457774","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3457774"}}}}}