{"entities":{"Q1622993":{"pageid":1633733,"ns":120,"title":"Item:Q1622993","lastrevid":71537973,"modified":"2026-04-13T22:55:10Z","type":"item","id":"Q1622993","labels":{"en":{"language":"en","value":"Towards exact state complexity bounds for input-driven pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6983398"}},"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":"Q1622993$2F931723-8C3D-46A0-9640-10ECC9FC08AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a06bf09921638479d5d7f3ea1ed65c80431df62b","datavalue":{"value":{"text":"Towards exact state complexity bounds for input-driven pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1622993$DD4DBF79-DE68-404D-B593-858C600959EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"854891742b25b69a6f7a39344377d3acbaa96443","datavalue":{"value":"10.1007/978-3-319-98654-8_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1622993$05C5617E-A3D1-472A-A5EC-337A53717269","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c7c5967ae26e9b631724c0e0067976453948e02","datavalue":{"value":{"entity-type":"item","numeric-id":443741,"id":"Q443741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622993$7D13EEDB-B92E-4E50-BBC1-7D4C50664D54","rank":"normal"},{"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":"Q1622993$18BFE631-7E23-41A3-9CEA-09873B711BFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18cf30b5eb4a6f9f904a0abe2b57b56fd1dee870","datavalue":{"value":{"time":"+2018-11-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":"Q1622993$6A6CBD99-22FF-4E94-A79E-E0E6FB0D1E91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1622993$A56133F0-AF94-495D-9B26-1AFD3614C5BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cc6b4ab7c636d6b8b233af94de846a938c333ed","datavalue":{"value":"6983398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1622993$02280FD3-D595-4A82-8638-A9E145ED437B","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":"Q1622993$494FAEE4-7E7C-42A9-8390-3D556E9752D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59a8eeb222bec4de049d645fd9b71975c6e79f2e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-98654-8_36","type":"string"},"datatype":"url"},"type":"statement","id":"Q1622993$443C7DDA-4A97-4580-A148-32CE736276E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa2337b884da7d5206fe84655d03530b64d496b4","datavalue":{"value":"W2887759255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1622993$03F563BE-0CC4-4EB1-ADDA-0E2B321C615E","rank":"normal"}],"P1643":[{"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":"3e9f7a7d7770d1b7833e2d8044f2f47d95699715","datavalue":{"value":{"amount":"+0.9211387634277344","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":"Q1622993$61F6B318-872B-4082-A861-C327BE4A55C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0e78617ee35fe2b07cc177ad63b2fd2b1c82d8","datavalue":{"value":{"entity-type":"item","numeric-id":2396831,"id":"Q2396831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc2bcf4f1e79c77f2c9ae9e8e73af1de53a6b10","datavalue":{"value":{"amount":"+0.9102981686592102","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":"Q1622993$F9844409-D3EC-4390-8FCC-F31CD466E1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fca95d9bc2d2ebd84c5358b16b1872c39ada4a8","datavalue":{"value":{"entity-type":"item","numeric-id":3166952,"id":"Q3166952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62504072a0fe94997775d465966b087519635591","datavalue":{"value":{"amount":"+0.8865581750869751","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":"Q1622993$9B110653-5D12-4AF5-BFD4-70BD1ACFBA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc96538b01351abfdf6db997429ec084bdbe3c65","datavalue":{"value":{"entity-type":"item","numeric-id":484313,"id":"Q484313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f144c89136e26e7c5633eb2e382b3569f6925ca","datavalue":{"value":{"amount":"+0.8669666647911072","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":"Q1622993$58B4153A-401C-45A4-B06A-378E13EDDD98","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":"8e890d732103ae9fb1564e68d46cbcfbe1b11854","datavalue":{"value":{"amount":"+0.8274372220039368","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":"Q1622993$2C0E7B52-6A84-4E73-A1AF-A8E319904346","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards exact state complexity bounds for input-driven pushdown automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_exact_state_complexity_bounds_for_input-driven_pushdown_automata"}}}}}