{"entities":{"Q3133151":{"pageid":3143867,"ns":120,"title":"Item:Q3133151","lastrevid":45519463,"modified":"2025-12-10T01:48:49Z","type":"item","id":"Q3133151","labels":{"en":{"language":"en","value":"Computing prime implicates by pruning the search space and accelerating subsumption"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6837725"}},"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":"Q3133151$190CBA72-44B6-4205-BC6E-F4D1FB0388D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"116e673f56e26537f533f07bf13d421c2dbfcacb","datavalue":{"value":{"text":"Computing prime implicates by pruning the search space and accelerating subsumption","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3133151$0317E46C-8597-4A70-9B1C-D75A7DA29653","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c06c56ff144c31ec2f2838e11d26e508881b67ff","datavalue":{"value":"1380.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133151$F7B25A9D-4FC2-4918-83A6-A1BB068843E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1682f4ce0f09c11cf40a800c85f934535e27b2d3","datavalue":{"value":{"entity-type":"item","numeric-id":3133149,"id":"Q3133149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133151$A7E9CC22-0704-4DE0-9D45-BF2E1CCD8C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0aee48f57bacf44e01af9bc56c6eda958ae06c8","datavalue":{"value":{"entity-type":"item","numeric-id":211660,"id":"Q211660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133151$C152DD32-44E5-4A81-BB4E-45D0BECD49AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8b5cdb5e0ab6130078a948bd44fc1009be85559","datavalue":{"value":{"entity-type":"item","numeric-id":3133150,"id":"Q3133150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133151$FCAB7BB2-95C0-4E5B-8239-D7B397806882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f22a4517439b77712eaf9ecd1c0d2bab5b4d082","datavalue":{"value":{"entity-type":"item","numeric-id":211661,"id":"Q211661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133151$3825AAA6-E23A-4D68-AA6A-8CC0EEDEF7F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee53210b31b3a9f4fe71da2550e4c06c4d383198","datavalue":{"value":{"time":"+2018-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3133151$D284DCA7-9758-44B1-A092-019984842234","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133151$C271F8DE-91D1-4649-ABC8-3604ECAB8297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133151$3F6D6EC4-7CF1-4D9E-BC96-9B48579C37D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133151$9F96F929-9D82-4641-BFC3-54D493ACB50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133151$6A621319-2AEB-446E-8A35-E0F569C06509","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6dec4303915cb01b88062698a069218dc07f6c0f","datavalue":{"value":"6837725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133151$2C10DC21-188B-4528-8AF0-59238C51612B","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":"Q3133151$009F2397-5080-4A2F-8A27-EF1CB1739633","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ecb407b287155aa1ab82841d57247db0a121d36","datavalue":{"value":"https://doi.org/10.1093/logcom/exv071","type":"string"},"datatype":"url"},"type":"statement","id":"Q3133151$19ACC208-20E3-4F02-A45D-DC2D4DA252BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"889cd70bc954473dcc74a17784573ef628aa2f59","datavalue":{"value":"W2587854631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133151$42D81A08-778E-4B63-AD72-BCA0FD8142A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86e75ab800ba974a9bcf73cd912996fa08ed97e7","datavalue":{"value":"10.1093/LOGCOM/EXV071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3133151$70E92E2F-2FD7-49EE-A810-4F86AB9EB1FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3133151$5D776180-94C9-4A8D-BE9C-9540CDDAE3E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00627a547c1cdf646339f39d33fb7e3913e9dbff","datavalue":{"value":{"entity-type":"item","numeric-id":1283201,"id":"Q1283201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fd5c0ee15b9c809c85447b6c3d45d1dae45ded9","datavalue":{"value":{"amount":"+0.8986613","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":"Q3133151$F2F84953-DB54-48F6-806C-FD305888DD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7765be794efebb7c75576cd0c160347e09d88f28","datavalue":{"value":{"entity-type":"item","numeric-id":1606302,"id":"Q1606302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d6afa571ae81aa5374f02193841f47ddfbd99b","datavalue":{"value":{"amount":"+0.89234114","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":"Q3133151$60D3804B-0334-492A-99D1-1FBC6A635C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ad8bff263c5a738cee2a34d73db0c65e41e7418","datavalue":{"value":{"entity-type":"item","numeric-id":1190532,"id":"Q1190532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a60fb0f55f330b03a76cfc0829720061bd433c","datavalue":{"value":{"amount":"+0.88934374","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":"Q3133151$D87D5015-9883-4EDC-ACB5-2A60B4255634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c9d01a1c6df6c5eb2c0010024c2d19af6fb631e","datavalue":{"value":{"entity-type":"item","numeric-id":3568273,"id":"Q3568273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b9a2925eb799ecbeda5d373a11ff36a9ca705a","datavalue":{"value":{"amount":"+0.8885603","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":"Q3133151$90220E57-6221-4639-B344-6F1AAACC9DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da5e4e7a9b0cd57b3b98caea0ccca6b820264de","datavalue":{"value":{"entity-type":"item","numeric-id":4140891,"id":"Q4140891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff5ec0f92664d8e512e2b21d0b9ce319c0716287","datavalue":{"value":{"amount":"+0.8856055","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":"Q3133151$53FC3F55-7FFA-4031-84F9-0D2C767F4E6A","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":"79f4ed1f29c23e9e8f12019a41af9df499c036c8","datavalue":{"value":{"amount":"+0.8817891","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":"Q3133151$5F4836AC-F79C-4645-93BF-EEC2A15F8E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7be220fcdbbcba624f28ef54fe592d6840c88e","datavalue":{"value":{"entity-type":"item","numeric-id":4934645,"id":"Q4934645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e623b9f01cafc29737ff9c4f48bba1082a1e672","datavalue":{"value":{"amount":"+0.87945163","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":"Q3133151$B54EDDEE-EA16-4418-BE44-E69465C89711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d764ea8cb84f0ab1d39c1e4d3bf6fc2acb5fba69","datavalue":{"value":{"entity-type":"item","numeric-id":3698700,"id":"Q3698700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a87c97ca7e3c5e3074ad5060184392999ae57690","datavalue":{"value":{"amount":"+0.8781349","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":"Q3133151$E3639AF5-15A9-4CC7-83C2-2271D4AFF771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d5347569d18bdda49615bb69ecde5edd12f6cc","datavalue":{"value":{"entity-type":"item","numeric-id":917336,"id":"Q917336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e196bbe84aae797299992c1cf2a1f63ffd5d1edb","datavalue":{"value":{"amount":"+0.8729431","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":"Q3133151$C56DAABE-D92B-4CF3-8D1D-AFA58E2443DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3133151","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3133151"}}}}}