{"entities":{"Q1680686":{"pageid":1691427,"ns":120,"title":"Item:Q1680686","lastrevid":52958306,"modified":"2026-01-23T22:03:49Z","type":"item","id":"Q1680686","labels":{"en":{"language":"en","value":"Quantifying conflicts in propositional logic through prime implicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6807706"}},"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":"Q1680686$8608A057-47FF-455D-8B47-B7FF28E9C9A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77a8994a2236eda987251b8653a37217169dd0c3","datavalue":{"value":{"text":"Quantifying conflicts in propositional logic through prime implicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1680686$A00B46E1-10B5-4921-975D-945D445438B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c39922ccba989b120486c7d05a6ffce9dfe79cb8","datavalue":{"value":"1419.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680686$951BAB65-3218-4808-9AEB-F78F1E7E7B86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd190eaa93a6e3db5e875a17164de4c3690b8124","datavalue":{"value":{"entity-type":"item","numeric-id":309777,"id":"Q309777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$AD9C0B43-316D-4B01-9BEE-91B6CD0D4565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd5d8bed737c69ad3faae6b21dc8fca84d8ccb44","datavalue":{"value":{"entity-type":"item","numeric-id":783047,"id":"Q783047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$FD7F492C-3E14-4E5C-956C-CA2B0069554A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52131f929e9d2e69942ba82e4ebb686db4e996da","datavalue":{"value":{"entity-type":"item","numeric-id":427558,"id":"Q427558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$F0D9C9B1-AEFC-416B-8E5B-7289E2CBD74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a1d5a8e56d6b30e8a20d7354b7c9976e279101","datavalue":{"value":{"entity-type":"item","numeric-id":427559,"id":"Q427559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$868CCE39-BF0B-4117-9DC4-910C31582AD4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$AA2E9591-5DC6-4BFE-AC4E-6E621CFB7E97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31b4e05ce401552e06c39f98d03ca03d178174b0","datavalue":{"value":{"time":"+2017-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1680686$6CFFBC33-6640-4DDF-B3F3-66B0C9DE173A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680686$19813E52-87C2-4893-BCC3-5DA3786AC3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680686$C37A9211-292C-4707-A9C8-35CF77ECA235","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c12f760fd0b54bff8679077ba66b4656fa3bcba5","datavalue":{"value":"6807706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680686$C84639F0-021E-41E3-A025-8E5808069C2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680686$5C308C05-263F-4E51-8F15-2FC8BF4572C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e67025eab58edc79227594f04debd57221c74538","datavalue":{"value":"inconsistency measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680686$F9B7957B-E4C7-4500-AF91-6CBB5CCB6229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680686$D4BEE5D7-2C81-4857-BAC5-6E446F426BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3c78fc8641bcb743a182ccc2005c9de6cf9e108","datavalue":{"value":"conflicting variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680686$E9E12847-8087-4155-98E2-35A106600976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ebaf8c68af2f167f6db4495cf5a023c843d6de0","datavalue":{"value":"prime implicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1680686$31B5768F-3847-4FA0-BF91-BBC3E0745AFB","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":"Q1680686$E3934598-34A3-4EFA-B5E4-49AC178EEBBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87fb5fdae4f79a2184c7a4bdfe39a29c3dc30f04","datavalue":{"value":"https://doi.org/10.1016/j.ijar.2016.12.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q1680686$9FD83DF3-925F-4E46-A4F6-47A7782371F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a243909bcb407f047749f8db48cf1fd2d8eeb06","datavalue":{"value":"W2569984386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680686$60AE6835-C36D-456F-8129-76730EC955B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53c19690be6d404186d9aa13271e376ea6d0334","datavalue":{"value":{"entity-type":"item","numeric-id":5464025,"id":"Q5464025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$44B6FF2B-CA77-4D40-B73D-8CF778679BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27540f05b104b11a1f61b5c41439fd4c3acf3faa","datavalue":{"value":{"entity-type":"item","numeric-id":1217107,"id":"Q1217107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$4AF6A706-C3E1-49C9-BC04-FF004E69CC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d26216cea90cdbf89c2c965e2bdea9b6709928c","datavalue":{"value":{"entity-type":"item","numeric-id":3524922,"id":"Q3524922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$4F3586EB-DB8D-49AA-B196-F85D21DC881F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d19b4d6de3008c98a2754e2d3582585e3fe225ea","datavalue":{"value":{"entity-type":"item","numeric-id":5326421,"id":"Q5326421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$D5B5B7E7-DFE7-4A81-98F3-F26FBF182DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"561faae21616f6b3622bb3508791dcf92b4fa8e1","datavalue":{"value":{"entity-type":"item","numeric-id":3225382,"id":"Q3225382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$24F28691-B815-4C7A-8CE0-A12060C6ADF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed167a0f9f5dee961d49b95d0f6953f9b7934b4","datavalue":{"value":{"entity-type":"item","numeric-id":2565610,"id":"Q2565610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$B24E2D6C-EC1D-44CC-A2CC-A70E837C22BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1e6a644e371f161540df62960c8a603ee054f46","datavalue":{"value":{"entity-type":"item","numeric-id":2389648,"id":"Q2389648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$644CD87F-005A-42A0-968C-5A4A530CFB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5b84ab59e4f7f89af45f066cf6280ff0b0c9535","datavalue":{"value":{"entity-type":"item","numeric-id":3103984,"id":"Q3103984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$47ACBC0B-E925-48F1-9A23-72DA248F2DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb9e850ad94231f7e7705baa4ba21496bd19c85","datavalue":{"value":{"entity-type":"item","numeric-id":3455621,"id":"Q3455621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$F93B2F47-BE0F-4EB3-8C45-8A1C01C54C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84778052e7c5fb8c415d001df1e41878c395d9ef","datavalue":{"value":{"entity-type":"item","numeric-id":5326427,"id":"Q5326427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$FBEEAD40-BC62-4027-AB1B-D6836BF7D510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"028c536701bc67150f380a2245ea5fdde4ea7d54","datavalue":{"value":{"entity-type":"item","numeric-id":2893320,"id":"Q2893320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$A387E06E-B4E0-4BA8-BC65-1EC274C7B902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51af481f6c5a3351d7781f505cc85d26a1a6c0b1","datavalue":{"value":{"entity-type":"item","numeric-id":622103,"id":"Q622103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$B1043100-EEB4-452F-8B48-C157EE2F2F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f38b5cb060f32f4803253ed06fbd168124f3e42","datavalue":{"value":{"entity-type":"item","numeric-id":648367,"id":"Q648367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$B6901531-41ED-4891-80DF-D608ABB0AF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce3671c1e58c5f8f5eb1f61752eb867b0a63344","datavalue":{"value":{"entity-type":"item","numeric-id":1274293,"id":"Q1274293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$82237F3A-FB2F-434F-9805-654E701D73EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2a9ed985be7988336c3c470de62e8e3ba5fbfd","datavalue":{"value":{"entity-type":"item","numeric-id":891774,"id":"Q891774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$246FD641-F84B-467A-8830-76A1A0F63DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$3B7AB023-D3FE-41CF-A93C-29A0EC3F07E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b377dc4f14b7641ea005821559fe74ed2575d6","datavalue":{"value":{"entity-type":"item","numeric-id":1610611,"id":"Q1610611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$05F74BC6-5D38-4ABD-A3DB-FED297B4D4D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66fba8113044b65bcc3a3277a1189167a2baace3","datavalue":{"value":{"entity-type":"item","numeric-id":991003,"id":"Q991003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$CD10FAC3-6277-4610-9467-2D2708F19991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd871b21dffdb1c4772f23fcf5bfe2deefc51f7","datavalue":{"value":{"entity-type":"item","numeric-id":3451184,"id":"Q3451184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$5E7BCA3F-0EC5-4234-896C-AE47575361D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbdd64f9bc97be86ca91e418859cd577f72009a","datavalue":{"value":{"entity-type":"item","numeric-id":648360,"id":"Q648360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$272A3DB3-5E4A-4636-891A-C5243B07530A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b41b1d9054fb0a3b199d1eff0063f2dd2789347","datavalue":{"value":{"entity-type":"item","numeric-id":360045,"id":"Q360045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$5518217D-8001-4AAA-837F-D3C2923E08AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9a2ed8c7690ca5501f3c18cf5a751ca11d43a7","datavalue":{"value":{"entity-type":"item","numeric-id":4789893,"id":"Q4789893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1680686$1A1A5DF4-7E11-4A81-9B35-1BE24A68F6AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47471e5e3c76ce47cf60297e6a1a5ddbab89ca22","datavalue":{"value":"10.1016/J.IJAR.2016.12.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1680686$54EDBE17-AE37-48A4-A9C1-A3888FC527DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb7470177a130c851cca368f62f24dbee4dce89f","datavalue":{"value":{"entity-type":"item","numeric-id":4685531,"id":"Q4685531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b1081ab73f15d92f2b0ade5efe0931e2344926","datavalue":{"value":{"amount":"+0.809879720211029","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":"Q1680686$D4802D7F-261A-48E2-8BF9-871391D87938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5fc4fca2c77bf1232f42c8ccd255577a7f3a87c","datavalue":{"value":{"entity-type":"item","numeric-id":5326427,"id":"Q5326427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6f29319dc0c45416f57c28292e9705cc42db6e","datavalue":{"value":{"amount":"+0.7868881821632385","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":"Q1680686$9F01B54C-51B1-406D-A82F-691081C9FCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8cdd71a13ee3ce85fe0cf2668ba0b3fac49840","datavalue":{"value":{"entity-type":"item","numeric-id":4576231,"id":"Q4576231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21d8a536c8cac5b5e4909854cb8d2842f74d9ac1","datavalue":{"value":{"amount":"+0.7850600481033325","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":"Q1680686$19482AF4-1014-4607-BF93-48554805ECC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3de6062781ffd69b14f9a0fdfd0aac3a2d1eeef5","datavalue":{"value":{"entity-type":"item","numeric-id":2374545,"id":"Q2374545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64826dd25ddcaba35bdba09924d71f7531f821f8","datavalue":{"value":{"amount":"+0.7793347239494324","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":"Q1680686$EFD45EB8-D472-4D5F-9933-74B545C2FBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fe2f986a8c78916f7f243f98a38c16c9fa97409","datavalue":{"value":{"entity-type":"item","numeric-id":3451184,"id":"Q3451184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b64d7ac403d07a6d98f481d66c006b8665d146","datavalue":{"value":{"amount":"+0.767503023147583","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":"Q1680686$CA73039B-ECC3-40EF-A853-90A933D660D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1680686","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1680686"}}}}}