{"entities":{"Q2946750":{"pageid":2957470,"ns":120,"title":"Item:Q2946750","lastrevid":52347593,"modified":"2026-01-22T10:12:25Z","type":"item","id":"Q2946750","labels":{"en":{"language":"en","value":"Decidability of approximate Skolem problem and applications to logical verification of dynamical properties of Markov chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483243"}},"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":"Q2946750$607724A3-C983-4AF8-B5C7-8CB4F5445F59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cc4445ee2190e899b5cd471c2b125f62f13e526","datavalue":{"value":{"text":"Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946750$2A900677-1A06-49B9-AB61-FF8B65A45A01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a71813b0186ae05eebc699eb0e61e48688b80aaf","datavalue":{"value":"1354.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946750$C1A4F05E-2C4D-43E8-B296-A5A4167DF5CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df3023ea9d68c71c9000aab00ae4918459bab366","datavalue":{"value":"10.1145/2666772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946750$27AA005B-63F4-4EC4-981F-942D1B6225F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946750$6118CD54-B649-4062-BCD6-4D686512E8F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946750$9435354D-1FB5-4E70-A997-C81ACCFFFC3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946750$569A9246-04A8-4332-B98F-034A7128ECE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946750$F0B4F04D-34A8-46B4-B330-DD23EF1CF87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946750$EEA05BE9-89CB-40CF-BD5D-1008C4A9E79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946750$62AE2597-097B-4736-BE85-23394F7089F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946750$2B2446BB-C695-4CA9-93EE-DF72C869654D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946750$FF673937-899C-4973-BEC6-EEEF330AF7B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e531a6ef21b9b1588764f4a004d12d63a3636689","datavalue":{"value":"6483243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946750$7B3AF539-D595-486A-BE38-31F5370D004C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54386443767439a4565bd3fedc3d37d2c4a4f85d","datavalue":{"value":"Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946750$D2920C94-D231-438A-A4DA-B6BD869755AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e7aa81c67afb301064c97d9253c7e05c50ecf28","datavalue":{"value":"Skolem problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946750$414DF794-8996-41AA-A7DF-DE7FD5DB1B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946750$F86FF765-B945-4F78-8A42-315A71F78A70","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0abe2f1d74fa4f1d03c688880ec401d77b2228ea","datavalue":{"value":"Q59196625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946750$81909DD7-3200-4A2B-B01A-E2DDEB2820CE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946750$B1AE71BD-F084-4F6F-90A2-272386C3D003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19ea0268485aa3f9787caf2b44c02b981e5e73ce","datavalue":{"value":{"entity-type":"item","numeric-id":16320,"id":"Q16320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946750$92D9FFF3-B241-4350-9128-37CE052A8E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1d7c89f8c4a43a132064ef87f7add4215ef6c5f","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946750$CF4B911C-B5A1-406C-A08B-8A19AB2A9D28","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":"Q2946750$8A94AA09-CEEF-4B1D-BAC6-4A109CEB1C2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26af75fda7db0347e318b75e0c36ea08e8fdfd6c","datavalue":{"value":"https://doi.org/10.1145/2666772","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946750$AF5753AD-D4C4-449C-9B9E-10866C55704D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f60cefd58bef85c8453f38910ae7d4e1f9676a1e","datavalue":{"value":"W2020183404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946750$CC0419F8-C5E8-4D29-AA35-0A3FD39652BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a094d285a2ede2994d9b4ea7784c419926612a69","datavalue":{"value":{"entity-type":"item","numeric-id":2986781,"id":"Q2986781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946750$C2FB05A9-28BB-4D33-9D42-64A2A18F4F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3508664e84c87c0b7f576cc2ff5a6100ba227a","datavalue":{"value":{"entity-type":"item","numeric-id":4571974,"id":"Q4571974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946750$615E1134-8BFD-44BD-92C7-9A935161AA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946750$5F331BAB-A469-4F00-9E7A-8645F7503A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b25339e8a3785d7849e97cf20a1865dc33a6546","datavalue":{"value":{"entity-type":"item","numeric-id":3605519,"id":"Q3605519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946750$75653381-981A-4649-9356-33400EEBDD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99439fae6e37c6c02251eaecee18e0ab08279341","datavalue":{"value":{"entity-type":"item","numeric-id":3412000,"id":"Q3412000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946750$5F6B5D18-8EE3-4EE6-B721-988773D2C229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681c4ec52b4648c01916cc032df29870163cb10a","datavalue":{"value":{"entity-type":"item","numeric-id":5325837,"id":"Q5325837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946750$0F34286D-F1BA-45E0-9613-8818BE36F945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946750$C68BDC2A-E142-48BC-9B06-9ABBC947B37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c23b3d407afe686e03206ca7a67e084917d0db66","datavalue":{"value":{"entity-type":"item","numeric-id":3231261,"id":"Q3231261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946750$22C6E3F7-3A11-4FE5-A12B-3A789D16A6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4c4e10e2a379ac0948dd390415bd76c21bf3d1","datavalue":{"value":{"entity-type":"item","numeric-id":4899140,"id":"Q4899140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946750$8526B332-B413-4189-84EB-0FA87B3A0E0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb3b2a353df3d34d9521478a1dce335f12761d74","datavalue":{"value":{"entity-type":"item","numeric-id":477610,"id":"Q477610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31fa1582ffde093ce213f0cac146706ba33b734a","datavalue":{"value":{"amount":"+0.8016316890716553","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":"Q2946750$4926097A-9B3C-4F63-B84F-5E293E5D9431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0818e0201c8f7cca4893e0f3e3a23f92ebd6f338","datavalue":{"value":{"entity-type":"item","numeric-id":5501948,"id":"Q5501948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"650ddc6d16f61e1d51a144b8a961c9a4b62ef484","datavalue":{"value":{"amount":"+0.7999798655509949","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":"Q2946750$D6BC1C35-202A-4095-A129-561F066149AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2865a28169f379fe24362774d7dc88b6fe86af20","datavalue":{"value":{"entity-type":"item","numeric-id":2986781,"id":"Q2986781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db862e0ae658505f095211e28166e0c1dc1d481","datavalue":{"value":{"amount":"+0.7951623797416687","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":"Q2946750$E4DB746C-1A43-4F08-A6D7-00772F6369EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4417c64cfd4fbcb193f16b93b4accee9250344ef","datavalue":{"value":{"entity-type":"item","numeric-id":4598241,"id":"Q4598241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e9aca13172776cb2312f94ce84c550b1931019","datavalue":{"value":{"amount":"+0.7622973322868347","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":"Q2946750$07C9584A-DAE7-4EA7-A709-3A8340CA5F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d52ca9f12736fd184fe6f143546176482eba059a","datavalue":{"value":{"entity-type":"item","numeric-id":5453500,"id":"Q5453500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f50e8d25c89460bad854b81ca732342b7175bdf7","datavalue":{"value":{"amount":"+0.7440556883811951","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":"Q2946750$91DFF321-3ED4-4006-8697-23D425CC122F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946750","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946750"}}}}}