{"entities":{"Q1007523":{"pageid":1009371,"ns":120,"title":"Item:Q1007523","lastrevid":66645600,"modified":"2026-04-12T11:31:35Z","type":"item","id":"Q1007523","labels":{"en":{"language":"en","value":"Translation among CNFs, characteristic models and ordered binary decision diagrams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5530876"}},"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":"Q1007523$08DB7C9E-5825-46ED-9F96-5F0EAB650675","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca0a01359daaf32c58d8978c5d0d8f42b6872430","datavalue":{"value":{"text":"Translation among CNFs, characteristic models and ordered binary decision diagrams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1007523$DB303B7C-2C67-4882-A69D-7B6A94DF4E87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"400e8c77bca68fcc77a0f81499d8c6f6d615d9bc","datavalue":{"value":"1173.68719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007523$15E27D4E-317C-4980-B68D-67FBE85D9328","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d46f0848854fed576fafb62823a6a5d42ab2262","datavalue":{"value":"10.1016/S0020-0190(02)00374-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007523$69DA7BB5-30FF-42CE-833C-B018862D2C47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"135e405fd840330edbc68cbaadd3047c39ff81ac","datavalue":{"value":{"entity-type":"item","numeric-id":744057,"id":"Q744057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007523$9FE36E4E-4215-40BC-8F83-D8C3FE334D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"746535ddb96ae77c4a55cf2874e59b3bf4f00d57","datavalue":{"value":{"entity-type":"item","numeric-id":171928,"id":"Q171928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007523$C3CE7996-6DC7-49C5-9FFD-09D4C5D939EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007523$16339DB2-0674-4FB3-B324-DFE4CC8C8A59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f048b9b8a41b82f9765bf157ba4b1fd3be60b72","datavalue":{"value":{"time":"+2009-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1007523$AEC4AE5D-14C5-48F1-AF3C-82ED214F736C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007523$F30D718F-8451-409F-BAA5-C3D26ABE9031","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8941b5312e8aadc1eea70e8c8c7c05b1f86f165c","datavalue":{"value":"5530876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007523$633DC58D-89A2-4E05-AAB7-FBEBC3318537","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2f858c89700f2bcdcb4aed203fdab02f30f2f7f","datavalue":{"value":"conjunctive normal form (CNF)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007523$59D322FC-790E-4B53-9220-EA5FAA50A701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef730321116391b4bed8f79cec27db9055010c38","datavalue":{"value":"characteristic model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007523$D40F5653-0EFD-48CF-904F-22065561F4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f49cbbd2f307a5669b56350bc421ebf3a5ffc2","datavalue":{"value":"ordered binary decision diagram (OBDD)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007523$61C5670A-4AB3-46EB-AFC0-A64111B59243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b3562fa593b0ea952b4d27d20b6ae10babed44","datavalue":{"value":"Horn function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007523$BDEB8379-805C-4949-9242-C99AFA3C9BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1007523$B6245247-F779-4FC8-810C-3388202A8E45","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d6449315e364a2ca951b7e9fd8a1df73e9302e34","datavalue":{"value":{"entity-type":"item","numeric-id":33015,"id":"Q33015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007523$44AA4479-FB5E-4CC7-B821-695DBCBD6C6A","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":"Q1007523$C448BCE5-8B80-4317-A0D0-E9FDCB41C8CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a20371f7aaddf4961db5ce90f5ba312f92408d3","datavalue":{"value":{"entity-type":"item","numeric-id":1207302,"id":"Q1207302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007523$3830B699-4AF4-43BC-8F79-5161D304C3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d546340ddfe5fda8eb7b2c0d584ebd8a3b4ab960","datavalue":{"value":{"entity-type":"item","numeric-id":2508337,"id":"Q2508337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007523$2F20306B-53C4-4F91-9BD0-99580209AF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007523$B2193B21-E6DB-45E7-B189-7FF48837A48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f275b0c7960baec2620149acfd97bb31ebbe0b06","datavalue":{"value":{"entity-type":"item","numeric-id":2506483,"id":"Q2506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007523$CDB688A2-5E7F-4521-8791-1F759E2E02C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e479d55831ea03a30e0994f852f48d4fd164bec9","datavalue":{"value":{"entity-type":"item","numeric-id":4886040,"id":"Q4886040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007523$EBC09C89-CD5A-4D7D-A765-17B8CEDF658A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f2baff2b3fcd933b421c46ded9fa320ffaaebb6","datavalue":{"value":{"entity-type":"item","numeric-id":4862797,"id":"Q4862797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007523$1749EE3A-BEE0-4604-BBA5-41E3A3DB369A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b733d3c598f4f60dac05c662888fe6ef36a0cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3837390,"id":"Q3837390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007523$1B96DAB5-7C77-4675-B5F9-846C5C7F7DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2764217eeefdc62c8abb0cbad5fc17063c61dd9d","datavalue":{"value":{"entity-type":"item","numeric-id":1605409,"id":"Q1605409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007523$251CC3F6-B0D1-45B2-B94F-DF255B64B05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf418c731ce41f8921b41150ba28e8a0b505e2b","datavalue":{"value":{"entity-type":"item","numeric-id":4218139,"id":"Q4218139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007523$12E38551-7BF4-42DA-BAC2-47D86954837E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ac914eef57218a088a12da85eaf3be244f9043","datavalue":{"value":{"entity-type":"item","numeric-id":1855210,"id":"Q1855210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007523$D850A632-8EE8-4FC6-B1F9-D78B178FA92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8267ac9840e5a7e4d3c45c5e5ac1251058340d","datavalue":{"value":{"entity-type":"item","numeric-id":4871262,"id":"Q4871262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007523$573BE668-6CF0-4A70-B3C2-6F48E8A25786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770462b766b46565e7be9d6abea27d109e3bcff2","datavalue":{"value":{"entity-type":"item","numeric-id":2676579,"id":"Q2676579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1007523$C9CE5561-F684-4CE0-B2B5-E734FBD4059C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd03c70424a0e5211080ee670a0a33813bfc8770","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(02)00374-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1007523$AB4E6D52-95CD-4B98-91DA-CDA2B3B22EF9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4a55b7eec926e198a8d194d5f42d5f57c59dd02","datavalue":{"value":"W2077190531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1007523$5DCA2C75-7865-4DA4-902C-07359B51468F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"416bee11ee22bf56b1d369ebb40de1cd866e92a4","datavalue":{"value":{"entity-type":"item","numeric-id":4474092,"id":"Q4474092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"455d28f1bf5051b28affe70806ec8f4255ba82e8","datavalue":{"value":{"amount":"+0.9971654415130616","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":"Q1007523$68F4C32F-2C57-4F1C-BF25-CC459932FD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1a4265bae33b656bdd5cbb2dd2c3b73823bf51e","datavalue":{"value":{"entity-type":"item","numeric-id":1605409,"id":"Q1605409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"815d8a090278db6c53af2a49d766c5aa4aa6b1b1","datavalue":{"value":{"amount":"+0.7981188893318176","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":"Q1007523$7D8B0523-1D4E-43F5-A0DB-4B7C230912E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672b2685a6c3596a7aeecff7354459188599d23e","datavalue":{"value":{"entity-type":"item","numeric-id":4871262,"id":"Q4871262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1c6617764f5bc74afcc3022628a39947fe1da1c","datavalue":{"value":{"amount":"+0.789223313331604","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":"Q1007523$6E0C320E-E341-4296-8755-8AF13A70D9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a803327d011e6106c33ff7686f353408035a198","datavalue":{"value":{"entity-type":"item","numeric-id":4511219,"id":"Q4511219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5466ee49bcb3e90cedd608d24cc3e3bf147f677a","datavalue":{"value":{"amount":"+0.7879557013511658","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":"Q1007523$28080FF2-68A3-4E42-9AAF-CBE05A2CB3EA","rank":"normal"},{"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":"b59beed798f199794d3add7064371d0c2198cda2","datavalue":{"value":{"amount":"+0.7857643365859985","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":"Q1007523$6C8F43E7-DD7C-4486-A763-565CDB9992D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Translation among CNFs, characteristic models and ordered binary decision diagrams","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Translation_among_CNFs,_characteristic_models_and_ordered_binary_decision_diagrams"}}}}}