{"entities":{"Q3485885":{"pageid":5515785,"ns":120,"title":"Item:Q3485885","lastrevid":49402990,"modified":"2026-01-07T02:40:01Z","type":"item","id":"Q3485885","labels":{"en":{"language":"en","value":"A note on Dowling and Gallier's top-down algorithm for propositional Horn satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4157910"}},"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":"Q3485885$A9C4422B-275A-4DE1-A9A8-EF0927D8A36D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7748d08d9ceac023036841463399f35c143c8a67","datavalue":{"value":{"text":"A note on Dowling and Gallier's top-down algorithm for propositional Horn satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3485885$46D07C06-FC72-4094-8116-4670974BB963","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc8af621a8e3ee573d0b6ae5432c33b588ab9a37","datavalue":{"value":"0705.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485885$BEE5CC73-1E24-4C88-9951-4C50E6BDBFBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"142c09d74698a5f7bfc295d086eee8103075539b","datavalue":{"value":"10.1016/0743-1066(90)90026-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485885$CF1903D9-1F9B-4C74-9C97-EF0990E0CF30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bd8af0b126294462c8738a3102eab28654cdb9e","datavalue":{"value":{"entity-type":"item","numeric-id":323503,"id":"Q323503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3485885$DE18B454-1ACC-484F-A70F-6B76E99E319E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3485885$C11817EF-54F7-4CEB-94F6-D41D65B46620","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3485885$4EE9889F-ED52-40A3-9598-BAD4940DC8C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485885$18130DFA-930A-433D-8CFF-563C683A889D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485885$5F20FE99-70A1-4FA5-972B-EEB989E4979D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485885$76F2D0A9-0242-42C0-AF82-6AE233DC4176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485885$473FE8B7-3340-43E8-9885-7393D7301B86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a5034e863539c66f5b27802cf8f1ae09937dabd","datavalue":{"value":"4157910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485885$812CEA6A-36A0-46AD-8B06-EEC13D5CE87A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a67e1c3f4e3b0e2cc3ee08fc964bde4b83d08d9d","datavalue":{"value":"propositional Horn satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3485885$6DB86707-D309-49A6-8F6C-AA22B2CC5451","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":"Q3485885$A60E13CD-B101-4499-AFAC-E865575DFD07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db46612e9285f4f4b188948eda3ec49f0ea04352","datavalue":{"value":"https://doi.org/10.1016/0743-1066(90)90026-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3485885$8F9E7664-36A8-48C2-8BBB-3ED481C9C1E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c312ad488dbf67b770b7632f9202ba92633693f8","datavalue":{"value":"W2061917453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3485885$1A2AFA36-F375-407B-BEC7-D99FD26A8131","rank":"normal"}],"P1643":[{"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":"cf5c253c272173ae29866d351f5d034b0d86b34a","datavalue":{"value":{"amount":"+0.8559192419052124","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":"Q3485885$2FFA0FC1-0AFF-4503-8DC8-640CC44F52A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd01bc225923ba0424c86610ffc3038c50c8740f","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c52e3a6fa928082a1dce41c4e87cf4a87baa6574","datavalue":{"value":{"amount":"+0.8231187462806702","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":"Q3485885$B390C8BE-231C-4A6E-8757-51BDA6A6A3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2f4d9cc611cb3a5ae1671971b0f3c138b5e8880","datavalue":{"value":{"entity-type":"item","numeric-id":1111776,"id":"Q1111776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"047ba7eed11aee01b9235b2dffbf68d9bad6fd8a","datavalue":{"value":{"amount":"+0.7865056991577148","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":"Q3485885$6DA402CD-D36F-4C24-84F8-C732182A5950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b4df11fc868397d19521e862b6fa5bae8dba047","datavalue":{"value":{"entity-type":"item","numeric-id":1097717,"id":"Q1097717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"624a153575a479fd7db4daf2bc19f5f47f5ae8fe","datavalue":{"value":{"amount":"+0.7841580510139465","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":"Q3485885$641A38E5-1902-49F2-94EC-D44CF0AB4DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04415b4acfa317c05592d9e4057f2a56b8a072ef","datavalue":{"value":{"entity-type":"item","numeric-id":3815282,"id":"Q3815282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3721818caebdf058970b1ba10e332cf5f7b981","datavalue":{"value":{"amount":"+0.7570098042488098","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":"Q3485885$AEA1636D-5813-4222-A5A7-43A0606B65CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3485885","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3485885"}}}}}