{"entities":{"Q1111776":{"pageid":1122525,"ns":120,"title":"Item:Q1111776","lastrevid":49224007,"modified":"2026-01-06T19:26:46Z","type":"item","id":"Q1111776","labels":{"en":{"language":"en","value":"LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4076678"}},"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":"Q1111776$EEDEB3A3-1FEB-4083-A320-09E90FB168DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fee7dc65f5886acc9ae81a61bbbd3a269f773c8","datavalue":{"value":{"text":"LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1111776$9781BEFB-79E1-424F-8EC3-6A9ED90024FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50a43b7c549bf7a75d5f27ca8c173e279160f903","datavalue":{"value":"0658.68110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111776$34BA695C-6AE4-4548-89D7-F926E2996B8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e039180294bcb0356a2fae1c0d8ab2b17964f97d","datavalue":{"value":"10.1016/0020-0190(88)90124-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111776$EDCC16AA-694E-47B0-8F1A-5353425797DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b2480f70a96a0e09506405db969492fd41acf1c","datavalue":{"value":{"entity-type":"item","numeric-id":325411,"id":"Q325411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111776$92C8FB42-D7B0-4AB0-A0AC-3CD3E8D31E82","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":"Q1111776$290E2F79-B99F-409D-A5FA-3CCB284301D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1111776$15EA792E-1B04-4F4E-9F09-8503277AE285","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5dddd8f0e466fb2d41794b48c592f057c591f21f","datavalue":{"value":"Testing for the satisfiability of a Horn expression in propositional calculus is a fundamental problem in the area of logic programming for many reasons. Among these is the fact that the basic solution techniques for propositional Horn formulae have been shown to be central to the design of efficient interpreters for some predicate logic-based languages such as Hornlog [\\textit{J. H. Gallier} and \\textit{S. Raatz}, J. Logic Program. 4, 119-155 (1987; Zbl 0641.68145)]. The present paper proposes a simplified way of deriving a linear-time algorithm avoiding many of the intricacies of previously known descriptions. In addition, a full, ready- to-use computer code is provided at the end of the paper together with a detailed analysis of the necessary data structures.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111776$C1E4D71F-2B55-4B97-9AA6-E4A03B683A42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111776$7EE1961A-4782-4EEB-8E23-A26C28668167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111776$428756A6-35E7-4AE0-AB9A-ABBCA0D0C8E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dffb8c5e72ffd4c0446124c4e8ebc080e4b63883","datavalue":{"value":"4076678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111776$9591A97B-4762-4924-A67B-6246A505827D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d49af84f28aa5c5295879862aea3b67812eac96","datavalue":{"value":"unit resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111776$5F40B7C6-B51C-4E76-95FD-B99A546893A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111776$0F104F20-0F0A-4D75-834B-B77D62A22091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc53c0e38118a8e657a632ffef83074043292dd","datavalue":{"value":"Horn formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111776$498C358C-2F66-493B-962A-84AAB2A78369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a22c60ce21cd874341cbf4e628c32d83ead5d6e3","datavalue":{"value":"interpreters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111776$219F4BB0-F2CA-45FF-A097-19B5399E292F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"166a294686241ebc6cb0e4abbc6516896a5f5a71","datavalue":{"value":{"entity-type":"item","numeric-id":33170,"id":"Q33170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111776$108332E5-77BE-4B96-814C-2D4B69FDFF72","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":"Q1111776$8B40778F-FD75-429D-BE04-7836AA081EF8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111776$A0EF412B-C4C5-4896-97AD-1AA2E818B278","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":"Q1111776$EC0D8F89-3FF5-4844-A2F0-3702B9957B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111776$1A31FF1C-EEB6-452D-8F86-25C74731F104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5cc23fc87ed42f4d807d8eab34960d1789ca77d","datavalue":{"value":{"entity-type":"item","numeric-id":3782842,"id":"Q3782842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111776$15889CD2-3A7F-45C0-92D0-38B4C709E0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373c65ef4069b52a23fe230e08a271e32f56a00a","datavalue":{"value":{"entity-type":"item","numeric-id":1235982,"id":"Q1235982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111776$8E3CEA50-0853-486A-B224-F57358275E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b705d434743289f1c33d94607b3327759f7e3","datavalue":{"value":{"entity-type":"item","numeric-id":4142699,"id":"Q4142699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111776$4B1DAACC-87CF-4D7B-96AF-32819141194A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0826b4838e72c7128d5bb9747857b2c999252bce","datavalue":{"value":{"entity-type":"item","numeric-id":3750987,"id":"Q3750987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111776$3D00F375-C18E-4B76-B743-1F311C33E3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102773d10765ac7344d721acbb33968c8260163f","datavalue":{"value":{"entity-type":"item","numeric-id":1153123,"id":"Q1153123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111776$004AAACE-EC8E-452E-92E1-5334F2704212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3a7cfeece8562a9ac87120b107e2b528967937","datavalue":{"value":{"entity-type":"item","numeric-id":4773298,"id":"Q4773298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111776$FAF596DD-901E-40A7-9066-6A9205337888","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb13ba0f8941e5972f44dc58d96441ea99a157af","datavalue":{"value":"https://doi.org/10.1016/0020-0190(88)90124-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1111776$CC1D0F85-315F-4C32-AC6B-3A64B0B2E445","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"973ba8f0179938d105c984f2b284a2279317c878","datavalue":{"value":"W2079107830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111776$05C84716-37D5-4544-B62A-A8C214B79BA3","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":"a5b1e0eeb2932646d5d6caf8b38daac68eef4298","datavalue":{"value":{"amount":"+0.8773417472839355","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":"Q1111776$22694816-ABA9-4AD0-AD83-EAE8FEA93F72","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":"0b6fb19f1bc5ed2968764f94f4630ac20b20532c","datavalue":{"value":{"amount":"+0.8197123408317566","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":"Q1111776$6F69D238-2A00-4CFB-8794-E3A8E81EF958","rank":"normal"},{"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":"60d6bfe2f6fd2d1c162de568b7116a581a457a63","datavalue":{"value":{"amount":"+0.7918002009391785","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":"Q1111776$E9A57069-E2C3-467B-9654-D85739219900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd5f7b3d0b86de9b40a1b9a9e97878011423f3f7","datavalue":{"value":{"entity-type":"item","numeric-id":3485885,"id":"Q3485885"},"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":"Q1111776$021E44F5-5C0C-4296-B1CE-F583849A9275","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":"6fda678901b0da38e98fceb9345aa89ed1c253b6","datavalue":{"value":{"amount":"+0.7814834117889404","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":"Q1111776$BEE946CD-CF8A-4748-AAE0-6109E0728FFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1111776","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1111776"}}}}}