{"entities":{"Q1749148":{"pageid":1759890,"ns":120,"title":"Item:Q1749148","lastrevid":74288061,"modified":"2026-04-14T19:21:34Z","type":"item","id":"Q1749148","labels":{"en":{"language":"en","value":"Efficient determinization of visibly and height-deterministic pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6868785"}},"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":"Q1749148$F1F31B24-85F2-4C44-83C4-E6A56C2D24BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b54c5ef8d187013cebde9df8d264a3772781771","datavalue":{"value":{"text":"Efficient determinization of visibly and height-deterministic pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749148$184FD18E-AF87-48E6-BC9E-D16AD432874D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4caf81592cf0d6b84ccd28b5510fd0d75b2ae910","datavalue":{"value":"1387.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749148$CCD69C14-76A5-40F2-BADB-4E868029F4AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae15fb2aa7cc464509680a33732e1c4a66d52caf","datavalue":{"value":{"entity-type":"item","numeric-id":1749146,"id":"Q1749146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749148$700F2AD8-11D9-4DE3-8E90-8EB9CB6958A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"722c0cd575f6c3021647d06a3859d882ff28dae3","datavalue":{"value":{"entity-type":"item","numeric-id":1749147,"id":"Q1749147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749148$31C385CD-FAEC-4AB5-A5F9-A57DBCDFB181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e440c2ce2a82e36b95a382673a00a9df1e33fddc","datavalue":{"value":{"entity-type":"item","numeric-id":199218,"id":"Q199218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749148$3FC7148A-CBFB-4E68-886C-9E6EE19D33E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d4c31ba7f39b9fea11d6565865e913fcec0f0c8","datavalue":{"value":{"entity-type":"item","numeric-id":396645,"id":"Q396645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749148$B6E9D8BF-83B5-4569-89D9-2D3B8F0E0750","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749148$C6C5CBBA-3660-4577-B758-E73AFEBAA642","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ea136133176b0e732e96c018d3bbea7a42c842e","datavalue":{"value":{"time":"+2018-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1749148$6EDF43F0-40BC-4E36-B851-E6D190FCE36C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749148$D50236BB-C732-4E20-A5E2-9D09762B8D89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3bc28098f71ccd458edafa374b3705986bc1774","datavalue":{"value":"6868785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749148$37CEFD6B-56DB-420A-9C3E-F20C7A88DA09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749148$85596457-BF33-42F4-A4BC-EA7A1FFCE697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba51c122061becbfe0e372cd8e7ac957a19e72e0","datavalue":{"value":"visibly pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749148$47189BD8-67B9-4862-AABC-F10703C045E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f583becc58314de2e8c5f687ff5f281b1c0e8d9e","datavalue":{"value":"height-deterministic pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749148$F0108346-25FD-46EF-92AF-D5C0C2596381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d868b454618c55ed01d5823e2fa6ebe9fbe2f5bc","datavalue":{"value":"deterministic pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749148$E9B84B92-0552-4345-82C6-0A7E868F6638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d01ba0554735b278236b61d3de2db638b07c84","datavalue":{"value":"determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749148$6A677A64-F4AF-469E-9D28-C14CF71AF754","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb1fca4ee5c1238a4c8891e4fb1e1d7c9da30b5e","datavalue":{"value":{"entity-type":"item","numeric-id":27652,"id":"Q27652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749148$3A9693A9-4368-407C-B53A-184A076785E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2335adfc89d8601e0b8412f7bfaae88be05be620","datavalue":{"value":{"entity-type":"item","numeric-id":36102,"id":"Q36102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749148$E9A4F335-19D9-4D3D-B525-EE1ECA2235C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d6bb037e34c1afd923f9c3ea2574a547d34bce23","datavalue":{"value":{"entity-type":"item","numeric-id":41099,"id":"Q41099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749148$AB41CE27-B08E-4158-86C2-3F3221F24780","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":"Q1749148$2A06C14B-D099-42BB-854B-D6984AB6E388","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b3b46cad8eedc65d78a58147e2027a068b1e525","datavalue":{"value":"https://doi.org/10.1016/j.cl.2016.07.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749148$5E73AC56-2EA1-4024-A47C-31112FFA0716","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24152c48a2d68ce9ee650d56b2f750c223f274dd","datavalue":{"value":"W2482236631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749148$0DC405C1-29C6-4023-BCF2-7D7668C2AFE2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749148$650ED688-2584-4800-A47E-17B8F83CB93B","rank":"normal"},{"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":"Q1749148$6421E25E-3C09-4D32-B197-406191E3AECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9abc6d6648efc2688ef88d57e01e09e29ed4830e","datavalue":{"value":{"entity-type":"item","numeric-id":3165666,"id":"Q3165666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749148$38ACF1BB-401D-46F0-AD10-C3D3D892AFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5737aba339ed8852b01c03d45dc807bd4351616","datavalue":{"value":{"entity-type":"item","numeric-id":5505411,"id":"Q5505411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749148$E082CB0E-6356-4D7B-8FF7-7529332F80D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed4158e9526994a65a76e954808a817b67bcbff9","datavalue":{"value":{"entity-type":"item","numeric-id":5449818,"id":"Q5449818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749148$372A7FD9-4F4D-4245-9D0F-7844C627C56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be61f81a19699cc53b73466192d0b7077a4ba60d","datavalue":{"value":{"entity-type":"item","numeric-id":2344752,"id":"Q2344752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749148$D1908AFB-0C1B-4F3D-A16D-D54BDEB71628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32304a386ff4180f5c952d0689b0f2204eff6b8e","datavalue":{"value":{"entity-type":"item","numeric-id":3586097,"id":"Q3586097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749148$C837C6FA-AD25-4DF3-957E-2DF78433683F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652291a9a49d8a5d0c4d1b133e516134c380fb24","datavalue":{"value":{"entity-type":"item","numeric-id":3613330,"id":"Q3613330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749148$F40F91B3-6121-4F35-9B17-5651AFD37845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99c9491ddcbadcbbedd513bddeb10766220bb46","datavalue":{"value":{"entity-type":"item","numeric-id":3525562,"id":"Q3525562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749148$76AD06E7-C839-417D-9DE7-E1788FF55B7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bf9068627fa1ef6fafca72885804516cd813f71","datavalue":{"value":"10.1016/J.CL.2016.07.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749148$C99F7C5A-4E73-4C01-B7C8-99A19ED72B25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d70d2f658829c1dd97dfeb638f5a6ce45b26f25","datavalue":{"value":{"entity-type":"item","numeric-id":2890214,"id":"Q2890214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67478e5a17b60e5004fb9480156256deccd15059","datavalue":{"value":{"amount":"+0.7908084988594055","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":"Q1749148$E6DBFD42-DABE-4EB3-AA8C-EA1B53588E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f73536ddea0519e157cf83410608e0b582be4e5","datavalue":{"value":{"entity-type":"item","numeric-id":3589625,"id":"Q3589625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d230492bcb21f500def146acf2d6f132f733db","datavalue":{"value":{"amount":"+0.7838621735572815","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":"Q1749148$6AA1443F-40D0-46A2-AEBA-B055E9EB7335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc2fb51f8ab3b1ab1c3b1f66342c3cdd0d5eea7","datavalue":{"value":{"entity-type":"item","numeric-id":3525562,"id":"Q3525562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366582843f0f391267c1d03b7e9fd59c56a9c8c3","datavalue":{"value":{"amount":"+0.7820323705673218","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":"Q1749148$D9B52CF4-A684-4704-B948-8CF7DF5882A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f1f4cbd62cfef1c93fdef48fc320144ce2572b","datavalue":{"value":{"entity-type":"item","numeric-id":3503642,"id":"Q3503642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"618be25cc2b0c35bfcaa3a4e67a844610fd70c92","datavalue":{"value":{"amount":"+0.7790292501449585","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":"Q1749148$4B622D20-D33E-44AD-9B97-04AE7E79947A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"861777fd46a3c862aa6febf29ce750008676d9e2","datavalue":{"value":{"entity-type":"item","numeric-id":3602811,"id":"Q3602811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcbfe4a598dea738834953c5a67d803e11025a68","datavalue":{"value":{"amount":"+0.7730187177658081","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":"Q1749148$F41B86CE-EACC-4A9A-8A36-529EA5228508","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient determinization of visibly and height-deterministic pushdown automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_determinization_of_visibly_and_height-deterministic_pushdown_automata"}}}}}