{"entities":{"Q5466543":{"pageid":7496102,"ns":120,"title":"Item:Q5466543","lastrevid":48535609,"modified":"2026-01-05T03:37:01Z","type":"item","id":"Q5466543","labels":{"en":{"language":"en","value":"Automata, Languages and Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2198336"}},"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":"Q5466543$02DCE991-8801-4B30-A316-D9A54F6882EE","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":"Q5466543$9B462010-E4AA-4FB4-8ED6-4A1EFAC6AABB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed4cb48c9c6f39e5b4b684945ff524c7be02b0bf","datavalue":{"value":"1099.68639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466543$B714961F-3BD9-4873-B70F-7E21DB8CEE8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde056a0f6fc0570a0a106ebb1024eb76bcb30c9","datavalue":{"value":{"entity-type":"item","numeric-id":389233,"id":"Q389233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5466543$B6A2070E-A653-40A7-83A6-B1CCC9A5868D","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":"Q5466543$75A7F610-D6D4-4A10-9CA8-DA45703132F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dde94bfc1c53636074cf645adef3bdd5614c00ca","datavalue":{"value":{"time":"+2005-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5466543$41E571B7-9A49-4AAB-999A-45161495694D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466543$10BF274A-50ED-468F-934F-52FC47F08B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466543$98AD9C80-2E8C-426E-A8C0-535203E120D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466543$3F80C9B4-9E1F-4E14-9F11-DDA8ABC957DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60dd9bc7f01b531951b0a7d02ce423231272da52","datavalue":{"value":"2198336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466543$52E9C78C-D2E8-4A7D-924F-0722D4A7DA16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5466543$9C2215A6-A834-40B7-90FA-9A0596AE66ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e4ea30093d8fa32dfa08d62053fb8ff3268739","datavalue":{"value":"descriptive complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5466543$5341DA77-F653-47C4-BAE7-D81FA2B529A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40953c2325db86cbab905851b0cf565a13fce3d0","datavalue":{"value":"fixed point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5466543$3C18C895-DE95-49CA-AFCC-587D7F65C935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5466543$A39F8C26-8CC4-4874-A53C-4F051AC805EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"962904ee295bb49922f50a8869ba052514248853","datavalue":{"value":"linear time complexity classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5466543$198AA709-292A-4C92-B051-2F8E053344C4","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":"Q5466543$2AAEED90-2137-4493-A2F3-F46A684A9525","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87b1c2c6194cbe35f7c006788d0e9e9b8418f7f6","datavalue":{"value":"https://doi.org/10.1007/b99859","type":"string"},"datatype":"url"},"type":"statement","id":"Q5466543$904FA9EE-E41C-4E22-9679-2561F04A5D12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7090e386db4c17a056a41be7fcff19852a8ef57","datavalue":{"value":"W2505584480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466543$6521663F-1B23-49A5-A864-24052AAEDE20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc7d66996b6727d2990fc1d9d52d538d84867af2","datavalue":{"value":"10.1007/B99859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466543$93099E75-51A0-4068-B317-1A556AA6ABC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6ffd765d5d09f68b7cfe45921df91adacd5fe0a","datavalue":{"value":{"entity-type":"item","numeric-id":817849,"id":"Q817849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3423c85443c4302ae6c13ff7429f017756ebd95e","datavalue":{"value":{"amount":"+0.994247555732727","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":"Q5466543$C7FD243F-5361-4189-BB74-90F6FA46ADD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a76a5ff7a143036f2e06f27a569a27f233b510a","datavalue":{"value":{"entity-type":"item","numeric-id":5492877,"id":"Q5492877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2efca13d8345a29c02d46ef54f5c20780615c232","datavalue":{"value":{"amount":"+0.7710965871810913","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":"Q5466543$662424BA-0D8D-407D-A4AD-55BEB668C9A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bf59baaf9596f6755149159257e0750adc2c044","datavalue":{"value":{"entity-type":"item","numeric-id":1886320,"id":"Q1886320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d20f4d95fec424cf4d7a6a0a4134b7074d408cc0","datavalue":{"value":{"amount":"+0.770221471786499","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":"Q5466543$B3241C3A-851B-4B23-9698-C7D00A7F71EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c362c3bc890d667c0387fe5d69d1fd6e7342914a","datavalue":{"value":{"entity-type":"item","numeric-id":4876640,"id":"Q4876640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62448a9281615cd10738d9d22cf60b02b0e0f903","datavalue":{"value":{"amount":"+0.7641302347183228","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":"Q5466543$EA894E0C-6E99-486B-9AC0-3C5BA687DE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32782c00400833a9c0d7a61411b35475526f487a","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95a75fb9350b85e4f396c6a5222e2711013f3b75","datavalue":{"value":{"amount":"+0.7612805962562561","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":"Q5466543$AA9BBD0B-3B68-459B-B9CA-6CB554DE8403","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5466543","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5466543"}}}}}