{"entities":{"Q6546604":{"pageid":14157758,"ns":120,"title":"Item:Q6546604","lastrevid":55671721,"modified":"2026-02-17T20:45:42Z","type":"item","id":"Q6546604","labels":{"en":{"language":"en","value":"Forwards- and backwards-reachability for cooperating multi-pushdown systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7856028"}},"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":"Q6546604$4C79A3D8-2166-41BB-84AA-24ECD04DA6F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0614fd77ae97f9fb1895a1d32645e4a3f2c70a60","datavalue":{"value":{"text":"Forwards- and backwards-reachability for cooperating multi-pushdown systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6546604$C89273DE-7EB7-49F4-AFCE-B6B21DAC7BB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f7dba6a55a096670bf1fa3bc380f38054a7309","datavalue":{"value":"10.1007/978-3-031-43587-4_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546604$CEEB48FA-4EC6-48C3-A681-C4E21429EA17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"415a4d08294d054168d31f6e0206d74f4883588a","datavalue":{"value":{"entity-type":"item","numeric-id":825975,"id":"Q825975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546604$9531B8D5-F909-4F19-8F71-1D036C515FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8f9028ed4d5274f77df4d4f9e07b117d4309ffd","datavalue":{"value":{"entity-type":"item","numeric-id":420855,"id":"Q420855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546604$F374B714-3884-402D-A217-4362EF0819D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6546604$5F59FC7B-C16B-451C-9643-454F9A0FBF94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546604$A4E31765-261D-4D27-A7A4-DA77982693C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546604$4AF714A2-B500-437A-B5CD-1E4C05408965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546604$A5167D7B-A0D1-44DB-861E-C17907DF1EED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88161d4f7970caa61cd731911fdd24273bd8d1aa","datavalue":{"value":"7856028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6546604$34D1E5F1-814D-4E3C-90AB-126652E25EFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546604$C8554FA2-0AF0-4519-85FA-84E42CA42ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546604$015D129E-85CF-46E3-877B-42398A9F64C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f84741d92afe8fc80c594aed6b861040ad27899a","datavalue":{"value":"pushdown automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546604$215C9212-125C-4578-ADAE-AD6C4741B0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e225ac4aec700ae2c67cab0cb7802b0627e7a3da","datavalue":{"value":"distributed system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6546604$CDD7FA65-43A4-4657-99C7-730D4517C7A0","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":"Q6546604$8CC71F5D-DB77-4642-A27B-12A81AC70748","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac95bbfef1443d4f50bceb8f5236b833f07ff5a","datavalue":{"value":{"entity-type":"item","numeric-id":3190125,"id":"Q3190125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546604$3D7D46DE-65E7-4329-A2D1-DC833D4715CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61d81f86a995323782717473ac2fcc37f7aab293","datavalue":{"value":{"entity-type":"item","numeric-id":3457774,"id":"Q3457774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546604$B5613563-A1BA-4A57-945C-BD934A275B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de37ae166d133d05b3c3feb20729b64de276bd21","datavalue":{"value":{"entity-type":"item","numeric-id":4639894,"id":"Q4639894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546604$2813F5D1-A08E-44CA-B7FF-B2684DC2F002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b78646eb7734772c90857c2de6497e9508c25cae","datavalue":{"value":{"entity-type":"item","numeric-id":2398213,"id":"Q2398213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546604$055C2D4D-1892-4974-B015-3ADE0B480A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546604$6DE8CB1B-62E4-4D62-B3EA-4EA5B8098F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d670d33660aacd2261c7d7a896038e46ca1e0ae9","datavalue":{"value":{"entity-type":"item","numeric-id":5696926,"id":"Q5696926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546604$A3A8442F-76B7-4CE2-9BF4-AB6BB735C93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c82e9f6dc46a17a1531710a1314df285e95f1c","datavalue":{"value":{"entity-type":"item","numeric-id":5897502,"id":"Q5897502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546604$C4497020-1DBF-415F-941C-939C7A66E5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2321ffc17406524f453e4fee8339197a12bf2512","datavalue":{"value":{"entity-type":"item","numeric-id":2536784,"id":"Q2536784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546604$12E02445-82AE-48DF-B6C4-7C324DDE2CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5acfb8ca934e7809278bee1ae0c554677d60d71d","datavalue":{"value":{"entity-type":"item","numeric-id":5894957,"id":"Q5894957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546604$3ADF3614-D0AE-4D33-BE68-52F140D89CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd376dc2f647d8edcd9220a271addded8dec9a38","datavalue":{"value":{"entity-type":"item","numeric-id":1784963,"id":"Q1784963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546604$4FF2AD66-D05F-43A2-B3DD-6413323378B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5690982c79e5dcb249ef885ed20addc91cd915","datavalue":{"value":{"entity-type":"item","numeric-id":3238618,"id":"Q3238618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546604$A8DEA8DE-4268-4810-8AB6-47B1544C5667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f38abb783fa3ec9eba69b867c97673b818f230e6","datavalue":{"value":{"entity-type":"item","numeric-id":2216111,"id":"Q2216111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546604$2C71AC7E-BC64-4AAD-AB78-10C7C2ACB514","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":"Q6546604$D94AAEE4-F0AD-4DFF-9744-5268A3ADE76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff1910bb3c0241d98d0996e4c11f3e32a28400","datavalue":{"value":{"entity-type":"item","numeric-id":3761703,"id":"Q3761703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6546604$D20F3178-7191-4877-83F4-27898419C2AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53cc749e9a866ab2100103870b619166997f0981","datavalue":{"value":{"entity-type":"item","numeric-id":6655673,"id":"Q6655673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d539ed0bce0d786983593b707977f731d9a6cf","datavalue":{"value":{"amount":"+0.9841598272323608","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":"Q6546604$1A01E158-5473-4631-982A-7D7CD8247958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e6d70ca5e036973744ece48c1e1806e1017e59","datavalue":{"value":{"entity-type":"item","numeric-id":3090831,"id":"Q3090831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db8d4ff2a9ab5c75ae152d50853d35d4beca0baf","datavalue":{"value":{"amount":"+0.7994197010993958","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":"Q6546604$1231A1EE-E524-4846-A011-D34EB0E2EA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4386bb6ca5f40f0cd6b55756c488e0cdeb70a05a","datavalue":{"value":{"entity-type":"item","numeric-id":5891773,"id":"Q5891773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3ba6f3957d2e93e7a7bafdc6ab6a5b9da025f3","datavalue":{"value":{"amount":"+0.7948406934738159","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":"Q6546604$4F248CB6-ECEB-4E7F-ABE3-1E0642E9E975","rank":"normal"},{"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":"1f4e635faf31756d2e6fe08673b4b3b46636a031","datavalue":{"value":{"amount":"+0.7936015725135803","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":"Q6546604$522EA836-3BAD-407A-9764-4D7061B67827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4eb92f6d638d6d4f6bb3b286f35bb82dd66e404","datavalue":{"value":{"entity-type":"item","numeric-id":5891173,"id":"Q5891173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f85e363827e3a92127ba19c4335f21b4f16ac13","datavalue":{"value":{"amount":"+0.7902655005455017","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":"Q6546604$8DBC4DEA-C05D-4745-B2E5-E355CBF4282B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6546604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6546604"}}}}}