{"entities":{"Q5900852":{"pageid":8007528,"ns":120,"title":"Item:Q5900852","lastrevid":58612791,"modified":"2026-04-06T00:21:43Z","type":"item","id":"Q5900852","labels":{"en":{"language":"en","value":"Reachability analysis of communicating pushdown systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5702296"}},"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":"Q5900852$E95BAEBA-4E38-457F-9A88-0F1EE247E698","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d984e4cfcad9ecf485cfdc985dd1aefae303cca","datavalue":{"value":{"text":"Reachability Analysis of Communicating Pushdown Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900852$3948B790-28FE-4B2B-B58D-F5710EA70FCD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77914eea372a5ca7d2c928127fb231202114a2a8","datavalue":{"value":"1284.68399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900852$A8600218-30A6-4E27-8BE7-43C4E2453739","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ab9cdb3378648312981af800e324ee367b04947","datavalue":{"value":"10.1007/978-3-642-12032-9_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900852$9059681A-D4F1-47B5-BF2C-556A042C588D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6918ab2a7bc44e200ae6e0a6ff5576435326a90f","datavalue":{"value":{"entity-type":"item","numeric-id":2805417,"id":"Q2805417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900852$61C2B40D-08E8-439F-BF81-3BD2CAC54F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f161a480b9c89752015764e13c5bf4e0fcd16fe7","datavalue":{"value":{"entity-type":"item","numeric-id":300415,"id":"Q300415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900852$55B6F64A-BBC0-4082-B393-6AF6E743ADB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a53865c1f184b73cba92d65c57544179b9e023","datavalue":{"value":{"entity-type":"item","numeric-id":407517,"id":"Q407517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900852$81F6F834-D3D9-449B-8CDC-2EFB2345C92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4744499443df964c09fc7ab48131ab29ebe0d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1401923,"id":"Q1401923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900852$7B929F66-D4CD-4BD7-8B2B-F74F43ACE2CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900852$6597C43A-1669-46EC-B641-73BD0C157114","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc4613cbd941f153622dd8128368d394277367d6","datavalue":{"value":{"time":"+2010-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900852$F7A94854-89B9-497F-8697-CF5AC6DFA39D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10e39ea2da0c4d7b14b8c7ce8c5c6acc265c3015","datavalue":{"value":"https://arxiv.org/abs/1209.0359","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900852$EF0A9FF6-5F2D-4EF6-B2CF-2E0EC80A7D8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900852$F490404B-11E3-4475-91EC-441804861E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900852$40419C68-A4F6-47B5-97A0-6729358F71D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbd2758186de07b90cb195b2d521fdacbbdc4a09","datavalue":{"value":"5702296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900852$1C4EC26E-32C0-4A98-97DA-1E551B54C844","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":"Q5900852$712EAACB-3BC8-4865-B864-88D8B2F2D3C1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7a75c36bee5c8bacc159ecb5c3df1f5c12caacf","datavalue":{"value":"W1823865466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900852$A01B30B9-BA83-4112-A3E8-BBDD425DD8E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb492f3a744c276b7ffd4c481bb1baf3a481b0f","datavalue":{"value":{"entity-type":"item","numeric-id":5894957,"id":"Q5894957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a991c3e9f504523a976c1d11db4c6ab586f075b0","datavalue":{"value":{"amount":"+0.9594358205795288","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":"Q5900852$75216689-666B-4620-8F49-B86FD7A574B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9feb15707eaf661f225b7df770a18c0f1437f98","datavalue":{"value":{"entity-type":"item","numeric-id":3541030,"id":"Q3541030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e529d79d114395facd79a514ca9d36592dff0d4e","datavalue":{"value":{"amount":"+0.8434509634971619","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":"Q5900852$A1DF771B-3D26-407F-A0A6-2EED1C57BE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3924f3e301a6ba0ae870c33ade794c1a0c842d47","datavalue":{"value":{"entity-type":"item","numeric-id":5458334,"id":"Q5458334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308aaea74d9aaec73376ed3dc95a2b38a00dddc0","datavalue":{"value":{"amount":"+0.8219977617263794","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":"Q5900852$12EEC886-44BD-433D-BF4C-A2A67E5240BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5b73d9298f194ee9b9ccc06d2ed0d66bbe6810","datavalue":{"value":{"entity-type":"item","numeric-id":5897782,"id":"Q5897782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb8c234a9f3b62a90da597728b601c8c03a9e0d1","datavalue":{"value":{"amount":"+0.8091581463813782","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":"Q5900852$AAC430A4-4986-4CD6-8C03-53F4EAEE4180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7491f18a93b87811c5cb180226e25f4331a7dbbd","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f44f364f1244aade41f1198e55bf5046228e091","datavalue":{"value":{"amount":"+0.8077080845832825","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":"Q5900852$2CB8DCFE-95C9-434D-AFAA-676CF09D2937","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900852","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900852"}}}}}