{"entities":{"Q1966110":{"pageid":1976852,"ns":120,"title":"Item:Q1966110","lastrevid":47448706,"modified":"2026-01-01T19:00:25Z","type":"item","id":"Q1966110","labels":{"en":{"language":"en","value":"Solving SAT by algorithm transform of Wu's method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1406821"}},"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":"Q1966110$9AC77A96-FE5D-4137-BD59-A46A3A3A4443","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"922362c001ae16d9fef5315bc4a231c00f1101cc","datavalue":{"value":{"text":"Solving SAT by algorithm transform of Wu's method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1966110$F79F1168-CC6A-4145-A3DD-C4197BE0A591","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bb3c619d155acdcddb9991712feb8b0db48e3a9","datavalue":{"value":"0944.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966110$AE4C4C26-8213-45E5-AD1D-E14BBFAF7ACA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9924e460beee540146ad2831243232226baffd88","datavalue":{"value":"10.1007/BF02948788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966110$A486C313-8691-48A8-93BF-1A77E207B4A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f41b38417dfa27a993a5825fe160cce1bea3036c","datavalue":{"value":{"entity-type":"item","numeric-id":1651268,"id":"Q1651268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966110$B027C400-B84C-4C00-B611-20CF74373C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd17b6e4b251ec1fcc94722028e9ae9253332784","datavalue":{"value":{"entity-type":"item","numeric-id":524030,"id":"Q524030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966110$6876CC0D-0DBF-4B3A-9516-516F16B643A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966110$3E2F9158-65DA-4318-B7F7-B6491254A64B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b14f206c67f5bbeadeb293548a55507e989e6c7a","datavalue":{"value":{"time":"+2000-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1966110$1A1DE19E-D286-4668-9AE3-552981A928DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966110$BD0794E0-A9BD-4498-8F7A-FD913602D41D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9539c1508a004fd9adec4f65ac13fc38897d0c4b","datavalue":{"value":"1406821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1966110$1DBEE81E-5DD7-44C2-9741-3009D9476CD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c4628391bc7e2f29119ced30c12a75c601307e8","datavalue":{"value":"propositional satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966110$65F8ACD9-E311-4AA5-81C9-7FC504B047E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q1966110$7CE2513A-B713-43D1-813E-5C73123CEED0","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":"Q1966110$D0C866EA-C8A7-49A0-BCD6-798943CD1A82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966110$8D2E3DB3-F31C-44E7-805A-29A36699E78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966110$6DD72CAD-EE3F-4D22-906E-26562B569A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c15d5596ad06ea9c33077147ea3f9457eecb7e","datavalue":{"value":{"entity-type":"item","numeric-id":1101257,"id":"Q1101257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966110$F69D6874-DB7A-4256-91A6-AD6102786B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0620e875ace4454552471ddc26f3c19b333694a","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966110$DADD6AE8-734F-47BA-B076-2B2A46FD5390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f771f551f48b2f2d21f6f2011008cb21eb26e492","datavalue":{"value":{"entity-type":"item","numeric-id":5538933,"id":"Q5538933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966110$104F6B40-A1C7-4D92-A9B4-B3F60CC53563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1966110$1E108A39-06B1-4B8B-A577-61E1DBEB5259","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15ec478932cdca97d7c183e3cf6d3c13655ec90d","datavalue":{"value":{"entity-type":"item","numeric-id":3402674,"id":"Q3402674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8524cfbe89be794a081ad59f67bdcfecb42f500f","datavalue":{"value":{"amount":"+0.7715532779693604","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":"Q1966110$25A74EBD-D33D-4A7E-9D78-B56D0C0E4E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80cc09452a48114eee51cee109487c079490337c","datavalue":{"value":{"amount":"+0.757488489151001","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":"Q1966110$E7AC85FB-E338-4ED9-9B00-BFEABC71499F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e366a6ae1ffcd391788169251187e485eed88162","datavalue":{"value":{"entity-type":"item","numeric-id":5687274,"id":"Q5687274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fedede0aefac13cfac9d6310740a0d72b1559b9","datavalue":{"value":{"amount":"+0.755374550819397","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":"Q1966110$234EC01F-2F20-4642-A33A-D13E01DE9D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da09072ba16986a4daf17cdd80049c123546b75","datavalue":{"value":{"entity-type":"item","numeric-id":1581847,"id":"Q1581847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7388bf2be3480e02614732d35018ad1cec1352","datavalue":{"value":{"amount":"+0.7495620250701904","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":"Q1966110$0D1933F6-9502-4337-9D9B-115926B3CCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407d4b832dcced774bee8e907a04090e6f44ff42","datavalue":{"value":{"entity-type":"item","numeric-id":2749858,"id":"Q2749858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd0c2a1e0bd2562757cc974aaeec873b3d9a98c","datavalue":{"value":{"amount":"+0.7471526861190796","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":"Q1966110$69F5515B-CB87-4C2F-9DDE-351C32D80DAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1966110","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1966110"}}}}}