{"entities":{"Q2800412":{"pageid":2811150,"ns":120,"title":"Item:Q2800412","lastrevid":79705499,"modified":"2026-05-06T14:31:43Z","type":"item","id":"Q2800412","labels":{"en":{"language":"en","value":"Simplification problems for deterministic pushdown automata on infinite words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6569398"}},"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":"Q2800412$AE058D90-1F28-47BB-842C-5E7F62CA8294","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03d16d196868e16a2f52f658b68c105ded46c604","datavalue":{"value":"1405.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800412$1A45D7E0-159A-494D-88FB-2D7C110A47D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cdc8d49951a234677a59990bed247c6bc8359d0","datavalue":{"value":"10.1142/S0129054115400122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800412$A18A1685-07AD-44E7-9A2E-B0AE7F54A3B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0725b78a7cc86600064fbe63488e61e381f5862f","datavalue":{"value":{"entity-type":"item","numeric-id":436609,"id":"Q436609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800412$83ED6CBE-221C-4E80-975F-4BDB91E9E9FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800412$6A4C7AEA-4E12-4E51-9106-B7CE9F0FD562","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57da539027be438345077c3891084db52f2ea1ba","datavalue":{"value":{"time":"+2016-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2800412$7029A3EE-048D-4F48-BDF6-60F5A6928802","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"281e47a7c0ae6fb63712111f582098ef48e921a6","datavalue":{"value":"https://arxiv.org/abs/1405.5596","type":"string"},"datatype":"url"},"type":"statement","id":"Q2800412$27E85B71-9AB8-4519-ABFD-4619F579B3D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800412$6946382E-7807-4227-84F3-E02DB4448110","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4be78e1716e69c99b106615499bab6d89b68810","datavalue":{"value":"6569398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800412$4D72C5E5-6187-4959-BF9C-9BCF60A307A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800412$C4E3D413-BD83-4632-BF37-936E224C8B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800412$30808577-5B4A-4113-8C6E-316B4F03F6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fcad81409e0e658e233a32fc409911afe0e88bb","datavalue":{"value":"\\(\\omega\\)-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800412$07E932FC-1877-481B-9E09-AC8CD9B038BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a083c61463518206833edf6dab3b1294f4715ebb","datavalue":{"value":"parity index","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800412$5ABF10DB-403B-4A20-B527-C501D4DE50DC","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":"Q2800412$571C41A7-2B84-44E2-89C4-6FD52F77E670","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc14b39477607a0e99496d5a701a1ce17a80754c","datavalue":{"value":{"entity-type":"item","numeric-id":1239008,"id":"Q1239008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800412$3BC8890F-DBE1-41FE-ABC1-277250CD1318","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":"Q2800412$E9D52DC5-DB85-4B42-A3FA-037092ABB119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"597cab6a01e7e515c86bb670e6c1b95d0011eb31","datavalue":{"value":{"entity-type":"item","numeric-id":5537615,"id":"Q5537615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800412$A56856E7-6B2D-42C3-B92C-79E77360ACF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6e6ab585a855fab7a27153f29da3cfb8f1e7c9","datavalue":{"value":{"entity-type":"item","numeric-id":4045649,"id":"Q4045649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800412$3F517B4C-CBCC-447A-B6AB-DF3AAA1E8105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a032d33673d5ba9c1e698848960782495104c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1854405,"id":"Q1854405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800412$07B78633-2A97-46C2-B46B-D1041D8B5D0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2db2b6a4bf34530ddb30f9711bc2a83709f69ed","datavalue":{"value":"W2284766497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800412$ACB859B5-9B3F-422A-964D-BE11BDB5596D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2d6669513bf5bd47c07b549c947f149f0891cc0","datavalue":{"value":{"text":"Simplification problems for deterministic pushdown automata on infinite words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2800412$C4010D39-120F-4681-843F-9E913DAC0D94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd3413d12b46a73a4801d3d962f300c5ebaa1c5","datavalue":{"value":{"entity-type":"item","numeric-id":4994935,"id":"Q4994935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3351079b640a314e1261f640438d0657120af5","datavalue":{"value":{"amount":"+0.9626521468162536","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":"Q2800412$129F0F01-7D45-469C-881F-F79CA1B002AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4320595aef26fd8c7efdea10ee29efed8f9e8d4","datavalue":{"value":{"entity-type":"item","numeric-id":2986817,"id":"Q2986817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e781f0b347bb95f7a200a16eee06825a68a186ad","datavalue":{"value":{"amount":"+0.7746963500976562","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":"Q2800412$DFD9A07C-2120-482D-988A-AC91B82106B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdbdb716db264821b37171758ec37640090a98cf","datavalue":{"value":{"entity-type":"item","numeric-id":2912775,"id":"Q2912775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6679fee764a4e315c9b751c14a12027e67678638","datavalue":{"value":{"amount":"+0.7746327519416809","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":"Q2800412$55E8C0CB-53AA-40E9-B258-DE8BA2616E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e0933bcff42ee2f9a266beb5c67870d22cb096","datavalue":{"value":{"entity-type":"item","numeric-id":4474205,"id":"Q4474205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f80eef33576389deb7a1f0f3452492bb480914","datavalue":{"value":{"amount":"+0.7708470821380615","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":"Q2800412$3BA3D49F-BC5C-41B3-92C4-818015E041D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7474deaf010284a6123f19247aeda7fdc6a5ede","datavalue":{"value":{"entity-type":"item","numeric-id":4529994,"id":"Q4529994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e29a76883edfaf91b0a66d42966cffab8636137","datavalue":{"value":{"amount":"+0.7675586938858032","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":"Q2800412$896E9115-EA2F-4F11-9EC3-5982AE458D13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simplification problems for deterministic pushdown automata on infinite words","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simplification_problems_for_deterministic_pushdown_automata_on_infinite_words"}}}}}