{"entities":{"Q809622":{"pageid":811470,"ns":120,"title":"Item:Q809622","lastrevid":49538800,"modified":"2026-01-07T14:35:18Z","type":"item","id":"Q809622","labels":{"en":{"language":"en","value":"Optimizing the clausal normal form transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4213481"}},"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":"Q809622$FDF9B5BC-0416-4BB2-AF0F-7C316BFF9840","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2f6edf466f6efcc552f8069df5cd84339e52801","datavalue":{"value":{"text":"Optimizing the clausal normal form transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q809622$D66E8296-5BB7-4802-B063-D710EB0FB4C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0445ee0f3eb611f96fe88c8a0c69ba167add91f","datavalue":{"value":"0733.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809622$C98B1EE0-85D7-459B-8A3D-85833E21B7A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7bd08d2d3482a8816824d9ffba3eae76d71b89d","datavalue":{"value":"10.1007/BF00249017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809622$F771D0D6-B026-49A2-94E3-7F1093CD17D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809622$84BD6361-57B2-468E-B683-BD12C1147719","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q809622$F3234761-375B-4756-A72C-0593D5CCEA75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809622$F2660C14-3536-426A-8589-E608BECB2D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809622$F1223476-A6F1-412F-B2B7-0E0C68289CC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4301f10cb176dbc9af8f070e556059786505bfda","datavalue":{"value":"4213481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809622$C68D7572-B832-4970-8C61-14B5D978AD77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e368250af775e16d1e321f89fe4c0cd4a8d4479","datavalue":{"value":"clausal normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q809622$C10C90C9-1AD7-4C02-95EE-F72E4C716114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bc8c5bbba976a2d4a04cff9c97ee9567968b27","datavalue":{"value":"prime implicants","type":"string"},"datatype":"string"},"type":"statement","id":"Q809622$F0D8212F-DC03-4DFC-B342-61E66E7FC6DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcab75d64016047a02a857c2fbf6460cf97916cc","datavalue":{"value":{"entity-type":"item","numeric-id":688550,"id":"Q688550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809622$9D16272B-F33B-421A-A176-EE2661DC8549","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":"Q809622$3D0DF608-A215-4261-84EB-DBDBA6A6E6EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed4e2b73edd0e2661ebb75822eda29ecb9eb63a","datavalue":{"value":{"entity-type":"item","numeric-id":3906484,"id":"Q3906484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809622$83A7236A-5855-4F5C-9CB7-7DCE5850AC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2c2b382c3725436e250ac6e5f951d42a292c14","datavalue":{"value":{"entity-type":"item","numeric-id":3954845,"id":"Q3954845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809622$36C267BF-0351-4241-9620-CCC0EC9AA1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"098e3ebd208d6366deb7abca442dbf318db0c714","datavalue":{"value":{"entity-type":"item","numeric-id":3326883,"id":"Q3326883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809622$A67BC0CD-9C4E-488B-BEBF-D8531E565C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809622$D0887453-270E-4542-8985-DB67A8102575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71f28db7f96068e5ce3938c306e6d15e9aefa614","datavalue":{"value":{"entity-type":"item","numeric-id":3915990,"id":"Q3915990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809622$2D287D2B-5B77-45E6-9183-8D056631AEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f92b8d484de162b9d4079498d62972b096ce688","datavalue":{"value":{"entity-type":"item","numeric-id":3880324,"id":"Q3880324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809622$C8A8E02F-D32C-4190-ACF4-4BCB23C5EDCD","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":"Q809622$58DCDA3C-4406-4AC5-8157-5A7EC822D126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91275bf9130acb7463119521f9d749a9a820d09","datavalue":{"value":{"entity-type":"item","numeric-id":5599129,"id":"Q5599129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809622$86454BFA-668E-4518-A4FE-CB0982B0D595","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":"Q809622$0AECC65F-1969-442F-86C1-1346F4B8205F","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":"Q809622$8CCF5CE2-6739-4AE0-B270-2917A241F0EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ed6113f1c0f28cdac379966e65a1421c2d31311","datavalue":{"value":{"entity-type":"item","numeric-id":4202114,"id":"Q4202114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ddad531a14011358f27f9bc810eb3577d20dc95","datavalue":{"value":{"amount":"+0.8216059803962708","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":"Q809622$DA325BBE-24F9-47CB-A39E-4E28E777DE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24c498a7a56adcca0969740beddf72861225a280","datavalue":{"value":{"entity-type":"item","numeric-id":3341945,"id":"Q3341945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85da311cd84ecbe847614d9c3304b64f7c6045a1","datavalue":{"value":{"amount":"+0.8185490965843201","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":"Q809622$E8215C1E-BCA2-4933-84BE-2AE7727FBE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b6f5f0ca85edeee446ec0c09180658cfcac311","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45ea51db2c3f2f0fb6b14462f00fd7d892f2b64a","datavalue":{"value":{"amount":"+0.8050553202629089","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":"Q809622$202DA1BB-82C3-4BBA-B2B8-845458BB3583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5b277717c8a2c42e9b033effc04c094004c0e77","datavalue":{"value":{"entity-type":"item","numeric-id":6488560,"id":"Q6488560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aadddad3de3bb3ec4cee85db26cc225ca6f2a64","datavalue":{"value":{"amount":"+0.7842152118682861","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":"Q809622$5DC01FEF-1DF9-43EB-9373-729DC01E491C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2047368386fdb91ad29b1b630e2eb2b63c5ea54","datavalue":{"value":{"entity-type":"item","numeric-id":2751358,"id":"Q2751358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8616aa7b45b00540621ff12670627b75220ab751","datavalue":{"value":{"amount":"+0.7800565958023071","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":"Q809622$BD6C73D2-862C-4030-B27A-CDB1F0725ED5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:809622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:809622"}}}}}