{"entities":{"Q673602":{"pageid":675451,"ns":120,"title":"Item:Q673602","lastrevid":63610443,"modified":"2026-04-11T14:20:06Z","type":"item","id":"Q673602","labels":{"en":{"language":"en","value":"On finding solutions for extended Horn formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985657"}},"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":"Q673602$64B2A656-2D25-41BE-A5AD-5E01735CFD2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bcf613153b8a82a096da9a575537fede064d43c","datavalue":{"value":{"text":"On finding solutions for extended Horn formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673602$9B4D187B-B146-4942-A949-91253F2AF5A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"008d3881dd3ea77de73bd9ec7569e476a4b27cc5","datavalue":{"value":"0875.68451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673602$C3B171D8-7C9F-4C41-94FC-F1A6DF294C7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54a200b4944804c23bd9eb648fceaa31f0ad37fe","datavalue":{"value":"10.1016/0020-0190(95)00019-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673602$5A6D4FF3-0DF9-4AE1-94D0-94F205214447","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d9afafb4ea4689b8f0555839c80f07e72314b76","datavalue":{"value":{"entity-type":"item","numeric-id":579239,"id":"Q579239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673602$9C87448F-72D9-4156-B765-D2B796C8C79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"078fb78723fe619924b1188e887f7e37dc5c097b","datavalue":{"value":{"entity-type":"item","numeric-id":673600,"id":"Q673600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673602$51B07EFA-1781-4876-BE5D-FD6F83C754D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb85fd2c1ce489cbecf5dc649288fae9b7018a3f","datavalue":{"value":{"entity-type":"item","numeric-id":673601,"id":"Q673601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673602$DC4BB496-5A54-4EB2-A2EA-F1C2481BF4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e9432b0f022d6e57f757b59c663f310821b144f","datavalue":{"value":{"entity-type":"item","numeric-id":672397,"id":"Q672397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673602$43437CB1-209B-41C5-BB14-C70A99277530","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":"Q673602$2AD31E5D-6075-4C89-8D34-D2538294EC6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673602$DD8C2ADA-5808-4208-8EF0-CBEB6CB4EE29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673602$00292347-3FE4-406F-AE63-FF6AE9F7E42C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"665c2961d18db4192283aee50f4a6bfd14c6751d","datavalue":{"value":"985657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673602$338FBAD8-D6A4-40D8-A0BC-8BA481450298","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8baf804bc4c1172cd32c9cc96b06a8c070f11c0c","datavalue":{"value":"Algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q673602$E9D8FA5A-1D37-44FB-A9AC-FD5284E57B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c95393006136a65861f345d17e00540c09d9d258","datavalue":{"value":"Satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q673602$0E0A8E9D-23BA-4646-AE4C-68712E8BE261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8476d5a360c0ff9ce4f1e8846f39f02abdeef446","datavalue":{"value":"Extended Horn formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q673602$4811F014-E54E-4932-BEAC-B6300032A154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a72c33a86ae5245222d739573b8841f911f28e6b","datavalue":{"value":"Balanced matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q673602$AE995F88-9A05-4FC6-8F3A-22CFF9D54F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"707dfeb39b65a6017487538bb4f00aae78881936","datavalue":{"value":"Unit resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q673602$26DCCDF1-10A3-4192-BE0A-6A47351251D6","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":"Q673602$85D181AA-53E4-4F17-9E1E-A6BCA040086F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"755cbd27c971c9b59fc95ae720fc15fc07910829","datavalue":{"value":"https://doi.org/10.1016/0020-0190(95)00019-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q673602$3EC156F8-3E4B-43A8-B2A9-C8054A18D9E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55c7599d4a982bb6d5f88dd4ee51621c6762d540","datavalue":{"value":"W1974010251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673602$C9071796-0D05-4FDB-B935-AAE6C261864B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89df7c280a99400b8f816e3dc3b2d0d14b612ce","datavalue":{"value":{"entity-type":"item","numeric-id":4302833,"id":"Q4302833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673602$5B1B87D8-BB53-4703-BED1-A7520CD40A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b02cd23c69e1bb3152fb5282afc66e78253569","datavalue":{"value":{"entity-type":"item","numeric-id":4228441,"id":"Q4228441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673602$7C9C7E16-5942-41B8-93A5-E57FAA9A17A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11aa9ddb4b381c324d5d28a112727fdef1d51ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1893159,"id":"Q1893159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673602$AC025ECE-EFA4-40ED-BA0D-F0A48C495F26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc302dd244c1a1d16f8b4706f0652142e7e9e40c","datavalue":{"value":{"entity-type":"item","numeric-id":1337669,"id":"Q1337669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0392a8d06ac4da7a3d5932ebe819a5fa7dcaf2a","datavalue":{"value":{"amount":"+0.8142154812812805","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":"Q673602$AAA54070-E516-4DE1-87C0-9ADF0BB31743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"201611abbfc0841aae80eb04559f43c84a0a2f13","datavalue":{"value":{"entity-type":"item","numeric-id":1861905,"id":"Q1861905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d4ca4810d7c38bcfe24cd5e857fb565d1d1f945","datavalue":{"value":{"amount":"+0.8056836724281311","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":"Q673602$344043C5-5ED2-4EEF-A66B-9FAEA7854046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2105f0c71536059d0b6d9a52909981c1a5ac2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ef4b285d3826c6254ab138224c01d216da3347d","datavalue":{"value":{"amount":"+0.8056371212005615","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":"Q673602$2E0DA048-6F26-49F0-B3D7-5D9DD451E7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dff7bcce7cc9619d1f2879285177956c39aab73","datavalue":{"value":{"entity-type":"item","numeric-id":2387427,"id":"Q2387427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f44e02b8a6cc806d08dab7c7a31f8d6f6aeeae","datavalue":{"value":{"amount":"+0.7871887683868408","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":"Q673602$1935DA23-6064-4D80-BB14-DDB6F512FA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c69bee82fb159b3ebdf33d67333a38d31cc5b33","datavalue":{"value":{"entity-type":"item","numeric-id":1099168,"id":"Q1099168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79971d7f160577d5dbf4d89f471158c2579aef07","datavalue":{"value":{"amount":"+0.7866043448448181","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":"Q673602$49614E79-F593-4095-8636-FF8F6A0AF614","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On finding solutions for extended Horn formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_finding_solutions_for_extended_Horn_formulas"}}}}}