{"entities":{"Q2914241":{"pageid":2924961,"ns":120,"title":"Item:Q2914241","lastrevid":85091162,"modified":"2026-06-03T05:50:50Z","type":"item","id":"Q2914241","labels":{"en":{"language":"en","value":"Model-checking of ordered multi-pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086018"}},"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":"Q2914241$9C68E8A2-11AB-498D-AA28-67B0F69D0B44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b44f8a5589f4e7149681ac17443f5f3a270ffb1","datavalue":{"value":"1279.68206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914241$B22DA438-5652-4784-87D6-D58291EAD096","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ebefe3c589a9ff1c705b43619dda570390ca845","datavalue":{"value":"10.2168/LMCS-8(3:20)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914241$C84D49B7-CE18-4A17-AE3E-FB3836F4F785","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":"Q2914241$A03D04E5-544D-4D0B-95BD-4C353BAB931A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914241$B184CA9F-4C2C-4230-812F-922CBC3AA320","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6b00aac43a8308ba24a0697ff1b19387c2c0656","datavalue":{"value":{"time":"+2012-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914241$9919148E-2A9C-43B0-B335-26DFBEE52342","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914241$17AE8C84-727D-4C87-ABDE-A5FFD7E369A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914241$438A0C2C-2023-4B96-958E-CD91688E2ED2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be2e55624e1c2d3d1b137f248ecf74f82f505aa5","datavalue":{"value":"6086018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914241$6DE16851-0ADF-41CE-B25C-B39660B8F544","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7c88f566c49426bb57067a5a1bea18c938c730c","datavalue":{"value":"multi-pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914241$5351C828-4489-4D57-8855-002238EFA6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914241$BBCC0702-E93D-44D4-A73C-B87FAC02BAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcf3a368f08142b8c50ebbdd01de529daebbe71f","datavalue":{"value":"LTL model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914241$447EC149-4F00-4212-A75D-02C11C2F3DBF","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":"Q2914241$DA897676-A71A-41FE-8DB2-479A5FF39A28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"61efd2caad80294ae1890336ee962e7d2612c712","datavalue":{"value":"https://doi.org/10.2168/lmcs-8(3:20)2012","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914241$465CCE8A-33DC-4E81-A3A9-0CF2649B16AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de61c12e5d1ffbf2e7462359936e85b5a9d603a3","datavalue":{"value":"W2092618327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914241$CEEE54B4-5743-40D8-8F8D-B55447CCDC62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3223959e3a0b9c263f8ba9ddbf7f509c60d32df7","datavalue":{"value":{"text":"Model-checking of ordered multi-pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914241$9EE1BA6A-6AFF-47F6-86AB-FD9C39C19A28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"163e4fcefce5cb1a63667a3ef22d84884831c8ef","datavalue":{"value":{"entity-type":"item","numeric-id":2908851,"id":"Q2908851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb93f7191bec60c2eb367011fd8849a99fb06f23","datavalue":{"value":{"amount":"+0.9642350077629088","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":"Q2914241$FB37ED4F-4D0E-4588-9D3A-417D5D322E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fb304403ce28d7a76ee0eb9789923ae97beecd9","datavalue":{"value":{"entity-type":"item","numeric-id":4639894,"id":"Q4639894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8ca2baf588b393d05eb2fa97b4798362a1334b5","datavalue":{"value":{"amount":"+0.8559868931770325","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":"Q2914241$C7D12726-62A5-464F-96F4-349BF586169C","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":"3b620e138404e31ccbb73b5ad15eac8b68f0262b","datavalue":{"value":{"amount":"+0.811370849609375","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":"Q2914241$DD3FBEF2-8624-4554-B4FD-C25E5C2E3506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18295fe8fb7603ba7b5ddd245dde0f066fbfb371","datavalue":{"value":{"entity-type":"item","numeric-id":5300829,"id":"Q5300829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a79d007d2f09fc59217c53470364290120e19ed5","datavalue":{"value":{"amount":"+0.8074691891670227","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":"Q2914241$3BCF8413-39A9-46B7-8642-60DFF6415A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ec2dda762e159abbf04e8dfe99592aa1bee5ad","datavalue":{"value":{"entity-type":"item","numeric-id":344793,"id":"Q344793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae76ce9636facd5828d1397594a164f4cab42853","datavalue":{"value":{"amount":"+0.8063880801200867","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":"Q2914241$0A084370-27DA-425F-BF25-42C832F851EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model-checking of ordered multi-pushdown automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model-checking_of_ordered_multi-pushdown_automata"}}}}}