{"entities":{"Q2147199":{"pageid":2157942,"ns":120,"title":"Item:Q2147199","lastrevid":73435068,"modified":"2026-04-14T15:58:16Z","type":"item","id":"Q2147199","labels":{"en":{"language":"en","value":"AQUA: automated quantized inference for probabilistic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7546606"}},"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":"Q2147199$51C39A53-CD26-4E54-9B43-934932620B65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65c39a94978b1fdb650afb5405fa3f6d58914625","datavalue":{"value":{"text":"AQUA: automated quantized inference for probabilistic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2147199$245131BA-16C5-48A3-98AE-E03BE567E4DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bd123891642586d10863b9a4a13c28a4896a6b9","datavalue":{"value":"1497.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147199$1E0FEAEE-6DBF-448A-BBB5-F5F9ECABEBA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33001ca42502a4281fa57097a1d62da9078cae46","datavalue":{"value":"10.1007/978-3-030-88885-5_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147199$EA64FD39-8A6B-43C9-8D20-830759B0F4EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8286395c728efbe06eadbcd32b87ed2071c7f207","datavalue":{"value":{"entity-type":"item","numeric-id":2023199,"id":"Q2023199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147199$E791539C-713C-4020-80B0-7A11168C7FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b3ca477a347c837b150f0a148a853eedd1c5461","datavalue":{"value":{"entity-type":"item","numeric-id":2147197,"id":"Q2147197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147199$DFC34E1D-BAD6-4927-B5FD-F60AD1BB0516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4a2a39e6c4cb0a0a5ef0164b0b60271d8852e0a","datavalue":{"value":{"entity-type":"item","numeric-id":2147198,"id":"Q2147198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147199$0BE03DB0-D971-4736-8EAE-7B9983AC4D4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffa612dd361e50848b97ee1c8010430ebd9d5009","datavalue":{"value":{"time":"+2022-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2147199$A54ACB49-2EAD-486E-B216-EFA6CB636541","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147199$E4F0C518-9DA0-47ED-972C-3547EF6826F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc47f34f353895dbcfdd75960979c58d5be29f59","datavalue":{"value":"7546606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147199$A830BA56-BABB-49C2-A04C-DAD2CBCA7787","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee902fb2877f4889f24bf6a1130f0b11a6415bf9","datavalue":{"value":{"entity-type":"item","numeric-id":26566,"id":"Q26566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147199$5F8DBA82-5A4F-4291-9BE2-D2178478F457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e58ab5907177ba37b3ef671f6006cd20132dfc2e","datavalue":{"value":{"entity-type":"item","numeric-id":22167,"id":"Q22167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147199$EA73774E-5FB0-4DA2-9D72-39FBD66BD4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b05a5106c0fc5297178748848e2063b8ff17c340","datavalue":{"value":{"entity-type":"item","numeric-id":5973982,"id":"Q5973982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147199$BA37B56E-240C-43DF-ABC8-238DDBFA88DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4171a100bf6a7c5469f9eef6994b35ace0e78da","datavalue":{"value":{"entity-type":"item","numeric-id":22960,"id":"Q22960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147199$EC7EC738-A269-419A-B7F3-7023C44169BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147199$0A764124-FA0E-4FD7-B769-2B89225BCE9A","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":"Q2147199$0183FFE1-31D4-4939-8A31-9FC93146AE78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03d20063c56ce0a800495e15bf04703f8772cf8f","datavalue":{"value":"https://doi.org/10.1007/978-3-030-88885-5_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2147199$95AD86C7-DD4B-443F-969A-FBA26150E39D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dcbd9dc19afd930c5910d2ee25c4019e630a01c7","datavalue":{"value":"W3207720664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147199$D9901AF5-5B38-4952-8492-4F1D83550352","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a37e8b873f44dcbc99c88f193715240b30fe9c","datavalue":{"value":{"entity-type":"item","numeric-id":5378383,"id":"Q5378383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147199$AA2BCD9B-ECC1-49F1-AFD0-9955D6F782ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc99499dbf531cebe3e7658a2733ca86e7a304a0","datavalue":{"value":{"entity-type":"item","numeric-id":5041102,"id":"Q5041102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147199$E4E19513-20EA-47BC-A424-FE5A9C0211C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c23455f49a4e8aa3e659096ec9b2f4e24b3b8209","datavalue":{"value":{"entity-type":"item","numeric-id":2798260,"id":"Q2798260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147199$E04A7234-C4B1-4777-AF36-C8BF91A97E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b37aaf4e1157c1317e684ef8b3f8cda9b60d93e7","datavalue":{"value":{"entity-type":"item","numeric-id":2324190,"id":"Q2324190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147199$0B9458BD-19A8-416F-BCA4-675B795D2D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd9f3803ff6c4c3f492fad3eaa748696f90cc08","datavalue":{"value":{"entity-type":"item","numeric-id":1631602,"id":"Q1631602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147199$368DF8DC-2ED5-49DE-97DA-B710D020013B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a509f64c501cb2ecb0bf878a13718f7204362c5","datavalue":{"value":{"entity-type":"item","numeric-id":5041102,"id":"Q5041102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dc88ddb7233e49f182e24b1be42a8c1e56453a7","datavalue":{"value":{"amount":"+0.724132239818573","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":"Q2147199$52B46652-71CD-4071-8C6C-543610C2844C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6a276b319c43bbb743eec34dbd59bda1f0ad7d3","datavalue":{"value":{"entity-type":"item","numeric-id":5370851,"id":"Q5370851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"172b11fe931e954b6d4dbe835c0de7a99d5577af","datavalue":{"value":{"amount":"+0.7218010425567627","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":"Q2147199$45FD3448-EBAB-4BD1-BA86-E4FF08CA7D36","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":"f14aec61d93f8fc1031a792d2116f451aef0bdc9","datavalue":{"value":{"amount":"+0.7102465629577637","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":"Q2147199$0B748BC2-3D5F-4C91-A0E0-61846682ACA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a13a4d84f623a29ecaba8d159992235562a56d79","datavalue":{"value":{"entity-type":"item","numeric-id":2798260,"id":"Q2798260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a60051bbf4867960c268060b37dc94a3f15a86a","datavalue":{"value":{"amount":"+0.707758903503418","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":"Q2147199$212C7143-8C81-400B-9AB2-AD8B58CEABF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b274303189ea95d15e5ef02fa16fe7d8070eb690","datavalue":{"value":{"entity-type":"item","numeric-id":3087451,"id":"Q3087451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d179ef1c8e771e94ba870eef93fc6097640b1c0a","datavalue":{"value":{"amount":"+0.691796064376831","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":"Q2147199$9CF1565E-A8C4-4903-86F8-2F35BCB8374A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"AQUA: automated quantized inference for probabilistic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/AQUA:_automated_quantized_inference_for_probabilistic_programs"}}}}}