{"entities":{"Q6840992":{"pageid":18341862,"ns":120,"title":"Item:Q6840992","lastrevid":84286232,"modified":"2026-05-14T16:16:43Z","type":"item","id":"Q6840992","labels":{"en":{"language":"en","value":"Weighted automata for exact inference in discrete probabilistic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8175050"}},"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":"Q6840992$2FB30B3F-7B0F-4E48-9D00-923615E7204D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e80a895af2ec5c3e7cb94b597a20e4a0dca76412","datavalue":{"value":{"text":"Weighted automata for exact inference in discrete probabilistic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6840992$982F7D6C-53E5-4E06-A842-E3A637875960","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c7dde472620e602a2ee0c6c3413667883e1a07e","datavalue":{"value":"10.1007/978-3-032-11176-0_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840992$BFD8401D-65A1-4FA8-B348-E06098193BA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0c90b5ae8477f7c9e49f69cf1640a1c402d3c55","datavalue":{"value":{"entity-type":"item","numeric-id":6840990,"id":"Q6840990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840992$62107CBB-87A3-4055-A25E-9C71443FA04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb296b2dad8f388c595907da7ffba03f4720cd35","datavalue":{"value":{"entity-type":"item","numeric-id":2119117,"id":"Q2119117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840992$F0D8661A-60CB-4F1F-9D1A-0299F609B750","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18cefc5b01f2a823fd075bc66e852b3f0c15dac7","datavalue":{"value":{"time":"+2026-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6840992$3BC2E1B3-1F0E-4DE2-830F-FB5A9BB98ECE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840992$C8BE8BED-4111-4C8A-B2D5-CE420B1A1DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840992$1BD5361B-2AE1-40BC-829B-C50F1A28B64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840992$5D73E753-1D58-4E3F-8D57-CE373DFDA4A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b851a3449e74bc1f1ed9363f975c91ab82a761d","datavalue":{"value":"8175050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6840992$BB968539-9A24-4F42-B35E-2E92E225508B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266cd2fb37ad2ba00390f1ff46b4c5e9361f6aa9","datavalue":{"value":"weighted automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6840992$B0DDDBF3-C472-46BB-AFC5-9AAD099E7604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf78c9ff68381ba2adb2a75ba12d4f7a7246f85","datavalue":{"value":"probabilistic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6840992$1368EE72-94AC-4853-B999-EE29AF9F0573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5c6c001b0f069bae3e64ab55a1ea2e1a3cb1534","datavalue":{"value":"posterior inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6840992$789F5ED3-7E27-4215-BD35-9FB112C9B051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1478f0080b70574ea441c7d2a3b6db779c2f9c","datavalue":{"value":"program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6840992$04412A54-83FF-4408-BBA9-63C8CA79C8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dc323558c3d26007c828f1e60fa40764d2cc644","datavalue":{"value":"probability generating functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6840992$419AD325-DA7B-4BAC-81A1-FAB00E216A09","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":"Q6840992$F268D8AE-0B49-4599-B9B3-DDD86C3BC424","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"101c8d50755f5137c0dd9fb7d2168ca2ee4cb47d","datavalue":{"value":{"entity-type":"item","numeric-id":6487313,"id":"Q6487313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840992$A88FC511-D433-4D99-A852-4E44AC094027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1299de22e789976ee252e65896b795bb4d897e22","datavalue":{"value":{"entity-type":"item","numeric-id":2119118,"id":"Q2119118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840992$02C1DB05-CE1A-4CEF-A204-FF1786C49CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840992$66004659-D579-42CF-BC9A-A3A90B92D78C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840992$19894C72-5FCE-42D1-80AD-A4962B847B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6840992$B4A232FC-676D-4C1E-B148-7EAD7C4BB039","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weighted automata for exact inference in discrete probabilistic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weighted_automata_for_exact_inference_in_discrete_probabilistic_programs"}}}}}