{"entities":{"Q2097230":{"pageid":2107973,"ns":120,"title":"Item:Q2097230","lastrevid":43511505,"modified":"2025-07-30T09:15:32Z","type":"item","id":"Q2097230","labels":{"en":{"language":"en","value":"On the determinization of event-clock input-driven pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7615742"}},"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":"Q2097230$EA0141D5-9B5B-4260-A168-2A9777B729F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c40e12441f055c830fc295b6243b64c2ebeaecda","datavalue":{"value":{"text":"On the determinization of event-clock input-driven pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2097230$DAED7DAB-B7A3-4DB4-BBD2-C86B31F76B4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fb2da74ac0396ab9a0abf7c9d4db2638a620583","datavalue":{"value":"10.1007/978-3-031-09574-0_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097230$E2962A1F-ACCB-4A93-92D2-9E688FABC504","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48552ab21c66d0b04090f0666911ca61b12af69f","datavalue":{"value":{"entity-type":"item","numeric-id":407555,"id":"Q407555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097230$990F31E1-8DDB-47D0-8F79-3A1742F89CCA","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":"Q2097230$B1880E17-4B1C-4CC0-8637-9D4AE28C98CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d427d6e8557b276fa99b93deca64aa11553957f3","datavalue":{"value":{"time":"+2022-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2097230$A55E0933-CF58-4D5A-91BF-D8D10E4EC65E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e092e0880cfd9fc5a5ffb65a4feef3ef33763bbe","datavalue":{"value":"https://arxiv.org/abs/2103.04079","type":"string"},"datatype":"url"},"type":"statement","id":"Q2097230$9F57B68B-6D0A-4B13-8C6A-E02BEF712ACF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097230$857DE56F-8019-4B3C-8F69-8F56DEEA0F98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b329892754776a1224270b122eedd2a302f9aef3","datavalue":{"value":"7615742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097230$E21511D6-471E-4D1C-9E91-DB841EF27E93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67f76633f75ad992c87ec1fbb73343152ad2f79e","datavalue":{"value":"timed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097230$52B27B85-350F-4D63-8CF7-EE95A9820745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ec1d77276fe16683bad2a29df792067ea25eff","datavalue":{"value":"input-driven pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097230$04568FD2-A143-4210-872F-577891EF4476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba51c122061becbfe0e372cd8e7ac957a19e72e0","datavalue":{"value":"visibly pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097230$23977090-B7DA-4220-A456-F550E4E3427A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d01ba0554735b278236b61d3de2db638b07c84","datavalue":{"value":"determinization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097230$C98911E0-96DC-44D1-8A03-99D068A0A7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b10ab4d2fc75823309415cc3027a505ded7b2f","datavalue":{"value":"state complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097230$4D26A337-E0FE-46EC-9C3A-6D4A8C575EC0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097230$2C435F87-51E8-4EF2-9CA9-679B40F4248A","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":"Q2097230$D0B8D5B7-416E-4F25-98CB-DF01F99839FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca8c4bafa15ea580e58e6e262e2c0f0dbbe40e98","datavalue":{"value":"W3133677360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097230$742894AC-3797-4152-86A1-9E82E9C8E63F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c1b21124277bda9d7b03777705e1af69eb38d28","datavalue":{"value":{"entity-type":"item","numeric-id":2986779,"id":"Q2986779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097230$D369EDAA-9674-4863-91DB-B70224CA7AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097230$A2C13F5F-A820-4358-B0A0-63B8D123B53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ccf8586597c3566f257c91d59d2b4dcf95056d","datavalue":{"value":{"entity-type":"item","numeric-id":1274452,"id":"Q1274452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097230$C1A41DD7-1683-4B48-82D7-51B36622F6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc3f2dcd7c92c408561e9891adfbd1a30938a8f","datavalue":{"value":{"entity-type":"item","numeric-id":5494303,"id":"Q5494303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097230$80C7CA77-76C3-4321-BC94-D4346CDCB953","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":"Q2097230$9D4FA83E-BB84-42C8-B6D1-5B7BB2C8C1AA","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":"Q2097230$7CCEF824-3892-47BE-BE6A-89537F32E9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5280b5c53f272ab38434c08fc10f88f7f090db29","datavalue":{"value":{"entity-type":"item","numeric-id":2798712,"id":"Q2798712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097230$B6F98D16-F137-4876-9A30-662FAEF08372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41369a340c5c5a932e7a4df2891f54625948d038","datavalue":{"value":{"entity-type":"item","numeric-id":1647682,"id":"Q1647682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097230$4DB0FEFC-410D-49FC-8728-EE2B3AB3A32F","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":"Q2097230$02C94293-5932-4D77-A5F4-45737EA4A8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"936271c4725ed0b10005cea1032d70bd3874fbc9","datavalue":{"value":{"entity-type":"item","numeric-id":4635851,"id":"Q4635851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097230$5141E9D7-B5AE-46C7-B733-3C524A9CAA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4ff55991e2e0667835604e8093fd81c23ede13","datavalue":{"value":{"entity-type":"item","numeric-id":487253,"id":"Q487253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097230$F0BDE4F5-8EEA-497B-8B3E-6CC3839185B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200cd015b3ab9482ec0c8403f564d8f278b4166a","datavalue":{"value":{"entity-type":"item","numeric-id":5465872,"id":"Q5465872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097230$F57993DF-8D97-4DFF-BB0A-98AF9215DD89","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":"Q2097230$69CA9934-5673-4E62-BFB5-F1106121F4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb5c583433136bad6b1c8817a842e30c665fc318","datavalue":{"value":{"entity-type":"item","numeric-id":3166952,"id":"Q3166952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097230$E6538C27-6304-49C3-BEA8-8065A695DF6F","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":"Q2097230$D45AF63A-D48C-40BA-A5A3-118DB8841027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310ac6af1c181e28547a89c40e0edee8ebf89603","datavalue":{"value":{"entity-type":"item","numeric-id":2117102,"id":"Q2117102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097230$50451947-45EA-410E-A479-A12ED93779EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6312a31e60e5b8a5cf54a7fb6c3c2f59207ced8","datavalue":{"value":{"entity-type":"item","numeric-id":3599103,"id":"Q3599103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097230$A38F18E6-E38F-4444-ADBF-D624E8B3C9C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2097230","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2097230"}}}}}