{"entities":{"Q6535257":{"pageid":14146400,"ns":120,"title":"Item:Q6535257","lastrevid":57344004,"modified":"2026-03-30T14:06:08Z","type":"item","id":"Q6535257","labels":{"en":{"language":"en","value":"Automatic alignment in higher-order probabilistic programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770328"}},"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":"Q6535257$40866920-3DDB-4F74-B05A-5A1D869CAE53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c99ef98451d6c66f2c15bc681178cdc380b5237d","datavalue":{"value":{"text":"Automatic alignment in higher-order probabilistic programming languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535257$E7DBFEF9-C165-472E-A267-974BEEA243F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd0c336d9c55dd4f427af14310779e5d003ecf13","datavalue":{"value":"1541.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535257$C7317932-B2FA-4A32-8F9F-4273524F1BA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a18868de058dc26072ea73e87a21c6975e03a5ad","datavalue":{"value":"10.1007/978-3-031-30044-8_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535257$5C31F0E0-FE09-46D8-83EA-24CE511C11E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e16142b0982993566eabb9428ba4bf4fe5b93675","datavalue":{"value":{"entity-type":"item","numeric-id":2233468,"id":"Q2233468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535257$06E3A80D-87C9-451D-8493-B481BFC9DE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1b1b41395676887c1a2821bc6ccaf195e76dc1","datavalue":{"value":{"entity-type":"item","numeric-id":6535255,"id":"Q6535255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535257$47A71E70-9E8C-4226-90CA-602B30F7F701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d5b18d0b3ecc22bbfd62620aa76f2feebaaf6d8","datavalue":{"value":{"entity-type":"item","numeric-id":6535256,"id":"Q6535256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535257$810C99D9-B975-460E-9300-CF91F37B1105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"822332ab5fbcf8f08b81a3ab9a9a5012d2553fb3","datavalue":{"value":{"entity-type":"item","numeric-id":2233470,"id":"Q2233470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535257$0FA93DCE-2128-4EFF-841A-6023B4CB8F4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535257$8B57AE03-352B-4BF2-8333-AEF54B708A68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535257$8353F12A-FC16-4955-BE8C-8FEFF9CD459E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535257$1E2CE9CE-2B5D-4AC3-A767-DC31B67A632C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ccd591491bcc1b2ea24c2fb1ce65eef5559861e","datavalue":{"value":"7770328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535257$28A1F4FA-2E58-4AC1-BF04-3599B18709B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf78c9ff68381ba2adb2a75ba12d4f7a7246f85","datavalue":{"value":"probabilistic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535257$6129C6F8-A914-4BD0-9D79-4E3B19B8114A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535257$8745D0CC-7B47-4D94-B1C2-E0B2673B2793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535257$6677943B-86E1-48F7-B478-0840DA733240","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":"Q6535257$D39B8757-1562-4FFE-8399-9DE48B153241","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1567a09831badd078143bff84c1a31067ac56c49","datavalue":{"value":{"entity-type":"item","numeric-id":5483032,"id":"Q5483032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535257$8D8038BF-45A4-4519-AA62-C82D9E82C2BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bc89baf73628f974d3a7186d3a3d3767805f119","datavalue":{"value":{"entity-type":"item","numeric-id":4656017,"id":"Q4656017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535257$BC5CE061-96B7-499A-9F0F-79D27BB9B7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6680c6212d0de274172c2b027fbf73e41a69267e","datavalue":{"value":{"entity-type":"item","numeric-id":2981999,"id":"Q2981999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535257$A8FF68CE-853F-4C0E-9969-6AECA513C0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573c6c41ed26aa070e75225c6352a26e064dd624","datavalue":{"value":{"entity-type":"item","numeric-id":3774923,"id":"Q3774923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535257$E401063A-B0A8-493B-B26D-C569A8DA2491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b4021077d458c2d08888669d0b84e68f9a00b4","datavalue":{"value":{"entity-type":"item","numeric-id":3179303,"id":"Q3179303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535257$4E024AA1-B33A-44F4-A742-0C41920678B6","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":"Q6535257$8BF363CF-B0F9-4F33-BF24-966DC4E4CEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf9c2e1d181dcbb7f4dbc8923a7a385a16355e7","datavalue":{"value":{"entity-type":"item","numeric-id":2233471,"id":"Q2233471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535257$40F8657D-7AE9-4ECA-90EB-E91697E6C203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"793f0feb444174506d52e0b2a80be09e10a4ea98","datavalue":{"value":{"entity-type":"item","numeric-id":2875080,"id":"Q2875080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535257$1457FF35-654B-48CD-AA39-9D4CCA17E3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6212a0ca29f03d15f7a0c3e747059620bc42b1e","datavalue":{"value":{"entity-type":"item","numeric-id":5213202,"id":"Q5213202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535257$AF57512F-0913-42F9-A651-67AF26930B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535257$C6F9DC44-996E-420F-A9A7-F3E95AFA1785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535257$5E100506-A21F-45DD-8194-F7F4DE9C7C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4c5afa32682b6614ad0638bf10a2f4f1610081","datavalue":{"value":{"entity-type":"item","numeric-id":4635912,"id":"Q4635912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535257$E00B5BC1-57E2-4F92-920B-BF19F859A2F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00687f003bf296af1e6f91ee18b892cb9ecb70aa","datavalue":{"value":{"entity-type":"item","numeric-id":2233471,"id":"Q2233471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc4e0dd7551de05fa587808b5eb08f9000789ba","datavalue":{"value":{"amount":"+0.7458804845809937","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":"Q6535257$B61B951A-7382-452E-A90C-A9D1FB67F675","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":"2a0a50002da2c2cd685475c7072fdcb42f8ea59e","datavalue":{"value":{"amount":"+0.7225781083106995","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":"Q6535257$9E4CFD60-048B-44C2-8587-6466A1E0519D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a3339bc31637e0dc7919f0a67e93dfd448ab765","datavalue":{"value":{"entity-type":"item","numeric-id":3179303,"id":"Q3179303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1253439964fece252e745d54fbdf19cc39eb5a81","datavalue":{"value":{"amount":"+0.7004567980766296","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":"Q6535257$B91852BB-A45A-41DD-9DD6-65ED4612DD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d56446f9235c8f9a1bba08e39b023dc457515bb","datavalue":{"value":{"entity-type":"item","numeric-id":2147199,"id":"Q2147199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde5531199383ee125df2b6a15ed19d9c41996bb","datavalue":{"value":{"amount":"+0.6998336911201477","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":"Q6535257$C20E07A6-F867-4A64-8004-5B8CCB1257B3","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":"e83c27d9bf02d12ef2166c8cf95167b3c2d2a402","datavalue":{"value":{"amount":"+0.6962682008743286","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":"Q6535257$A8F56C26-A98C-413F-8966-6C185F000880","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535257$A8F0333B-F832-4C51-A4B9-92625CACBBAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535257","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535257"}}}}}