{"entities":{"Q392185":{"pageid":393952,"ns":120,"title":"Item:Q392185","lastrevid":61491396,"modified":"2026-04-10T23:43:07Z","type":"item","id":"Q392185","labels":{"en":{"language":"en","value":"A decomposition method for CNF minimality proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244712"}},"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":"Q392185$80718BDF-FB72-4C30-A4E3-CB54A39843BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6a65c9146c358e31d3a0f8b52acb49a049fe490","datavalue":{"value":{"text":"A decomposition method for CNF minimality proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q392185$A0C39775-2322-4981-9375-53E4289BA161","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7bcbda94a8e6f4b6df9d61334f44b4885175045","datavalue":{"value":"1358.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392185$2C273410-8AD5-4D1B-A3DF-6F154184D0AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1948172daa46442222e070757b29802cb238c10d","datavalue":{"value":{"entity-type":"item","numeric-id":226794,"id":"Q226794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392185$6961B9CE-EC08-4327-B66B-A3EB55CE9065","rank":"normal"},{"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":"Q392185$CD39BD49-6093-43AF-B217-61970F852B8E","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":"Q392185$047ECE73-DB69-44B7-A042-137795845F3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392185$ABF162CC-1DAE-4A5B-9739-C3DD3B5B48D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a7f0ce9f8644dc92186acf7aa59a26f9b811cbd","datavalue":{"value":{"time":"+2014-01-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":"Q392185$CC4CE541-0E77-405C-8FE0-2B489BC05976","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392185$53C3B423-9FD4-4A09-B45D-487A0B02E849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392185$7BE94CC3-E60F-453D-B980-C5BE2CAC9EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392185$4A9220B1-8980-4538-8499-4F6B34CA5BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392185$FA87A1BE-8325-4C74-8E8D-7D3A31964CC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ac0d0363cfd0b12e727cefd80032e92afc8f2ea","datavalue":{"value":"6244712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392185$B6F9F72C-9112-4F28-9293-175C5D86D07E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q392185$361AD48B-D29B-415A-9455-97170911876A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0283841a5984d0ead194830870566a24cfd34f06","datavalue":{"value":"CNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q392185$16F7D173-8352-4171-B93C-3ADCCC043AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb51fcd8e8e03b7b19a2af1cbf57fa2aa9f5ee99","datavalue":{"value":"Boolean minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q392185$CC365666-3E5C-4458-BB7F-F6AA8F766806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4520243af08101a3202bca2a8ed559acce80373","datavalue":{"value":"Horn minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q392185$2163ADEA-4265-4036-9BB1-899F88245354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa6c5f074f1dd9f393e88f22e2df8fc41f4775ee","datavalue":{"value":"decomposition method","type":"string"},"datatype":"string"},"type":"statement","id":"Q392185$2CA4070E-9828-426D-8742-BB91027715E1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0f859dd06a94314027068ececec915be05458420","datavalue":{"value":{"entity-type":"item","numeric-id":23629,"id":"Q23629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392185$6CA60C71-80D1-4278-A15F-AD11158D85F3","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":"Q392185$688F4A8A-1C3E-4740-8459-5AC3B210FD54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99a23002de72a217d02c4e7e576d3734c5363d5a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.09.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q392185$A2C441D5-31A0-4AFF-BECF-EB9EABCBF45B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a280865bed08c9a55bb57cbe6799453c8460903f","datavalue":{"value":"W1984659874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392185$C97A55A9-41E4-45C4-995C-1E1613028CD0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e7869c266da70cc7ba78e586a5d615f7f4c36190","datavalue":{"value":"Q59560508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392185$67A6E068-664D-474D-B9BB-434542B24F7E","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":"Q392185$3FF3A1A4-3EDE-43A8-B92E-B4125560710B","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":"Q392185$4EB58C62-4A84-4CC0-9E0D-2E9D29EA4D42","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":"Q392185$36168079-9EA9-467B-93F7-8878DDD7F2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19decb5bd5363c1a6e2b3f177cf2dc9f0db8f9e8","datavalue":{"value":{"entity-type":"item","numeric-id":619911,"id":"Q619911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392185$BBBBFE62-55D0-41BF-84A2-24EF42292725","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":"Q392185$9780B312-5454-4E69-AE94-63FF351ADD26","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":"Q392185$2394663C-C4AE-4B62-A518-7CC6078E5241","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":"Q392185$782E48F7-9724-4F13-9423-1C9C080B242C","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":"Q392185$B90D4F48-6753-4395-ABE7-2D9EC785A573","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":"Q392185$C93CB503-C68A-479B-8B7C-8751E8999DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b54cf9709169298d21ea64dd9446b98120b3170","datavalue":{"value":{"entity-type":"item","numeric-id":3587398,"id":"Q3587398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392185$C52CAEE8-D64B-4CD4-A1FD-11A744F1B83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f855ca9f044b4ccfaaf3871a97165fe5be95c278","datavalue":{"value":{"entity-type":"item","numeric-id":2254607,"id":"Q2254607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392185$87CB65FB-9896-44EF-825C-52768B2FD002","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":"Q392185$CA7B9D1D-8C7C-46FB-8E3D-EA60C4AA6A62","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":"Q392185$29752E24-E705-4831-8F58-FA64A4AF7E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"244a3dfffc55641bc11a6cfe032e1bc2b2013503","datavalue":{"value":{"entity-type":"item","numeric-id":1195858,"id":"Q1195858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392185$B61799B9-1932-4991-9A55-BE774024BE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392185$F39B6494-9B8F-4A9C-A32C-41D05343BE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4aff056159aaf1cff504830007d8fb1af49169b","datavalue":{"value":{"entity-type":"item","numeric-id":3782840,"id":"Q3782840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392185$55C17C50-FC66-4563-A3F6-9EECEC114BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608f85c99c321358adbffe61ad0596cc0587b9cd","datavalue":{"value":{"entity-type":"item","numeric-id":1111776,"id":"Q1111776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q392185$809128F7-59E5-49DC-8BF2-52412BEB4019","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":"Q392185$2F1DD124-DC17-44BC-98B0-C4CA8A3AFEC4","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"6caa4f6ea40aee2f52563aa4e4ea827626f616a6","datavalue":{"value":"journals/tcs/BorosCK13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392185$149A8235-AFFF-4018-AB80-811DDCB443D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14ce26981fb51321fc63d111ed2053afd8c97f90","datavalue":{"value":"10.1016/J.TCS.2013.09.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q392185$5B93D2E6-18E6-4F04-99E8-91D5D4595C4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2990827dbcd8d1aa07ee49a7cbd846c1dfe5c9fc","datavalue":{"value":{"entity-type":"item","numeric-id":1277344,"id":"Q1277344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9824c6f2cd379373d9e52162e7934945a0b4fbf2","datavalue":{"value":{"amount":"+0.8512934446334839","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":"Q392185$2D8C1814-48E3-4CF0-BF16-587AF25AA0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"535f45a201bde20cbecd25309a96eecd96d237c6","datavalue":{"value":{"entity-type":"item","numeric-id":1679964,"id":"Q1679964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87abc7fc63b4a42ecfb324dcd8a56c000d82ccc0","datavalue":{"value":{"amount":"+0.8154100179672241","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":"Q392185$643A37F3-1209-470C-984F-EC76D615BA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63999194c9b9e26473d947a010bcbd1b4bc3ad19","datavalue":{"value":{"entity-type":"item","numeric-id":2254607,"id":"Q2254607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e108c37de1227fae906a08da66375329f4b3a3","datavalue":{"value":{"amount":"+0.8009883761405945","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":"Q392185$17F3FFEA-880A-495F-A8F2-D3E49D452C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c3252dcef05d12f04e9bdb7b8046416e0e2853d","datavalue":{"value":{"entity-type":"item","numeric-id":1195858,"id":"Q1195858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f06ecde5b4796c95a579264b0ed4834e1c3bcda7","datavalue":{"value":{"amount":"+0.7992376089096069","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":"Q392185$61839CD2-C6FF-411F-A278-A23BCA57915F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ff9478062f7f00879e3a82ebbba617d90f8472","datavalue":{"value":{"entity-type":"item","numeric-id":2389621,"id":"Q2389621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3561297a29a04637fa7512895c55461909d4bd85","datavalue":{"value":{"amount":"+0.7658610343933105","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":"Q392185$9CCF200B-448C-4961-93C8-E30780BAF6A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decomposition method for CNF minimality proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_decomposition_method_for_CNF_minimality_proofs"}}}}}