{"entities":{"Q5716768":{"pageid":7746322,"ns":120,"title":"Item:Q5716768","lastrevid":48628927,"modified":"2026-01-05T10:49:10Z","type":"item","id":"Q5716768","labels":{"en":{"language":"en","value":"Automata, Languages and Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245743"}},"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":"Q5716768$A7D54612-1CB0-4D9F-810E-59046818B353","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":"Q5716768$E6A9ACAE-70F4-4600-A810-8E882B62BBEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1be311d791d23b5d811c14cf0730a8c5ccb8fc14","datavalue":{"value":"1081.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716768$E11CAC8F-B710-4575-A060-2260B30CF76E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db61c2f5ac007a0c2f21b6929e8a72f82b0fe9f0","datavalue":{"value":"10.1007/11523468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716768$EC7AB7BA-6FDA-4E01-B926-59123CF9B979","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a5ef3e3052c4f78d07a762f2f5659bc6aac9fda","datavalue":{"value":{"entity-type":"item","numeric-id":249619,"id":"Q249619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716768$931490CA-7AD3-411C-8BE5-0B7508684A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77e44c9d54d0cfc71832e715dc19584237ba4067","datavalue":{"value":{"entity-type":"item","numeric-id":243822,"id":"Q243822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716768$5D9CB4A3-1D6D-466F-B715-27B76ABEE25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0ccf6eb6c37793d5bd821ffa019f577d6c7be3b","datavalue":{"value":{"entity-type":"item","numeric-id":243823,"id":"Q243823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716768$1F593814-C733-4C8C-8002-BCDAD9256EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef70989854b46304c6274e59f7064331acfcdafe","datavalue":{"value":{"entity-type":"item","numeric-id":344509,"id":"Q344509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716768$7131690F-9E19-4773-BD93-F36E1F4B758F","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":"Q5716768$DDBF6754-2B45-46BB-A595-847328EB7943","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":"Q5716768$C25D6939-59AB-4898-A6D3-7A461F2D227C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716768$A34938EA-2C78-4AD6-8298-B58D56F15640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716768$97F35467-FAF9-40B2-869A-6A8CB8D117D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716768$19727D7B-C1D3-493F-9F27-BE6B2F0418AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716768$CC91359C-04CF-4CC4-B59B-589A17843341","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09aedd57784f7caa885e876a238df53429b4f6c8","datavalue":{"value":"2245743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716768$DBE0BCCC-000C-47D2-9D58-7BB863251C79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16d0f036297963b684a28c00ed2a52d72405e600","datavalue":{"value":"membrane computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716768$1229FD7F-411C-4263-AA7E-EDD53BD57958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55eb0d5986f8944e47b6c4de2a3c0fe981c1866a","datavalue":{"value":"P systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716768$EDAF6F7D-5619-4E2A-A722-B06A9593687A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0bd7610877593105ee3800512d042bb0c28ee8d","datavalue":{"value":"signaling systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716768$836309C8-B23B-4587-B97E-07A0A77FFC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716768$56599E28-62C6-44B9-81EA-6D4EE62D281F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716768$80625719-3DE6-4D4A-88D0-3B09FBCB5ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33239cec92d8b53587fd8c3b366eae95c73ac1d6","datavalue":{"value":"Diophantine equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716768$7A5E2B29-8A54-4D6C-8934-98B27DF58938","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":"Q5716768$7543D3DB-8F7C-4A25-8CF1-FA28EDC25151","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":"Q5716768$59B77E6D-C72D-4DAF-BCF7-FA5BDB48453B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db2640afd8260dc81e6b6bd22d8042dcc59c32cd","datavalue":{"value":"W2940595899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716768$91583EE6-0281-4C15-BC6A-7EC0D3972C7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100bbaae0f42f9ed9dfc2f93cf30dd2188383197","datavalue":{"value":{"entity-type":"item","numeric-id":609035,"id":"Q609035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff309cd37e9919f39a4db74a1e52d94d17f545c6","datavalue":{"value":{"amount":"+0.8007088899612427","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":"Q5716768$49BB3225-C5C5-44D2-BB5F-5622B3EEBFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c94c7dace7be056919fa238f7e8408ff2771794","datavalue":{"value":{"entity-type":"item","numeric-id":5717014,"id":"Q5717014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33ba48240fb2132cba02df9eba69457a80af74b","datavalue":{"value":{"amount":"+0.7837444543838501","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":"Q5716768$2CD8B38D-6CAE-471A-A938-07A2E0927BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512cc706ab522967df1289f8cd4ef083a224baeb","datavalue":{"value":{"entity-type":"item","numeric-id":5479203,"id":"Q5479203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98feaf37cf4e9846277ea310a42ec3e8808b9c8e","datavalue":{"value":{"amount":"+0.7766556739807129","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":"Q5716768$E3C27550-37D3-4A84-A020-7A9B1234B369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0646d975ce5ec4fc49fe3e97a341ed426c17344b","datavalue":{"value":{"entity-type":"item","numeric-id":4790430,"id":"Q4790430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6951baf40ec159f7a38de86425e37a53379ac159","datavalue":{"value":{"amount":"+0.7747859954833984","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":"Q5716768$2B59972C-ED2C-46DF-BA29-7EA320F5FC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b3af1f0b522c95f21dace1d1115198e879ad8b","datavalue":{"value":{"entity-type":"item","numeric-id":3505122,"id":"Q3505122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba4d42b9cf1d997f1b066196d4f71be31a9b712f","datavalue":{"value":{"amount":"+0.7703580856323242","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":"Q5716768$3E650463-2CE4-470E-AFFF-E81DB75E4515","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716768","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716768"}}}}}