{"entities":{"Q4243266":{"pageid":6272867,"ns":120,"title":"Item:Q4243266","lastrevid":88714649,"modified":"2026-06-04T15:15:43Z","type":"item","id":"Q4243266","labels":{"en":{"language":"en","value":"Computing prime implicants via transversal clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1287874"}},"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":"Q4243266$CE8063D1-C46E-415D-BC4D-0DCA1389505B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6033747cab17497bb0cdb8efd4fa64a9f2af246b","datavalue":{"value":{"text":"Computing prime implicants via transversal clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4243266$34A3CCB9-9F70-4320-9D60-5554F88322A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e6fe9ae21ee6f785c473e5977efe90d443e8e61","datavalue":{"value":"0927.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4243266$9C0CFCD7-9134-4FAC-80B2-4124D919DCB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2ee22da0719fc916f57cde13515720e1dc19fbd","datavalue":{"value":"10.1080/00207169908804764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4243266$5736C88F-0BB0-46C4-B246-ED5424F76DE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f41c21c2d1d6fa97e47966607cb4f740348cddb0","datavalue":{"value":{"entity-type":"item","numeric-id":316596,"id":"Q316596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4243266$814D19CD-199F-4085-87AA-7686A1F03C9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4243266$7B682C20-9FA7-45E9-B165-77BEAC18C061","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9ff749b3707f7cb215f4483c5a296daee21d1bc","datavalue":{"value":{"time":"+1999-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4243266$806E61FF-310D-4B0B-854E-8E0086C2FF61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4243266$BE296BA4-FE8B-41D1-9FDA-1ADC97109D56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aae273eb983789acb1f43e462b96bd7cec7fcc85","datavalue":{"value":"1287874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4243266$ADEE514A-45BE-4C03-B44B-89EC5BF27692","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"547d33fe5c5b212b36aec6dca5a2b6354e624877","datavalue":{"value":"transversal clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4243266$337797B5-64EE-4E6E-8069-EAA2A70E4E1C","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":"Q4243266$5103CFE5-403F-4098-9A44-4182E1749FF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd2d888db67a4091980baf613f42f955d93bb2cb","datavalue":{"value":"https://doi.org/10.1080/00207169908804764","type":"string"},"datatype":"url"},"type":"statement","id":"Q4243266$18DBBAFA-FA46-4201-AD95-16535B93585B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6bfc42c24fb26311d646fc300f82b0ccaae5c1d","datavalue":{"value":"W1985698120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4243266$A6C82661-59C5-449A-8335-14F847DD2B9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"45cc2363be2a12bd9971ae6fb9370037234d3ab8","datavalue":{"value":{"entity-type":"item","numeric-id":1251656,"id":"Q1251656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4243266$3948DFF9-6274-403A-A38F-18463A2CE9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f2d30ff9736e273353ee12998df77eb6b21c13","datavalue":{"value":{"entity-type":"item","numeric-id":917336,"id":"Q917336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4243266$9A799418-FB7E-4F78-A2DE-7F3EEA242535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d74de14e4a0933fb7b243db8bf6771302e5406","datavalue":{"value":{"entity-type":"item","numeric-id":5594188,"id":"Q5594188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4243266$6CBDBFF7-94CF-4B19-B6B0-B6FCED387804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87fd7ce01d63f9258f245995768f8aac966fa09e","datavalue":{"value":{"entity-type":"item","numeric-id":809622,"id":"Q809622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4243266$2A7CBA7F-41D6-4A5E-876A-4FD7D888CA10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373105376c37507e10d4835337ef68ba9fac72a5","datavalue":{"value":{"entity-type":"item","numeric-id":4464262,"id":"Q4464262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55e5f7cf1c33413f1a0f5e768479aab1473d1e49","datavalue":{"value":{"amount":"+0.93778396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4243266$A818BEA1-51A9-4ED9-8227-4568118B3473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d88e62012da57e08bc2a27a6ed10d659a688f14a","datavalue":{"value":{"entity-type":"item","numeric-id":4282528,"id":"Q4282528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f256d651844dc44654c27a2c7b4e24ce499a078","datavalue":{"value":{"amount":"+0.9190742","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4243266$CE61478B-63BC-47F8-BAE6-267E9813FD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3a0eec6c4aec493cf9623d3338d5c33a0f2e081","datavalue":{"value":{"entity-type":"item","numeric-id":4600725,"id":"Q4600725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6661be774eff9e621fe420692ed1af5c63675d9","datavalue":{"value":{"amount":"+0.8925647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4243266$6B0BD186-81BE-4F7A-9078-4A0E0FA33F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a61a1c05d97798b2ed2ad499aeaf3d16ebbbf2d9","datavalue":{"value":{"entity-type":"item","numeric-id":4360109,"id":"Q4360109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58808124ff8caf3397b474f96f457e144b62788","datavalue":{"value":{"amount":"+0.88804215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4243266$3DD0A9D2-7CBE-41AC-9AAE-F3594AECDAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c5b28df8673113f6613bd759bdece9b1ac5cf7","datavalue":{"value":{"entity-type":"item","numeric-id":5410643,"id":"Q5410643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bff98fbbd5beee628e8956399662ca784662040a","datavalue":{"value":{"amount":"+0.8822992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4243266$8B97CC6A-6C1D-4180-9C3D-F506463D0C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d680b2c10c74bfeabb9b813da6650751f008446","datavalue":{"value":{"entity-type":"item","numeric-id":1680686,"id":"Q1680686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61a4ee942106b5e4afa09b76dda12e9dc1545c6","datavalue":{"value":{"amount":"+0.8797852","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4243266$C57083E0-7262-4CFE-8B21-2590866321F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e6902b64e1b718289182e4f48efa63d61cc412","datavalue":{"value":{"entity-type":"item","numeric-id":2938491,"id":"Q2938491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42dbcea85b14eaee5a047b2a75bcc56d91045559","datavalue":{"value":{"amount":"+0.8779385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4243266$5C55E87A-7BF5-41A1-AA2D-3A684CB448D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8886d6c186b39415be9a12742f4135a11de69bf","datavalue":{"value":{"entity-type":"item","numeric-id":3821577,"id":"Q3821577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b69f8e6325337bd3da897e8d723f76c732ff525","datavalue":{"value":{"amount":"+0.8760316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4243266$82D8C791-D79E-497A-94A3-5C42242C8E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3799db0593951ba3949f675c6204f23765a46b76","datavalue":{"value":{"entity-type":"item","numeric-id":4724674,"id":"Q4724674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477545c039cd0be691ea1121b6c0582d136a6a46","datavalue":{"value":{"amount":"+0.87332094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4243266$DC69BCA2-A63B-4A21-A495-C17A15BEC2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f00e07fecea1dca3d1e7d1167b5d8a6dc4a825","datavalue":{"value":{"entity-type":"item","numeric-id":3192186,"id":"Q3192186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6a518372e6779b779b733b1df9a99cfb3012681","datavalue":{"value":{"amount":"+0.87218577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4243266$0CA0D508-1666-4C93-AAD0-DD8583FA4D36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing prime implicants via transversal clauses","badges":[]}}}}}