{"entities":{"Q2908851":{"pageid":2919576,"ns":120,"title":"Item:Q2908851","lastrevid":85039259,"modified":"2026-06-03T05:39:19Z","type":"item","id":"Q2908851","labels":{"en":{"language":"en","value":"Global model checking of ordered multi-pushdown systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073533"}},"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":"Q2908851$D7CB4199-6692-4F28-88BC-F3B85DBD7248","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3691f50b0e828b69c96dd819f84bc95a4d10cf9","datavalue":{"value":"1245.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908851$DAB7FAE1-3D74-4841-869E-EE03B7A2D0CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de80e021db34435e21a6613c8105f91a5d942b85","datavalue":{"value":{"entity-type":"item","numeric-id":479840,"id":"Q479840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908851$E7DF2E9A-95B5-4B17-8D49-DD1AB835C004","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":"Q2908851$352D3CF3-BC20-4D50-884A-3DD3E564460B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87c5a65bb695e642c5e1c81d12ab9699f32838c5","datavalue":{"value":"https://arxiv.org/abs/1209.1916","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908851$87F113BA-6900-4D71-9806-1D78A6E2BC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"14b9af8e8862c7f03e2491930b653d7161e932cd","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_ce27.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908851$439DBE94-0ED6-47CA-BA97-AF0BC86CCF23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908851$BA89DF5A-8982-48EA-A563-57DD9AE5119B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc2fefd2fbf6e1e94ef22aa07ab2e1865d941963","datavalue":{"value":"6073533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908851$406FB4CD-A27B-4DA2-AC77-3155A2B8E748","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908851$D0DA110A-069E-4D3E-BA3D-C48CB627FACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908851$6466AF53-DA34-48DF-B75D-37DBC60F51EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b8d3a01f4d61afb6bac26071cb7a74e5b943acf","datavalue":{"value":"global model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908851$1BA13265-CB21-424D-BB0D-6AF7854FBADD","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":"Q2908851$8B2843D5-B2B5-4107-9FF1-28D9A8D49C68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb237c0ee11d98c5a4ae840879fe1dda85d0a42e","datavalue":{"value":"W2151906265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908851$CC8041AC-D5FD-4927-9907-12F128ED3BE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"556c30d8d353fd7039cf7a3936d2fc13fb976fac","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2010.216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908851$9AB1A15C-124C-4756-8251-235EEB3F2233","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcedaa5216d1ed7592272401a8645a728dd14c56","datavalue":{"value":{"entity-type":"item","numeric-id":2914241,"id":"Q2914241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da64de97e300d81e716a43cb6d8260576b7862e","datavalue":{"value":{"amount":"+0.9238965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908851$1B0894E4-AC1B-47D0-A038-F2019CE19D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71f6edf2b4428d82cf29c2a351497cb1ae8655d","datavalue":{"value":{"entity-type":"item","numeric-id":4928504,"id":"Q4928504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"934de64dbf3f49118eacb4b6fca4ddd7e2654ee4","datavalue":{"value":{"amount":"+0.91416454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908851$4B5085B3-3683-4654-ABD6-C47A3EA69054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2c988cc3f34d40cbf17b731a2c7f9da7aa65bd","datavalue":{"value":{"entity-type":"item","numeric-id":5312916,"id":"Q5312916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad22251c450e7b513d8739631ba942dd2c7a37fb","datavalue":{"value":{"amount":"+0.8983382","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908851$C343452D-E2A6-4A89-B458-D7FCF83EFEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7db2e6c90798e3e7be3aa35f58d3f4a6a178630","datavalue":{"value":{"entity-type":"item","numeric-id":4472439,"id":"Q4472439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5128d54e47594d58df00a95b1f0d06461323bf56","datavalue":{"value":{"amount":"+0.8886127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908851$80255CF0-7DEE-4C3F-9B7A-985CD4EF2C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512cc706ab522967df1289f8cd4ef083a224baeb","datavalue":{"value":{"entity-type":"item","numeric-id":5479203,"id":"Q5479203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f70edd3fc48d8f229028d320c0e9dcbba79364","datavalue":{"value":{"amount":"+0.88446605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908851$A813688B-7CAB-4CCA-B72D-7BDC12E334A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b143ecc5518b188b309bae202f417aee6fc7d5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3617724,"id":"Q3617724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"011b0b7fde7244a9dee1c1a2f6dca8acb988dd0b","datavalue":{"value":{"amount":"+0.8840783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908851$9EB5194B-DAED-4664-9A01-390FEE0BD548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5882f9dd21b1ab0b68a3416e35b971b3f6a3957a","datavalue":{"value":{"entity-type":"item","numeric-id":5121264,"id":"Q5121264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3160094b6861c5ed52d75062610908d4d4b1e84","datavalue":{"value":{"amount":"+0.88397497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908851$F223F764-90B5-4155-89C7-AF38E8F1EBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f09a3907a84212a77018b6f8a853384657c0af","datavalue":{"value":{"entity-type":"item","numeric-id":2908852,"id":"Q2908852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8c30d2c5e756c2850066221253c1507e674769","datavalue":{"value":{"amount":"+0.8815422","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2908851$E87C32AF-C5F0-4FC4-AEA9-465BA6F159BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f6205136f414845c6cc53e73224635954999db90","datavalue":{"value":{"text":"Global model checking of ordered multi-pushdown systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908851$C55300CC-9A6D-4ADC-B183-1471FF679B01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Global model checking of ordered multi-pushdown systems","badges":[]}}}}}