{"entities":{"Q5038457":{"pageid":7068034,"ns":120,"title":"Item:Q5038457","lastrevid":57312339,"modified":"2026-03-30T09:27:03Z","type":"item","id":"Q5038457","labels":{"en":{"language":"en","value":"Efficient Knowledge Compilation Beyond Weighted Model Counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7595322"}},"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":"Q5038457$535ACA64-8271-4566-9F3B-730566C944BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edf9fa02224d451339dc77032bad9e646d9286f0","datavalue":{"value":{"text":"Efficient Knowledge Compilation Beyond Weighted Model Counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5038457$814B7BBD-86BB-4E8E-8E3C-9BAEBCF49816","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68c1d6c4c55dc9a10c9f65627e0a5f99083fa832","datavalue":{"value":"10.1017/S147106842200014X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038457$51349DAA-1038-44C7-BF44-E2D4CBF35EBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d9207d0abc5e7cc8913ad8203e0d00f10cd4cb0","datavalue":{"value":{"entity-type":"item","numeric-id":4999273,"id":"Q4999273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038457$763B495D-88FF-4D64-934F-D8FD47BE6199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd4dca558b83e87345c123a37993ddc85a91394e","datavalue":{"value":{"entity-type":"item","numeric-id":5038456,"id":"Q5038456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038457$B9BACB07-3030-43E5-975F-51AB04853BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"165cca451a0d1757863053ccb2df396242d15bec","datavalue":{"value":{"entity-type":"item","numeric-id":324655,"id":"Q324655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038457$4CF44C14-6200-4084-9679-08009245AE3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038457$0367D214-8C83-4307-9BD3-9362C96DAB2A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9283dd817d2ebf256bf865a5d69ed7b0c35a3bc5","datavalue":{"value":{"time":"+2022-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5038457$678F29AE-C91B-4360-A9DC-58B764286869","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1c2f357a3e533473c7fd02a7f4752425ca2dca7","datavalue":{"value":"https://arxiv.org/abs/2205.07496","type":"string"},"datatype":"url"},"type":"statement","id":"Q5038457$63FC9277-8120-42F7-B3D4-F0771DA44578","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038457$5432F0F4-C15E-4F27-BC32-2684C885011E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f98174ce8efa2086f9bbeb784b735509632bdc1","datavalue":{"value":"7595322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038457$646A07A5-A944-49FE-BD2B-D8F2E14D7818","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95dc85bae11a31fd457cd4c048f448c7257323e4","datavalue":{"value":"design","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038457$46515133-E820-4E95-9999-057787CFEB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89a53c24c526346b0abecf55236d1ce2552e9e3c","datavalue":{"value":"analysis and implementation of languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038457$BE01776B-6F14-4FBE-893F-4DFCFE2F4885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f04107f4072a8eb725b8c1ff0e415ef190ce2c7b","datavalue":{"value":"logic programming methodology and applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038457$F10D4A31-EB36-42A3-95E0-6F5E6A8CABB8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae7c3da40ff2124bf1a8a2a7001ef7dc16ad267a","datavalue":{"value":{"entity-type":"item","numeric-id":19009,"id":"Q19009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038457$FD0182B2-9559-4B3A-8B1A-E4400E501F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"990a525c0a6e538be5440b7f345d1150567f762d","datavalue":{"value":{"entity-type":"item","numeric-id":19014,"id":"Q19014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038457$A4711088-F22B-42C6-9915-2F17632578E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fda00351a02a5ed7eb6fc4872361840bcbd6feb3","datavalue":{"value":{"entity-type":"item","numeric-id":21872,"id":"Q21872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038457$8D9350C1-98A2-471D-B4F8-374E57C90A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"381a2eed0cd5465c5fc24524974b7fb71455a71c","datavalue":{"value":{"entity-type":"item","numeric-id":1350625,"id":"Q1350625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038457$563A7836-14D7-469B-90FC-E351CCACD023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdebb18725e99dc853c860bdabc27c8e59a40ab5","datavalue":{"value":{"entity-type":"item","numeric-id":1350630,"id":"Q1350630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038457$1A3058D8-260D-485A-9F96-D55A7F6686EB","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":"Q5038457$567E64A8-FBDE-4207-ABAC-13134C4EE571","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f61c0382bee639fd50de627d9fafa9b2f54c0e","datavalue":{"value":{"entity-type":"item","numeric-id":3612603,"id":"Q3612603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038457$239018F4-538A-4057-BD1E-B55ACD97F9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"535e191181892524019d3c4a3fae30d7ef860f83","datavalue":{"value":{"entity-type":"item","numeric-id":5140005,"id":"Q5140005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038457$2D9DF48C-2E55-4A6C-A5E6-8580E1687BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95bdc9438d9e2b58081e55820080b64330d3e430","datavalue":{"value":{"entity-type":"item","numeric-id":5111890,"id":"Q5111890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038457$5D5F4A4F-D323-4FF7-B662-34DB380AFC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c43f72341dc6eb38d973688a05db223c2dc79d9c","datavalue":{"value":{"entity-type":"item","numeric-id":4999319,"id":"Q4999319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038457$78E6DA5F-92C3-414D-AB8A-F3BDA33E7FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9382fd3f9c93e003339d076e8d3ce4bc603b9420","datavalue":{"value":{"entity-type":"item","numeric-id":4592983,"id":"Q4592983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038457$89C2BCD2-1435-46DC-8655-FD8D79BB81A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f72b12b8fe9d8095c0fff6acea9d9e2ca2d28ad0","datavalue":{"value":{"entity-type":"item","numeric-id":5197744,"id":"Q5197744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038457$E6019F94-8813-4540-B330-108C0394638A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0984831b3237db09a64bb1cd47e11f2c03f98bed","datavalue":{"value":{"entity-type":"item","numeric-id":2407478,"id":"Q2407478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038457$57C0A157-F210-4301-AFA9-F513313BFD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7f70c1ce4917a94a6ad1a48073277f5183475cc","datavalue":{"value":{"entity-type":"item","numeric-id":2238688,"id":"Q2238688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038457$83079806-F4AF-4329-B224-A70F891E6C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f10505ea9cb39bb01e3f13c3bfc90853d581bb","datavalue":{"value":{"entity-type":"item","numeric-id":3087434,"id":"Q3087434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038457$7C6AF79A-D4D5-49D8-AC04-A788A4AE9368","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83636a6a48797e9d9a3f1342606116fee19448b2","datavalue":{"value":"W4289549925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038457$D201671C-0FA9-4E61-B645-C7D67B4FCF01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91df9e9b47709a57a1d1f547e9b71e09ab04d0c","datavalue":{"value":{"entity-type":"item","numeric-id":2407478,"id":"Q2407478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc13feb8bbfb007bba41c18795f349a7bf1c4e4","datavalue":{"value":{"amount":"+0.8101047873497009","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":"Q5038457$366C3D6A-3390-4AA2-B54E-F5D73B32D60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"729d02078e93b3cc2d99b31ee7987034120b6922","datavalue":{"value":{"entity-type":"item","numeric-id":6566624,"id":"Q6566624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f4e0010135e36940c37c4ea1a281e781a246363","datavalue":{"value":{"amount":"+0.7613386511802673","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":"Q5038457$AA725E25-C1B7-4986-86B5-83086AAC32E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4229dcbba3476b63a1e4325be98e0485140ca4ba","datavalue":{"value":{"entity-type":"item","numeric-id":2389636,"id":"Q2389636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e14c9b0e6307f3f32cb1d1071135b7a2626aa599","datavalue":{"value":{"amount":"+0.7223471999168396","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":"Q5038457$33ABA6C6-4967-4E27-8838-CCAB5A2231C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e5199474ec27d7a858ac43518c054f11c6a113","datavalue":{"value":{"entity-type":"item","numeric-id":2060758,"id":"Q2060758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c057952b77748a513003cb378afdc47cb055938","datavalue":{"value":{"amount":"+0.7163461446762085","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":"Q5038457$4417B803-6060-47C6-AD4C-67625CA34808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65783b28a0272d4b961c948d189358996fe9ac37","datavalue":{"value":{"entity-type":"item","numeric-id":3449226,"id":"Q3449226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af28e9074c7b1538416a2f1cea88410da4b3e030","datavalue":{"value":{"amount":"+0.7023885250091553","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":"Q5038457$632505CF-8CC2-4BF7-8E79-EA0499BB87CE","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":"Q5038457$60F70606-7679-48EF-82F2-0697863936A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5038457","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5038457"}}}}}