{"entities":{"Q2458041":{"pageid":2468784,"ns":120,"title":"Item:Q2458041","lastrevid":50200064,"modified":"2026-01-13T12:18:47Z","type":"item","id":"Q2458041","labels":{"en":{"language":"en","value":"Equivalence of deterministic pushdown automata revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5206869"}},"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":"Q2458041$C282D254-89D4-48F6-AD42-B530A25736F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2be54fa12d2350eea2e2ce863ff019475c2fa99e","datavalue":{"value":{"text":"Equivalence of deterministic pushdown automata revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2458041$0DCF8995-29AD-4EEF-90A2-78309BFEBFF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76d5d885fa4c115861aa5ad3677c8f377d78ab66","datavalue":{"value":"1125.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2458041$D58D4665-D48E-4663-A345-A370F4A02DDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d664fcd2477f200faf3ef83f6a785cc7b28e8973","datavalue":{"value":{"entity-type":"item","numeric-id":2458040,"id":"Q2458040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458041$31993313-7E39-472B-BDF0-F6982BB0E57E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458041$99C16B5E-477A-4916-B028-AFB3E28EDDB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27b591515f5fb68f7eef8b751b948f7aac1b317d","datavalue":{"value":{"time":"+2007-10-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":"Q2458041$6FA76C41-48EE-43C4-A3AC-7B39C8CE0AC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2458041$4B352164-C8E1-46F1-9ABB-15D6567A5BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2458041$CB37A68E-4D03-423D-BF01-3BB139C13ED7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99f37e951c18d074a119f6deca808a57c38a9ddd","datavalue":{"value":"5206869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2458041$4154FD18-D683-4194-A043-68BE02348BFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d868b454618c55ed01d5823e2fa6ebe9fbe2f5bc","datavalue":{"value":"deterministic pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2458041$B3271B70-E341-4C3D-A7C2-3830C6A293D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf0a69ff86a1d56569a9610bc144fdfce86ab79","datavalue":{"value":"equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2458041$A5E503DD-97C2-4E84-B38B-1B55DFD8CB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed32f459f9c256c5d9cf6674475a34ff7f8bc6d0","datavalue":{"value":"decidability of problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2458041$34179DF6-0D99-48AE-B27D-940992A14749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb146a1bcd2cdca25ccd310bf417d276aa537f87","datavalue":{"value":"deterministic CF language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2458041$210F7949-1306-4E1A-A329-78F4A27FF841","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":"Q2458041$DAD3C3CC-2FA4-4414-A3B7-5FCC33DEA79F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8e9ef68efc6494ab1ee2aed6506a613fbbbd83c","datavalue":{"value":"https://doi.org/10.1007/s10559-007-0037-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2458041$890241E8-2D8E-41C2-A914-77F4271A8DC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8215a4398640f8c398f7bf8c5358d55b73807d5","datavalue":{"value":"W2012479020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2458041$C810088B-A3E5-4E8B-A6DF-212F9A985F89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcbe6b41a61d1be24d3f15ea1cdac96b096f844f","datavalue":{"value":{"entity-type":"item","numeric-id":5590810,"id":"Q5590810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458041$6C311990-DEE1-48ED-B72A-439BFE30FDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce2958c69fc0ffe7706f790c429d92fee458ed25","datavalue":{"value":{"entity-type":"item","numeric-id":5639365,"id":"Q5639365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458041$DA22C24C-9A56-4193-BFE5-3C8298A866EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1231f36fec12be08804e8a05cbf0ff1fcdcdb82f","datavalue":{"value":{"entity-type":"item","numeric-id":2560718,"id":"Q2560718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458041$276007E4-95A3-46E6-8E64-A889AF9BA320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6c9ad1af6635d001f4350001772960e0e5560f","datavalue":{"value":{"entity-type":"item","numeric-id":4772713,"id":"Q4772713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458041$2AE957AB-05D5-4FBD-8FD7-FEF47307E5D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d79a54e9d8e3f1095414b960fce7b5a319c29e","datavalue":{"value":{"entity-type":"item","numeric-id":3777488,"id":"Q3777488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458041$BECD7F67-1402-4010-9B23-970A24FA768A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b9d693ee9f84d5128fc7c86fda922f6bfcc20f5","datavalue":{"value":{"entity-type":"item","numeric-id":5609393,"id":"Q5609393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458041$06A5F034-CCCF-44FD-9835-20582EFA3C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"202fa537549d862287e8c72112377f480beedfed","datavalue":{"value":{"entity-type":"item","numeric-id":1218272,"id":"Q1218272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458041$35CB7176-E9C4-4D00-B80E-53FD87D0BA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f738da761537d671b2ca3e58f0690c82693f32c","datavalue":{"value":{"entity-type":"item","numeric-id":4571996,"id":"Q4571996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458041$4FCF3571-83C0-43CE-84F6-B8542AE28A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f01f82b19f90331cfd390537d19adf974f07fe","datavalue":{"value":{"entity-type":"item","numeric-id":1589483,"id":"Q1589483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2458041$B6F4D6A2-BC5D-44BA-A69D-6D97898F5C6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b3cda9aae6f2a1e953f129ba0f10d0bb54309e6","datavalue":{"value":"10.1007/S10559-007-0037-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2458041$0C2D8A3C-1BA7-47AF-86BA-AC1F62C01E12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58d2bf5593372d4201064a516c4e726cbbe6c4c","datavalue":{"value":{"entity-type":"item","numeric-id":1816326,"id":"Q1816326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bba474196f1a73dc0895f0e4a2c7cd73508fe9a","datavalue":{"value":{"amount":"+0.91152161359787","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":"Q2458041$B2E59923-8122-46E3-B7AB-6E1FC3706D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb8df54fc18090802245fc246f84d0acc5c73e7","datavalue":{"value":{"entity-type":"item","numeric-id":3777488,"id":"Q3777488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccfb8e345fe306d96df824d44617da81aef0ebe5","datavalue":{"value":{"amount":"+0.9067352414131165","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":"Q2458041$625E6667-6043-4309-BD14-5710F50E6BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e339e7b585026668beb26e95b634ac19810f508a","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30c3612a4ab4b3992a9bba12c284fc871b1a3937","datavalue":{"value":{"amount":"+0.8641117215156555","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":"Q2458041$0B1A1FDF-2821-4E02-93BF-029A2AA6385D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a95bc295fcef02f705161575a8024d5afc16433","datavalue":{"value":{"entity-type":"item","numeric-id":4571996,"id":"Q4571996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"329ee034aea1ec33e77ea18d153ed0b8052b1a69","datavalue":{"value":{"amount":"+0.8613725304603577","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":"Q2458041$1F903880-7395-4B9D-A0F4-A063F88DE97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d29db322ea3ebd69595ba00f8c0789e1ec3a0ac0","datavalue":{"value":{"entity-type":"item","numeric-id":4223071,"id":"Q4223071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d9551438ebc8194d759e2ad2cbd26a299fabd70","datavalue":{"value":{"amount":"+0.8462998867034912","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":"Q2458041$84FBAF72-C7C6-4CAA-ABF7-E64CF8FD47DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2458041","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2458041"}}}}}