{"entities":{"Q3511448":{"pageid":5541352,"ns":120,"title":"Item:Q3511448","lastrevid":50402777,"modified":"2026-01-13T23:43:49Z","type":"item","id":"Q3511448","labels":{"en":{"language":"en","value":"Expressive Power and Decidability for Memory Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5299540"}},"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":"Q3511448$B255C6AE-7CBC-4162-878D-0632E0147C3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c2f297000510e5637620ac4e95a56424d879218","datavalue":{"value":{"text":"Expressive Power and Decidability for Memory Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3511448$8562EDC6-6C38-44F3-BA6B-6DDF97FEE989","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c75bbdb4c0ec82b026a2db451236ee4914dfcb9","datavalue":{"value":"1156.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511448$F7C509A5-D8BB-4768-9475-430799C55EF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"460bcdd48d4853accdacbc101d5491ab7884f77c","datavalue":{"value":"10.1007/978-3-540-69937-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511448$590A0105-5E6A-40BA-99FF-9DD61F1682A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef4e411daa48c61f34c5e5041ae1e9c70ed42c","datavalue":{"value":{"entity-type":"item","numeric-id":190282,"id":"Q190282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511448$152200E7-B85D-4D8F-9034-C8F20D18954E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c0e46338d9cf33563ae57333053dcfe22df5cd8","datavalue":{"value":{"entity-type":"item","numeric-id":905681,"id":"Q905681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511448$4F8A3C69-DAFC-4153-BF08-A97F49C33DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e18e3410e30c1d79684d376151c4e281cfcf6277","datavalue":{"value":{"entity-type":"item","numeric-id":235739,"id":"Q235739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511448$B9AA8A5D-2459-4C23-AA69-EEADF6D6C7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f9bfa05a16ea9798526d7f96b5b829fac7a3537","datavalue":{"value":{"entity-type":"item","numeric-id":408551,"id":"Q408551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511448$8E71E77D-0909-4F27-9B94-A49F6F7FBB4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed383584163989cdc199f2dc33d683a90414662b","datavalue":{"value":{"entity-type":"item","numeric-id":2915012,"id":"Q2915012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511448$94521449-DDA5-4C5E-8B52-EE540CA48653","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b588045ffddb7ab41c71713eb6e9655fe759644","datavalue":{"value":{"time":"+2008-07-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":"Q3511448$25F3F173-9C0B-41AA-A191-5682E9F1B139","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511448$74D87EDB-B54C-494A-8CB5-591133B9E0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511448$14E221BA-ECF7-4FE5-A6C7-E90A265C70BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511448$E2D58F0E-575C-430D-9096-EDF53AA513C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44888729a313a16af859e7ff5872ea37bf13c7a2","datavalue":{"value":"5299540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511448$EB8BBDD8-BDE2-4F0B-AB1E-678DF5159AB9","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":"Q3511448$A3C44F96-4BD6-41C7-8CD3-07211A3F1C39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"940accecc05fd853eb3bd89bb0a51a0080aae1c0","datavalue":{"value":"https://doi.org/10.1007/978-3-540-69937-8_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3511448$1F64EBDB-BE55-4B74-BD9B-466754F7B144","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1c6cd2e3bee75b2d63029afa21e52fc40668638","datavalue":{"value":"W1805258570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511448$29843EB5-B8F2-48ED-BE99-2A7A02C7E77D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511448$8F4695FF-B574-4D42-84F2-5BD91EFB61DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30da8c2de419db8eadc2bb3e1de8c4f80cf93487","datavalue":{"value":{"entity-type":"item","numeric-id":1909610,"id":"Q1909610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511448$2AAA2AC6-B023-40A5-9C10-DCB67EB9F555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b41ed073aa8154ef82f4568e281d9fa0e323670","datavalue":{"value":{"entity-type":"item","numeric-id":3220545,"id":"Q3220545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511448$E5E74143-FC47-4764-9588-B1901495F783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d66d404e5da3fde5e9ac42bd95e64df866e0f54","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511448$75CBAB71-9099-4434-B234-402633177A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511448$EEDC727C-3D18-499E-812A-71577EC9E875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3fbe5dc19781d8cc61fa707bddca7c6943cc26","datavalue":{"value":{"entity-type":"item","numeric-id":4952029,"id":"Q4952029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511448$8DCC8D3B-CB0F-4720-A8BA-8F895FEABA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f393e897b6ca3ad190cc8e7030da66e28119b3f","datavalue":{"value":{"entity-type":"item","numeric-id":5717444,"id":"Q5717444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511448$7F01133A-6F8A-4CF8-82BC-BBEC38CACA0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493c788031d7c555c55547b4351b80b749d2d88c","datavalue":{"value":{"entity-type":"item","numeric-id":3094189,"id":"Q3094189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e4e2e8486133ed0b7a027be96cb18a9b9c4d5b","datavalue":{"value":{"amount":"+0.943465769290924","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":"Q3511448$21FB239E-FA0E-469C-9D7A-34EC634CAE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c17d564b248d3b45202844f51fe93a48eefa186c","datavalue":{"value":{"entity-type":"item","numeric-id":2867946,"id":"Q2867946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9489a54a53e848bde30941ea6be0136c98b3d8a","datavalue":{"value":{"amount":"+0.874445915222168","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":"Q3511448$5AA7E913-CFB9-4EBC-BD8B-C9F946316060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7e63a7b92025ff07c8bf3161485ee73844e0ff","datavalue":{"value":{"entity-type":"item","numeric-id":408552,"id":"Q408552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa7dcaa2934154e3d7e0d07e65c2c35a28dfac86","datavalue":{"value":{"amount":"+0.8066467642784119","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":"Q3511448$0951964B-743E-46E6-8CDD-2371F9E2EC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53f65b3fbef0ae1bb12f5ff0c71dfc98a3d9c7dd","datavalue":{"value":{"entity-type":"item","numeric-id":3003344,"id":"Q3003344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11fe84b1f7fc9ef67a499c84cfcc8bd3045dd6b","datavalue":{"value":{"amount":"+0.8027552962303162","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":"Q3511448$CA885861-85C4-4C12-AAC0-EC4DEFA60095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca94934b9142eb07a488be89f60690d287d864c","datavalue":{"value":{"entity-type":"item","numeric-id":3648720,"id":"Q3648720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bac0970c669ac8946fb19c6d5454978c0a643a23","datavalue":{"value":{"amount":"+0.7886462211608887","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":"Q3511448$8EB438E1-AF08-47E7-90CE-05BFBE47FA36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3511448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3511448"}}}}}