{"entities":{"Q5222984":{"pageid":7252554,"ns":120,"title":"Item:Q5222984","lastrevid":53469755,"modified":"2026-01-25T00:29:12Z","type":"item","id":"Q5222984","labels":{"en":{"language":"en","value":"Knowledge compilation meets uniform sampling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7076891"}},"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":"Q5222984$973AA8AD-AA17-499A-B80A-663FCBE53329","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5fb73111b15d22e69cc14627f3d31bd1f3b69d1","datavalue":{"value":{"text":"Knowledge Compilation meets Uniform Sampling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222984$85409112-3DA0-43F9-B221-D101EF25C80F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4a6248f404bc27bc0ca64d1dbfd2b550bc9fb97","datavalue":{"value":"1415.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222984$D9F4971F-1ACB-410A-B336-7B21BD12A52F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64598eca9562b3196679eddeb1e4c5560f5a7337","datavalue":{"value":{"entity-type":"item","numeric-id":5160159,"id":"Q5160159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222984$50AEE0EC-1158-4D87-8389-F5509B989188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2efb4f6961088a36a16666529aa09e3393888840","datavalue":{"value":{"entity-type":"item","numeric-id":1332742,"id":"Q1332742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222984$630B7515-8D44-4291-A6C4-483C4326BE92","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":"Q5222984$36C7EF78-4202-484A-88B0-AA12A03DCD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56a6ae786fa267642e531285986729301470d8c7","datavalue":{"value":{"entity-type":"item","numeric-id":265700,"id":"Q265700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222984$C294D3FB-6A73-4A5F-865A-481973C58AD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222984$5FD935D3-B43F-4258-9771-F88441B26558","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311afef0a4b95245df7f6c2908ad6e9d40f3f2be","datavalue":{"value":{"time":"+2019-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222984$A3B38811-E112-42C4-A43B-49895C7B7F60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222984$CC3B3ECA-FED3-4E1F-8F6D-D3B053EB529D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222984$3D95D4BD-64B4-4FBC-B812-00CE572A37BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8992e0dbcb20f5bda4df059cda6395067e61e6a1","datavalue":{"value":"7076891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222984$D801B0B0-202C-4172-8150-BDF683EA80AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33135d9647072fcee7d02a635f2e9227c55fa34","datavalue":{"value":"constrained uniform sampling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222984$021CB330-A944-4BBF-9D21-9A86787C3BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64c956ca4a53944c93b50f2f02b78adc5cfe6178","datavalue":{"value":"d-DNNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222984$AAD1025A-B854-436B-BE2E-A059EF85DDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239c8cb5372e9f4f71c8ed480d01b39e693574c6","datavalue":{"value":"knowledge compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222984$E5F0163A-517A-4373-8EB2-923B7BB8A1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222984$8EC0E20F-D1DD-490B-B9A4-E3F2A003DB6A","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":"Q5222984$6FF017CC-94AB-4659-9CEA-B3F7FE3289D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a278dc7cdd459f8ac1cbdc1a381217e16b9bb50","datavalue":{"value":"https://doi.org/10.29007/h4p9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222984$97E9D981-C4EC-476D-9441-E7A15FF38CA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"785a79d3aaab978b678a8eb82a5343e6670bb45b","datavalue":{"value":"W2908408690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222984$49447591-BFCF-4E32-A909-B058FD57496C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a05905bf1560a338e39311e6900812475a6881a4","datavalue":{"value":"10.29007/H4P9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222984$6B444FED-555D-4800-A515-1ECD448B1EEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e827d9b29ead84c02af30a9150831bcab7bdb537","datavalue":{"value":{"entity-type":"item","numeric-id":2170209,"id":"Q2170209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"705c55fbd29d25d48f3703da692897d22c2a7794","datavalue":{"value":{"amount":"+0.7445926666259766","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":"Q5222984$3AEBA909-8FB1-40A5-A471-EA68CA0D5FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c8bb1e1afec84f33c6bb199e7c8906414e60e04","datavalue":{"value":{"entity-type":"item","numeric-id":1656573,"id":"Q1656573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ff829ec7ff7490039dbee998d2fc6a23a6c6b7a","datavalue":{"value":{"amount":"+0.7113261222839355","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":"Q5222984$0FEFF5E1-E4D3-4023-8D1F-ACAB7F78B4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d663a1b33133104c211abb804166ea06ea53134","datavalue":{"value":{"entity-type":"item","numeric-id":5371949,"id":"Q5371949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b786cfd228acfd8286f8740bc95cc8f20f03673b","datavalue":{"value":{"amount":"+0.6749762296676636","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":"Q5222984$12BB0541-DF28-40D3-B595-956E2DA781BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6af531164ff984c36390c5e06631064b28357300","datavalue":{"value":{"entity-type":"item","numeric-id":2495401,"id":"Q2495401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5509129f06a3b51f05077ea654152876679156","datavalue":{"value":{"amount":"+0.6572731733322144","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":"Q5222984$BA6F6492-9B7A-4A19-B29B-36012ED79781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ea9f0179c9b16791f55bd37d905061e900dee86","datavalue":{"value":{"entity-type":"item","numeric-id":5897289,"id":"Q5897289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2304c6248747487608851b094bda134d783689f","datavalue":{"value":{"amount":"+0.6396551132202148","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":"Q5222984$61DD084C-6C33-4627-B218-4F826F0D0F52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222984","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222984"}}}}}