{"entities":{"Q5205050":{"pageid":7234621,"ns":120,"title":"Item:Q5205050","lastrevid":53614442,"modified":"2026-01-25T10:32:30Z","type":"item","id":"Q5205050","labels":{"en":{"language":"en","value":"State complexity of the quotient operation on input-driven pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7141931"}},"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":"Q5205050$D0EEFAF5-AADA-4F06-B41A-F626BCA856BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"078ee91dc397162f4ad7007d50c96e96f8aabdaf","datavalue":{"value":{"text":"State Complexity of the Quotient Operation on Input-Driven Pushdown Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5205050$A7DCD948-10DE-45EB-914A-FF21E88C1941","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9563d87725a65eba7136fa4eef051e1c302b26e","datavalue":{"value":"1427.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5205050$56D6E92E-A666-4C39-B7CD-4E84B3D102A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b387abb580876941dc1ab8806c70eb439fbdd914","datavalue":{"value":"10.1142/S0129054119400367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5205050$9EDE1249-A8A7-4657-BFAE-46FE30A1AF66","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":"Q5205050$32B77BAB-6F46-4CCC-90EF-16F2CC64FE1D","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":"Q5205050$809B416F-CB24-42CA-8735-22A467B05EA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205050$3FEB1DB1-7CA6-4F41-83FD-752B1C7CCF7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6557c8ec53785ce046094170ab8c6902a1865e7f","datavalue":{"value":{"time":"+2019-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5205050$34806899-EE2D-4BC0-9AD0-E4BB17C0A9F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5205050$09EC4BA1-6439-4872-8BA8-78545051FB72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45a5a123640092d479d3954c6d46558ddfff9c2f","datavalue":{"value":"7141931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5205050$A198D22A-7CDC-4884-860B-F24EE7722FA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ed05fc6a6bccec48be3589813321e26a99eea3","datavalue":{"value":"input-driven automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5205050$54C2192C-73EB-46F9-9A6E-EC9137337ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba51c122061becbfe0e372cd8e7ac957a19e72e0","datavalue":{"value":"visibly pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5205050$1F29BE82-9B3E-48E3-A425-41121A028D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04cdd5fb884b99b76f46dc32107e7543cf1bbfe5","datavalue":{"value":"quotient","type":"string"},"datatype":"string"},"type":"statement","id":"Q5205050$37500741-0F59-46FC-A30E-5E6A126ADE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9a7b03c1290f4420f511d8fcb71a4d38b5c445b","datavalue":{"value":"closure properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5205050$43FC078C-349B-4743-ACC7-8921A30AB7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b10ab4d2fc75823309415cc3027a505ded7b2f","datavalue":{"value":"state complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5205050$8FFB0B90-698F-46D2-96C4-BA9CBD0ABA6E","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":"Q5205050$9A537F1A-E90A-4696-9401-B5D9C3E7EC6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205050$D2E096EF-0782-4F26-ABE2-CF944E5ADE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafe152d225aa7fd22548124305235260731e8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3452213,"id":"Q3452213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205050$9617F4D6-06F8-47A5-9A5B-192FD707BD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47cebc04b7eb71cacd961bf04ae46d43cff618b","datavalue":{"value":{"entity-type":"item","numeric-id":1199879,"id":"Q1199879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205050$5FCD0641-B889-4BB5-ABA5-63BDA1730954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac812234334ade637f98d6951f11caf29450bf68","datavalue":{"value":{"entity-type":"item","numeric-id":3219133,"id":"Q3219133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205050$71156A9A-30C5-4F5B-AC24-BE5DC5938DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4bdc1028b5bd29b72e5d3773bc059ad70e6d128","datavalue":{"value":{"entity-type":"item","numeric-id":5521476,"id":"Q5521476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205050$1F47F563-B880-4D45-83DA-6B35E1E9C186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3494cf3bad77989ec4f1bc0d5da2d403df9123","datavalue":{"value":{"entity-type":"item","numeric-id":5526124,"id":"Q5526124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205050$BECAE979-5415-43EE-B614-00B68F38A11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ed1b4a4c0d8c0d69a996f05d1ca7723116192d8","datavalue":{"value":{"entity-type":"item","numeric-id":2271435,"id":"Q2271435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205050$9E117A92-F09F-4FE7-AE0E-34132446FDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbeb3bba30baba223f9809b105566586fcf2db8","datavalue":{"value":{"entity-type":"item","numeric-id":5583856,"id":"Q5583856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205050$08B0EB28-B0FA-4B89-943D-7548431AEB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cc94ebb5f25546fd75c370fb9a53ceb3a36d08e","datavalue":{"value":{"entity-type":"item","numeric-id":1070828,"id":"Q1070828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205050$6A26B8F9-AA1A-41E6-90FE-E7EDCAC8CA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e7f03e0bfff061db9847c399a80056bc6c3929","datavalue":{"value":{"entity-type":"item","numeric-id":3890112,"id":"Q3890112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205050$6FB18606-2C55-4397-9F6D-97D42EF4B69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c98dce9d67f6149a7bdc3b2ab945fd7ee2320201","datavalue":{"value":{"entity-type":"item","numeric-id":2634670,"id":"Q2634670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205050$9BB68E4C-6F60-462D-8A4E-D5E361D3E08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3adf0326271ab30aabedfbaf04d2b9814e273d4e","datavalue":{"value":{"entity-type":"item","numeric-id":2921977,"id":"Q2921977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205050$7893EA41-6C14-412E-A1A8-341278E9C967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"586fe98d636b9875f9304e1f08fd7ab6c15f4fde","datavalue":{"value":{"entity-type":"item","numeric-id":484313,"id":"Q484313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205050$6316E778-DBB7-4653-961F-328D44304518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24545cf5bf7945597a179a99113e2779f53ed777","datavalue":{"value":{"entity-type":"item","numeric-id":2396831,"id":"Q2396831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205050$8068BCBB-47D1-41D9-B371-F290F62460F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63cd69d94f63188fa23a9f3b72ab29b06d3f2154","datavalue":{"value":{"entity-type":"item","numeric-id":5920061,"id":"Q5920061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205050$D3498B8D-F341-4D87-98E7-7732BED81EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3af9689047028976828b75571c7e09ec25dfb3","datavalue":{"value":{"entity-type":"item","numeric-id":2401013,"id":"Q2401013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205050$84F20176-31E8-4055-9A60-F9D37C93C474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28e9cea2da969ff3b092830c2c0d91118939f03","datavalue":{"value":{"entity-type":"item","numeric-id":2271464,"id":"Q2271464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205050$B1760A3D-E32D-4559-9548-F804D73899B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decf48f6c7ac227ae6fe740d48e4ca67feb4c634","datavalue":{"value":{"entity-type":"item","numeric-id":5646391,"id":"Q5646391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5205050$3F6A9EB9-5223-425E-A2E7-12EA96155A9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02af7cf2e7c058c57a104b3bda408f91264981f3","datavalue":{"value":"https://doi.org/10.1142/s0129054119400367","type":"string"},"datatype":"url"},"type":"statement","id":"Q5205050$01FC8482-F99A-4736-89B1-2A393D1100EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd6b0ea077b8f90106a858b87f63508c14301af8","datavalue":{"value":"W2973381442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5205050$02BC4098-6876-4B78-93F4-875096961628","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c74e7f6ec28d39a6876154c0228dcb890de832","datavalue":{"value":{"entity-type":"item","numeric-id":2401013,"id":"Q2401013"},"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":"Q5205050$511F6C0A-03EA-4BE3-B776-DCC6F9024612","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":"e132ce82d109a9d3c3365786116e59004aeb9859","datavalue":{"value":{"amount":"+0.811514139175415","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":"Q5205050$632921F0-7F19-4181-AB41-5E4A4E571DC6","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":"0b1797b03319b00037e5a3e953c91b018104165b","datavalue":{"value":{"amount":"+0.7869993448257446","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":"Q5205050$A5DB3856-DAAA-4425-B695-C25550870B43","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":"ecb1524559e0bc3e66aa77a2abb44d8f67823b1a","datavalue":{"value":{"amount":"+0.7731587886810303","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":"Q5205050$77A82544-01E6-43C3-B8E5-82DAD63C3AE1","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":"b0f29ed689ba4288e0ce6d4659c148e682135463","datavalue":{"value":{"amount":"+0.7710461020469666","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":"Q5205050$02258340-D505-430D-BCB8-E1A11ACC28AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5205050","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5205050"}}}}}