{"entities":{"Q2401013":{"pageid":2411756,"ns":120,"title":"Item:Q2401013","lastrevid":52888748,"modified":"2026-01-23T17:50:56Z","type":"item","id":"Q2401013","labels":{"en":{"language":"en","value":"The quotient operation on input-driven pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767306"}},"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":"Q2401013$C1CD56CC-9234-4D74-B6B5-ED96074FE43D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"143db90ed8864de1b50b49df13c34a8d4471caea","datavalue":{"value":{"text":"The quotient operation on input-driven pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2401013$A0A3837C-4BBF-44E2-A4C0-DA75A07474E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b478cf65af5816355278c3b15fe92f4569ef24ad","datavalue":{"value":"1426.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401013$32B9718E-052B-42F5-A142-5391258E2433","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bb4a99fb1fe2b332fa221c082384267921420ef","datavalue":{"value":"10.1007/978-3-319-60252-3_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401013$5FF94A75-E8C9-4652-AC95-6CF7E6513F19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"396be6cf4077d85b5a940d5425abf76338b8a241","datavalue":{"value":{"entity-type":"item","numeric-id":248926,"id":"Q248926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401013$E5AB35B7-14CB-4ED8-BAE4-CDE1E99B26CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8455035442168fbb99576351474dec2ff822256f","datavalue":{"value":{"entity-type":"item","numeric-id":247255,"id":"Q247255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2401013$5595A1D3-24DE-42FA-ADBA-93EDE1D86270","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2401013$81B8C765-B47B-4231-801D-90C4058C85E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8b865ceb3ad3a58eda6f45b7376539d9845d970","datavalue":{"value":"https://hal.inria.fr/hal-01657008/file/440206_1_En_24_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2401013$C996BE09-BD54-454E-B28D-3AC95FB455D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401013$F4069FD9-5610-4DCF-89DA-C4E5266F9321","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13c4deaa532ee8a390a77a42615c588756f124a7","datavalue":{"value":"6767306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401013$555C9FA0-B697-429A-B6F6-F32C7CEF2965","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":"Q2401013$147101D9-D1E4-406F-BE9F-B3B238009B48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62ba6262453dd4a0dc477f9251fbc61bd32d28b4","datavalue":{"value":"W2620675909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2401013$AA4A24AA-ED1E-459B-9DC7-93871D6B2F07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"142f1a005f4efe12453018c1f245d5cd31f94e0a","datavalue":{"value":{"entity-type":"item","numeric-id":5205050,"id":"Q5205050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"791b791431818beb2dcd680138b38b8f612a9052","datavalue":{"value":{"amount":"+0.9762568473815918","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":"Q2401013$00BDD70B-E2DC-4278-9447-AAE27B6DB04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96905850ca4a7b0014c984ed91b57932b737afa0","datavalue":{"value":{"entity-type":"item","numeric-id":5896094,"id":"Q5896094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf354f40befff8362e1e933eb03b586114a87ff","datavalue":{"value":{"amount":"+0.8200181126594543","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":"Q2401013$4A1EC0A0-B8BF-42A1-8EE2-576BA829C21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f64d0007effd56fcbd86d606dfff7bb691dc32","datavalue":{"value":{"entity-type":"item","numeric-id":5919707,"id":"Q5919707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34b38c81304ac21d7eff7cd083f07c0f5cbae4c6","datavalue":{"value":{"amount":"+0.7924157977104187","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":"Q2401013$95D7DDFD-6435-4D19-B504-E1BD6CA3D85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07198797cd23e24fc4edaa30a1506aa3bdf90dcc","datavalue":{"value":{"entity-type":"item","numeric-id":293180,"id":"Q293180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15293dc50bb0013dd2c5a951456ba188fe95ef3","datavalue":{"value":{"amount":"+0.771058976650238","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":"Q2401013$F196CC2B-6A84-42D3-9800-8028F81F5B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a523f5ae736d0cd4750f63eb3cb69636e70393","datavalue":{"value":{"entity-type":"item","numeric-id":3088065,"id":"Q3088065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edf653f20c087277c5794776db6cfd55a07f8ab7","datavalue":{"value":{"amount":"+0.7485079169273376","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":"Q2401013$138B4839-EE0E-4C4B-A654-011FD0537792","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2401013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2401013"}}}}}