{"entities":{"Q4633526":{"pageid":6663107,"ns":120,"title":"Item:Q4633526","lastrevid":58314114,"modified":"2026-04-04T16:40:57Z","type":"item","id":"Q4633526","labels":{"en":{"language":"en","value":"Synthesizing Probabilistic Invariants via Doob\u2019s Decomposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7050631"}},"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":"Q4633526$E08910F7-8D5B-4BEF-AE78-94F64E8BE98A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a2e0b4dad4ec5cf8661c5074e6863990b72aff7","datavalue":{"value":{"text":"Synthesizing Probabilistic Invariants via Doob\u2019s Decomposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4633526$5350E659-8334-42E7-976A-EDBB2F3B8025","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae2c1a10509a163169349958b6d0cf2d8c2a6122","datavalue":{"value":"1411.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633526$0324D345-BAF2-48ED-8B9F-7151EE3AE17F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9da7bfba026e8d629cedc8fe0b7849325d6af70","datavalue":{"value":"10.1007/978-3-319-41528-4_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633526$907AB2C0-693E-44EC-8264-A6F3BEE900A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633526$94A8BD3F-B146-48AA-9364-C831375D416E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fc1b96efe2b3a26a4d72dfc53ed8e67a4f3aab4","datavalue":{"value":{"entity-type":"item","numeric-id":1633470,"id":"Q1633470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633526$10FE698C-62A4-4DEF-9ACC-127AC8A79412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20729f229ffec9de81c066537b24905752a0ed56","datavalue":{"value":{"entity-type":"item","numeric-id":282102,"id":"Q282102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633526$3CBD098B-28BD-4215-AE93-FB2B316927D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4945abe70a949cd0fdf5412833ce3a82242934a0","datavalue":{"value":{"entity-type":"item","numeric-id":1623160,"id":"Q1623160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633526$1CA248F5-99CA-4729-B2A9-84BA582F5F8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633526$B353CAF6-C4F0-4F8F-9B4E-3231FDA28316","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24db5d32115f39913353e80bae577d976822bb5c","datavalue":{"value":{"time":"+2019-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4633526$548606AA-7D84-408F-AF77-8757285A5E1E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93760978ef5417d969d04d9f21afd639ebe7b082","datavalue":{"value":"https://arxiv.org/abs/1605.02765","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633526$12872521-5A37-46F9-8F91-08AA9D141B3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633526$1E2BA53C-0114-43D0-9CD5-0797B457F272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ed4d55e3e61150aa8fe2d0b34dd7ca7ed0b67ce","datavalue":{"value":"60G42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633526$934C5268-3ABC-49DE-8671-CD2272DF7C30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f82af6a5e136b8a1d2e0909538b3963bdb5efffa","datavalue":{"value":"7050631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633526$07D79226-8BAA-4D00-8227-733DE7E1FE95","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":"Q4633526$0704302E-E064-4930-B1FA-08769D150AEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94b2234e60945b76a833ca58fde0d020980ff00a","datavalue":{"value":"W3100287873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633526$2BC01522-01A2-46FB-B13E-8C73CC8612E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9e271d318349fac2871f49674f2cea2fe25727","datavalue":{"value":{"entity-type":"item","numeric-id":4436971,"id":"Q4436971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"228f646cd246abc7ff9ac55f76d5050eb18acf0e","datavalue":{"value":{"amount":"+0.87983584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4633526$9C09423A-EBF2-43BC-93CC-09A6BB446873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f77b25d279acfbd9db679798dcf23997d7d9438c","datavalue":{"value":{"entity-type":"item","numeric-id":5370852,"id":"Q5370852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2647d3a3b7897c685b93285b1df1432a8ebd27d","datavalue":{"value":{"amount":"+0.8574317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4633526$5BF45192-8E3F-4D52-A1B8-D7378CB48DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c4e53cae28946b1aba4ded5aa39915639f2ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3449469,"id":"Q3449469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f984a2846d8211ac2fc127f16f41450ac3bfb735","datavalue":{"value":{"amount":"+0.8570774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4633526$7BE60791-4309-4F3E-B925-BCF6E7B54E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"644ab3f5605e8c03c7f5a8032e01e5d0c20d04ba","datavalue":{"value":{"entity-type":"item","numeric-id":1608648,"id":"Q1608648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac589d32d8156776d9f13daf3e0b1ebdc1d92953","datavalue":{"value":{"amount":"+0.8518362","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4633526$A7CDCD1C-C904-419B-B5EC-5CABE29485A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"827eb7722744c23515a27fd459daf05777e60784","datavalue":{"value":{"entity-type":"item","numeric-id":4930741,"id":"Q4930741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"781d4cb70c254501b5908d6b8a3d807b41199b82","datavalue":{"value":{"amount":"+0.85173184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4633526$B13E8813-4F6A-4640-8C9F-C90740332C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ea482a64cc851f6f4d94b9c8dfbc3b4ec9fe98","datavalue":{"value":{"entity-type":"item","numeric-id":4281534,"id":"Q4281534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2035b229a729eb5bc566a18ef28ace0a4ed38eff","datavalue":{"value":{"amount":"+0.8512384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4633526$2C334150-7914-4E98-AC8D-431373FF4665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ae4755b9311b5a1bf59ffed18210f484f5ca1e","datavalue":{"value":{"entity-type":"item","numeric-id":673117,"id":"Q673117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2035b229a729eb5bc566a18ef28ace0a4ed38eff","datavalue":{"value":{"amount":"+0.8512384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4633526$DB386EB0-0CF9-44EE-8381-115FE32A95B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"051323900204ddd75d5d78998b4a3c606bc51040","datavalue":{"value":{"entity-type":"item","numeric-id":6095192,"id":"Q6095192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e8e1c53bc92ebe2e4c38fa3f401ffab21d3f29","datavalue":{"value":{"amount":"+0.8504472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4633526$454D5449-DDE9-4F51-8556-A57272764B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d56eb813ad20c72e9c8b37230f89eb4950a2fbd","datavalue":{"value":{"entity-type":"item","numeric-id":4791844,"id":"Q4791844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeebe6f5b4cc25f9ad5a16fdadab236c3766a83a","datavalue":{"value":{"amount":"+0.8495416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4633526$65D2D120-4DBC-470B-90BC-3CECEBA59C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5e080e441dee080cae44b5b0a91c25e505e2f95","datavalue":{"value":{"entity-type":"item","numeric-id":1982641,"id":"Q1982641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"007217cbef0f7ea17649993b028ced41d8a867e6","datavalue":{"value":{"amount":"+0.84736526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4633526$CF5831B5-5B2B-4492-9673-FA2D56FD3079","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4633526","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4633526"}}}}}