{"entities":{"Q1894352":{"pageid":1905094,"ns":120,"title":"Item:Q1894352","lastrevid":69213948,"modified":"2026-04-13T05:31:31Z","type":"item","id":"Q1894352","labels":{"en":{"language":"en","value":"Unique satisfiability of Horn sets can be solved in nearly linear time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 777815"}},"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":"Q1894352$A593451F-8D1E-4CF2-990B-9AE24A4B3405","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e6dd7724900154385f8acceaca4cdf4960f1801","datavalue":{"value":{"text":"Unique satisfiability of Horn sets can be solved in nearly linear time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1894352$AE6D86FD-2A42-4E0E-9490-F0E4DC0904C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5e6771917236300d2db753799a4e0bca6b2b07c","datavalue":{"value":"0836.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894352$4B75F4E2-8656-464F-98C2-A7078C190029","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1af7c6adfb04d85263765ff7e28cb157c14f278","datavalue":{"value":"10.1016/0166-218X(94)00043-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894352$B427E108-8EF3-4BD0-A9E5-84F215838F54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8e994a56a7ee145fd83e02009c338e439d73e59","datavalue":{"value":{"entity-type":"item","numeric-id":652639,"id":"Q652639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894352$C0CE778D-99BA-44F6-B8F0-CB5E7B8FE0EB","rank":"normal"},{"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":"Q1894352$D8F40D9A-1FF2-4937-8DC1-39BB4041A1FF","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":"Q1894352$5104D7E5-1026-41DF-A3C4-AAE6D1A17BC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894352$1A531744-05E3-472C-9EAB-9FA9CE7E5F90","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2e4d7b864b259e9d648a2b76b651e0f4df79666","datavalue":{"value":{"time":"+1995-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1894352$427FFA5A-66EC-4579-8D48-F1B97022303F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894352$27108DF1-A24A-4781-BFC3-077B1A0A1BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894352$EF5C3140-FB0F-42DB-BF58-87CAFCDDFB20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ed5fefcc60f5e25b6d732cf47c8e9582cb2c40d","datavalue":{"value":"777815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894352$D132966D-BC32-4F6D-AE9A-2FE6EC93CBDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894352$7A51D73D-30CA-4B4F-BC75-6A3A70EC0ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b971605c9876c6f9d1086966025e0d56e08c0c","datavalue":{"value":"Horn set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894352$7388689C-8F6D-400D-82C9-206539361D85","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":"Q1894352$0237C68D-8835-4DE1-BEE8-800B4B43F3EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9e735882f0114d9d1bd74d7bde93766d995370","datavalue":{"value":{"entity-type":"item","numeric-id":4065051,"id":"Q4065051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894352$AFDB2498-81A5-4FE3-96A6-B54EC3CA3A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c317ee9b89d25866849eff84487be5a7c7991b60","datavalue":{"value":{"entity-type":"item","numeric-id":3331209,"id":"Q3331209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894352$71052FF6-F9AF-4D9F-9FF1-27A173181AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef757ecac8e00102e8fe2d81d7657ee3391ff698","datavalue":{"value":{"entity-type":"item","numeric-id":4138187,"id":"Q4138187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894352$E85C7F6E-8231-4561-9E00-89DB01C7D35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894352$4FD78235-A611-4293-B531-316692F71743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4aff056159aaf1cff504830007d8fb1af49169b","datavalue":{"value":{"entity-type":"item","numeric-id":3782840,"id":"Q3782840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894352$E95D472F-BF24-4C94-9539-DE56A4ECEEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c44841c3783b391f04efea8c5ca7c77cab618df7","datavalue":{"value":{"entity-type":"item","numeric-id":1353999,"id":"Q1353999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894352$AA571E6D-D746-4146-B20D-28B631018330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9542469b115b8c938b2036b2a362fa6b20cdeaf9","datavalue":{"value":{"entity-type":"item","numeric-id":3485885,"id":"Q3485885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894352$EB40713F-A3A1-4720-B9BA-144133F1BB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894352$53FE2EC2-66F5-4430-9A1E-8D98B831705E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932383d1ac997ed208ef47dcb574b592efaf75b3","datavalue":{"value":{"entity-type":"item","numeric-id":4065031,"id":"Q4065031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894352$C73B7036-2377-4CE5-819F-10F109B0FF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894352$E01819A3-8D0D-4056-A180-0B95348B1BF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e64f21626ac8f80203f58aa25446b4e13cdc45a1","datavalue":{"value":{"entity-type":"item","numeric-id":1313762,"id":"Q1313762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a43c09dd338fa3b00bc2844280763ab194786d","datavalue":{"value":{"amount":"+0.8933004140853882","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":"Q1894352$C9347F71-37F6-4F57-BACB-EAC65DF2C301","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":"e5a43c09dd338fa3b00bc2844280763ab194786d","datavalue":{"value":{"amount":"+0.8933004140853882","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":"Q1894352$1DEF466A-BC35-4C2C-AFEA-D393F4AE9F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1d99c39e4a60a3272e2f4342211f082563accbf","datavalue":{"value":{"entity-type":"item","numeric-id":1353999,"id":"Q1353999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e539a05e8186002d81d62b62ebabdd91a022b26","datavalue":{"value":{"amount":"+0.8247022032737732","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":"Q1894352$A9A0511C-14A0-4E03-908D-F1D20B4C68AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ce52e134ff139db30211fae2ab5d1ca2fb35921","datavalue":{"value":{"entity-type":"item","numeric-id":673674,"id":"Q673674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7828e0a9ec9be124942a7eafa5ad26ff14505e83","datavalue":{"value":{"amount":"+0.8239602446556091","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":"Q1894352$8551C0FA-DD1E-41FE-A659-B2A7BFE31513","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":"ae7cbad0f6b81fea2677d9b7961117ef51cadf9f","datavalue":{"value":{"amount":"+0.7916796803474426","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":"Q1894352$3AA0EFAB-646E-4F64-9532-180174CFD728","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unique satisfiability of Horn sets can be solved in nearly linear time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unique_satisfiability_of_Horn_sets_can_be_solved_in_nearly_linear_time"}}}}}