{"entities":{"Q1318709":{"pageid":1329459,"ns":120,"title":"Item:Q1318709","lastrevid":70129992,"modified":"2026-04-13T12:38:16Z","type":"item","id":"Q1318709","labels":{"en":{"language":"en","value":"A linear algorithm for renaming a set of clauses as a Horn set"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 540861"}},"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":"Q1318709$C2CC3D7E-96F1-4EBB-AA2B-007176016208","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f17c28eac7cce98debf4dc7ff821c7f6ff6753b7","datavalue":{"value":{"text":"A linear algorithm for renaming a set of clauses as a Horn set","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1318709$B359AF02-2EC0-4F9E-814C-A76CD5F83E63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c77d7f3ffa79917ebdb21d2ff56f16034823800","datavalue":{"value":"0787.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318709$F42B7D21-9ED9-4983-AA9E-F9D35455C07E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"917ae12c4b060fc0dbb829d67319152683fcec1d","datavalue":{"value":"10.1016/0304-3975(94)90015-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318709$47A2F597-3350-48D5-BB93-FF77345BB058","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4081c4099f10e356714bb1c9f339658626e1bdda","datavalue":{"value":{"entity-type":"item","numeric-id":673673,"id":"Q673673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318709$00BD7729-0574-4E05-B530-DBF325568224","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":"Q1318709$4ED7EC5B-AEC5-4547-9F5A-822A9E545233","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"054db8f256a961baa5551095cf141804f5047514","datavalue":{"value":{"time":"+1994-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1318709$5832D95E-F6A6-40DC-BC02-84868C4A8F9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318709$BB364F2F-353C-49EC-8742-32CD3B3861AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318709$28B9380D-0A6E-47D6-A6C1-F2ABE328AA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318709$F14F12D7-99CA-4387-BBF0-CC9AD3C7299F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318709$3595A420-2475-4870-8E86-E8031B896163","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"993b6a0e2663f566f9cda6ab9bce543ddb6db9de","datavalue":{"value":"540861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318709$BB137AD7-8B97-413C-B72E-725A9A28BD97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"067c3f27d419158fddfdd8d9acb79af193355af5","datavalue":{"value":"renaming algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318709$95577E1E-D099-4DA1-BB5D-9721A0F398A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69b971605c9876c6f9d1086966025e0d56e08c0c","datavalue":{"value":"Horn set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318709$646661E4-F136-4E4C-8C3F-2C19F4695C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a55fb7e70a0a30faba9d447ff633fcbf884168f","datavalue":{"value":"linear complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318709$5218C131-801F-4C70-83FB-C0162371BAD7","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":"Q1318709$96A1DC61-4F0A-4046-8703-BEAD8CF24A02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d472cefa1fe4b36f0ed2776ac0d2051e3e6bc45","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)90015-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1318709$540AED58-C410-4228-9A2B-C5012DA12513","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fda7e38d38d7bf35717c85a1f129811a313e1b72","datavalue":{"value":"W2031435353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318709$AC011ADD-BE63-46A5-80C1-0209870D7753","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2ce48b32825bc63fa539060a9022a66b7b8f99a6","datavalue":{"value":"Q56482742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318709$8650401A-660E-488A-A68C-3A2F4A5EECBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b5b0535e606fd0713aa3bc3ecec575e7f5e28b","datavalue":{"value":{"entity-type":"item","numeric-id":3898029,"id":"Q3898029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318709$1146C101-C92A-42B4-BA22-A9A9A96A32A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46599fad5219aa3aa37e01866121623c89c30ae4","datavalue":{"value":{"entity-type":"item","numeric-id":1356207,"id":"Q1356207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318709$29FFA579-AD05-4993-A1C6-DC08E25831AE","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":"Q1318709$CAA346ED-ADF7-434A-92F0-2DC5937D00A3","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":"Q1318709$AF8660F4-5F39-4D5D-8C82-20F06FEBEF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"748bf33ba602859407d9edfbecdae7679fd8b2ae","datavalue":{"value":{"entity-type":"item","numeric-id":3983122,"id":"Q3983122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318709$E7214C3F-DA72-4405-AEF3-B8BFFC8BEC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3e59c111d12cf14599d3ca95b269f4dfc54948","datavalue":{"value":{"entity-type":"item","numeric-id":4140416,"id":"Q4140416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318709$8E6CCE4C-59F8-4349-A00E-9FA4BB1D8494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab5a6825d2d3cebe7fe1c720c51a7bd7f5dd31f","datavalue":{"value":{"entity-type":"item","numeric-id":1120278,"id":"Q1120278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318709$28128EE3-AD50-4230-9389-19EBDC0D9D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d53a28b01bdaf2102551cb99ed821945979a516","datavalue":{"value":{"entity-type":"item","numeric-id":5541352,"id":"Q5541352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318709$1670892B-C81B-40ED-84D8-4C02E76E6F9C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"a56470d4a3a72a44c0882eb7496079baf9805674","datavalue":{"value":"journals/tcs/Hebrard94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318709$A96F493E-14AF-42EF-BBD1-E06692D7E8FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c334dc054d23aefcd23e9dddd5243131b09071a4","datavalue":{"value":{"entity-type":"item","numeric-id":5184426,"id":"Q5184426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26acfd08a0c62925d21ea33739de1bbcfea95f5","datavalue":{"value":{"amount":"+0.96194375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1318709$AE740C18-7AAB-4965-AAC8-E79BE4E4C85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e401010a16cae18ee5b263f9625fbd07cf6ee2f","datavalue":{"value":{"entity-type":"item","numeric-id":1120278,"id":"Q1120278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb6e156869ad9ba9e59b52d9e002d6a6d8014cd8","datavalue":{"value":{"amount":"+0.9233116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1318709$A10791EF-FDEC-479E-805F-1C555A0570CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"202e5576435046a341bee1b62c53361a3c9b896d","datavalue":{"value":{"entity-type":"item","numeric-id":1587332,"id":"Q1587332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbd387c7859dc8c006be01ebe5acaf013cf4ef8","datavalue":{"value":{"amount":"+0.89505863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1318709$3A1E1A36-9D42-4394-A746-770D3060A488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df8fbbcf657b785369a914aadb2153a588ff2f30","datavalue":{"value":{"entity-type":"item","numeric-id":4366603,"id":"Q4366603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbd387c7859dc8c006be01ebe5acaf013cf4ef8","datavalue":{"value":{"amount":"+0.89505863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1318709$806B8A0B-4EE2-4BDE-BC98-2DA0D5A1F04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"becdcc49d0047a2db60b847b7f7900a8dd3fb807","datavalue":{"value":{"entity-type":"item","numeric-id":543196,"id":"Q543196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b667b4addd15d5ab4bbbd527002edc2618811f6","datavalue":{"value":{"amount":"+0.8581948","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1318709$8112DBBD-700E-4731-8C70-CFC64F677F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43e6e0d0ae7a229d36a7947d6edc16ba52ad99d","datavalue":{"value":{"entity-type":"item","numeric-id":5015369,"id":"Q5015369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3d389531f91e324c32f84eeeba66622b4cb5789","datavalue":{"value":{"amount":"+0.8576506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1318709$BE47A15A-2DCB-4D97-8E46-62581EFF484A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a6656728c92434879671bc59dfba70418c5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2999324,"id":"Q2999324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce65c9f17856ec689d30dcdce111529a6f37faec","datavalue":{"value":{"amount":"+0.846395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1318709$EDF5B73C-FE65-4393-AC96-BAE4FC37BECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b73174a4485242e702f9d30c95ca2f409d048b88","datavalue":{"value":{"entity-type":"item","numeric-id":3976574,"id":"Q3976574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55f514aacec43d8553472682e1694c0167caa990","datavalue":{"value":{"amount":"+0.8416985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1318709$09CB7AF6-06F7-4D97-92DF-8AC8939C19B3","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":"13264e9147e3d4aa5774790fb8a4dab7c3416929","datavalue":{"value":{"amount":"+0.83641183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1318709$1202618D-ADEF-40A4-98DA-CC8CCACCE3D0","rank":"normal"},{"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":"18b480a5bd6004ef29ad13dbf97736dd5c81e9db","datavalue":{"value":{"amount":"+0.8346028","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1318709$B18F5F70-A2D4-452E-B68B-5A78A1A45EC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A linear algorithm for renaming a set of clauses as a Horn set","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_linear_algorithm_for_renaming_a_set_of_clauses_as_a_Horn_set"}}}}}