{"entities":{"Q1894681":{"pageid":1905423,"ns":120,"title":"Item:Q1894681","lastrevid":69071664,"modified":"2026-04-13T04:25:52Z","type":"item","id":"Q1894681","labels":{"en":{"language":"en","value":"The extended equivalence problem for a class of non-real-time deterministic pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 778294"}},"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":"Q1894681$1B3D5BD1-32CD-4A54-AD9A-99DBF1A91ADE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e530a628e5a167465fe30fe18fc3f63764d8e847","datavalue":{"value":{"text":"The extended equivalence problem for a class of non-real-time deterministic pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1894681$8D0A9E98-37D7-480B-92A3-E8A036720366","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d855c5625b0c9316bddc47ee1ec15eefc4c82ae4","datavalue":{"value":"0827.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894681$C8E244EF-9B83-4C23-9DA3-FFE78DC5B332","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"806271c53a9cc4957199fa71044b6a5b7ac2dc7e","datavalue":{"value":"10.1007/BF01178385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894681$7138B019-ACFE-4F8C-92FE-C62C00B14EF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a88493808da78834a7ac0bf4a8a3155ab282fc3","datavalue":{"value":{"entity-type":"item","numeric-id":638533,"id":"Q638533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894681$40D1A3FC-1B0B-461A-A6DF-518C0F600766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3090fcfc66abb5001f3ca7b4403e4ec58ebdd18","datavalue":{"value":{"entity-type":"item","numeric-id":1075059,"id":"Q1075059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894681$5740D460-FB08-49EC-AAE3-B50B766E42C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894681$B62EAB42-61FA-4FA5-9F45-F93C33211970","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2c5a0478135439b51e1336eb30896ff68f823dd","datavalue":{"value":{"time":"+1995-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1894681$841DE7B8-B8EC-4899-9931-7501E7AB4FAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894681$4F81F553-A475-4518-8BB4-B87123F5E5D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4eb7308af6a5f21964e6cf45d9ea9df794d493e0","datavalue":{"value":"778294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894681$AAB96611-1AAD-41D6-B359-BD7E3BE32B57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d868b454618c55ed01d5823e2fa6ebe9fbe2f5bc","datavalue":{"value":"deterministic pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894681$EACD8DD0-97CB-4405-96C2-9824AB61B9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4089f2eb7035f027a0286351ee36437d61122b01","datavalue":{"value":"weak segmental property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894681$0EAE01A2-A804-48ED-809B-173DABF407AE","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":"Q1894681$A786175E-81E6-4571-AF09-B0D39FE02A04","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be27978c3a4bb100378019f7b702eaca9386491e","datavalue":{"value":{"entity-type":"item","numeric-id":3703289,"id":"Q3703289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894681$80CAFEC3-3869-4C26-A4CA-CA22363A54F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f4122ba45c700d5f7f40fe047076c84f34d66d","datavalue":{"value":{"entity-type":"item","numeric-id":1822521,"id":"Q1822521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894681$99240DF0-9E97-414E-926F-19B207DEE3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894681$64BCB6FD-D9EC-46E0-A55C-CC3357D1347F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233d64506c1bbc043413c13cd64bb09b3ed4f887","datavalue":{"value":{"entity-type":"item","numeric-id":1259173,"id":"Q1259173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894681$4F4669C6-B81D-43B7-86FA-247BE3132FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8a90a94b7251cf8196ef59ec10eed758eca6c4","datavalue":{"value":{"entity-type":"item","numeric-id":799385,"id":"Q799385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894681$8A749D4A-C63A-416D-A5BA-1A5853C30296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422f13e0987f12a34d425454745bbbb66a566dcc","datavalue":{"value":{"entity-type":"item","numeric-id":4072875,"id":"Q4072875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894681$A97FC1A8-7710-4598-9F51-D1121F5E0AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f655404f5019528c0ff6f0cb07a94b157182d6db","datavalue":{"value":{"entity-type":"item","numeric-id":1158757,"id":"Q1158757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894681$6A101473-72F6-45E8-9F0C-B450DDEBB0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e0a3b282a3a97b7938eff2c14ef3e4f431e393","datavalue":{"value":{"entity-type":"item","numeric-id":799387,"id":"Q799387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894681$F3A5B5B2-B20F-47FE-BD00-F5CF2467F032","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":"Q1894681$59A0BDB7-2BDD-42C0-ABB2-C48EAA9F3718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2dd8b739cacaef27ebd748b3d0d83c5cbbc73a","datavalue":{"value":{"entity-type":"item","numeric-id":3327736,"id":"Q3327736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894681$9FC96366-B109-4F99-A74C-7094B728C0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6d64280da704caa36d905dfda60b4db61057e2","datavalue":{"value":{"entity-type":"item","numeric-id":1838320,"id":"Q1838320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894681$90327008-9BDF-4D4C-BC6A-C41EB3C4BFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6350d66e094e511d4d42ca7f0557c24b75e4cc6d","datavalue":{"value":{"entity-type":"item","numeric-id":801689,"id":"Q801689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894681$B2D27F24-BE6D-43AC-BC30-8CF0E9E97DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf1ec42a6e19d0f11adfa0a715dbd5b58c36590","datavalue":{"value":{"entity-type":"item","numeric-id":1075060,"id":"Q1075060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894681$2A3E1228-0F40-4D02-83B2-A42573F306F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de4e77575053b5453eb99a0499116449101e3bca","datavalue":{"value":{"entity-type":"item","numeric-id":1124364,"id":"Q1124364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894681$5267D8D6-D605-4F73-B335-EBDFAF40A291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5ec48a7b899135d2776088741ccdb02fc393e","datavalue":{"value":{"entity-type":"item","numeric-id":1894681,"id":"Q1894681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894681$80B6DDD1-397C-47BF-A242-94BBF5BB6491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88bf75d5fa4365193506074c05cd6ee2b649a0d9","datavalue":{"value":{"entity-type":"item","numeric-id":3951577,"id":"Q3951577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894681$0B88D5EC-29AE-41B1-ABE7-3EEF09A223D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d3ac622b328910e75936341b1e402c9a29a726b","datavalue":{"value":{"entity-type":"item","numeric-id":1165588,"id":"Q1165588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894681$C19AD4F5-0934-4B30-A7BC-F6872632596A","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":"e0345ed31bb1a920742ecab564fac20f420fc679","datavalue":{"value":{"amount":"+0.9036167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1894681$F806281C-9455-47AF-A53E-95BD42D51E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e062fdfb33c0734382ca0d3bf3abf3726d0fee","datavalue":{"value":{"entity-type":"item","numeric-id":3219135,"id":"Q3219135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdba96368b8438395c219490a87292470d5bfadd","datavalue":{"value":{"amount":"+0.8987007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1894681$A8693F15-14B8-4CCE-A77B-5BBBC5F3923D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6142c7a56d701342d7fe761ce534d32ce8275fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1062450,"id":"Q1062450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b54ebbbbffef8d101c52da09c6be677bebc126","datavalue":{"value":{"amount":"+0.8903233","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1894681$B8F09236-823A-43B9-8938-C687C109C54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71aaa2b51c734e30dce6cff5065e4699481cd605","datavalue":{"value":{"entity-type":"item","numeric-id":801689,"id":"Q801689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e8792fa22f200f4305a90c8913f4d3f165fc893","datavalue":{"value":{"amount":"+0.88561904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1894681$2D0FF3A0-D7FE-4C92-BEBC-8ADD04226AA2","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":"76a363bb4b69e6fae34f9366a71a17ba2597e813","datavalue":{"value":{"amount":"+0.88230157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1894681$20B21DD1-EAE4-4B53-9E22-BB46FC574F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c48658e1653a5b6a6405b2cd3a6a23cbf03562","datavalue":{"value":{"entity-type":"item","numeric-id":2563381,"id":"Q2563381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d6b86f292d6672979939a7d09a363e51dcde560","datavalue":{"value":{"amount":"+0.8802161","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1894681$714774E4-7B6F-45AC-9319-66CE53DEB11C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f90e9e3f249ca76a70c10b8759276b0c90f202f","datavalue":{"value":{"entity-type":"item","numeric-id":1822521,"id":"Q1822521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9198fa01efc461bf6203a41e262283a9ab68292","datavalue":{"value":{"amount":"+0.87876654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1894681$9CA537F0-0736-4C5D-9B91-F5F77D3141B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a6d6e163f52abc4e3b39f5c951092bddc1434c","datavalue":{"value":{"entity-type":"item","numeric-id":1342261,"id":"Q1342261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f86c7b76d52ba25c6d5b51b7b265217438fa57b","datavalue":{"value":{"amount":"+0.8664197","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1894681$8DE677FD-AEFF-436C-A0ED-AEB0332CCB76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The extended equivalence problem for a class of non-real-time deterministic pushdown automata","badges":[]}}}}}