{"entities":{"Q5466504":{"pageid":7496063,"ns":120,"title":"Item:Q5466504","lastrevid":101032118,"modified":"2026-06-05T23:44:00Z","type":"item","id":"Q5466504","labels":{"en":{"language":"en","value":"Automata, Languages and Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2198297"}},"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":"Q5466504$72960C90-45C0-4286-B0EC-E76EBB366A7A","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":"Q5466504$B4E8AE88-323D-4049-BCC6-BEC0DA81C441","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab6fc4d8b77ea00915666b60ed25725e1d3ffb1c","datavalue":{"value":"1099.68656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466504$31AAF3AF-623F-4DA9-A9DD-4ACDDC0DFB28","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":"Q5466504$41143C30-2FB3-4D62-B8B0-8432AABCC993","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":"Q5466504$231923D5-8C3B-4F3A-B290-E54B79F88E26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466504$EBF9D1E0-21CB-4F17-937B-83085118F680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466504$C595BF2A-152E-4C26-8CA5-3A727586F7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466504$0A893595-9A48-4C59-8D4F-3FC15B57B622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466504$F87354E9-6255-4CDA-B34D-2A3331E67D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466504$8AA4D3FC-6815-46F7-A7B3-10FE720F3252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466504$941E08D3-83A5-4AF7-B3A3-D7B4723683E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"294fae1526597d5e7c9003d40e5359b6dd7a0570","datavalue":{"value":"2198297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466504$1EFD8E8C-FCA8-4761-A0F9-2070DD623A59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5466504$0EDE978C-5A96-4E91-BEB7-0D2B44533B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5466504$69736900-AC64-4902-9121-2429778F5926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5466504$975E9C2D-37AC-492F-9D4C-9A3A1B045BF8","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":"Q5466504$DEF399B3-43B3-4DA8-AA2D-8DA44957198F","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":"Q5466504$E2FEC407-EF04-4AFE-9E28-B27CB7F0A824","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7090e386db4c17a056a41be7fcff19852a8ef57","datavalue":{"value":"W2505584480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466504$7EC380A8-7B0C-42F6-A152-C622DEA0828C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc7d66996b6727d2990fc1d9d52d538d84867af2","datavalue":{"value":"10.1007/B99859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5466504$AFDDF0C8-32FF-4741-80E9-2DE3D02D4E0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a761e9700234dd50e890d2997869a6b889111b6","datavalue":{"value":{"entity-type":"item","numeric-id":817845,"id":"Q817845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f09fef9e52c125f48b2b419020192f9c836114ef","datavalue":{"value":{"amount":"+0.9997721314430236","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":"Q5466504$F33E7A04-D269-401F-8F76-AAFDF84529F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01edba4ed38d353d002634ec28fce9720240e5d7","datavalue":{"value":{"entity-type":"item","numeric-id":5716838,"id":"Q5716838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc94e56ae76583ad58dac88ff31ceb74a09764d8","datavalue":{"value":{"amount":"+0.7971796989440918","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":"Q5466504$026094A8-3FBA-4F29-B259-5D5CFD72AE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fedefa125589c02f0ce9a99219a9e854f6af2802","datavalue":{"value":{"entity-type":"item","numeric-id":2481977,"id":"Q2481977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c20710ec54cd92c31240733047c9105e7b20eb","datavalue":{"value":{"amount":"+0.7888705730438232","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":"Q5466504$79C2535B-61A0-488B-B3FE-98E95D2B3218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2624814dc00433bef8e8c2caf5d89ae0494215d","datavalue":{"value":{"entity-type":"item","numeric-id":5308452,"id":"Q5308452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"081e08df3b3e257d6741eb65a58eac2842afefc8","datavalue":{"value":{"amount":"+0.7424138188362122","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":"Q5466504$AC828784-43C5-4B1C-BD79-AB12C5B4DE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9459b8efd97e06345174de23923e21c182a43d9","datavalue":{"value":{"entity-type":"item","numeric-id":2474441,"id":"Q2474441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6977f49bb3d8c6eb42669477b37ff6a276ab09a","datavalue":{"value":{"amount":"+0.7232017517089844","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":"Q5466504$DFB6E33D-B58D-4F4E-A158-DFE4865E19F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automata, Languages and Programming (scientific article; zbMATH DE number 2198297)","badges":[]}}}}}