{"entities":{"Q3225588":{"pageid":3236296,"ns":120,"title":"Item:Q3225588","lastrevid":87790160,"modified":"2026-06-04T12:50:36Z","type":"item","id":"Q3225588","labels":{"en":{"language":"en","value":"First-order model checking on generalisations of pushdown graphs."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6016974"}},"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":"Q3225588$9DCEC763-0CBB-4E7F-BAFF-30EDC5C217C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d591953fda8c6c3d3c3eb2335558b272bdbfd209","datavalue":{"value":"1262.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225588$A0F12590-B52F-4BF6-BC6F-A38D16FA4A3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06012f2a57f37290b6cc56ae38272af569718724","datavalue":{"value":{"entity-type":"item","numeric-id":269502,"id":"Q269502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3225588$67F4B1B8-78F6-4171-AFE6-C59B6B9B3648","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5851e3f5a92a2070ac5e1904345b7409fb2a9c02","datavalue":{"value":{"time":"+2012-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3225588$2926C58A-3AC0-48F5-BCB0-C40B28D9A428","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50e313a82bcc92af1dc40b953fafebdfeb46a1ec","datavalue":{"value":"https://arxiv.org/abs/1202.0137","type":"string"},"datatype":"url"},"type":"statement","id":"Q3225588$A612E838-5AE0-4976-B14E-D34123CDB5A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225588$0E72AD9A-E963-4C35-A3E1-3B6520D46734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225588$43EACD21-157B-4F4B-8DE0-4A4BB0F6D73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225588$B3264F47-B63E-4367-9057-614095ACA6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225588$39B8F64D-F309-4192-91AB-13ED1490A65B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d2457f795e9ede861132e3750cbdd3ef2340230","datavalue":{"value":"6016974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3225588$D2999E07-D2F8-4CEC-94C8-D34DA1CF16F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225588$7B1A765C-3670-45A2-B1AD-251EB6EBB438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225588$F87C3AD9-BB8D-48F4-82DD-AC72C0041324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4de3eb0646ea6e931e8538512ad8c042294654e3","datavalue":{"value":"collapsible pushdown graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225588$4E1A5304-DA0D-4C0A-817D-F80D4687D668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd89b385688d59eccb7c5add7ffd5a2cdfd6929b","datavalue":{"value":"higher-order nested pushdown trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225588$E58E5844-A178-4E72-BC69-52E8DF0E9F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ee0e4604facc04b5244d768619db6d13725ad6c","datavalue":{"value":"tree-automatic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225588$23D18BA8-8D98-447C-8158-7BE8992A685A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ffe94f52a291248b20f1c251a7c2673a2de683a","datavalue":{"value":"Ramsey quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3225588$CBF5E7FA-D6BB-4A50-B594-CA73706405D8","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":"Q3225588$CB1DD47C-8A42-4053-B8F0-A51ABEF6D782","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9d53d8d3d44c478abc97346a470060619146b4","datavalue":{"value":{"entity-type":"item","numeric-id":3182946,"id":"Q3182946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6df51a929dfcefd1ea2b205f12a9e2c7a33e62","datavalue":{"value":{"amount":"+0.899371862411499","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":"Q3225588$6BC3FBDB-8640-443C-B07C-28A073FF924E","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":"fa57532746f0a01d14f2b45b5ccd4f341e1806a2","datavalue":{"value":{"amount":"+0.8927353024482727","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":"Q3225588$B845D3EE-7867-41CC-9183-4BCB3E636A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac98d46e3fd6b9b2b410a7f6b3ac52b35926f32b","datavalue":{"value":{"entity-type":"item","numeric-id":4981168,"id":"Q4981168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eadda43bd21357a1f4fbd20b2a35aa39c6cb8e42","datavalue":{"value":{"amount":"+0.8395467400550842","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":"Q3225588$1DA8C649-188E-41B7-B998-49EFCAB6EBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba98e67ccf85d6ecd412ef14ef30846687a6a2ac","datavalue":{"value":{"entity-type":"item","numeric-id":3113775,"id":"Q3113775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5035517adff929b9e5ce81af78b041bc05825be","datavalue":{"value":{"amount":"+0.8352376818656921","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":"Q3225588$D3B3A6F1-E412-4247-A536-C98798C4C46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6136cc3982067363018f8019543fd3c069d1c34","datavalue":{"value":{"entity-type":"item","numeric-id":4913775,"id":"Q4913775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c34d64c93464baf01f68f180e5aa86fe32d536a","datavalue":{"value":{"amount":"+0.8337252140045166","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":"Q3225588$B34F5CB2-D302-47FB-9FC0-03E9DE66606E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order model checking on generalisations of pushdown graphs.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-order_model_checking_on_generalisations_of_pushdown_graphs."}}}}}