{"entities":{"Q2387437":{"pageid":2398180,"ns":120,"title":"Item:Q2387437","lastrevid":48542536,"modified":"2026-01-05T04:14:46Z","type":"item","id":"Q2387437","labels":{"en":{"language":"en","value":"Computing the minimum DNF representation of Boolean functions defined by intervals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2201779"}},"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":"Q2387437$8551D7F7-10F9-4383-ACE1-29A5C76185C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8341cd33c2882fa1adb9b04c8fde21fc376ef39c","datavalue":{"value":{"text":"Computing the minimum DNF representation of Boolean functions defined by intervals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2387437$69372E85-43A1-49D9-8719-F526A365BA81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"349fd3c094e1265aa7c7397381cb65630f17e6b2","datavalue":{"value":"1101.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387437$ABA02DAA-8452-4C4B-B454-351D3E6C31AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dff9feb3c5b84d40611faa1bb1e3fe810be17c3e","datavalue":{"value":{"entity-type":"item","numeric-id":221691,"id":"Q221691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387437$3F551FDA-4AC9-4F17-B84F-70FF5BCFF99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f4c253ced25eae1a9cedd382e9903d2fffd4ac","datavalue":{"value":{"entity-type":"item","numeric-id":209464,"id":"Q209464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387437$E7BC73CC-AF61-44AC-AA5F-4564E078FA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4b9e7445f95004115eb89fe7d9b6336f6506b1f","datavalue":{"value":{"entity-type":"item","numeric-id":1268730,"id":"Q1268730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387437$7994312C-583E-4A1F-B2F2-5AFA00F0A595","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387437$EE370CEF-360F-479B-8846-EDABD834B0D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75d2964caf21ea58e2c3ccbb7e808c764d931e0a","datavalue":{"value":{"time":"+2005-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2387437$D4396597-2855-4B43-8E57-B2914E942F45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387437$32FE2EE0-84F1-4FF3-9EC3-C396BDD28D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387437$E9784806-CBF8-4E2D-A405-256048C1077C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387437$5ADACD72-7F87-48C9-9B41-1076A91D1E83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a0f09c91c9d604d6d5d3bcc1eaf0100ad23edae","datavalue":{"value":"2201779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387437$2A37E93C-1089-4AA0-AEFE-D6C757723077","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6dfcaab26d2baaf6158511de4bfb97599e3878b","datavalue":{"value":"Constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387437$5DF41043-F06F-457B-8BED-511F9EA5C33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"757c1c5999e2b91017f6102fe47585914ae24583","datavalue":{"value":"Automatic test generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387437$BD5311B2-165E-4CCC-AAC3-87402B99D5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387437$BDFAD678-D430-4897-B595-87005D648746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e54b2541b44abdffa80a55f59d74e8518d14a635","datavalue":{"value":"DNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387437$63648132-E592-4D73-A369-D07F4E6B21D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea68d7e62c3d5855adc1fe35d85975811d2f75e4","datavalue":{"value":"Disjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2387437$0CC9AB26-7F83-46B3-8465-B7CE551C10EF","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":"Q2387437$1A950C3C-1083-41D4-9AE8-C844A5803D73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb12fec1ca0db0c46f3f9c0611a6ea3e1184ce31","datavalue":{"value":"https://doi.org/10.1016/j.dam.2004.08.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q2387437$DFBA4731-9579-43D0-BE0A-B990D310B6D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22e9fbdceba72aed4637cf5b3c74cd42181dc0c1","datavalue":{"value":"W2442643829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387437$FDE20836-983B-480A-940F-FE5DC3F678C8","rank":"normal"}],"P223":[{"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":"Q2387437$A44309C4-F5ED-46DF-9C25-067B63693E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a61c239f2782a34b19eaa3c3ca0d1235e637b14","datavalue":{"value":{"entity-type":"item","numeric-id":1853639,"id":"Q1853639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2387437$7B305865-6C74-4E4D-9CDC-FCF503BC1D95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9f8203e17cb04109c6411828da83b6e0b03ff91","datavalue":{"value":"10.1016/J.DAM.2004.08.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2387437$BB62A1A1-04B1-4341-86C1-8834CC36D1AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba4f763e2b03008f6a8a648e423c697321f8494","datavalue":{"value":{"entity-type":"item","numeric-id":1029585,"id":"Q1029585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52633cd886901b48249efcd234033a23c6c6d161","datavalue":{"value":{"amount":"+0.783567488193512","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":"Q2387437$CA8FE9CD-0094-4E54-9CCD-DD5447C326A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e49ecf271dccec3306aba6fc3e68acb4dd2d2132","datavalue":{"value":{"entity-type":"item","numeric-id":1751204,"id":"Q1751204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcabcdd5343bc7ad48558d5e0d756194682f469e","datavalue":{"value":{"amount":"+0.7641609907150269","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":"Q2387437$93F549F0-CC9B-4ECE-8D8B-4E079FDAE31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5caad9fed396c36b942bfdfb3ee76eedc33042a9","datavalue":{"value":{"entity-type":"item","numeric-id":3472057,"id":"Q3472057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f43f72060cdece0190b397d0bde94729c12f2c1f","datavalue":{"value":{"amount":"+0.7635135650634766","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":"Q2387437$4EEBBE76-30B0-43B6-929F-CBE33EC461C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8f453b871016ddd2a7eb4f1187765583d2026ea","datavalue":{"value":{"entity-type":"item","numeric-id":5325236,"id":"Q5325236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee3a258e5e250c4b3c2a747c45d9cbf0ad15db42","datavalue":{"value":{"amount":"+0.7604243755340576","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":"Q2387437$0D9D2201-30A3-4B11-8164-B1FD1ED54C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"367ee4fd6f880a48575d7127fc5d377c651c01b2","datavalue":{"value":{"entity-type":"item","numeric-id":3222120,"id":"Q3222120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"238d63293508cbeab35d8053af09d316819cf5c0","datavalue":{"value":{"amount":"+0.7497063279151917","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":"Q2387437$E7AA4338-674B-46E2-B384-17504E385E77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2387437","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2387437"}}}}}