{"entities":{"Q1924815":{"pageid":1935557,"ns":120,"title":"Item:Q1924815","lastrevid":43426674,"modified":"2025-07-25T17:49:14Z","type":"item","id":"Q1924815","labels":{"en":{"language":"en","value":"An SE-tree-based prime implicant generation algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 937299"}},"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":"Q1924815$0BB91529-8718-4A85-B1C2-DB474811FF77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"053fec7c4f6f8b8c943a0f67852d61a46adcea14","datavalue":{"value":{"text":"An SE-tree-based prime implicant generation algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1924815$EB479621-DA3C-4377-8BF1-605F499F1885","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81fd615b2d2049482da0c50fd69d3dc283ad1f29","datavalue":{"value":"0861.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924815$7C90ED55-7C72-406F-9F42-45C5C3B4A4CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a5b35e94c92b61fb3522fca1ad661225866c920","datavalue":{"value":"10.1007/BF01530750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924815$71C0A795-200B-4942-8043-EFD9776D0F5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cb1f640bc8818187f7bbcea216f2060db862c2e","datavalue":{"value":{"entity-type":"item","numeric-id":1924814,"id":"Q1924814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924815$EFD39D55-92DD-4F63-884E-9230CE393319","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924815$A68ACD26-6D54-4F05-9DD4-14BB69F96EFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18c3bb1a11dba9f99423cf053a5921485bdadd22","datavalue":{"value":{"time":"+1996-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1924815$21778F58-F72E-4599-971C-FC4209255BCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924815$7B31B410-E7FC-43E2-85D1-1221E5722F1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"813da551f54fbacbfe4fcf3d1a5b62bcd917f1ae","datavalue":{"value":"937299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924815$FDCA242B-A935-4540-85ED-CF461DE89691","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bc8c5bbba976a2d4a04cff9c97ee9567968b27","datavalue":{"value":"prime implicants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924815$58EC09C3-A8A3-495C-AB31-28733CF564E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d79bd181a2f28800b00aa5e6abac2051f074951","datavalue":{"value":"PI generation algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1924815$BA37B733-E4F7-47E9-8EA2-D7FCEBB48F5C","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":"Q1924815$78B184F7-27AB-4ED2-9BE3-47A600D76668","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d703f425e2cd9d5990923afa9390325a818d3a22","datavalue":{"value":{"entity-type":"item","numeric-id":1836483,"id":"Q1836483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924815$5EE43196-CE30-427B-B70F-E53CF6B79C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919ae8098d5b29c7a0790b1aca3f35e61168b7fb","datavalue":{"value":{"entity-type":"item","numeric-id":5750448,"id":"Q5750448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924815$740B055D-0435-44F4-B9CA-EB4B857A59D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f927a92bfb7361a8954519f1790a19e0db351e9","datavalue":{"value":{"entity-type":"item","numeric-id":1123640,"id":"Q1123640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924815$8036BBFC-4C9A-4925-B171-2BB2810D29DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a062c7c896a22ba205263b316e2103cd82761158","datavalue":{"value":{"entity-type":"item","numeric-id":1124378,"id":"Q1124378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924815$91F89F25-8796-4CAF-8A0E-C326F190B01D","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":"Q1924815$0F874FDA-C4F9-4F0C-BF33-34A6C7A1D3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a322072d61e727264c22e3579c7d0b7212edd6f","datavalue":{"value":{"entity-type":"item","numeric-id":5814795,"id":"Q5814795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924815$F59DFE9A-39F9-47AD-9C05-9EECB4CB353E","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":"Q1924815$9C027014-0795-44F3-923F-34E897E2F657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f0cf2b8270f6087b7bc3862da42dbac9e1bf1f","datavalue":{"value":{"entity-type":"item","numeric-id":88168,"id":"Q88168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924815$FE01B492-6655-4805-BD7F-A6D60645B637","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":"Q1924815$9B4FA06F-52C5-4B1D-99A4-66579BF807FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1df4d304286c4522b2683ebe5a1d879428d7bf","datavalue":{"value":{"entity-type":"item","numeric-id":5750452,"id":"Q5750452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924815$8B0F4915-2F8E-4CB9-B100-441F4179F9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc6e689ca9104617943bd76b284824e0c9ceb6bd","datavalue":{"value":{"entity-type":"item","numeric-id":3707420,"id":"Q3707420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924815$71388208-185F-4D9A-9817-607F1140ABFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2c596f441194f665042523a84d61390b03b68f","datavalue":{"value":{"entity-type":"item","numeric-id":5540882,"id":"Q5540882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1924815$67A515D3-E332-483F-AC40-86D447C628F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc681fc19d16b57a348168126c8bb3e2a6b98f2c","datavalue":{"value":"https://doi.org/10.1007/bf01530750","type":"string"},"datatype":"url"},"type":"statement","id":"Q1924815$64A521F4-9B33-4919-8373-129A50894037","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91b62a40c7e2fa8e67cec6a4acc36f642a2854df","datavalue":{"value":"W2014832702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1924815$D3ED97DE-4B5E-4508-871A-BF1BDA96537B","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":"3f3f65a2a891abcd6cd9f883914a296f877a7300","datavalue":{"value":{"amount":"+0.9171738","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":"Q1924815$55A6B673-EA65-41F4-B5B3-985E969030C5","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":"36e0ae1c4af275093e10175bb297f59465668aaf","datavalue":{"value":{"amount":"+0.8978722","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":"Q1924815$51382C0B-86AE-425F-BB7D-C4F6082792F4","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":"0cf7c5e86a99d8490199ccab203f3ef1707cfcb1","datavalue":{"value":{"amount":"+0.8919816","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":"Q1924815$F1AF4290-3D83-464A-854F-5EC6A39D1147","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":"1bb65e9188909899bed20c9bd264c314885108ee","datavalue":{"value":{"amount":"+0.8896383","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":"Q1924815$576240A1-D602-424F-AEF4-DCDF95C095EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b109f82dec21501e285b321442ae4f90df42df","datavalue":{"value":{"entity-type":"item","numeric-id":5187205,"id":"Q5187205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6eda0740113f7b1eaf6585c37eb7ef52c0b73e0","datavalue":{"value":{"amount":"+0.8876302","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":"Q1924815$905CEC86-FFEF-4A82-B5C8-0D0CD4A1E311","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":"0fcf8391257f0152ffa4e7e94607b1b1fba64d3c","datavalue":{"value":{"amount":"+0.8782959","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":"Q1924815$BDD3F68D-6456-4BFC-93B9-CB441289BC2B","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":"0acbbf6b7137c09fe16e926a03f8651a17f3daba","datavalue":{"value":{"amount":"+0.8621563","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":"Q1924815$3E741AF5-5C1E-4F47-A220-B53CECB43311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"310a2ec21230e2aac5f57d387db124a2bdebc45a","datavalue":{"value":{"entity-type":"item","numeric-id":3133151,"id":"Q3133151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c80cf358845d36b89717a4ba12024a23587ea944","datavalue":{"value":{"amount":"+0.85344493","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":"Q1924815$352D307F-E621-44D4-B90F-8838E5B0DADE","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":"b6a3443cae8a50f260dd531d6d92bea5f4da9d1f","datavalue":{"value":{"amount":"+0.83584845","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":"Q1924815$42BDD7B2-2FEF-4910-B5EF-171A3C38623C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd6b4f132bfdcb3430873dc4dda0fc3e0d75bb4","datavalue":{"value":{"entity-type":"item","numeric-id":4870090,"id":"Q4870090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8cf02ec75339ddfebcf925f6a66b97c86a47fb","datavalue":{"value":{"amount":"+0.8355358","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":"Q1924815$CBBD604C-C413-4DC1-BF82-AB7D3B8D6934","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1924815","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1924815"}}}}}