{"entities":{"Q2828290":{"pageid":2839028,"ns":120,"title":"Item:Q2828290","lastrevid":58017459,"modified":"2026-04-03T11:32:09Z","type":"item","id":"Q2828290","labels":{"en":{"language":"en","value":"Abstraction refinement guided by a learnt probabilistic model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642973"}},"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":"Q2828290$29467B01-5079-4989-B78B-B816A6753CF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dad93c5560c35dc2f8af2695a2f8022cc845d1ae","datavalue":{"value":{"text":"Abstraction refinement guided by a learnt probabilistic model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828290$5B32D44C-6904-4F7C-AB54-02B421D5F987","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba9914dbd0d6a441d8d07ea613fec538a2b7da99","datavalue":{"value":"1347.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828290$CA4385C5-D7D2-4AAB-ACF4-5EEC8E7E5D52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0758d5def88399433fe038ed677125b553b0beae","datavalue":{"value":"10.1145/2837614.2837663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828290$6C12E6B7-41D1-4A39-BB8C-6470B820FB32","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aad285152a322692380fe5b3a8d3a729355b6564","datavalue":{"value":{"entity-type":"item","numeric-id":2151233,"id":"Q2151233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828290$2A4C5F36-8C24-4084-AE0E-49709C2C6854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2120a534f513a754fc1f7bac3ebe0b6f755e7a","datavalue":{"value":{"entity-type":"item","numeric-id":300406,"id":"Q300406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828290$59121D21-37F8-4775-A6A5-AC5ACACA8750","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828290$66AA47A0-4D68-48EC-ADE2-BE59F2CDF558","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-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":"Q2828290$5A3B1F93-7EE9-4384-8DDC-7ECD105534B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b089a42214c6e32d529e1d1a749e3cea4010ccbd","datavalue":{"value":"https://arxiv.org/abs/1511.01874","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828290$A0814F0C-2F36-4AFD-AFAE-848DAF92C653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3a40ba61e19972e6939d9835072762da5f1f513","datavalue":{"value":"https://kar.kent.ac.uk/54057/1/1511.01874v2.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828290$C76F681E-D6C3-41F7-B37D-10790B28C4A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828290$5CF4CED2-5BAC-4DC6-A8C8-E3743BD5C499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"239a4a174af03c82b61364f762873d53ef0a37ef","datavalue":{"value":"05C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828290$FA093767-5744-4102-A574-E54A725B0EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828290$3068D20E-74E8-405C-85B5-A0326759314D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b330963be66451d6b1f05bb5efc2be4d4dd3553","datavalue":{"value":"6642973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828290$9D338416-6B69-488B-BBB5-4690AECA978F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828290$99B5F081-AB31-45FF-82E6-CA545F1AB970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63a0b5bbdbffeb2f6d94dda6a7bccbc2173775aa","datavalue":{"value":"hypergraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828290$E8E0854E-2A15-4EF3-B029-03A5DD0DE6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b4c65f1932723e758d611f0e45f29f11ae5669","datavalue":{"value":"probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828290$A7A7BFE7-EAF9-4FA3-9938-C8B691C446BB","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":"Q2828290$E5E4E17C-5DE8-461A-862C-0C86E7BADDA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0d3c6a0d695a090aaa05d2eda3bbed10020e7a7","datavalue":{"value":"W2264244749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828290$B765D5CC-6CFB-485B-841F-C388F5EF3EB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"939f4a59d310cc03f40890f02811e91b68a1db0a","datavalue":{"value":{"entity-type":"item","numeric-id":5408529,"id":"Q5408529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcec4416760ce0e096a9823f072700ac5a312676","datavalue":{"value":{"amount":"+0.7802218794822693","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":"Q2828290$82E348D6-6503-4C3C-A002-29599879C951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0177a757a404dcf1c2b88505b020f967239c5ec","datavalue":{"value":{"entity-type":"item","numeric-id":3498445,"id":"Q3498445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c358d81323c68024c076ec004e6cbf814598ed1e","datavalue":{"value":{"amount":"+0.7498937845230103","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":"Q2828290$3ACFE7AF-1C71-4948-BDE2-57AB8E087FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3edbe654f53ae8e38e64c7d964d3ad5800a2c43a","datavalue":{"value":{"entity-type":"item","numeric-id":5716594,"id":"Q5716594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85dd8076f6c877fc17f60684cc0f191ddffc3e47","datavalue":{"value":{"amount":"+0.7493956685066223","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":"Q2828290$52299051-FCB1-40C9-A9C1-DA8138F7579C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a12b800c15fbf280389115519998ebc59292464","datavalue":{"value":{"entity-type":"item","numeric-id":3522892,"id":"Q3522892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dcda5dea58ca80084d85a9ced02b0a6a4772a11","datavalue":{"value":{"amount":"+0.7445778250694275","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":"Q2828290$4ADFA4DA-369A-4681-8D3F-82A695B329DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c887a47a3129f524c9ede9425e0ea3fefecf3ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892727,"id":"Q2892727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b32aecf954f17b3234055aa6714493d2cfbbea20","datavalue":{"value":{"amount":"+0.7399366497993469","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":"Q2828290$2FBA0E83-2715-4BFA-928B-F83BDDF906BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828290","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828290"}}}}}