{"entities":{"Q3189808":{"pageid":3200516,"ns":120,"title":"Item:Q3189808","lastrevid":52089146,"modified":"2026-01-20T22:15:46Z","type":"item","id":"Q3189808","labels":{"en":{"language":"en","value":"Program verification as probabilistic inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344201"}},"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":"Q3189808$6A90F92B-87ED-4249-ABF7-C4C73C20861F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"daf064e38b309982e796af1f1e4edbdf7af40e90","datavalue":{"value":{"text":"Program verification as probabilistic inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3189808$D3FE89DD-CA55-4AAA-BF35-69040FECA6A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8cb49f1d802d0552a65e48f5fdd051dbce35df4","datavalue":{"value":"1295.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189808$A1D67C41-F218-49D9-A7C2-22B45D35BAB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"789493ab7a09fff9f1d3d4344b7ae6940ad4b584","datavalue":{"value":"10.1145/1190216.1190258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189808$4C411769-215A-4709-A64E-AF90D8F26AD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b5dac73a626864066e391d75e33e945e00da80","datavalue":{"value":{"entity-type":"item","numeric-id":859959,"id":"Q859959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189808$68CE0260-67CB-4732-91A1-2B73C509C77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b29644126d948856e8fd950592a40966f0e92331","datavalue":{"value":{"entity-type":"item","numeric-id":2193785,"id":"Q2193785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189808$4616F846-2934-43FB-88B0-E7D6A171C0C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"42ff8c7ed004bb20c7b1a2b6084e38122d4ab0d8","datavalue":{"value":{"entity-type":"item","numeric-id":3189774,"id":"Q3189774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189808$6EDC998F-756E-45C3-B878-DDF10D85B717","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad0e577f2be69493b55b974834cf6fd5cd3ca834","datavalue":{"value":{"time":"+2014-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3189808$3EA21BDB-2D01-475A-AB0A-7645B24D5EA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189808$FFDE1CAD-02D6-45D3-BA89-68E4F97D32E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189808$B32E9EF9-74CA-4F5F-A871-E4418DBACA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189808$AB4A3893-5E22-4600-A8A8-4B10CAAF5B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189808$7021F9E5-F752-495F-AC77-6898192896BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189808$8ACC09C4-C360-4EC2-B1AE-6A54A65390B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189808$1B874FB4-5E4B-44CA-A78F-ACDA6B5B4EF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45b3deed41c71656e428917ada69e363682111d3","datavalue":{"value":"6344201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189808$96DF8A8F-472F-401A-A495-5A4C6CE71520","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d36600971d479714ab42573e2b1035cc3b978684","datavalue":{"value":"Gibbs sampling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189808$E8E4F0E4-0A0F-4BC8-A04D-DDA5E0F9A88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e8eecdc1c377e64f81485d4fbc99e14c2691aa","datavalue":{"value":"Markov chain Monte Carlo","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189808$AAD671A5-AE8E-4E26-A05F-B7344A6E46BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"978298eb4d1147791da21d15544415e18246f656","datavalue":{"value":"automated recovery machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189808$3936A388-6E78-4118-B493-BD3740C8704D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63c64eec4ee7c55386f1b08fedb7432f70cc8f9","datavalue":{"value":"belief networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189808$D4E9F415-8437-402B-A0D0-D76D0BB3B808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f116ee16367ed79dc5d376998b2ec74eaa8e2a5","datavalue":{"value":"factor graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189808$CA465068-7F27-4DC6-A3F6-4B40FA260CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f6f66aab065bfe04eedad9d5d69de23af970f83","datavalue":{"value":"forward and backward analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189808$3854D6E6-4479-4B2A-9A84-9DFC137C5BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ca76faeb672415cff41bbc3ad8454e227be1fa","datavalue":{"value":"learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189808$B4DDB9A9-DD0C-4FEF-84A6-5A8CBC9EA103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b74bf9a0d81c37b635ef822208113c3cf82c78a","datavalue":{"value":"over approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189808$9E680C5D-1B52-4205-96DF-54F802799826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09c6428c428231e95d4715795d116d321fd8f47","datavalue":{"value":"under approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189808$1BB217B5-5542-4B42-B9EB-0F8FFB7CBCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7de70366d04bf0a4632d65a4a169d3a7fc5449d0","datavalue":{"value":"probabilistic inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189808$B3A9AA87-1EF1-4385-A7B7-65DAF4A2217B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189808$DA421BD7-E525-4909-830F-A868DCC84746","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":"Q3189808$5E3798F8-2861-40C1-9786-48E0B6CAD4CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86de60509da0b64175ca8789c41f43819dfd6045","datavalue":{"value":"https://doi.org/10.1145/1190216.1190258","type":"string"},"datatype":"url"},"type":"statement","id":"Q3189808$587EB12C-60B8-42EE-9022-2B0E4CA82BBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c323137f4f48c241c887ee1f8076a94a659f47e2","datavalue":{"value":"W4250347244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189808$CD6C59A4-D7FE-4F1E-A4F9-2A7D51657D67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9c2f2a7fc8474c0133780afda7d6c98adfa044d","datavalue":{"value":{"entity-type":"item","numeric-id":3316558,"id":"Q3316558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57004b6c056d028155c2a0c3ba129542e9f1d8a5","datavalue":{"value":{"amount":"+0.7949650287628174","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":"Q3189808$1D0E2965-EFBF-4B8F-8AC1-43B4EEAD9AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f8bdaaa5ecbf467db9fa749743c8d2293e5599","datavalue":{"value":{"entity-type":"item","numeric-id":5275390,"id":"Q5275390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"605befb96b467ab1b8df82dd3cb6eceed9a258fe","datavalue":{"value":{"amount":"+0.7674131393432617","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":"Q3189808$C1463615-5777-4900-9AC6-5F28F1A64614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"069e430bb430cd217bb003a396d40fed1851271a","datavalue":{"value":{"entity-type":"item","numeric-id":3021957,"id":"Q3021957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3faf88c80de62f7d4fea887c0a3610c23513e8a","datavalue":{"value":{"amount":"+0.7619396448135376","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":"Q3189808$0D51664F-F674-4917-8433-CF396CD8DF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40db5b4a9e000020e15333074f1df230a9c4dbc7","datavalue":{"value":{"entity-type":"item","numeric-id":5716539,"id":"Q5716539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0d418f45f5231bc352569e75b154a77c677c6e","datavalue":{"value":{"amount":"+0.758430540561676","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":"Q3189808$5A16B81F-3556-4A8C-8874-DB5570F234AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f4034399829c7be670eedad7e312c427b8bd41","datavalue":{"value":{"entity-type":"item","numeric-id":5465856,"id":"Q5465856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09dfaa670140b9d2e53d5f66a2eddd58f0210309","datavalue":{"value":{"amount":"+0.755732536315918","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":"Q3189808$57E7E441-A1D9-40D1-976A-4C9FC3D66180","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3189808","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3189808"}}}}}