{"entities":{"Q5739016":{"pageid":7768568,"ns":120,"title":"Item:Q5739016","lastrevid":93002969,"modified":"2026-06-05T03:22:23Z","type":"item","id":"Q5739016","labels":{"en":{"language":"en","value":"Hardness results for coverability problem of well-structured pushdown systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6725155"}},"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":"Q5739016$D70D70B2-6763-4645-AA2A-0B029E9B88A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dda49b5367b3b3f54b8a45f04616d8ea972dd277","datavalue":{"value":{"text":"Hardness Results for Coverability Problem of Well-Structured Pushdown Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5739016$4E30E855-B9D0-438F-8DDD-C3F456F8103B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edf4204c15267ae12995512552e6d64330d2848a","datavalue":{"value":"1485.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739016$E3972F51-7C75-4B6F-A53E-0368656481E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a0282eb9eb4e2764658b9b8972bf913026930f5","datavalue":{"value":"10.1007/978-3-319-53733-7_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739016$91922E3F-AFB8-4CF6-B96D-5EA62290D80B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9ac9d0d773a59270d08a57b6ea958d4e1534eca","datavalue":{"value":{"entity-type":"item","numeric-id":5115251,"id":"Q5115251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739016$CE897B5F-98B5-4E71-A6AD-7C165B1B06AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af74bd0d476ef3105469f50f0b324dc591a89229","datavalue":{"value":{"entity-type":"item","numeric-id":621582,"id":"Q621582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739016$F4D6F8E9-EC3C-41DC-A8E7-365BA426F04C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739016$7B8845BC-43CE-4B80-8FF1-BCF001B76468","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f05e55fe774ba785804e371d0af378710b362012","datavalue":{"value":{"time":"+2017-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5739016$A5D08599-3F8A-4B81-8F49-13528C9807DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739016$1E149173-0DA7-4BA7-A4C5-9A4C02B5E88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739016$61F5240B-D072-4090-9F07-3D40B0AA4346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739016$76A193A4-CC4F-4371-BE46-5CDCEE28AADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739016$2CFCC555-B4CA-4B25-BBF5-627E63E9290F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e6b83d7568b8569071b17a12c2fdd21c602b47c","datavalue":{"value":"6725155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739016$9FBBE492-55A5-4306-BDBE-FA8DF0D88DF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739016$1634E460-D236-46B8-B42F-49C30A8762BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739016$0DB5F0B8-D7FF-489F-A0CC-29AD8F5FADCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739016$58B24A18-72A6-4B4E-A3C0-84AA2ACFFB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5739016$718DAE03-2360-4FA4-80F1-FF410378534A","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":"Q5739016$2CCFD300-4CAE-4EFE-BCEE-69598C0F38B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e15d4cc7eea97ee2afe64d7e9882bb707750f94","datavalue":{"value":"https://doi.org/10.1007/978-3-319-53733-7_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q5739016$BC4BA8BD-D903-4B0B-BC19-3C33D39A83DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c4194a56d6e9fa74357909d309019973eac8797","datavalue":{"value":"W2588725210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5739016$CBC0F24C-6C5C-4197-B8AF-7F417BB1A6BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e5ef7c21fdd47cd80f5739b2b231dead2ab9ca","datavalue":{"value":{"entity-type":"item","numeric-id":1854355,"id":"Q1854355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739016$44AA014B-B08A-48B1-8DF8-2AAD3CE66568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feccd5c9eb5147a2d15ced859efe215665c5b096","datavalue":{"value":{"entity-type":"item","numeric-id":2942873,"id":"Q2942873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739016$FE0A8C29-A8E9-48CC-AE9F-2AD04EE48FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc047395e021e72baa887f057f01a31386deaab","datavalue":{"value":{"entity-type":"item","numeric-id":2842101,"id":"Q2842101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739016$709FDC2E-B14A-4CC8-AC10-858F04D317A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8572891d5fe72e1a8973c25a2cc5304dfeb47a9","datavalue":{"value":{"entity-type":"item","numeric-id":2986811,"id":"Q2986811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739016$7054BA96-C878-4D7E-9B75-93BBFE34E0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6939b53be21bf5a18add9c837c8e0773dc51966","datavalue":{"value":{"entity-type":"item","numeric-id":4635648,"id":"Q4635648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739016$CA9CD2BE-5296-44D8-8A7C-D6465FD80366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739016$94F6C1D2-35C8-4B4E-8D31-5B0A083122E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3feebf644fbf5979d96664f07d862fbfe8cc287c","datavalue":{"value":{"entity-type":"item","numeric-id":3586117,"id":"Q3586117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5739016$988D3D52-3508-4854-B6D1-45F3563107F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45e40b1be0d6752b22408c10213c685862dba602","datavalue":{"value":{"entity-type":"item","numeric-id":2842101,"id":"Q2842101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac11a7f19dd6936aaa4a731ac22219691b3c9781","datavalue":{"value":{"amount":"+0.8509017825126648","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":"Q5739016$EE699C1E-0CD8-4EAE-9541-21A2F5161591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b841a34f3d6362ab35a8a385d4286ec2246427c3","datavalue":{"value":{"entity-type":"item","numeric-id":5170722,"id":"Q5170722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95c6f634b65ad10deb21e80120f2012b4c36c8cf","datavalue":{"value":{"amount":"+0.7440850138664246","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":"Q5739016$56B1B291-80EC-49A9-981B-EDE2460D9C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739ba61e49f88d138ddb6dd21b5f67bf5097e747","datavalue":{"value":{"entity-type":"item","numeric-id":4635648,"id":"Q4635648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b19ff18637743c182fa956907dabe30c34fef2dc","datavalue":{"value":{"amount":"+0.7406556606292725","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":"Q5739016$CCFC8978-28E1-48EB-84A1-7B21381D2CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0f1f51e77ec18cc6b2e88e0093aada038c41fea","datavalue":{"value":{"entity-type":"item","numeric-id":1675154,"id":"Q1675154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4769a968e30b9b5fd71b1389b7efcdd259cf3e5d","datavalue":{"value":{"amount":"+0.7389014959335327","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":"Q5739016$456200F1-53D3-4197-BDBD-E2F89629017B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f471a79c5f169224f998ea120f665ac785a4d3","datavalue":{"value":{"entity-type":"item","numeric-id":5898609,"id":"Q5898609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce956a1b7417dff00833b080a5d7f056a0e06792","datavalue":{"value":{"amount":"+0.7385599613189697","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":"Q5739016$B8BBE4DA-70B1-470F-B1BA-866A404CAB52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hardness results for coverability problem of well-structured pushdown systems","badges":[]}}}}}