{"entities":{"Q3090831":{"pageid":3101546,"ns":120,"title":"Item:Q3090831","lastrevid":51324704,"modified":"2026-01-17T18:41:24Z","type":"item","id":"Q3090831","labels":{"en":{"language":"en","value":"Reachability of multistack pushdown systems with scope-bounded matching relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945192"}},"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":"Q3090831$A529EDB4-D386-4A1D-BF3A-955935D39825","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16afee8071693ff4ecf39410a5340f573fed5439","datavalue":{"value":{"text":"Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090831$2345FFAF-E6CA-4BBE-B0EF-6A6EE447573C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a05ffc87416a0a2c1442038cab50286ab52a8495","datavalue":{"value":"1343.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090831$B060F806-A11A-43E9-AA40-250A1FF01D66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cadd01676f926f60e35b8fade08facd7521a6601","datavalue":{"value":"10.1007/978-3-642-23217-6_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090831$2C13032E-2277-44CA-8752-6661956E83DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df162d37f422d461e406e7314360ac26287bb","datavalue":{"value":{"entity-type":"item","numeric-id":386610,"id":"Q386610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090831$CEBCA0E9-0508-404C-BB36-91DAAC7A6C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a375d8768160d412502d42bb68a0091e7125c98e","datavalue":{"value":{"entity-type":"item","numeric-id":483303,"id":"Q483303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090831$8443F99F-4998-4007-BC48-28D5018C3F25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3d4b52f40151daea00ff3da0acb2c051d987d247","datavalue":{"value":{"entity-type":"item","numeric-id":3090816,"id":"Q3090816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090831$5C8DF992-F52C-4E6F-BCFE-675837925AC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3090831$28D5057A-2E03-46A0-9481-7887FF196102","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090831$77B83A20-F04B-42EA-94E4-BC1A3F2EFE38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5adb4913da106c57e3422e0dc83724965dbbfc10","datavalue":{"value":"5945192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090831$44A66D9A-8B10-4981-8F6A-6C48B0DB4744","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":"Q3090831$7BC355F2-F65E-4D7C-A996-0868D1EC332D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6aeefe42d09603e7bdffffddc252d0e4984d236b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-23217-6_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090831$F4A85D2E-9DFB-431E-86EC-3E764F3343D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d122146083d0681ba9390757ac691535e030d302","datavalue":{"value":"W174890186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090831$0676CAFD-C5F5-471F-8922-91CF0C6B7B2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04941868d724514b2169d98168bdb89f64a18289","datavalue":{"value":{"entity-type":"item","numeric-id":3617755,"id":"Q3617755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090831$1FE4CBD2-476E-4BC4-903F-9C9C7753C554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c80ef7e77c39f82700d0e9a7874ae037fda395","datavalue":{"value":{"entity-type":"item","numeric-id":5429323,"id":"Q5429323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090831$4BE5DAAF-8DF9-425D-AAEA-86045A33244E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3d28acd643d396b152fcaf01bfc8613dfbfd42","datavalue":{"value":{"entity-type":"item","numeric-id":5458334,"id":"Q5458334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090831$AB71DCE9-9E76-42AD-8E38-C70AF8B9A310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d29e8c2e5f8ff005472e1895d79eed2b11560cb","datavalue":{"value":{"entity-type":"item","numeric-id":3540169,"id":"Q3540169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090831$88111298-FB9B-4BE3-A5A1-6535FCC22E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af455bfb18abe030b463d5d487b0c4da7e11984a","datavalue":{"value":{"entity-type":"item","numeric-id":3636878,"id":"Q3636878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090831$177B554F-C3FA-40A3-93F4-F3F4A0DC3538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e4f151d758563db82252d89520c2ad328b8c2a2","datavalue":{"value":{"entity-type":"item","numeric-id":3512480,"id":"Q3512480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090831$7549BC35-03D6-4F28-987D-74205919C95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728714e704897dc5089dad7a6353e4ee7c8d2097","datavalue":{"value":{"entity-type":"item","numeric-id":5458333,"id":"Q5458333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090831$1E71CC6E-751A-44A8-A8F6-CD4F36DFC931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5cea71c6aacfcb4cc8bc4d70a2c543dbb0d272","datavalue":{"value":{"entity-type":"item","numeric-id":5408550,"id":"Q5408550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090831$6DF3246D-8958-4AF7-8A8B-D21C66C885C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090831$D75D05EF-1081-432A-BCBA-9D62B0A76FE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86e475e31811613194a6e7ee69837494a5f0677b","datavalue":{"value":{"entity-type":"item","numeric-id":2216111,"id":"Q2216111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc59ec81b7e23c22c0936897ca191772fd813739","datavalue":{"value":{"amount":"+0.9855490922927856","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":"Q3090831$C9426559-D258-4A77-BD19-1C4A2B220170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a08e86ddaba6394fca8e32750924176840928b","datavalue":{"value":{"entity-type":"item","numeric-id":2957490,"id":"Q2957490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060411bce08b5aaaa8498ad4b4ff6a1a863e100a","datavalue":{"value":{"amount":"+0.8470138311386108","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":"Q3090831$34C978ED-69B7-4164-8CB9-9751107BF28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8db4ceef89035c6511f6a1120858da37eee17645","datavalue":{"value":{"entity-type":"item","numeric-id":6176111,"id":"Q6176111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b98621179e3b2bfa8a830d92869f438a0d7fad1","datavalue":{"value":{"amount":"+0.8334770798683167","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":"Q3090831$5BD7FE4E-F8C8-4DCF-BF65-74FEC9B8182B","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":"ee9fefb9d6342034a1a44a488bf1992cd5b42947","datavalue":{"value":{"amount":"+0.8262022733688354","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":"Q3090831$9A01DFD6-71EC-45FA-B536-6309FAE29180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39d720cf6e6ef8e08cafcc0360064020c22269a5","datavalue":{"value":{"entity-type":"item","numeric-id":2963923,"id":"Q2963923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eff9dc36639925daa418565387b9a909e2c9246a","datavalue":{"value":{"amount":"+0.809689998626709","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":"Q3090831$310EE917-F6BA-4CA8-9ED3-BD1C4880DB5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3090831","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3090831"}}}}}