{"entities":{"Q3007684":{"pageid":3018408,"ns":120,"title":"Item:Q3007684","lastrevid":51269552,"modified":"2026-01-17T13:07:50Z","type":"item","id":"Q3007684","labels":{"en":{"language":"en","value":"Efficient CNF simplification based on binary implication graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908747"}},"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":"Q3007684$6DDB4FD5-0DFD-4A34-9F47-C6B853A4C859","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"773226e89b88a307e4534cddaf52eedab8ee10d3","datavalue":{"value":{"text":"Efficient CNF Simplification Based on Binary Implication Graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007684$F82DA69B-0093-4257-B0B8-8ABDC58BDCE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00daa6bdcd010e379247e0f371f88a4c77677dfc","datavalue":{"value":"1330.68269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007684$D6FB8743-A13B-428E-A6D7-DE9210BDA05C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c3cc8a51cd3f353db336d64df6476d76a8acad2","datavalue":{"value":"10.1007/978-3-642-21581-0_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007684$FE771C95-B676-402D-A2B1-DDB4DAFA3587","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$3AB6E04F-EDAD-4F3E-BC43-DDB80F3BEF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d1d7d14c02d5fd66164eb2f51bc923e39cb8db","datavalue":{"value":{"entity-type":"item","numeric-id":269491,"id":"Q269491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$45A83CFA-4E6B-4710-B5D7-159580ABD530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$9C9B2EE4-C954-4B79-BF05-166FF6A45ABA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6452220a6eadf7eee4b5550999a260b280ba469e","datavalue":{"value":{"entity-type":"item","numeric-id":3007670,"id":"Q3007670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$16BE5F43-7B14-49A3-9DD7-FC4D3630D3B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007684$92C79A36-6C3D-4820-B553-DC68A8245BD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007684$CCC6FBC2-D513-4076-AD43-B84C8456035C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007684$08E9AD07-86F1-4A6D-85EF-E93BC6DFDFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007684$939CD46E-F639-410A-B540-7845B1524A59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d39ecd433a66601f9f016afa240c30cdadbbecbc","datavalue":{"value":"5908747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007684$1B617C4F-7FA2-480D-9C5F-63BC824A0148","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$944A1C0A-B739-42DC-8F9D-41EAD7AE0729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$7ADBE654-8208-43A4-9ED9-05A7872ADE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"71a80c8d86a299205c3fb7c2d9469eb3eb7657d4","datavalue":{"value":{"entity-type":"item","numeric-id":19848,"id":"Q19848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$27E4A4F9-2D49-4F99-9A35-58C8EAE33E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$A3DF94BB-2BCE-47AD-B975-A65FC90ABC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3b163eb2acfaa09d2ebf57c54881fcc37ef41973","datavalue":{"value":{"entity-type":"item","numeric-id":22051,"id":"Q22051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$274575A3-ED7A-4787-8BAF-C7B2EF03D289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56a9ecaca2ef35efc3f134af231037d82db08c02","datavalue":{"value":{"entity-type":"item","numeric-id":21683,"id":"Q21683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$171EE252-F951-4893-85E5-D2BA1C981BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83e2dec25ea583652d0e07d4393a843812f4b48b","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$B53DBE20-6316-49B8-AF9C-854D13779D0E","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":"Q3007684$97E2848E-6643-43ED-BD59-4FCD15075018","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c26600edc9e6d3c7407f1ef5d3606b5331af5558","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21581-0_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007684$37AAF73A-E2CD-4E7D-8747-33F983C25B59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"041d136b18c5370f971f26f9134d104330f42d99","datavalue":{"value":"W54305883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007684$CEC456C8-E44B-400E-8C83-1D068C39C786","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$BFA13AAD-E816-4043-9000-55DCB48C3F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e71ce7d346ba59e1ba5371b079177abbcf6c0335","datavalue":{"value":{"entity-type":"item","numeric-id":5713736,"id":"Q5713736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$BE51B3AB-D1DE-409E-8381-DDCEB833C6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcb0e71d083cf8486de0b4db45626afe5608e21","datavalue":{"value":{"entity-type":"item","numeric-id":3557074,"id":"Q3557074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$B023832A-4CC7-4976-88AA-3E95B0EC78F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4140c1175bddc4c685fd37c0a5c7adcd0a184434","datavalue":{"value":{"entity-type":"item","numeric-id":4933317,"id":"Q4933317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$B36CBDE3-DE4B-4587-8B7C-D126D89C5D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a3fc88bc4906c2e0e29d5cbbde5c2340386638","datavalue":{"value":{"entity-type":"item","numeric-id":4473057,"id":"Q4473057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$77E773AA-419D-4C55-B0C8-07ECD0F212C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d9ba67f57cf9c2897ad8e5e8d8cd96aec256175","datavalue":{"value":{"entity-type":"item","numeric-id":1777406,"id":"Q1777406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$0871BE31-0381-44B0-8BF2-1A2FCAC3E8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b37db1f75b1fe2bd91d3915bec89ade0194420","datavalue":{"value":{"entity-type":"item","numeric-id":5659571,"id":"Q5659571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$FB04856C-1D49-4E70-8DCD-7C614200B5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ffdfd6ec1da38c01adee2f5c771788b1610fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2996178,"id":"Q2996178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$FD382E1F-4F93-49DC-B785-CC92B1B956B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$61DC1509-708E-43EC-9D26-AD9B492FEE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5599c727c68e4936c0ccf354ebed0f80ea71a399","datavalue":{"value":{"entity-type":"item","numeric-id":1977753,"id":"Q1977753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$655B7A28-FEBA-4CF3-B132-DE8A844B2055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007684$58F38208-893B-4D93-9F6E-5EE51FDB66BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56e7d4f963e6140eee104f8bc9927781326d99f0","datavalue":{"value":{"entity-type":"item","numeric-id":4933317,"id":"Q4933317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb685563150d79d6cd20b4c0363d84b60320ceb","datavalue":{"value":{"amount":"+0.8302972912788391","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":"Q3007684$117FC664-9521-4FC2-8B83-0191C7EE5741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994e5f3e3e72ca81969fe53e5c106688e758e8b6","datavalue":{"value":{"entity-type":"item","numeric-id":5713747,"id":"Q5713747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb634c8115be30f2bfb19731f6bf047abc312f8a","datavalue":{"value":{"amount":"+0.8147175312042236","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":"Q3007684$E2C39EB0-E1FA-4FDA-81CE-D44DCBA95E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"788f0a16c79ab56e04ce284ffb35c3613ed56c1d","datavalue":{"value":{"entity-type":"item","numeric-id":352967,"id":"Q352967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b4f4533b32188e108a469972430ae5f6a0595a","datavalue":{"value":{"amount":"+0.7838549613952637","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":"Q3007684$08BEDC3D-A72D-4EDB-94AC-B137799777C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e5b1798403376792d8265ca79d0e4ebe4cd8ce","datavalue":{"value":{"entity-type":"item","numeric-id":3192056,"id":"Q3192056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a20b6608b47e68ebaf7ca3b3e672075a2f9b6f43","datavalue":{"value":{"amount":"+0.7692971229553223","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":"Q3007684$E3F5050B-AEFD-46F8-961D-C96C94C58276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7b3faa9abd503adab345f00e95ef47b1edf47c","datavalue":{"value":{"entity-type":"item","numeric-id":2941732,"id":"Q2941732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd0aea8c4f0501d151a1760e51cc4e3e7e785f2","datavalue":{"value":{"amount":"+0.7654635906219482","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":"Q3007684$8EFBA569-7D62-4118-A894-7C4EBD47AE07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3007684","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3007684"}}}}}