{"entities":{"Q3525656":{"pageid":5555560,"ns":120,"title":"Item:Q3525656","lastrevid":50458508,"modified":"2026-01-14T02:44:24Z","type":"item","id":"Q3525656","labels":{"en":{"language":"en","value":"Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344943"}},"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":"Q3525656$1E7B0C4E-D964-42E4-96F2-B24A0D475980","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82a90f403c7643a231dec0c9224f921d80ed7ebc","datavalue":{"value":{"text":"Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525656$CA04C7ED-81E5-4C95-A079-562CF2D2864E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d467fa996661bbb8fcf16516e3bc58e44393f5c","datavalue":{"value":"1151.68458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525656$ECE9AEA2-D5F2-4105-A8DB-878D9AC48FF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f54a8c267adcc98046775c36cfb79a33a1d8bc73","datavalue":{"value":"10.1007/978-3-540-74407-8_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525656$378903E9-4A3C-4F3A-B328-FE654E17CA00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525656$CD83FBA6-6B6B-49F9-81F6-46B11D044101","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d33cde76bd73dc5ee329bf4c0e45fff7e5611f64","datavalue":{"value":{"entity-type":"item","numeric-id":3525625,"id":"Q3525625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525656$84A3B087-2753-4380-8259-8073E2EFE73A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1b92a0ce5c23dfe591778f902d0760e02cbbe13","datavalue":{"value":{"time":"+2008-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525656$A9AB5595-A754-4EBF-B2E7-241C2FC5DB04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525656$3A6B4244-44D0-4461-86E8-6C166DA94094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525656$08719D88-E83A-4EAF-B8B7-CF9AA9CA631D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525656$3E67A86F-9DF7-454C-8CF3-16F8B9BE4949","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9e93f40c8ac4bd39a81d09bf6d13af22d11f03f","datavalue":{"value":"5344943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525656$8A95C532-4E14-43DB-86B2-07E02511B41B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525656$97FF14E4-F86B-4098-B1CC-FDF4B6566E76","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":"Q3525656$1BF13A06-AE7E-4F8D-AF32-D5EC2BE824AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50cd4e88bec443a16cec309d39de3beaa8fff42f","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74407-8_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525656$B08CAF72-10D4-4A52-8D33-EBD6DB4FD1B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a7742fc5d2b92eab5ee0888bc4287d2f7029b7b","datavalue":{"value":"W1810796502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525656$53297C22-DE6B-44A5-BEFC-73E0D68F8624","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"068e066446b13a521b0543764e2bca64709cf13d","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c63d694c1c666be86215cecc367b8f506424a2be","datavalue":{"value":{"amount":"+0.7998667359352112","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":"Q3525656$DFEC3206-B076-46F9-BA0B-4B24060CA0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdaff6e547bfdedc860b6f81ba859f89f90365c4","datavalue":{"value":{"entity-type":"item","numeric-id":682377,"id":"Q682377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf999d66d44cf202007a7ff5701f78b6a98ccd43","datavalue":{"value":{"amount":"+0.7928173542022705","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":"Q3525656$9C0FB090-7BFF-4621-99DC-A8DB70FFA54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b324ebdf2c93d8fdcb61618f838d4d0e90599d95","datavalue":{"value":{"entity-type":"item","numeric-id":5428226,"id":"Q5428226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a92d20410f018109a99d4eeb7c2a16872b25bb","datavalue":{"value":{"amount":"+0.7901189923286438","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":"Q3525656$D6F77B0F-66C0-4352-BC44-EABBFC5E9A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edf04625e49e8b2415ffa0d522c0693be24e2447","datavalue":{"value":{"entity-type":"item","numeric-id":5465872,"id":"Q5465872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d416dddb116f93b44661126e2c666026e7cdc06","datavalue":{"value":{"amount":"+0.7847831845283508","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":"Q3525656$077E82D6-3091-41B9-80B9-58A83CD98DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32ba4b2e6ae466af28f1614280b378e69b401ee","datavalue":{"value":{"entity-type":"item","numeric-id":1786616,"id":"Q1786616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8653c2dae37fb66e0ee33cb21e7fc1ef591d8e3","datavalue":{"value":{"amount":"+0.7776290774345398","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":"Q3525656$492753DF-CB5A-40A1-9D34-25363D3BD53E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525656"}}}}}