{"entities":{"Q2411046":{"pageid":2421789,"ns":120,"title":"Item:Q2411046","lastrevid":57904131,"modified":"2026-04-03T00:51:53Z","type":"item","id":"Q2411046","labels":{"en":{"language":"en","value":"On compiling structured CNFs to OBDDs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794010"}},"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":"Q2411046$44CEB9A9-910A-4284-BDA6-77DF4AC346DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97c913387b1e264509b6f614e61660c8308e4bb5","datavalue":{"value":{"text":"On compiling structured CNFs to OBDDs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2411046$D6C6F874-1BB7-4CD8-92A9-F65CB8DAF9BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c32ab4dcff416a12b5fbd447ad841ffd73096254","datavalue":{"value":"1378.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411046$E79E01E0-C18D-4C71-96EC-276076647332","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9882aae56ec8a5b8665d15f346fe4d402963b39","datavalue":{"value":{"entity-type":"item","numeric-id":473195,"id":"Q473195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$B0A15B7F-4743-4AC3-99FC-0F969351A190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea7245a8985e7729dbb2100021fb8a2a32efed15","datavalue":{"value":{"entity-type":"item","numeric-id":287385,"id":"Q287385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$C14DE5F1-3FDA-4864-91D3-FB0516B178A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$FE248B90-2104-4DC7-ADBB-723F0A8A9E06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2411046$F99194C5-3619-4271-AD86-2A31DCB48323","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b5b2888aa011e61a42e004456ff39e8aae602a9","datavalue":{"value":"https://arxiv.org/abs/1411.5494","type":"string"},"datatype":"url"},"type":"statement","id":"Q2411046$2C62E250-1AA2-40F9-B802-8EE46CBC62D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411046$E0F169A5-66AA-427B-AE82-3FACA9A1A79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411046$8C66AE4A-D33A-4FE9-A74F-000F5C237706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411046$00E69B9D-B072-4F23-8522-BA0FDBB54DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411046$C0115D92-FBBB-45E3-A0FA-CFB9D088182E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8968aa25f9b1905ab4826b5ff2a7bd8e26de5885","datavalue":{"value":"6794010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411046$CEAB28A8-25CF-4F44-87BF-035905D897D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239c8cb5372e9f4f71c8ed480d01b39e693574c6","datavalue":{"value":"knowledge compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411046$D4BE3757-F49B-4508-B72F-B40751BDD13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6473e8b200cf6dbb54eccfcd814faf9dbc0df721","datavalue":{"value":"ordered binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411046$8150AC1C-D62E-413A-BA5C-BDEECE4EDB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411046$EE29CF6A-AAAD-4CA7-ABF1-7B4D032F465F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eb7ce57864bad79eb8b1130037c18cbe7109e9b","datavalue":{"value":"expander graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2411046$6D91CF9D-0B9B-4F89-818B-7D7293E09385","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ff309c721202ec93d32b4a8a2ce530292921cac1","datavalue":{"value":"Q55670637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411046$FD569D5D-619D-4F43-89C2-13EB79F1B4CB","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":"Q2411046$C3832DD1-8327-49CB-91BB-2FE4EF58452F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d151f6a6f1ed64671181a71d6634cc7d727142c2","datavalue":{"value":"W2785242690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411046$4DFFDF5E-8BBB-4EB1-B5F3-61C469A2EC4F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57515aea1ad564d767f2a1d2b4fdb04b8bf50ff4","datavalue":{"value":{"entity-type":"item","numeric-id":1274912,"id":"Q1274912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$4BD885F9-2506-41F8-B7E2-98ECF286137A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b22c5348b8b2641ae581fcd3bade1b996d4382e2","datavalue":{"value":{"entity-type":"item","numeric-id":4895809,"id":"Q4895809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$90BB6E5C-9DF7-47F4-ACEF-7F381F843702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9914f8121a32baf6895c6797ec99c63c32102968","datavalue":{"value":{"entity-type":"item","numeric-id":1242450,"id":"Q1242450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$02D1D4F4-19D1-4A7F-958C-CC54A24DFBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8fe5dc7b628d11c2ffa299dac6511aa6793694","datavalue":{"value":{"entity-type":"item","numeric-id":2954991,"id":"Q2954991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$17F77432-7C18-4C76-B244-EA75E4E5D87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30824ce5d78a4f51a80bfafc4e90563c8b9a6097","datavalue":{"value":{"entity-type":"item","numeric-id":955350,"id":"Q955350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$9266811F-93EA-4D0B-8A1A-6D2C7D97BD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211530a7d66720062b60e82cf130f31beea4a662","datavalue":{"value":{"entity-type":"item","numeric-id":1975365,"id":"Q1975365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$F830D292-D37A-402F-913E-BADEFBDFD8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$BCC40D99-63CB-435B-849A-9DDE0A145228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41ab95cfd69e10430c9e72fb53fae7f5a4250a3f","datavalue":{"value":{"entity-type":"item","numeric-id":4947393,"id":"Q4947393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$9424F3F8-E12F-4E4E-BA17-C0153C9C5501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ccbb66f253e8aabe9f774ba9414f12634b864d","datavalue":{"value":{"entity-type":"item","numeric-id":383833,"id":"Q383833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$26F9365E-1E99-4FB3-BCAE-54B48214AEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"971ba83d7d765f79fbaf732cdd687bed4bd634fb","datavalue":{"value":{"entity-type":"item","numeric-id":5387860,"id":"Q5387860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$115A861F-EA1C-4A09-A286-1B718A6F1EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$FF5B8DE3-6D11-4FBE-A039-A2870EDC2E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fd41c612f3888f5339ad5bcc277a720f58a90e7","datavalue":{"value":{"entity-type":"item","numeric-id":792885,"id":"Q792885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$E61498E7-CE2C-4C42-8CA8-A16FAA5346F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7935a7a1b24b294effda507df33849d1fce1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5574593,"id":"Q5574593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$0C515D11-02AE-4116-9169-BB7702F3E383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4be033dc1e037b43c1538205386964bc6ef38a","datavalue":{"value":{"entity-type":"item","numeric-id":3514498,"id":"Q3514498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$7A16240D-F39E-4A14-AC46-6F21D49982D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e42c9128d887844233caee1df2a5e2ba33f6baa","datavalue":{"value":{"entity-type":"item","numeric-id":642463,"id":"Q642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$15D349D0-1236-48AF-A400-E02B5B613EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9001c5ea90a954557f0ac10357c47c6f8c94b6a","datavalue":{"value":{"entity-type":"item","numeric-id":967317,"id":"Q967317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$187FE9B3-56D7-4D22-9625-6E50C48B454C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f12c55b040e178750ffd0f77e03165a4078995d9","datavalue":{"value":{"entity-type":"item","numeric-id":3115868,"id":"Q3115868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$D05F457B-D59F-40BA-AD81-B8F5FD8C368F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711716eb4265e80ea2a865477386da09e4c78e1b","datavalue":{"value":{"entity-type":"item","numeric-id":1827785,"id":"Q1827785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$73FE2466-D49B-4126-A167-0586061B4ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d885b753c1488ad65f4361e7a9e731dc32b8ed49","datavalue":{"value":{"entity-type":"item","numeric-id":3109810,"id":"Q3109810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$958DE803-6B88-443E-A7B2-3DA4DB7ED605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a8fed857d4fb526dd40d7f0ce104c9222a33b47","datavalue":{"value":{"entity-type":"item","numeric-id":5283031,"id":"Q5283031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$62DC05AF-B12A-42FB-9604-451363B1AE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2a27ac1359142dc877e852fc55fbeb35704441f","datavalue":{"value":{"entity-type":"item","numeric-id":2946031,"id":"Q2946031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$6A11AA76-2318-4DAB-B9BD-E28C7902BE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b5ab46d8c08f4526d2a3573f107b0f2dddefa02","datavalue":{"value":{"entity-type":"item","numeric-id":4274633,"id":"Q4274633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$85C43B05-52CE-4BF9-8BC7-F2EE8587627B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee9bdbd9786926088840fd488fe60b509eb451c","datavalue":{"value":{"entity-type":"item","numeric-id":4485697,"id":"Q4485697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2411046$3663334A-9E80-48F7-80BE-7926DBCC8568","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef177f957c0b0e78e54984a521715d29da924e83","datavalue":{"value":"10.1007/S00224-016-9715-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2411046$29F29E8C-5910-45C3-B1C5-6B84A3B804EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6cf869ef5740178e34eece1a8555e28b50a0ddd","datavalue":{"value":{"entity-type":"item","numeric-id":3194709,"id":"Q3194709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba3078aa350f3fee7200b11eea43c7dd07c4028","datavalue":{"value":{"amount":"+0.9978005290031432","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":"Q2411046$42DCBB93-6336-49A1-8FCC-EEF43227467C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cae86df0039d8b71b54a7df22140d850632680b6","datavalue":{"value":{"entity-type":"item","numeric-id":5897079,"id":"Q5897079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a4664e43b19c4720d6a1deaa61186a1ed2cea01","datavalue":{"value":{"amount":"+0.8066942691802979","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":"Q2411046$58DDBA8B-0A97-4EFC-91E2-E907D85F2451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5763e537190f9cb222ffb9a431897f264cd024","datavalue":{"value":{"entity-type":"item","numeric-id":5283031,"id":"Q5283031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d33925394a63c9603a700d4720a0be2da72fd4ad","datavalue":{"value":{"amount":"+0.7947753071784973","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":"Q2411046$59F3A15D-29FC-49D6-B5BF-89E9E59A3F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48078a13e984f22f5a3e13cf5e26ecda0f82336d","datavalue":{"value":{"entity-type":"item","numeric-id":3453225,"id":"Q3453225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"803d1786e5200c3a48aa81bfb94b15d35140541b","datavalue":{"value":{"amount":"+0.7939214110374451","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":"Q2411046$A146C53A-7BD4-414D-A045-C6A524A65749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e7036203ff91a735f5ded6de1fedc2f4aaee29","datavalue":{"value":{"entity-type":"item","numeric-id":3006476,"id":"Q3006476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46155b8c23f8f57cc6798d0bbfc3ed938faf971d","datavalue":{"value":{"amount":"+0.7872019410133362","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":"Q2411046$9242AEE4-04BA-43DD-86AE-34CB293E75BB","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":"Q2411046$E4DF0421-4EFB-489A-9220-69FEB5FBB1C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2411046","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2411046"}}}}}