{"entities":{"Q7310255":{"pageid":31275226,"ns":120,"title":"Item:Q7310255","lastrevid":105090613,"modified":"2026-09-16T15:16:22Z","type":"item","id":"Q7310255","labels":{"en":{"language":"en","value":"On expansions of monadic second-order logic with dynamical predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8236319"}},"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":"Q7310255$211CD875-CCCB-48F6-923D-4D8C5FDF91AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b29d8b7ccc5b4bf3e6a0d62a201bc5ff60e2dcb","datavalue":{"value":{"text":"On expansions of monadic second-order logic with dynamical predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7310255$58E7DC0E-C98C-4980-A2AD-145E9D216324","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d4ff709c533d20dbc2b061f294168dc9d28dd25","datavalue":{"value":"10.4230/LIPICS.MFCS.2025.80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310255$BCB8FC09-BE8D-4B49-8A92-5E3DDC3E6B3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fa4c9d16b510477efc58f838da4d143bdb7cabb","datavalue":{"value":{"entity-type":"item","numeric-id":6203465,"id":"Q6203465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$61CFA313-6AA6-4467-AB62-2766ED43764C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$FB131DB1-6F9A-443B-9D10-355F402E1345","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d490a277979be2253fe548317caa03f890fc8363","datavalue":{"value":{"time":"+2026-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7310255$C37C6A4A-EC55-4474-889C-54D8C2A9C780","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310255$EEF4785B-C22B-466E-88D8-2F3921165BE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"976d3f5a36ab3ec44ba6192ba8d15b5bd6b30660","datavalue":{"value":"8236319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310255$3BBDE2CE-68DD-4F59-8516-A9DDF051D8D5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$5A002BB5-6EF6-42B1-B22E-D3A1BD706680","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":"Q7310255$FA2965C4-0BF0-4DC2-B874-57392BD38180","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e28d2b6fdcc1d785bfd0de9054a02d7301e241ec","datavalue":{"value":{"entity-type":"item","numeric-id":6993489,"id":"Q6993489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$B57E00B8-643A-4A9B-8923-3696C5F91FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc14d168ac10fe7e50eff724f9466143feaf4bf6","datavalue":{"value":{"entity-type":"item","numeric-id":6134272,"id":"Q6134272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$E7100A2A-D479-40B2-9B34-FF0B54C05A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f3745c731983444587fe7b1f723d5a3a58b217","datavalue":{"value":{"entity-type":"item","numeric-id":6970269,"id":"Q6970269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$73D2ED23-784A-4056-9612-BB4FBC2B5E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b694496d7c3d99ec9098e28c042619510d62541","datavalue":{"value":{"entity-type":"item","numeric-id":1489074,"id":"Q1489074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$29089107-D6AC-4E4A-9FB8-18283A0E093E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"570787d8c3797b23e215bd734559b5ab2bbaea02","datavalue":{"value":{"entity-type":"item","numeric-id":2904676,"id":"Q2904676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$951586BD-5890-40F2-86F7-EE57A195A06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3612f7392d0497babaf5ce5e0add442ad7862811","datavalue":{"value":{"entity-type":"item","numeric-id":1854542,"id":"Q1854542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$AE002DD3-FE45-49C0-AE42-94AB85A0B211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9786bf71ac9796a8c539c246e599a2a43687a2a1","datavalue":{"value":{"entity-type":"item","numeric-id":6584037,"id":"Q6584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$82D2A5BB-8D46-4F89-BF46-F4EE0C59855E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"152f30d6935826043538240708f2f932f80b6a13","datavalue":{"value":{"entity-type":"item","numeric-id":746926,"id":"Q746926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$B3924F9B-0F6F-4C45-9E4B-86F6E16E7731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84c82de96fb7c7b710e84da042fa6d2d7d4ea68","datavalue":{"value":{"entity-type":"item","numeric-id":5520636,"id":"Q5520636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$8715BA3D-5EA9-4088-BD9F-C7A532E1BA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52811bfc7c1962136717156ab14a01cf0d130ba1","datavalue":{"value":{"entity-type":"item","numeric-id":4421931,"id":"Q4421931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$A8E84897-E1E7-4B0A-A5AC-CF6F7BEA3054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8118cdf1571510ce253c64a1beb1712ba385420d","datavalue":{"value":{"entity-type":"item","numeric-id":6851697,"id":"Q6851697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$97ADA6F6-AA4D-4599-94E3-09B056A427AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd0805d40a073ce2200a429e1ef030d6908b949","datavalue":{"value":{"entity-type":"item","numeric-id":6113969,"id":"Q6113969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$42692498-E366-49E2-9B68-B88B340B6339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a68a761aac9f03ae3efd279a4679b02865ebd62","datavalue":{"value":{"entity-type":"item","numeric-id":2112097,"id":"Q2112097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$FB82B000-9221-4A9E-B318-7F8D66BA8866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60dcbdbfd26aeffae441839a8128827ec7385fa","datavalue":{"value":{"entity-type":"item","numeric-id":2759288,"id":"Q2759288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$33F96938-7547-465A-8EC1-91158A201FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f21fe6b91a9127407c7e54ae1ade44cee80b24d3","datavalue":{"value":{"entity-type":"item","numeric-id":5383986,"id":"Q5383986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$37871EF5-3F5E-4FFD-B7DB-23F040F75F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3c7d3b87391fc84c82c6962acbcdbf8f2b64865","datavalue":{"value":{"entity-type":"item","numeric-id":2373700,"id":"Q2373700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$AB6EEB64-7252-430F-8E40-A9F1E0CB9DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1564a519fe0bf3a4fee6ef14a1d6320ce090b306","datavalue":{"value":{"entity-type":"item","numeric-id":3613363,"id":"Q3613363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$F3695414-6FC0-4271-9B17-602938B1AA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d179bdd83dd52ebb1134a0d415ec33f0098896","datavalue":{"value":{"entity-type":"item","numeric-id":3328515,"id":"Q3328515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$D09073D3-2AD9-4C75-B883-18D6DB2DD6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$1F733E42-40EA-4CE3-92EE-4CA51E49B9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5444d62b61ec4f0092db6e9182c1367d48f1504d","datavalue":{"value":{"entity-type":"item","numeric-id":4362730,"id":"Q4362730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$1A31B050-C776-4C07-91D9-0D57740BCF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e755952b7d0fb5f8820202cb348ee4f4522a20b","datavalue":{"value":{"entity-type":"item","numeric-id":3671245,"id":"Q3671245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310255$9428F907-3CC7-4CF1-8373-EAA8DE889979","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On expansions of monadic second-order logic with dynamical predicates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_expansions_of_monadic_second-order_logic_with_dynamical_predicates"}}}}}