{"entities":{"Q6551702":{"pageid":14162857,"ns":120,"title":"Item:Q6551702","lastrevid":55680094,"modified":"2026-02-17T20:54:45Z","type":"item","id":"Q6551702","labels":{"en":{"language":"en","value":"Skolem and positivity completeness of ergodic Markov chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7861406"}},"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":"Q6551702$E93C2344-D295-4C58-826A-0EC3E228ABE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6715e551ed90f64fa25bbb5461b67d83210c337b","datavalue":{"value":{"text":"Skolem and positivity completeness of ergodic Markov chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6551702$7D7D8D8F-81C7-45FB-A564-23EB0DB8FBCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e436990d7ebb61fca33b2948836562b9badb252","datavalue":{"value":"1541.68228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551702$45E45C7E-B70A-4AC3-A59C-86F3B9A6B269","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09f2ce609cec08f12e4395787bebff7b87bbf124","datavalue":{"value":{"entity-type":"item","numeric-id":6490958,"id":"Q6490958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551702$782C62AA-3537-4372-BD2A-510F67C08D25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551702$AFEF6431-9F6F-40A7-BD50-F2A2BFD4BAC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f4ebbfebbde9e44ce8411984988976e62e4323a","datavalue":{"value":{"time":"+2024-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6551702$571CB75D-4515-4B93-A6E3-703AE82B804C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551702$B4BE86E6-9BA8-4C50-BEDE-D51B9BC7FC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cdf15533e26fc0c4c2e22d28e655c364dfe77a6","datavalue":{"value":"60J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551702$F0635906-72EF-411C-BC44-FFDBA4F641A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551702$8FB85FB3-F7FA-4A1C-B2C7-2A2930C2380B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ae2f3351a9253f17fae118e495194c16a5b0354","datavalue":{"value":"7861406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551702$E0CBC4D9-B5F5-499A-A82E-C09084354383","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551702$6A46B61A-BFCF-440F-8406-13C1810EA297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f77ff0f8d015b2040bf90ee46def33a91ab29679","datavalue":{"value":"ergodic Markov chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551702$896AC96F-0A87-4F32-8857-A3F7D0359F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551702$0B4E3D3C-76BF-40E7-B190-E17DC8B163FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551702$6C939B80-FBDE-4C5C-B352-867D79717E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28e11395c90e65247d03d2d492a8f888ff2959c4","datavalue":{"value":"linear recurrence sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q6551702$2E1EA003-AE4D-4618-8C0E-C9289F5AC311","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":"Q6551702$A50B7A7C-672F-45B0-882D-8F7DED12A653","rank":"normal"}],"P223":[{"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":"Q6551702$B12C7D64-2CB9-4A8C-AE31-BA11D96780C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e361303362106d748658b6298a68993e25e6b5c","datavalue":{"value":{"entity-type":"item","numeric-id":5501948,"id":"Q5501948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551702$CC79D9C2-C78F-4052-B9DD-E026D797E5D2","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":"Q6551702$BDA39C05-7C6E-4C41-88C1-B1FEB028768E","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":"Q6551702$DBD5BC79-F9DE-4735-95C0-0975E827795E","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":"Q6551702$C649AA3E-D17F-45FC-9A99-E59CE1196BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a638c0e55a028078b162b5e8eb287d8c9b4d6898","datavalue":{"value":{"entity-type":"item","numeric-id":6584014,"id":"Q6584014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551702$DDCC15F7-3C8A-4B7D-B34D-2EBE168AA194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b46989355988e5d4e240f250b8692542b0eec1","datavalue":{"value":{"entity-type":"item","numeric-id":5167849,"id":"Q5167849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551702$14E4C256-ABAD-4067-9DE9-959309211078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359422607dd63c53cf4915b59944dbec77214d61","datavalue":{"value":{"entity-type":"item","numeric-id":5167848,"id":"Q5167848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551702$56FD60A6-67B4-4787-8B1C-A0ADD1F22179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26853a40b9e87f3ca9828f4f03a954f225c50c6c","datavalue":{"value":{"entity-type":"item","numeric-id":5575575,"id":"Q5575575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551702$511303A6-C750-40FC-BD8F-B3B1EC90C35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1212c8425b239752c05c7ca478ec7f069c4d8361","datavalue":{"value":{"entity-type":"item","numeric-id":477610,"id":"Q477610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551702$81BA579F-9230-432C-B883-B09BDE9E7B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"244306112cbec3bbb7a39c5619510d13288710e3","datavalue":{"value":{"entity-type":"item","numeric-id":6535681,"id":"Q6535681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551702$8FC8A236-CD9B-45CC-A604-0624F83C3694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5514fabd7c2c39c09df4ea18da0258d4ec5d018","datavalue":{"value":{"entity-type":"item","numeric-id":2611701,"id":"Q2611701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551702$C166C8DF-17B5-4284-8DD1-2B90E2AC15D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d432408e14be7f5497e7d46212d5a85293e8b54","datavalue":{"value":{"entity-type":"item","numeric-id":1996499,"id":"Q1996499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551702$E0EECA4D-FF78-4CE8-8ED4-4FE025279323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c65b703ce61efe0734e12125fb7c5171f69435bd","datavalue":{"value":{"entity-type":"item","numeric-id":2651127,"id":"Q2651127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551702$36614C87-BF72-4F8F-A47F-91DF431AD4F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cc6242df5bd050e3a1fe6ce4e51cea19b371c04","datavalue":{"value":{"entity-type":"item","numeric-id":4094921,"id":"Q4094921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551702$ADA2EBB7-FDB5-46B0-94D8-BDD36A4705F9","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":"Q6551702$23EEF7B3-554D-4220-961F-16E8EFCAA5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec087cc9ae49d88ae421f99d65f0cce1e2e83f55","datavalue":{"value":{"entity-type":"item","numeric-id":1915049,"id":"Q1915049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6551702$C95D03C4-B6E1-4C1F-826E-F6AF47FBFEEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6801c5cfe985e17752ba5cc94224b8bbdf1463b5","datavalue":{"value":"10.1016/J.IPL.2024.106481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6551702$2CE1D29A-A759-4E59-82C6-50C59F247618","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":"3f82edc8d41f8188e760f5166e52f7fb678163b4","datavalue":{"value":{"amount":"+0.8687096834182739","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":"Q6551702$01B16970-BF91-4676-B42F-6C2247E7CC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b90ab2929b250f2603c8f77a535cbe3af8cc3d5","datavalue":{"value":{"entity-type":"item","numeric-id":2946750,"id":"Q2946750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b11b1abbf306c1ee901b2779d446574b37fa452e","datavalue":{"value":{"amount":"+0.790337324142456","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":"Q6551702$1ECA3059-5B22-4D9E-86EF-D32129D0A37D","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":"aca3d765ea3cb9fac24de9eed610bf79a0daa47b","datavalue":{"value":{"amount":"+0.7348507046699524","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":"Q6551702$FC4F4479-7D66-4E50-9029-B4C86B76C425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"630cfca548fff1b771ca6d8cc4cd3fae33513114","datavalue":{"value":{"entity-type":"item","numeric-id":5111295,"id":"Q5111295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07725201b090dddd64ca19a4fab19d263ec7ef2b","datavalue":{"value":{"amount":"+0.7145054340362549","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":"Q6551702$29106412-A0F5-4FF8-A69F-34DF4DE3585A","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":"fb433716cf762781f29f565d801006d76970ec06","datavalue":{"value":{"amount":"+0.6991764903068542","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":"Q6551702$6D663101-D2FC-4FB8-A132-695C95907F4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6551702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6551702"}}}}}