{"entities":{"Q3777488":{"pageid":5807394,"ns":120,"title":"Item:Q3777488","lastrevid":52207343,"modified":"2026-01-21T04:03:30Z","type":"item","id":"Q3777488","labels":{"en":{"language":"en","value":"The equivalence problem for real-time DPDAs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4039336"}},"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":"Q3777488$945BAF10-4B69-46DA-9FA1-BEE0AC2D4652","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f417cbc116a885824337bfb3181bc13ced96e344","datavalue":{"value":{"text":"The equivalence problem for real-time DPDAs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3777488$7CE8B905-639A-4FBC-B8C1-3D189EE8F4D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eef0b9208b0086de189cfee86e6831ae4fabe359","datavalue":{"value":"0637.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777488$B1E7DE26-12A2-4536-A3EF-8D6505076E99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc3af44673efadddb18c4699b6b4e23b67a2bb55","datavalue":{"value":"10.1145/28869.28881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777488$5312830B-CDE9-4FE9-8AAE-394A14BE7295","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b75e3dc8ae1008724e44cf427d976ff916bfae1a","datavalue":{"value":{"entity-type":"item","numeric-id":799386,"id":"Q799386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3777488$BC36CA1A-DC83-40C7-982D-11D378EC4EF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3777488$6D43122C-2BCA-423B-8098-2D87BF47ADA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3777488$76723A12-D2CD-4814-8B17-3CA5A4A48FED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777488$E0753332-F16A-493A-A7CC-EBF9AEB3EA60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"358dc67feaf68850229d0ff76dafee0a02dbeab4","datavalue":{"value":"4039336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777488$BB5AD4DC-57AD-4E57-84EE-2927FFDE2C05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf0a69ff86a1d56569a9610bc144fdfce86ab79","datavalue":{"value":"equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777488$B4BC2970-D167-4D02-BEE0-C93510EF6B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dffa0ed3f2ea877a47b5eaca1c29e453c0ea8b9e","datavalue":{"value":"deterministic real-time pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3777488$430DBEB7-7031-4F62-BFFA-A3D9B9179AE0","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":"Q3777488$783938F1-82A0-4E13-91E5-7266F0B3B1B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9821ba003527fdc3dc92d0b86a6d98d774cce3dd","datavalue":{"value":"https://doi.org/10.1145/28869.28881","type":"string"},"datatype":"url"},"type":"statement","id":"Q3777488$AF1A4D45-36A9-4D88-AD10-E7EE67C80CF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7869d1f04a8b479efc83ce7d40cce7ad7abf9379","datavalue":{"value":"W2048217963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3777488$3F9249B0-5332-4C12-8111-79453747993D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a95bc295fcef02f705161575a8024d5afc16433","datavalue":{"value":{"entity-type":"item","numeric-id":4571996,"id":"Q4571996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd44fc3a3d839997046d66f07d7055d2371a9c51","datavalue":{"value":{"amount":"+0.8952277898788452","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":"Q3777488$802588E1-91BB-449F-B473-FEF8F77FB680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58d2bf5593372d4201064a516c4e726cbbe6c4c","datavalue":{"value":{"entity-type":"item","numeric-id":1816326,"id":"Q1816326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d419499e121b5e6920a8f5ac3f29c01ae80d7181","datavalue":{"value":{"amount":"+0.8926452994346619","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":"Q3777488$B2AF5123-CBF0-45AD-B98B-C5F27493CD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82826feb2e807725b6f9a54a11b5e74c1a7ffc71","datavalue":{"value":{"entity-type":"item","numeric-id":1075060,"id":"Q1075060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b4605c75188fc14e3db2a21212e79899877b0e","datavalue":{"value":{"amount":"+0.8896074295043945","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":"Q3777488$9FDB5AB6-BAA9-41D7-9F00-1DB98858C583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d85bb8599979d06fc1d25092e2c7753143ffc85","datavalue":{"value":{"entity-type":"item","numeric-id":4737211,"id":"Q4737211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37e37b25fd3048485875036149ec136480881ec","datavalue":{"value":{"amount":"+0.8754197955131531","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":"Q3777488$9D47CD03-B17B-4710-BCA3-8AB911114698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6142c7a56d701342d7fe761ce534d32ce8275fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1062450,"id":"Q1062450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba3b2f74c95284c1f126435f7b359b90958caea","datavalue":{"value":{"amount":"+0.8742414712905884","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":"Q3777488$BC94564C-B556-4221-ACA5-A7DF489CFAAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3777488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3777488"}}}}}