{"entities":{"Q5716767":{"pageid":7746321,"ns":120,"title":"Item:Q5716767","lastrevid":97006694,"modified":"2026-06-05T13:00:33Z","type":"item","id":"Q5716767","labels":{"en":{"language":"en","value":"Automata, Languages and Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245742"}},"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":"Q5716767$4ED85C99-9F4E-4698-9AAC-C50853790AB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"590eedadbcf5ac0e1c0692e8bcb0a7e98f6e8ca6","datavalue":{"value":{"text":"Automata, Languages and Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5716767$86EE184C-BB97-4F25-A956-EB3862EF5B69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"665772223d84bc0df25ef6386a54564ec433774b","datavalue":{"value":"1081.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716767$ED250EE3-664D-4B69-B32F-5BC374120A74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db61c2f5ac007a0c2f21b6929e8a72f82b0fe9f0","datavalue":{"value":"10.1007/11523468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716767$80861A78-9CDE-4AC0-AAC1-9642ED94719A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716767$829EB12E-2774-45AD-AFD8-9FB5641F093E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716767$4A569410-20D4-4505-88E7-0C947E0598ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efec1e7065f99212811d548ab767d361f5a520fb","datavalue":{"value":{"entity-type":"item","numeric-id":590634,"id":"Q590634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716767$C3304FAF-0CAA-4C03-82EE-529FA20B96A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a7ca2c8d9fdc63a57bd7a5ed2a91e6844e83ecb","datavalue":{"value":{"entity-type":"item","numeric-id":607441,"id":"Q607441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716767$E747A6A1-8CD3-4F46-B00B-745FFDFF3F29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716767$0B8974A8-36A9-4ADE-A775-DDFD8862107A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5716767$93EF7FDE-C187-449F-83A3-92D94E6AE769","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716767$42AEF7F2-8963-472A-A7F9-30467F0EB4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716767$E01276C0-CE7B-4CB8-8B26-57CC059667A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716767$613882DB-2EE0-441C-969A-85759D879A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716767$4C385E43-FF7F-47AA-8CFD-35EBE05BB432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716767$8C9FC9EC-71AC-4598-A94D-6BCDDA0B685F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716767$30FE71B0-BB9C-41DD-967C-E8E5500CE383","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ad3c04a877edb4278de02af164201e2d48f3b62","datavalue":{"value":"2245742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716767$1DDC9286-6503-4CB6-A98E-FBFEEF9651ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81f2ad1e6324075c7d3d9fa074503995424fffd6","datavalue":{"value":"higher-order grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716767$DA534D3E-C988-4BCF-94E8-CB44C63F740E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bac4f8ebf8e39aa945acaf591115ebddf2ab37a","datavalue":{"value":"higher-order pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716767$3CD86532-2310-4D4C-855E-543C13FF7CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716767$8ABF25EF-A278-4F0C-8763-64AEF4598107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716767$CE90441A-A605-4B5C-9D39-299398934FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716767$64370FBF-C231-4215-BFE1-07BB1CCD6A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa02ccb360b6952bc93c5104a1ec16102769dfa","datavalue":{"value":"monadic second-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716767$3945BEF1-D2D0-498F-A13F-76E685CBA0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716767$58187818-16B7-43EB-9C28-C7C17A3620FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28b7fe6d44a86bd97aab9b0c2786e8a8ab410b53","datavalue":{"value":"hyperalgebraic tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716767$2ECDF1E2-C4E0-41D2-82CD-6610AE5E5296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd86259ee33556a50e7e86823c0d1547e72d38f0","datavalue":{"value":"parity game","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716767$E623F956-C6D0-4E5D-A502-6B449BFB8A3B","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":"Q5716767$024D17D6-C88F-476E-ACAD-F6F49091D98A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fd0861171b47a04a808357991928fbaec5832aa","datavalue":{"value":"https://doi.org/10.1007/11523468","type":"string"},"datatype":"url"},"type":"statement","id":"Q5716767$2485C994-D8A0-4E61-BF6A-E73AB362AA32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db2640afd8260dc81e6b6bd22d8042dcc59c32cd","datavalue":{"value":"W2940595899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716767$383E271A-D93C-4693-8546-97A77A9736F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43cdf00279260634842952242bcf73032ba527de","datavalue":{"value":{"entity-type":"item","numeric-id":4598252,"id":"Q4598252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcb0dd0e2f332935170491f732b1697f1f683216","datavalue":{"value":{"amount":"+0.8751108","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":"Q5716767$FBE54397-3329-4B20-8DD3-ACE04891A84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c43aa590c4c135aac10a020a1931b24ff2913ee0","datavalue":{"value":{"entity-type":"item","numeric-id":2465626,"id":"Q2465626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e438ce70c32c7060a4aae323748b97cce2c629df","datavalue":{"value":{"amount":"+0.866482","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":"Q5716767$124F5856-31F8-4290-8FA5-269ACE4DBA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f8546d163b8d004d1bda041dded4005ebb906e4","datavalue":{"value":{"entity-type":"item","numeric-id":3591430,"id":"Q3591430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e438ce70c32c7060a4aae323748b97cce2c629df","datavalue":{"value":{"amount":"+0.866482","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":"Q5716767$758EA7BC-14EE-42C2-9893-5C687E27E3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3de7a797b98d43ab8eced4003d41715e357496b","datavalue":{"value":{"entity-type":"item","numeric-id":4418597,"id":"Q4418597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d76acc836faca6273823fe431e1b369c707fa2c","datavalue":{"value":{"amount":"+0.83422196","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":"Q5716767$AA304C95-1DDA-487F-9A83-DF2BF016645A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f8633bc794080c14671d1dd354b14d5570d5750","datavalue":{"value":{"entity-type":"item","numeric-id":3461942,"id":"Q3461942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f473c34f830785d07073ca292245f205372ec62","datavalue":{"value":{"amount":"+0.82988626","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":"Q5716767$889EDE13-A676-4537-B48B-8929766C45A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c5f13520bd7440b2a1c337516df0ac00b722e84","datavalue":{"value":{"entity-type":"item","numeric-id":1067789,"id":"Q1067789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c7dc15675d7116bbd58fd11e2f7d7f997c695b","datavalue":{"value":{"amount":"+0.82121116","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":"Q5716767$BD5CA331-89E4-44AE-BED7-D4861F87B092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a388aad36c619d1090057e19176beee2633bb031","datavalue":{"value":{"entity-type":"item","numeric-id":5406167,"id":"Q5406167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b17aa3ea25b1d0e7fee97f185295a744adb719a6","datavalue":{"value":{"amount":"+0.8184706","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":"Q5716767$C77DD4D5-4C06-430B-8416-8FB3026E6020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72fb607afa3c0604e41f83dd71f595b5090fa331","datavalue":{"value":{"entity-type":"item","numeric-id":811129,"id":"Q811129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09fa84cbd9a38b8541e1be8417531ad7c11e7a31","datavalue":{"value":{"amount":"+0.81780607","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":"Q5716767$A2862193-A576-47E0-988B-18007E3E3516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03b020a1d035133d2bd22a092feaf5dbb0e323ab","datavalue":{"value":{"entity-type":"item","numeric-id":5740430,"id":"Q5740430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e13cb56d325c64e6e45895f81aec7f89170184e","datavalue":{"value":{"amount":"+0.8173096","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":"Q5716767$E703269B-DE3C-4D42-91AA-3591E244637A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata, Languages and Programming (scientific article; zbMATH DE number 2245742)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automata,_Languages_and_Programming_(scientific_article;_zbMATH_DE_number_2245742)"}}}}}