{"entities":{"Q2986793":{"pageid":2997517,"ns":120,"title":"Item:Q2986793","lastrevid":85744805,"modified":"2026-06-03T11:21:16Z","type":"item","id":"Q2986793","labels":{"en":{"language":"en","value":"Collapsible pushdown automata and labeled recursion schemes, equivalence, safety and effective selection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718076"}},"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":"Q2986793$9D3009DB-6ED8-4D10-B16F-21D2487FCF5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46b4b69104e043f9beec38b687c7b5854b96f027","datavalue":{"value":{"text":"Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986793$C2812E8B-7BD2-454F-89B2-52BF7813F12F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ae8965cb8a43e8aba9789c2263e301d27e30e6c","datavalue":{"value":"1360.68543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986793$ECEADA43-F854-4F27-BFDC-B492DC045367","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e526fd0530525e70ba45cd7b369b5e06c883282a","datavalue":{"value":"10.1109/LICS.2012.73","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986793$ADDDF855-7B25-4F60-BBBF-568A43670B3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5156994f036338536fe53522d28414fb86006aa","datavalue":{"value":{"entity-type":"item","numeric-id":347387,"id":"Q347387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986793$D035F7FA-942C-435A-8CC5-454728364EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef32dc0f0352d0de9da2d2122087fc10a33044b6","datavalue":{"value":{"entity-type":"item","numeric-id":456182,"id":"Q456182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986793$174D0459-A5D2-4571-9C87-A3264D8AF850","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"582a6c5adc14cfa6944ab3a3a801ae6337273c99","datavalue":{"value":{"entity-type":"item","numeric-id":2986776,"id":"Q2986776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986793$D40DA984-B092-4086-8F91-BD40C4207E0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986793$4F4C1FA8-D181-48BB-A469-EE31E5920A1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986793$99704C45-2627-4BAE-BA46-0F683CBC3BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986793$82ABB6B3-017D-43D9-AF5D-BE8C3938377F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986793$16E0CBA0-BC51-4F66-B233-54A4DC329C32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"594f17321110e6b1e6222ad121d948e063662f68","datavalue":{"value":"6718076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986793$6B8E197D-F2AD-41A9-90E1-26FC91F21C76","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e1b10ce39bfce710d3a1d1c36e1ea4ab25cf78","datavalue":{"value":"recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986793$E417A95B-412B-46D2-8F96-BFDE8D3197D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3f5914c5a78e71396d21a8810928294d9124b37","datavalue":{"value":"collapsible pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986793$3E8F35A8-DA15-4545-8865-4B8F2814F840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9639cea59ade53738aed406fbb28cc654fbdecfa","datavalue":{"value":"safety constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986793$9291F824-F729-4F75-9C9B-D5961CC6BB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8303b46798ba60a2095fc42efc26da9c4ddbab22","datavalue":{"value":"MSO effective selection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986793$FA308E61-57EB-488C-8636-706D49890474","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":"Q2986793$7E28B4C9-1CBF-4943-8BF9-408A7036047E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9367763610df789f2f1c7b1eb585dd8ce14c861d","datavalue":{"value":"https://doi.org/10.1109/lics.2012.73","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986793$84EA3D88-985D-4F26-8E93-1D63F0E96854","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4db0a4105371094878c3130341585f0e1d42290e","datavalue":{"value":"W2055765422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986793$769D05E6-638A-4D0F-9FA7-56E8798BD5BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadaba022955398c649765841c263b14ee7ae57d","datavalue":{"value":{"entity-type":"item","numeric-id":5369241,"id":"Q5369241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d04f9fa5901a808de26b091cf1b7bd5a43d325ee","datavalue":{"value":{"amount":"+0.9122750759124756","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":"Q2986793$5743C12A-7A9A-4EF5-817A-2D69B787E974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46efcde793d6a4798a428a0a0d5ae2133e982970","datavalue":{"value":{"entity-type":"item","numeric-id":4899139,"id":"Q4899139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2e8007d14fb17f3f04af50e1e618e778e3557b","datavalue":{"value":{"amount":"+0.8662959933280945","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":"Q2986793$6558A78C-B0C8-4478-9F38-6511FDE09091","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":"7cab29a80f67b8e5b42739cffd4a01514e014609","datavalue":{"value":{"amount":"+0.8168792128562927","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":"Q2986793$0E40EBE7-1C2C-4444-9FD2-F16C901FF7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9449b2432e897788e8b68da1effd88f4c93eb6","datavalue":{"value":{"entity-type":"item","numeric-id":4910438,"id":"Q4910438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"487648e68049198a9f6b91aee5cbad55be02e3ad","datavalue":{"value":{"amount":"+0.8051448464393616","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":"Q2986793$092DB6AF-52B2-48FE-BE1B-AD091545D9AA","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":"47ee2ea678853c0b77be5a2b9dda3d296c728011","datavalue":{"value":{"amount":"+0.7964586019515991","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":"Q2986793$9E67C6CD-4F83-4E41-9FAE-E1C40C6C942A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Collapsible pushdown automata and labeled recursion schemes, equivalence, safety and effective selection","badges":[]}}}}}