{"entities":{"Q1189727":{"pageid":1200476,"ns":120,"title":"Item:Q1189727","lastrevid":42929884,"modified":"2025-07-16T03:20:35Z","type":"item","id":"Q1189727","labels":{"en":{"language":"en","value":"The linked inference principle. I: The formal treatment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 57767"}},"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":"Q1189727$13305241-ABC6-4812-97A0-B132CFA869D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b62d5502d55350e9bc5cc5e3665236f4f4b89a38","datavalue":{"value":{"text":"The linked inference principle. I: The formal treatment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1189727$C80627B3-461A-4006-864E-B15B4FB11D50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bda00d41dd7bf85b63664fab9b541a97bb929cc","datavalue":{"value":"0754.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189727$7B644437-0B19-4927-8AF6-7BBBAC464D92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e36ce81c0913ae51c316290e55fee5ca103c5804","datavalue":{"value":"10.1007/BF00244283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189727$6E10B86C-89E8-4480-8EA8-FE82826F07C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26e67c284200a94e888860be6089d9b97aa022aa","datavalue":{"value":{"entity-type":"item","numeric-id":220721,"id":"Q220721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189727$E1E483FF-BA2C-4360-8DEE-6166DEFA8666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba90afe3c39216a5a167db74b8f9f42ac7df8da6","datavalue":{"value":{"entity-type":"item","numeric-id":220717,"id":"Q220717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189727$DCFAA625-641B-4743-A5EF-4A21897EAAB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189727$B36D8E56-C97D-4296-8FF8-8E1B9AE0669D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1189727$4D8AEB20-ADEC-4A6D-9C91-19208C1C2571","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e1de72146c5c1373aca8f43f62f0a6dbaf5dda2a","datavalue":{"value":"The article presents the formal treatment of the linked inference principle. This principle permits to obtain formulations of various linked inference rules. A linked inference rule is a type of reasoning that combines a number of smaller steps into a single larger one. The linked inference rule is a way of reasoning that gives the user control over various parameters, such as the size of the reasoning steps, the breath of the search that the program is allowed to make and the semantic nature of the conclusion. The use of linked inference rules permits a more natural representation of problems.   The objective of linked inference rules is to select a set \\(S\\) of clause inferences and find and apply a unifier in such a way that literals are paired, unified and cancelled. Clauses from \\(S\\) can be partitioned into disjoint sets: the nucleus, the satellites and the links (if the set of links is empty we obtain a standard inference rule).   Linking clauses share properties with both the nucleus and the satellites. A number of linked inference rules are presented: linked \\(UR\\)-resolution, linked hyperresolution, linked binary resolution, each of which generalizes the corresponding and well-known standard inference rule. Experimental results and numerous examples are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189727$78AEE416-818B-42A0-8280-309A35936295","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189727$A73E64F7-8353-4CCC-840D-1A7F3C079084","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"feae9965c7b1d3e0509ef979b1b92c78eac72e9b","datavalue":{"value":"57767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189727$90839172-CA17-4BB9-A269-9152925DE655","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52d0c2115cf0e27c585fa50e00c5d3c400b1bc20","datavalue":{"value":"partitioning strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189727$CFC81831-A12B-44E1-91FD-CC1F444CC880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce15ad70df9e922fa84c33e84f515ca43952c38e","datavalue":{"value":"target strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189727$35EDA370-9D4A-468A-8049-19E9B0B07604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfee49641a5bbf8aff8396f3f1377ac9784ea730","datavalue":{"value":"depth-size strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189727$0323006B-2DD9-4397-9C86-5D86A79E17A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e1658b56c914c101904690de9b6a23649a2eee1","datavalue":{"value":"linked inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1189727$9F93CE9B-E34B-4498-AC88-114BF21F5984","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189727$A3D0C2CE-7553-47BD-89EA-8FB6BBC6725B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189727$8627F7FA-735B-44AC-B1BA-7A40B74F7E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cfe4917f47df85084aaacd4d417abed0d82eb6cf","datavalue":{"value":{"entity-type":"item","numeric-id":19078,"id":"Q19078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1189727$55C8EC66-34F6-433D-9592-618E85072C3A","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":"Q1189727$D799D4CD-3705-4C8F-9E3F-166EA640FB49","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e6960aadf99a2f6e7dff06217ad87e0d9df3e00f","datavalue":{"value":"Q114267080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1189727$8E7B733A-6323-49A9-B228-A4A179F82F7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02798da60b66c0595fbc040a700aefd5bdd18759","datavalue":{"value":{"entity-type":"item","numeric-id":3611996,"id":"Q3611996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ab310fb4c2907d026f40057d021aa29826fb90","datavalue":{"value":{"amount":"+0.80871785","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":"Q1189727$F84447EE-68AC-401F-A9EA-F8ADC147AC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a68866de537e92cf120770ba7e6d86f4270aa66","datavalue":{"value":{"entity-type":"item","numeric-id":4530901,"id":"Q4530901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9ad8042d29e93962363522382e89dc4e5da45a1","datavalue":{"value":{"amount":"+0.8066658","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":"Q1189727$4B0D1375-7B39-4201-BE9B-8A23614B1B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5ef0fb1e8dd303bca3e71d254db476ddf787bff","datavalue":{"value":{"entity-type":"item","numeric-id":4822151,"id":"Q4822151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9035666b243c8ec9d5fcf8943494ff2d196daf","datavalue":{"value":{"amount":"+0.8054117","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":"Q1189727$046F50B3-77E4-458A-917B-C6F564EFF839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c048891708de23fcab0c9666a0483d7016953e","datavalue":{"value":{"entity-type":"item","numeric-id":3691633,"id":"Q3691633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76d872cd6d6cab1c00ff486daa55c3146053f99e","datavalue":{"value":{"amount":"+0.8050382","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":"Q1189727$235510FB-91A8-4CAA-A3D7-820BE676437B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8fa40a6be1e6deedad956cdea0909f11f597d54","datavalue":{"value":{"entity-type":"item","numeric-id":4281881,"id":"Q4281881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df94948abf3d8e003e2f9584420a202a439cebc","datavalue":{"value":{"amount":"+0.8047016","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":"Q1189727$9D1F7DD2-1ACC-4792-8728-C125B3E7FD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea050f91b1a9fade4996b8e80481ecdc6ceb01c","datavalue":{"value":{"entity-type":"item","numeric-id":4501600,"id":"Q4501600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a66582134bba989744bdd7d70a8cb25905792c","datavalue":{"value":{"amount":"+0.8045839","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":"Q1189727$053A9219-FC0B-4FD1-B8AF-50167D2BC351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc8281e0f18297bac3680cbaed4cd8b11aecc8f","datavalue":{"value":{"entity-type":"item","numeric-id":4272486,"id":"Q4272486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab6725319692c556c2c5016077ce67c15c2d000","datavalue":{"value":{"amount":"+0.8010384","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":"Q1189727$35010840-771A-4170-BE47-F39915FA98DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326e45871e4f26baf819de10fd07af412c9aaea4","datavalue":{"value":{"entity-type":"item","numeric-id":2146067,"id":"Q2146067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a490c61d571005a109e9b9093769be5da963ee","datavalue":{"value":{"amount":"+0.80067873","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":"Q1189727$FC2F7695-5B6C-4632-974C-7D6FAD7C5C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4ca17a2f46f5811e072ac4658fe1fddb18eee8","datavalue":{"value":{"entity-type":"item","numeric-id":3709589,"id":"Q3709589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a248529b962eb81f1ac2f5e3d8372744cd9cfd","datavalue":{"value":{"amount":"+0.7973127","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":"Q1189727$87F8F79F-2DBD-49C1-B805-A134998AB30A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1189727","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1189727"}}}}}