{"entities":{"Q1124364":{"pageid":1135113,"ns":120,"title":"Item:Q1124364","lastrevid":69697266,"modified":"2026-04-13T08:47:17Z","type":"item","id":"Q1124364","labels":{"en":{"language":"en","value":"A direct branching algorithm for checking the equivalence of two deterministic pushdown transducers, one of which is real-time strict"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4112049"}},"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":"Q1124364$FD7BCE92-8EF6-450C-A4EC-971F858FD7E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4794ecf48eb6fa353eb404ef139c98e7a093caf","datavalue":{"value":{"text":"A direct branching algorithm for checking the equivalence of two deterministic pushdown transducers, one of which is real-time strict","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1124364$31F60F04-CD58-4849-81F6-4695A55C2FB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34d6421d95af238108034b340fdc5d780f2732f0","datavalue":{"value":"0678.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124364$34559ED4-DFE8-4790-96DB-1C15A4762007","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"deff8a721bf83afe2842b665c8785e0baf262152","datavalue":{"value":"10.1016/0304-3975(89)90096-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124364$734B77FD-F6F8-4DB3-826C-94083570EA4C","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":"Q1124364$1649034F-C1FC-4B67-A800-A58044A539F5","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":"Q1124364$82AF6F48-7C17-47EA-A6E4-4785CB8588F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124364$A20AD9EF-8B56-4A04-928D-325A214DE01B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1124364$B502BDAC-CE8B-49F8-B42F-ED81177BEA6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124364$260F9568-B311-4D71-B61D-1F23AFD959AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124364$15CF8153-8252-448A-86E2-B921BEEA6205","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"187ab3fce00987416acc524d729d8c3e16eca587","datavalue":{"value":"4112049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124364$7CCA718C-9530-48FC-A270-4CEDE8A74CEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09392b50b6e9a1e27d3279972e3d1eaa31da42fc","datavalue":{"value":"branching algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124364$0DE539C1-9119-4B1F-BE49-A5305AAC5F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1dd69d54a9676559d053daccd19180588e02a5","datavalue":{"value":"equivalence of two deterministic pushdown transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1124364$E35893CD-49BD-4747-B38B-F4068E6BF7B7","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":"Q1124364$16A0EAE5-A100-4101-A6AC-AD80A825CAAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f11cdc976d8aab034da7503f9d9784be0545cde","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90096-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1124364$35B8006D-BF48-46A7-8210-A167D1FBC81E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a1d9aa977396462edb75976001c4e43f75acc70","datavalue":{"value":"W2031096385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1124364$F5FB8427-50AE-465C-BB83-E1A17D6DCAFC","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":"Q1124364$B1408755-97A3-4C4D-9BC3-73837B7A31A7","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":"Q1124364$A0B7E12C-E3B5-417E-B864-D68616A7E899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbff442f2034be38f32ddd6d2770a902e0f3f071","datavalue":{"value":{"entity-type":"item","numeric-id":1158772,"id":"Q1158772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124364$4A42B3EF-3828-44A8-9B2E-B13FD4B8DA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e063d29facb6767f106365c8016dde0977b5aa0","datavalue":{"value":{"entity-type":"item","numeric-id":593781,"id":"Q593781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124364$8F2FE185-515D-4E67-A2C3-47A1A123F77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d123ce3c6592eaecceee504819584bb2976aea7","datavalue":{"value":{"entity-type":"item","numeric-id":3888532,"id":"Q3888532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1124364$E108686B-6001-49D5-AFEA-002EFA387705","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":"Q1124364$BBF19B44-1CD1-46D3-BD34-D408C150AD98","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":"Q1124364$A5C26F5A-9820-4E3A-9CBB-CD4A2F0B2633","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":"Q1124364$E063A293-E550-4C78-A1C7-5F177C2966CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"389ecb0576ae1535eb6ddb56b4c799cee7b10be9","datavalue":{"value":{"entity-type":"item","numeric-id":3327736,"id":"Q3327736"},"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":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1124364$DDE6C7BB-5106-405B-9028-8DD85AECDC4C","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":"cb849f0264d304e9ec7c3729e3a4b10fef6fd47a","datavalue":{"value":{"amount":"+0.9218069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1124364$07E3D7A3-2F2B-44CB-9C97-293EF35D801F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6bc2b6f46dc633e55e74fc25680b6143bfa9fbd","datavalue":{"value":{"entity-type":"item","numeric-id":2278270,"id":"Q2278270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa98473ff9c9de5c6b6fed9ec688d127882057b","datavalue":{"value":{"amount":"+0.8590816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1124364$9F12B5D5-A355-4B51-9CC4-F5383FF3C612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64b9b81f97b56a7f879013b60f99e3e95ea2fc6d","datavalue":{"value":{"entity-type":"item","numeric-id":988552,"id":"Q988552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083e6890d5c8d226215e9a1ec0610ffd4ef818a1","datavalue":{"value":{"amount":"+0.8525145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1124364$3C674B54-E475-49AB-808A-7559BA5F02D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea9ea125d27c953753988458edfd6c4cfa5662b","datavalue":{"value":{"entity-type":"item","numeric-id":2373715,"id":"Q2373715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daebdb73854cbc8183b936cd34e1434dfd8dfb28","datavalue":{"value":{"amount":"+0.852067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1124364$87B99A4D-4898-4DF5-B6E4-E4723D535B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47a629199f8fe94bb2f0ea4c5130a6c745bf0bd","datavalue":{"value":{"entity-type":"item","numeric-id":5898610,"id":"Q5898610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daebdb73854cbc8183b936cd34e1434dfd8dfb28","datavalue":{"value":{"amount":"+0.852067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1124364$9CDAE2C4-C423-45EC-AC47-7F10F375ADD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f93994764c5550e37a603465d2e209a11d145bf","datavalue":{"value":{"entity-type":"item","numeric-id":1894681,"id":"Q1894681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e92bc9f3d80abc58a3be21da092cc780c988ea","datavalue":{"value":{"amount":"+0.8501987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1124364$471E849E-CD19-45A1-A504-1302BF4F244B","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":"3665eda50ccc110048d8ea6f601cd3bd9819640d","datavalue":{"value":{"amount":"+0.8457352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1124364$E44F5098-1366-4FB9-90C2-408D8515C8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e416d6ee2c5d1b8716df6cf6bfe4e1e84dffba0d","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"663012f19520783dc30e52a5523306968c9c38ea","datavalue":{"value":{"amount":"+0.8450731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1124364$819FF3EC-5C6D-4708-A99C-4229EF6AB0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"340d7a7393a884660e0ede77f2908899ac97e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2011643,"id":"Q2011643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa52fb6f91f2316ab112c3877d19f4446a69a754","datavalue":{"value":{"amount":"+0.8441361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1124364$30FB94D7-947F-4AE8-BCA8-353DDF485ED6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A direct branching algorithm for checking the equivalence of two deterministic pushdown transducers, one of which is real-time strict","badges":[]}}}}}