{"entities":{"Q3327736":{"pageid":3338444,"ns":120,"title":"Item:Q3327736","lastrevid":45966085,"modified":"2025-12-21T02:17:28Z","type":"item","id":"Q3327736","labels":{"en":{"language":"en","value":"A direct branching algorithm for checking equivalence of some classes of deterministic pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3860420"}},"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":"Q3327736$49DC2D6E-2BDF-45D3-B876-5AF09C76DF38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2265b1e84393d2ffc6cb3df97738182bde12a97","datavalue":{"value":{"text":"A direct branching algorithm for checking equivalence of some classes of deterministic pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3327736$F2C12327-3055-4BA5-ADD0-D77ABC181782","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f076a1bf8fb12f1e8cfb9abae5d0854ecbeb7c0","datavalue":{"value":"0541.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327736$2032BEF4-8310-4D72-A16F-B28DA4FB18C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc7e35769b75e6d2ae19240359853f9ba46f2db8","datavalue":{"value":"10.1016/S0019-9958(82)80029-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327736$A4BFCBAC-AC46-4BFA-A22D-3068AE17F070","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":"Q3327736$64AF3C91-5FF9-47A1-A15C-D96E26CFBB20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3327736$2C4B22DB-3E12-462C-8E56-0AA56A095D09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3327736$380643DA-34FE-4C59-A5DC-4D753CF6D0DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327736$D8396102-F6C1-46EB-BAAC-6753573D40DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0d42fef555f3d26d7544c271dd5d9aa109533e3","datavalue":{"value":"3860420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3327736$B8D168B5-3900-426E-A09F-3F1BD5564A9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327736$61492352-18C6-4ED0-972F-00272CE8F522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d868b454618c55ed01d5823e2fa6ebe9fbe2f5bc","datavalue":{"value":"deterministic pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327736$ACAEC68C-30EC-40D2-802E-70C448ED4081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09392b50b6e9a1e27d3279972e3d1eaa31da42fc","datavalue":{"value":"branching algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3327736$019AECB6-C211-408C-8B9B-0BDA2D892B35","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":"Q3327736$509BEAC5-6021-4599-BE8F-676A0DEDFF81","rank":"normal"}],"P1643":[{"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":"ccd1420f44ad2732be96cd7d6eaf40ddc86001fb","datavalue":{"value":{"amount":"+0.9816777","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":"Q3327736$52187532-BAA3-4574-95B5-39D79CD09869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"426a6e5f7cffbaf4c8d63ce6ae4bf660a0afba49","datavalue":{"value":{"entity-type":"item","numeric-id":1124364,"id":"Q1124364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dde69e83260cf52f14ab215bfadeb5d754377f4","datavalue":{"value":{"amount":"+0.9277575","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":"Q3327736$A94EBBA4-682A-44C3-8881-03A1BF301ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b60d4915e05296216bc2e783adc07816ee14f3b","datavalue":{"value":{"entity-type":"item","numeric-id":2458041,"id":"Q2458041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38457e89764c71b23d74ef422611d2294dcd6422","datavalue":{"value":{"amount":"+0.906409","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":"Q3327736$587C6AD3-37F7-47A2-9298-8B071BAA33D7","rank":"normal"},{"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":"fc6ac5194709560a7e837aca8566bcbe7f656327","datavalue":{"value":{"amount":"+0.8939859","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":"Q3327736$351DD650-E271-4E56-9617-ED76D335B48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48c7f01099c0a3e54778119cebaff5f15dc44acf","datavalue":{"value":{"entity-type":"item","numeric-id":4673421,"id":"Q4673421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"410e2dbcff4f672d3c57b93414eb2ddb12943ae7","datavalue":{"value":{"amount":"+0.8755941","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":"Q3327736$DE7683A9-D790-455B-9837-E8305186EA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d71e59c6c5bd8398351effc7ce9b85d8d9e4dca","datavalue":{"value":{"entity-type":"item","numeric-id":2409577,"id":"Q2409577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"410e2dbcff4f672d3c57b93414eb2ddb12943ae7","datavalue":{"value":{"amount":"+0.8755941","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":"Q3327736$B327A78A-F70A-44F5-ACBD-D5EB791124F4","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":"0c909b1e509a09cb43fa034a2f9e944a2013cc07","datavalue":{"value":{"amount":"+0.87468934","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":"Q3327736$8BDB814A-2419-4DD5-96BC-3A7E1249E03B","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":"6ce13a61cbba21881691af680671fe2bd18bc696","datavalue":{"value":{"amount":"+0.87124795","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":"Q3327736$DA493A49-71B5-4326-8870-D7019A5D1EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98fdb33a424cc7af4c609499c483b0eaabb84af6","datavalue":{"value":{"entity-type":"item","numeric-id":904421,"id":"Q904421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a0948e8ec0c4373e9a4f5e081cb93deff6c2943","datavalue":{"value":{"amount":"+0.8702383","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":"Q3327736$75557A2C-E347-4E89-966E-B6C26CD04A86","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":"2d63fa79b2a80996f081e811ced7227d1f5e8a0c","datavalue":{"value":{"amount":"+0.8673011","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":"Q3327736$0CB48298-CB70-4C45-B755-AF052CAA1D69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3327736","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3327736"}}}}}