{"entities":{"Q4325354":{"pageid":6354955,"ns":120,"title":"Item:Q4325354","lastrevid":47308651,"modified":"2026-01-01T07:38:21Z","type":"item","id":"Q4325354","labels":{"en":{"language":"en","value":"Two-level logic minimization: an overview"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 732044"}},"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":"Q4325354$03A8376B-8C98-438D-AC5D-7E242A34115D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"700b345cb9dd8d70d1aa2c94e1ff197226da1db9","datavalue":{"value":{"text":"Two-level logic minimization: an overview","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4325354$07949973-57DD-47A7-812A-EE04301A7D66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b8b7a98766d19970040defb2feb3d583488f9df","datavalue":{"value":"0818.94025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325354$B101B37E-7A39-44A7-9186-CD20033DC0BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f31c1cb157fc673f1a3cedaceca104706776c282","datavalue":{"value":"10.1016/0167-9260(94)00007-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325354$9A73B7E7-11DA-44A2-93CA-8EF65EC9E047","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96e522b63cee0415b9eb8e18941f654848fa0f26","datavalue":{"value":{"entity-type":"item","numeric-id":4012208,"id":"Q4012208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4325354$BFE8630A-44BF-46F8-A8E9-7409DE824925","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"addc2942fedafeb72529951bfc3e796c4ffe6a9a","datavalue":{"value":{"entity-type":"item","numeric-id":2734603,"id":"Q2734603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4325354$016857B4-5F17-4BCC-A7C4-F921DA7379D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12b9d44ecfc77b4e92f0fac9e96210988f5c67e7","datavalue":{"value":{"time":"+1995-08-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":"Q4325354$F37AA5CE-79D3-4621-B680-AF0CA1AA0141","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325354$16B51DE7-F327-4256-8A6E-C439FD472766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325354$E208369D-6152-4296-A0CF-5C0EC6F78F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325354$2BEDC1F3-7644-4F70-B29A-C67B4D30E90B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d0b1afbe7e948e7cd8eee0218b9f06af937f5a7","datavalue":{"value":"732044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325354$02B42BCD-1D46-4D4C-AD97-B436D94F35C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1364b6b5049bd301a19e840981d9d8f3cfcf0aae","datavalue":{"value":"set covering problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325354$6FCC07E0-D12E-42C2-9199-E81B6EA19828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5670d071866a3d53f623260620b05efb6ac7d49b","datavalue":{"value":"binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325354$60F1ED64-376F-4A12-B546-46D7E2ED9E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e3c72ebf370ea8a94b8e03b5c6b5220c1baa4dd","datavalue":{"value":"combinational set","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325354$B21E2B65-3540-4E4A-9AC5-5609FBFE8966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e9ac14cb148e9e23cd03446edd0a9adc994bed","datavalue":{"value":"propositional formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325354$7D99CED9-A47D-4137-B63F-935CB6B8C43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe244352823e7814da3d9846c617f41051685646","datavalue":{"value":"two-level logic minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325354$F26EFFD9-F95F-4DC4-BB5D-AFD522BB5CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8a14491c463fc99ba47c33e896a4b22a30b7bc3","datavalue":{"value":"logic minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4325354$6C0B35B1-6057-4A80-98BB-BE46AC79C63A","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":"Q4325354$05B8451A-F783-42E2-B27A-E507536B5E8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e84efe1a608b579f9dea1baa6ff36d8f3e4552b7","datavalue":{"value":"https://doi.org/10.1016/0167-9260(94)00007-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4325354$A4835022-AE97-4961-AD6A-8AAEBCDEDA07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0392a7112d289e34015dc90dc43c075a1519b905","datavalue":{"value":"W2082448265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4325354$923FD138-DF4D-468C-AEA6-6DE452584516","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c1c70171aaf5e0815b7734e2f64b5d6d3e33ce","datavalue":{"value":{"entity-type":"item","numeric-id":4886040,"id":"Q4886040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ff5ed3732d0b1a719ed2036e3bd7e14380d32e","datavalue":{"value":{"amount":"+0.8915358185768127","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":"Q4325354$8EFA8479-2CFF-44A7-8CC6-AF8DA594A5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c79ba4aa8f28f6c8db90b90098484eb4a3dc031","datavalue":{"value":{"entity-type":"item","numeric-id":3680754,"id":"Q3680754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d9a52840cc3df51faf8948a76860d5a547797f","datavalue":{"value":{"amount":"+0.8084814548492432","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":"Q4325354$607BAB54-D97B-4429-89C3-452EE281FF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58d671799b15160ff5c06d177cc8fc02c3166ed3","datavalue":{"value":{"entity-type":"item","numeric-id":3035136,"id":"Q3035136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20cbc2c10522f73b42a94ac42a40dbc580507552","datavalue":{"value":{"amount":"+0.7871286273002625","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":"Q4325354$BAF1BC64-9D53-479A-89D4-7714552719EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a1e351da301eda941a9aed31b0663af6c948af","datavalue":{"value":{"entity-type":"item","numeric-id":3453233,"id":"Q3453233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b77e3133baf5c7ec4b5a633322a4f3845af2f6","datavalue":{"value":{"amount":"+0.784946620464325","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":"Q4325354$FAF7410E-7EE0-4707-893C-D470A61FD6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f3980b7f21f36028a1ed84210a9255386e8a28b","datavalue":{"value":{"entity-type":"item","numeric-id":3081633,"id":"Q3081633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70784e3a65896aa4edf88b86fd736f6918f9b44d","datavalue":{"value":{"amount":"+0.7834050059318542","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":"Q4325354$D4117E27-B145-4BFA-9158-9B456FED4C9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4325354","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4325354"}}}}}