{"entities":{"Q6487311":{"pageid":14066080,"ns":120,"title":"Item:Q6487311","lastrevid":99598052,"modified":"2026-06-05T20:21:11Z","type":"item","id":"Q6487311","labels":{"en":{"language":"en","value":"Data-Driven Invariant Learning for\u00a0Probabilistic Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628110"}},"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":"Q6487311$25D5FA28-15F4-4215-999E-D9B5853F19C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a80bf14cfac0c7aea2cd3811adaafde68ff009e","datavalue":{"value":{"text":"Data-Driven Invariant Learning for\u00a0Probabilistic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487311$3A1E2139-1E80-4268-94BB-CBEE0E494E3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1e3482faf21a655c4abd3994ffd57b5f4e0e44a","datavalue":{"value":"1514.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487311$FEB91C4C-CFD1-491E-BA10-C9C99D9DCA1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17a3ceb6536b9dd448b14e6d48a738e11a253870","datavalue":{"value":"10.1007/978-3-031-13185-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487311$FD9AE265-4BD7-49E7-BB8D-A7F72C406673","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41fd4d8f7735726aad0ffbec0b6d0c0acdae67ba","datavalue":{"value":{"entity-type":"item","numeric-id":2110734,"id":"Q2110734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487311$EF4100D9-5DFA-4C45-808C-5AD84087F863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b81c9b54092eaece09b291e33e16e6f6a3cce8","datavalue":{"value":{"entity-type":"item","numeric-id":6485545,"id":"Q6485545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487311$A8C78304-6AC0-4E55-ABFE-54C098A29126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e24e9bd183809b262eb64eecf214210c2c32e56","datavalue":{"value":{"entity-type":"item","numeric-id":6485546,"id":"Q6485546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487311$BECDE473-0C63-4ED9-B5E2-4A3368B80319","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":"Q6487311$E6ADC5AC-1300-4094-9A53-52B27F2DA2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a335d3216c840b0f532d821b4d36a0aa3284250a","datavalue":{"value":{"entity-type":"item","numeric-id":5222983,"id":"Q5222983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487311$0C24D716-B5F5-4B1D-8E4F-E7A89B6C90C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487311$119B8DC9-68B6-4838-9AA9-7A20F3DB96AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487311$917ED26C-3FB0-4BAF-A433-6CAC72204BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487311$8B5CBD00-23A9-4D49-AD6A-A4D0B6985756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487311$AFCBD09A-23B9-4E91-9675-A7A5CE3C6139","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21b4d844f1c143bfe65fc649de8af34a6a697e81","datavalue":{"value":"7628110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487311$CE153AA2-A7B3-42E5-9F56-15C454435CBE","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":"Q6487311$B32B59E2-12C8-4A5D-9767-350D74144FDF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d91b70da5d91298109b9b6c672680f0ad5e32f3","datavalue":{"value":{"entity-type":"item","numeric-id":832245,"id":"Q832245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487311$F00D727E-80B8-4A41-9EE2-51FD48580A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3508664e84c87c0b7f576cc2ff5a6100ba227a","datavalue":{"value":{"entity-type":"item","numeric-id":4571974,"id":"Q4571974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487311$2F775F26-62F9-43CC-AD08-71F9C2696D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32c4b1042eaf0c16e5b861d6b9af9eb737b4c58","datavalue":{"value":{"entity-type":"item","numeric-id":4633526,"id":"Q4633526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487311$BC36E57C-F4EB-473A-8173-E44122426C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e24f505165fe62fa16da70d2b9108c5b0bcf3d6","datavalue":{"value":{"entity-type":"item","numeric-id":3297595,"id":"Q3297595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487311$14BDBE5D-6492-435E-986F-F5F6B87C4866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b2e31ac893aa29128650b9cc43fa3a6b0fcfb14","datavalue":{"value":{"entity-type":"item","numeric-id":4633524,"id":"Q4633524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487311$415B4882-C277-4B85-A9E6-30F02BB90FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94843e74cff4f6c0a9c61a11a081fe4a8d98563b","datavalue":{"value":{"entity-type":"item","numeric-id":2828275,"id":"Q2828275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487311$C5FFF6EB-8A09-4261-B5B1-FD045D09F829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"902a3e1a1911a1aaa345079c9fed1d059125d206","datavalue":{"value":{"entity-type":"item","numeric-id":1702935,"id":"Q1702935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487311$56D58D3D-ECE6-47DB-A702-6E830CDBDCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458dfa6fd44072143815c860d3690f1687a12132","datavalue":{"value":{"entity-type":"item","numeric-id":2463543,"id":"Q2463543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487311$58E475EF-BF4B-4F52-A7D6-4D0F90563D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2e0ead9566140a782d5299a4f05f329f3c47af","datavalue":{"value":{"entity-type":"item","numeric-id":5096098,"id":"Q5096098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487311$9D56BA20-1870-4622-8833-5D3D8B695D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9b88bb298728fba36d6cb290ee95ccae0a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763999,"id":"Q2763999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487311$88D25869-5408-4819-9249-B2F1ABA8B8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43404ec2d41a8c402f2500bd778d3e2740e76c76","datavalue":{"value":{"entity-type":"item","numeric-id":2802489,"id":"Q2802489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487311$362D3E24-8B60-40BF-A3A2-6AC491B7D344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a038431fac234030b93188690ddfeffcef9c53","datavalue":{"value":{"entity-type":"item","numeric-id":5144701,"id":"Q5144701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487311$4D0BF31E-6B1E-4D25-9934-E195137D3642","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":"Q6487311$1E83256E-6270-4345-808C-CAC813DF518E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f182afa47ea37b09a1d1a3075ffe1edef8370b5","datavalue":{"value":{"entity-type":"item","numeric-id":1063584,"id":"Q1063584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487311$B423FDDF-AC44-4AD7-BAC1-CE2001AE16C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5141c3b321e0ea1975aeb311c2a30da9659ad31f","datavalue":{"value":{"entity-type":"item","numeric-id":6091407,"id":"Q6091407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487311$CA2D5122-AF6F-4DAD-A014-71B64F1F6377","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":"Q6487311$5B1F2E85-A143-4A72-B23F-F1F204D9F02B","rank":"normal"}],"P1643":[{"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":"436eda5c14f78cc93954e270ddce7566ab479a27","datavalue":{"value":{"amount":"+0.7504429221153259","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":"Q6487311$7A7786AA-119C-4BEB-9841-F44DC4A710AB","rank":"normal"},{"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":"aa67daa26546fd5624a6eb270ccb47abf06fbf02","datavalue":{"value":{"amount":"+0.7320101857185364","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":"Q6487311$B8BC09C1-4901-4EFD-890C-92D8BECC3A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f09a316bec52853f04d2fae1e3123c6dfe69c655","datavalue":{"value":{"entity-type":"item","numeric-id":2151257,"id":"Q2151257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8deb2d6b5e5456cbab4dd58775beee8745d790a3","datavalue":{"value":{"amount":"+0.7319625616073608","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":"Q6487311$E32B00B4-17F1-4608-A6CA-8A4EE7758E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"195341238ec884fef4c1d57e3b631063fc7b6ed0","datavalue":{"value":{"entity-type":"item","numeric-id":3189808,"id":"Q3189808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81ff7c70433235365c3e66f1d7e4e74ccc974e1c","datavalue":{"value":{"amount":"+0.7309880256652832","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":"Q6487311$9570DDF7-9A30-49B2-8088-0ECBE46FE462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"891054bc6fd7d01d8a64cb23297bd9444dae2bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5151032,"id":"Q5151032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f52fef77e9f37405adab2d4dcbb93449261ce27","datavalue":{"value":{"amount":"+0.729547917842865","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":"Q6487311$D56AA676-8214-4769-AD1C-B8C365D11467","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":"Q6487311$B79837EC-6DB8-4939-9542-E241ACDF8800","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Data-Driven Invariant Learning for Probabilistic Programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Data-Driven_Invariant_Learning_for_Probabilistic_Programs"}}}}}