{"entities":{"Q2445231":{"pageid":2455974,"ns":120,"title":"Item:Q2445231","lastrevid":51976136,"modified":"2026-01-20T16:23:37Z","type":"item","id":"Q2445231","labels":{"en":{"language":"en","value":"Boolean functions with long prime implicants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6284207"}},"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":"Q2445231$E034986E-E89B-48A9-8A25-2E2B86F3EB2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1404907ab908b85cc01c59bd29cefa2bb14987cb","datavalue":{"value":{"text":"Boolean functions with long prime implicants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2445231$FDC23C88-57FF-4EF8-A1DD-59A3A1B52260","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bdd56a9c12b393111e104d21ccd086caa98c50d","datavalue":{"value":"1285.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445231$167FA5B2-AF04-4933-A0C4-3D26F8449B4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db66f8f8eeba705ad18f41f8ce73717dd91f2c8c","datavalue":{"value":{"entity-type":"item","numeric-id":392183,"id":"Q392183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$3E95A100-3CEB-4FA0-815E-8333B3AFC608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa48f1028b234c27f9bc905789909c202f226910","datavalue":{"value":{"entity-type":"item","numeric-id":392184,"id":"Q392184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$9876E990-141C-4338-B5AB-804DD525306D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5cd5fd6ecde56a0bab138ae4ef0fb1117016d05","datavalue":{"value":{"entity-type":"item","numeric-id":2445230,"id":"Q2445230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$B4C0692B-F8A0-4DC3-AF9D-AA492F7E35F7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$551D7159-F99C-4F66-AE9B-F5B56A285240","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af2bd9793596aefadb295689a4db5fbda4fe4920","datavalue":{"value":{"time":"+2014-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2445231$609C2900-6453-4B81-ADCC-2257552595E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445231$5092AC63-017F-4EDF-A9FB-7B2A99A5CA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445231$725A2016-B3DC-4632-B817-FC0BEFCAD101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445231$5957D1A8-1055-48A7-8D1D-7A117D3EEA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445231$F5546C6C-EC10-4B28-8EB0-94E6C8AC40EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b56836c1f04756c3c9b4cfdeb519c5c48a615b5f","datavalue":{"value":"6284207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445231$D995FC11-5F86-4DFE-B30B-8A6B3CF01CA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90bc349d6d55eb8026148892e900ce256ffdd986","datavalue":{"value":"analysis of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445231$6A071A80-1E46-49CC-85FD-2874170B29A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc4837877785b4675d8ac1c6d4c911bcaf794e13","datavalue":{"value":"approximation algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445231$C37A1833-7516-4E81-A11B-167521AF724C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb51fcd8e8e03b7b19a2af1cbf57fa2aa9f5ee99","datavalue":{"value":"Boolean minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445231$B34143EE-5400-473F-A7CD-078BAFCA9689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e54b2541b44abdffa80a55f59d74e8518d14a635","datavalue":{"value":"DNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445231$5EE96D79-0BF0-4ECF-87DC-A4434EBEDD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f8f235690e7c79053742f1243e6fc9afbf98311","datavalue":{"value":"consensus method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445231$76DA755A-5315-42FB-AF5C-3ECF4C21825E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"985d6383219d2a224506d6f09330b5560ef81c74","datavalue":{"value":"set cover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2445231$1A5C1665-1918-4FE3-B8BE-F4FEC2F6AA16","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce514966e327ded3c17917f258854330d9f0ecdc","datavalue":{"value":{"entity-type":"item","numeric-id":18319,"id":"Q18319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$FB4F71A0-3724-42E6-9BE4-D18706D67C89","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":"Q2445231$8F27210D-18DC-4EE0-A154-2F74A09C310A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4827662b01c60db65f4464f9277a513482232f85","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2013.07.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2445231$45C61495-6D33-4E82-A360-60E30A7FC054","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee4f97870954abc89c8fe2f1c8b284d5b6ec284d","datavalue":{"value":"W2020701847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445231$8CC704C1-4220-43F1-A50F-87AD59B8C126","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c930672db679592d5be46b7abe12cdfb04fee328","datavalue":{"value":"Q62044322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445231$0018EF8B-2F6C-43D2-824F-9BFFB2389201","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81a1569c55af0236c5095ad01cdba91666ec7f0","datavalue":{"value":{"entity-type":"item","numeric-id":1313951,"id":"Q1313951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$84ADB6A6-E48F-49AA-B19F-8FE2C169A3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$90979300-F9BC-4649-BCB5-774079A21A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d606ca29a316c6d13ac236e9ee6da4bfadd6eb91","datavalue":{"value":{"entity-type":"item","numeric-id":1604210,"id":"Q1604210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$9D257464-7F05-4E7B-8E25-0A925793C98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3a3e052346b3e42c07257c51858e7ff99f9837","datavalue":{"value":{"entity-type":"item","numeric-id":3738576,"id":"Q3738576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$6E7A0BC4-9605-47BC-9D93-1B18962899A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00dbe049ef694ddf89bda4540748d3bb56f13be","datavalue":{"value":{"entity-type":"item","numeric-id":3919121,"id":"Q3919121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$C649B1FE-80F1-494B-8CE5-E262024542CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9993530cbe9b57faeca324c52f8d642e4f2cb2c8","datavalue":{"value":{"entity-type":"item","numeric-id":693287,"id":"Q693287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$65BF40B0-406C-42ED-9E1F-D1B8BF0F1CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b350f12c64fa94bf6840f2df15b3afde7e5d688","datavalue":{"value":{"entity-type":"item","numeric-id":968115,"id":"Q968115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$7B2E8F10-65D2-4367-87DC-73706F6AF55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53de941dbfdbe6c98eb51a8d62862856e2ebaf56","datavalue":{"value":{"entity-type":"item","numeric-id":1277344,"id":"Q1277344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$4A079F6C-3A35-406A-A950-0B9ABDE28EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$40639E5A-E139-4318-AFCA-50217AFEB92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b29076f31dc73c454fb9de1110bcc531f7c39fb6","datavalue":{"value":{"entity-type":"item","numeric-id":3271425,"id":"Q3271425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$59982A86-FB0F-4FC3-9FC1-314B8FF08F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc37e6b8fdc8d5ebaa9ea9b3825c551c431cc996","datavalue":{"value":{"entity-type":"item","numeric-id":4526990,"id":"Q4526990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$3A5A8C4E-2AFF-4B34-B44A-941EAB540DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5611a6f60e59f1388392174f8631ce9b0f98d8","datavalue":{"value":{"entity-type":"item","numeric-id":3789107,"id":"Q3789107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$82154951-601B-4A96-9D5E-DE6DC54CD7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130dbb6db379f2863eacc4d460357dee10cd38dd","datavalue":{"value":{"entity-type":"item","numeric-id":4488342,"id":"Q4488342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$39D44F69-1917-4F22-B003-99F21CDA036F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebd50649f1e0277e6bfaea3fa01bd2806b34818","datavalue":{"value":{"entity-type":"item","numeric-id":3230352,"id":"Q3230352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$99F52BE5-69CB-4008-958E-624362EF3E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9d41de292e3fe88a7d1837b26ece3d8fec8518","datavalue":{"value":{"entity-type":"item","numeric-id":3077976,"id":"Q3077976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$285415C2-9B38-4B48-9C9D-3C28820D1C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958ca5786afa648ac2d63f4061e6743251561baa","datavalue":{"value":{"entity-type":"item","numeric-id":916673,"id":"Q916673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$566D3FDC-200C-4AB8-A8D9-3CDD66014BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e2c5246172b5aa8717d5936f7b97d7076bc110","datavalue":{"value":{"entity-type":"item","numeric-id":3941433,"id":"Q3941433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$92B3C577-F8BD-48C9-BA89-1FC0210B8E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1055ec376d9b722f11f354ac6c2c9b6480fc19a1","datavalue":{"value":{"entity-type":"item","numeric-id":5443528,"id":"Q5443528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$51CC99FB-3D30-4B88-9520-5260C2EBAEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa809177cf3f21632f55edc1e51f96eae6f8b08c","datavalue":{"value":{"entity-type":"item","numeric-id":839632,"id":"Q839632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2445231$C3D6EFDD-DAAF-4A59-9F68-B67CA0881882","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d1e31966b7f8a67e6d010dfb0a734d6a61a2187","datavalue":{"value":"10.1016/J.IPL.2013.07.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2445231$F635D0F6-D372-475D-86C0-4D74323DC3F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdafcdb55549a9ea4bdb51f06ac368c5d42c008","datavalue":{"value":{"entity-type":"item","numeric-id":1604210,"id":"Q1604210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e12a43363fe5ccacf06ae2a201aae75d45abc5","datavalue":{"value":{"amount":"+0.8287330865859985","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":"Q2445231$B93F64A2-DDB3-4562-A5DE-B1ABA8EB591D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5507dafe213ca7eda3c55d822649530376a2ba46","datavalue":{"value":{"entity-type":"item","numeric-id":4007343,"id":"Q4007343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b3ca0b7dab873fd2da6825bb7a07dfb6cce1a0","datavalue":{"value":{"amount":"+0.8137285113334656","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":"Q2445231$47EB964D-8AB2-4856-8D37-84DAACB3ACA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d8ffffedff4ecf4d120d8108301fafbbaf37f8","datavalue":{"value":{"entity-type":"item","numeric-id":412324,"id":"Q412324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0cea040d5e456e9e46ff830c59cf33c4b05b249","datavalue":{"value":{"amount":"+0.7895857691764832","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":"Q2445231$50E56E36-4258-4824-AAFC-C086775DC3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ece6df5638c856f23761724af8b3b5af3741e1fa","datavalue":{"value":{"entity-type":"item","numeric-id":3741575,"id":"Q3741575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd7166a0fabd8aba7ee948c3fc092de3c033ac3e","datavalue":{"value":{"amount":"+0.788243293762207","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":"Q2445231$377A5AFB-6FE4-48D2-BA17-364CBFBF8F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f565a95c5814e31f578e2b603a40ba754e109b4","datavalue":{"value":{"entity-type":"item","numeric-id":4938653,"id":"Q4938653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"199128678cc34ca9386c75117ff55826dcf4ca33","datavalue":{"value":{"amount":"+0.786529541015625","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":"Q2445231$B1DE973F-CBEB-42A4-B60E-CC25794343AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2445231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2445231"}}}}}