{"entities":{"Q2908852":{"pageid":2919577,"ns":120,"title":"Item:Q2908852","lastrevid":51537785,"modified":"2026-01-18T17:00:46Z","type":"item","id":"Q2908852","labels":{"en":{"language":"en","value":"The complexity of model checking (collapsible) higher-order pushdown systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073534"}},"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":"Q2908852$3A42B151-7B27-424D-AB56-E3E123C98036","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fb5952a729e47f6a554217ac16d4dac82485da2","datavalue":{"value":"1245.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908852$D6303B2C-804F-433C-82CF-D11411528F24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72f214c7e4c9d7d2da34077ac7597802081f608d","datavalue":{"value":{"entity-type":"item","numeric-id":1623277,"id":"Q1623277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908852$EC07FAAA-249B-4842-992A-9C68729B178A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"075ff1882d125ce5f3148b22d79fa31bbefe7af2","datavalue":{"value":{"entity-type":"item","numeric-id":989555,"id":"Q989555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908852$FD03149B-997C-4323-95F3-5D9E40ECEBD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-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":"Q2908852$3A0D799E-0330-4552-9779-CB16277FC676","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01ba3cc5b632c59987636b77703bac15a25ae3ee","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_58e5.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908852$7658FF1B-9D56-4AB3-8B02-77BF20386EFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908852$2AA7A8B6-F267-4966-8532-0337D0B3CF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908852$3A702C6B-578C-45FF-86B2-0899A292A86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908852$51987CB9-0DAC-4B57-9CAD-3EF96ECB535C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b38db1b54d20b2180aa9a60757ba1c10ea1cb39","datavalue":{"value":"6073534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908852$25401057-D455-4B91-93AC-FB0D51DFE5B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"899d691baca178d68100e1bfc3b3ca2750a5dd96","datavalue":{"value":"higher-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908852$C8845C73-D7F1-4B66-ADD2-40C9C6236A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f188389ffe7f8f472d5c19da6abe036b0e6591b2","datavalue":{"value":"collapsible","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908852$0BE171BF-EB80-48CC-9321-0F54839B6BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908852$2BC337B8-8711-42CB-9888-3E3803C35DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908852$7BAE9A6B-9C38-4085-9D6B-9E7DF92FDB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908852$F3953859-91F9-403B-963B-2F1B64C01D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908852$DE1AD709-2EA8-4122-8C02-614E13ED5D2B","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":"Q2908852$A32DEEF5-A152-4E95-BFD1-0B03B0C589E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8056339affea716e4dc25beec7c9b35510be8d83","datavalue":{"value":"W1567759916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908852$CBA9A601-6CAD-4877-8BC9-3241FBC71744","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cadf2d90c7cb06e2e35d906da9c2635a6b91c22b","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2010.228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908852$DBCD0CA9-A1BF-4877-80E9-5A6F96837918","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8de06d15beb55d43e43e969a51d33b334c45abcf","datavalue":{"value":{"text":"The complexity of model checking (collapsible) higher-order pushdown systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908852$B37B78D9-C77F-439D-B02F-EDB8E2234B6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57de321feaec295c00e192f0ebc1efdf4a267a22","datavalue":{"value":{"entity-type":"item","numeric-id":5310692,"id":"Q5310692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db7db63075d2979e87e31c2ba3ff1579b33d2d7f","datavalue":{"value":{"amount":"+0.81642085313797","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":"Q2908852$36E788DF-9F43-4A75-8E95-95BC16550791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f5d04225cd8119c501c0fe63a8e4d4839ea4ee","datavalue":{"value":{"entity-type":"item","numeric-id":3623010,"id":"Q3623010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2220bb08f30225e1b776b4d93cdb2147ff7662aa","datavalue":{"value":{"amount":"+0.8116875290870667","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":"Q2908852$C1EA48FF-0640-4269-8D49-8D24145377BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba8f43d9ababc216e4cce4880d325c2a9f25bfe","datavalue":{"value":{"entity-type":"item","numeric-id":3060985,"id":"Q3060985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f85ad6d0c45ed5113087d52bf3bacf0bc7020b8","datavalue":{"value":{"amount":"+0.8037773370742798","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":"Q2908852$EE51A087-798A-4069-8610-C2163B8922BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109dfac64b21362e70762aac951c33d36409eac0","datavalue":{"value":{"entity-type":"item","numeric-id":5758055,"id":"Q5758055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f33aa7008e86040896a2f78b73b67d3eebd89f","datavalue":{"value":{"amount":"+0.7968364953994751","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":"Q2908852$E944E19A-65FF-40CC-B23E-342CD139CF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"affc2075e5de6e10b07e5e6750243b347fb2a686","datavalue":{"value":{"entity-type":"item","numeric-id":2946692,"id":"Q2946692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b02d490b0426424cc8505e18a0063610a45ae54","datavalue":{"value":{"amount":"+0.796688973903656","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":"Q2908852$651819B9-FB2E-45E5-9EBB-ECD9D2B279AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908852","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908852"}}}}}