{"entities":{"Q964389":{"pageid":966237,"ns":120,"title":"Item:Q964389","lastrevid":79800596,"modified":"2026-05-06T14:44:18Z","type":"item","id":"Q964389","labels":{"en":{"language":"en","value":"Translating propositional extended conjunctions of Horn clauses into Boolean circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5693339"}},"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":"Q964389$FD59D6D0-E8DA-4F27-976A-3A0145A3D2D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74ca255478cf16815ee8475000f63d198ef9c647","datavalue":{"value":{"text":"Translating propositional extended conjunctions of Horn clauses into Boolean circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q964389$30833DDF-A70D-4B71-A87C-9AAD732A7A6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78f1bef15c1dfc0f14dd8352bc3e6ea459c4757c","datavalue":{"value":"1191.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964389$79D27127-3E0E-40D0-983E-04A55A14D053","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdf8e9157016f16de7bf96faaf4cc8f3999545b5","datavalue":{"value":{"entity-type":"item","numeric-id":352971,"id":"Q352971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964389$291A4842-79A7-40E1-BDBB-D2CEE1D49B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb667340cfbcd9cd67a94ffb3784afb72b2034ec","datavalue":{"value":{"entity-type":"item","numeric-id":287085,"id":"Q287085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964389$F8D4CEE4-6ACD-434F-B0DA-57A977B5B6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ed55229bd3e6c069ce7f99b0f19bc30ef1facc7","datavalue":{"value":{"entity-type":"item","numeric-id":352973,"id":"Q352973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964389$C685E425-531B-492D-8FAB-26918DB8FE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1fc9c84eb3207ee438d2d5ce3c97d92242bb030","datavalue":{"value":{"entity-type":"item","numeric-id":352972,"id":"Q352972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964389$16D6C9A8-B266-4830-90F9-024FBB70BEFB","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":"Q964389$90DFD958-AA54-4A25-856A-D2DF56671C34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35759f2c57e380463f3872b667008da8bd531cd4","datavalue":{"value":{"time":"+2010-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q964389$CBD6C3A3-EDF9-4682-9540-770AC25E0525","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964389$9C55BA0A-CA96-48B5-AB8C-A72E74D09307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964389$C7D16A50-40E5-40A6-8B44-0A25522376E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a9b8caef031541a3ab8b41f23567ca12100e471","datavalue":{"value":"5693339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964389$0B692E66-3012-4AF1-8AEC-EB40984070C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d463b247e815798d799459507ebd3bcfc87bfad","datavalue":{"value":"Boolean circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q964389$96132426-D013-472A-9601-CBABCB4465B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ba9b57c8aa017016096d074e724eb0d87e7253b","datavalue":{"value":"Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q964389$220B3325-B72D-4951-A730-3CC43E4144FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q964389$0DF5A43B-38CD-4BEE-AE91-1948AFCF11C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc2764c91559ee0067abaa3eb61d86dde46bd4f","datavalue":{"value":"Horn\\(^{\\supset}\\) clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q964389$739AF5A6-16A2-4925-A021-5124A3D1A9C5","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":"Q964389$4F50B8AE-A8EE-41DA-94BA-2F5BA4AE2BA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"caa03155680ab64c25ae35ea3554261738a08acc","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2010.01.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q964389$8152BB2B-948C-4B26-ADC4-0C0C5EA3D9A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03d459dddca201195205290697b55d50e7e744ac","datavalue":{"value":"W2063987554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964389$AA53FB16-2C9C-4DC4-AFA5-73A1D247F7EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f636e696c7d021aa0fe3611dade9108a79195665","datavalue":{"value":{"entity-type":"item","numeric-id":4260700,"id":"Q4260700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964389$7CEE2F25-055C-490A-93A3-A5490FEA4120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4c84b1b8ad4be23ef741df8bbbb197d65475ac","datavalue":{"value":{"entity-type":"item","numeric-id":3727349,"id":"Q3727349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964389$8A975344-D13E-4648-A939-BE82C8C86323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbdb0a29844c3dfa174fd7a1a9dabb9a82daebd","datavalue":{"value":{"entity-type":"item","numeric-id":5492873,"id":"Q5492873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964389$77D564C7-4CC0-40B9-9F73-3ACC8D0124A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39571c01d29a249b33546cd5fa8f2ca8a6b68e1d","datavalue":{"value":{"entity-type":"item","numeric-id":4311648,"id":"Q4311648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964389$1FCDFBE4-FB70-404F-B315-5D6ECB23E736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1249be0414eef4873da98f2f1bc59b973b87ee7","datavalue":{"value":{"entity-type":"item","numeric-id":1186427,"id":"Q1186427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964389$7209C7ED-0D7E-4D46-9FC2-8657EFC57774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c74ba08b5b24a08cf2ff91a3e872286c642afe","datavalue":{"value":{"entity-type":"item","numeric-id":4518866,"id":"Q4518866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964389$0B2FBE6C-CF67-4773-A559-AF1091D0CCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a4fa4292d3e7cd41676b00b24428c34cfc910c","datavalue":{"value":{"entity-type":"item","numeric-id":4730754,"id":"Q4730754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964389$EBBCC6CF-4A7D-4737-B4F1-D78D5D4A110A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964389$A9A8DA9F-E00F-406F-82CD-38DC022ACCC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964389$977DF255-7840-4875-BBC3-724FEDB8F2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab3768fe92e6f10930f893249174a42fca74a30f","datavalue":{"value":{"entity-type":"item","numeric-id":5302884,"id":"Q5302884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964389$8A0B5088-620F-4CF6-8EA9-5024A712DAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08aea2375da56a8a7d87cd0bcc8ed91b9c89ac9","datavalue":{"value":{"entity-type":"item","numeric-id":1835900,"id":"Q1835900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q964389$F3F34017-EC75-4258-A790-A2929B054B47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a010ac20118cd1584a50518331b500ea48fe51d","datavalue":{"value":"10.1016/J.TCS.2010.01.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q964389$A46301C2-EEA2-49D8-BECE-B7D668537123","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f61cb852e8cf551bbec9a32022c4357917555d","datavalue":{"value":{"entity-type":"item","numeric-id":5492873,"id":"Q5492873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d67a2bab1e7da486aba325f16d4b547c421e53","datavalue":{"value":{"amount":"+0.8725975155830383","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":"Q964389$26D2E7BC-FBF6-4FF6-8A38-F6B4625D8EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88011de0942af8ad7fa6bfc78d542252b1a3d1e","datavalue":{"value":{"entity-type":"item","numeric-id":4302833,"id":"Q4302833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"445f801312dd816cbe98555c1f473ed3d9bc4e8b","datavalue":{"value":{"amount":"+0.7589061260223389","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":"Q964389$8728D3B0-984F-441C-8ED0-61CD36B5088D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e702a4d07b47bd3f148b4349ad7d5ff06c11a38","datavalue":{"value":{"entity-type":"item","numeric-id":3486859,"id":"Q3486859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a1cf1cf209123aaac6be5db67be52de8336fa9a","datavalue":{"value":{"amount":"+0.7432032227516174","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":"Q964389$60932D97-6135-4444-B37F-000E802C8CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d67c3f840645caf7ab1e8f4a31ce81f55f522f","datavalue":{"value":{"entity-type":"item","numeric-id":3782842,"id":"Q3782842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"693219a57cfdcec95863f517213268a844fe27fd","datavalue":{"value":{"amount":"+0.739901602268219","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":"Q964389$5E8CE3F3-7C42-4228-AC3A-CC472258285D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d186ef321d1685a57d306478dff316330dde914","datavalue":{"value":{"entity-type":"item","numeric-id":1186427,"id":"Q1186427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56b6cc8b900ba4d0a801682cb4c7beac7125fbbb","datavalue":{"value":{"amount":"+0.7370887994766235","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":"Q964389$C2F9AE53-4750-400D-BC28-509A5BF8026B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Translating propositional extended conjunctions of Horn clauses into Boolean circuits","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Translating_propositional_extended_conjunctions_of_Horn_clauses_into_Boolean_circuits"}}}}}