{"entities":{"Q1105364":{"pageid":1116113,"ns":120,"title":"Item:Q1105364","lastrevid":67000098,"modified":"2026-04-12T14:15:03Z","type":"item","id":"Q1105364","labels":{"en":{"language":"en","value":"Narrowing vs. SLD-resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4058851"}},"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":"Q1105364$1A27177F-F934-4660-89FC-067F8D4FC17D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89c7af3c540fabd517570c80c05e229f41479807","datavalue":{"value":{"text":"Narrowing vs. SLD-resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1105364$24ED6FF9-3353-4BFF-9374-79F9F5BE0A87","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbbdb5936ecf21d1361c43e8ba52655bbd17b12c","datavalue":{"value":"0648.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105364$1BBF0925-0F60-4C78-B8BF-30173A8FB97B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba4691ee37e1330b117e10291d9a6f85929102d3","datavalue":{"value":"10.1016/0304-3975(88)90095-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105364$F0238408-45CF-4F85-829C-265F1BA19541","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c6b887eade9ef808c0aa19bfc09d4832033fe2a","datavalue":{"value":{"entity-type":"item","numeric-id":1105361,"id":"Q1105361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105364$D72747A3-D4EE-48C5-9DC3-20451BBAE36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa036ac71e4432af4595c2940a8c80a681ec2db2","datavalue":{"value":{"entity-type":"item","numeric-id":1105362,"id":"Q1105362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105364$7FDBB5A1-ADC0-44FE-8D93-38960C8ED7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08fc1f7280207046026dfc4dba895215d9332ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1105363,"id":"Q1105363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105364$CE67E1DE-AD36-452B-B5EF-2DB6E59BF530","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":"Q1105364$4EA4BB18-A178-4077-82E0-97697392610F","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":"Q1105364$9694ACCC-ADBE-4815-8286-906A472BCF84","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b7e711ab831ebdc5e40de6c0a2de074dbb47b83a","datavalue":{"value":"A comparison is performed between narrowing and SLD-resolution as regards their use in semantic unification (or E-unification). An E-unification algorithm based on flattening and SLD-resolution is developed and proved sound and complete by establishing a correspondence between narrowing sequences and resolution sequences. An E-unification algorithm based on a refined (``selection'') narrowing strategy is derived by adapting the SLD-strategy to narrowing. Finally, possible applications to the domain of logic\\(+functional\\) programming are considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105364$E7124FEA-07E0-4F05-B497-3D722839F7D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105364$595F8846-3714-4C10-A7FC-B8DC0057FCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105364$16445135-7F89-4C10-934E-207A165F1082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105364$0EBA5DF7-3450-4264-8140-62191B1C0B15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63d5986cadbab07d80148ec9ccfce8fb1e9f6fb7","datavalue":{"value":"4058851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105364$C02C27F8-297C-44FF-850B-5D85066B15E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e20429622ec08ba47dc9e7a4c57de8bf8a42d9","datavalue":{"value":"narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105364$22FE5FAD-C24C-4494-85B7-171A5FB472CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c370f08705d948cbe8326531bf5f5bb6a470bf8","datavalue":{"value":"SLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105364$A8E3033A-660F-4DDE-AE5E-54FE52B4C11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e62fce73127c9913d3ba781a5ce29e9991edf64","datavalue":{"value":"semantic unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105364$C7B78736-057A-4CEC-B8BC-D0D9A95092C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bcf84584bad3fe3604d99501f4fec1b7404f6c2","datavalue":{"value":"E-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105364$1A61546F-D117-4070-9176-3A9D0CA277B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f7b7e73f9362f6b83b282fa199154a3f6894ed8","datavalue":{"value":"\\(\\log ic+functional\\) programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105364$F61E94FF-7B92-4965-B9E0-D301ED5D69D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4e80b1bdb737072b27970ecf165d50631542509a","datavalue":{"value":{"entity-type":"item","numeric-id":5973903,"id":"Q5973903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105364$3E912D95-0C9D-42F3-B862-10B4EFFD19A1","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":"Q1105364$551B4DEC-8623-406C-B0C9-53A1D8C4D3AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d6bc532286b1fb2c4f096c9af7ee06330755427","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90095-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1105364$1C286848-CDB3-4DD3-9959-683935663F96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e34a8341c9c91f01979ef02a78b2c5f8f361efef","datavalue":{"value":"W1975247475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105364$7ADFDF1B-8549-4A53-8B60-807C311758C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3337402bd8757608226013bc4f55633b050e302c","datavalue":{"value":{"entity-type":"item","numeric-id":3771660,"id":"Q3771660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105364$D74A49CE-854C-4C18-A5F7-CF251DE84660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fb53dc30cdc46111c93a6e7de143f2e9b39160","datavalue":{"value":{"entity-type":"item","numeric-id":4099229,"id":"Q4099229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105364$243C2924-FEEF-4C65-B7FC-FAC7E2214E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61ba87c987c84ca4579443b762c28d920c8ce683","datavalue":{"value":{"entity-type":"item","numeric-id":1087023,"id":"Q1087023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105364$7504B032-B897-47AA-BF98-7ACE52BBCC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aabd8f3595e1331a44dc7a6dd5f7e7d6bff224f3","datavalue":{"value":{"entity-type":"item","numeric-id":3336735,"id":"Q3336735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105364$20D1A10A-54DC-4FF3-8794-6F61C4A70B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6249290c793fa3d4c305541f1a11cd397a401609","datavalue":{"value":{"entity-type":"item","numeric-id":5902880,"id":"Q5902880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105364$97EB00BD-D054-4524-B3CD-4F3086242F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105364$C9B8370D-7420-4B2D-9B36-73A7F6E70391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49dfcf779626070163a6a0ca7b7916ab0ca8d77","datavalue":{"value":{"entity-type":"item","numeric-id":3709891,"id":"Q3709891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105364$25ABF471-0749-4C8A-A7C5-692E353880EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2a5b2ddebd2ab0369854cad775c43938f5294ee","datavalue":{"value":{"entity-type":"item","numeric-id":3696486,"id":"Q3696486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105364$348BFCC5-60F4-4A7A-97D7-CE277DE3430F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40f5e0fe0c4b06342484f1e8b7900801f58a952a","datavalue":{"value":{"entity-type":"item","numeric-id":3457756,"id":"Q3457756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e76cb68faedda0360bf8eb8e71e8be1d0660fa4","datavalue":{"value":{"amount":"+0.8432590365409851","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":"Q1105364$1A840536-0F18-4C1A-8E24-30E385D5FF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10f6634b590787236da4a554e29f4fbf4de3f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3771660,"id":"Q3771660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6574b3fd5dbb8d613686a8fe0ba5a63dbb549c42","datavalue":{"value":{"amount":"+0.8389327526092529","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":"Q1105364$33EC3358-8B3C-4726-9781-B9CBAC9DB3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fab04dff8c63950ed3ffaa7511199553e4e955","datavalue":{"value":{"entity-type":"item","numeric-id":3730013,"id":"Q3730013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a6bcc2b8a288f52254c64921c805c63c470bea0","datavalue":{"value":{"amount":"+0.8084247708320618","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":"Q1105364$CB4FC2E0-797E-4ECE-B977-67FC021CD337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cb67eb28a0ce730c6dcf90fbf8553cc26a9d994","datavalue":{"value":{"entity-type":"item","numeric-id":1197097,"id":"Q1197097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09734eb6a3864532a64719c7be345148eb4545d","datavalue":{"value":{"amount":"+0.794451117515564","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":"Q1105364$C4A71EE7-2DA2-459C-B11C-E54D4B1E51F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26d6998685e2f7c03c1673ac12d6febc231bf71","datavalue":{"value":{"entity-type":"item","numeric-id":2639627,"id":"Q2639627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d4b7aa0111cc1a31653db720b761f8487b1d074","datavalue":{"value":{"amount":"+0.7937288880348206","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":"Q1105364$DBE3BD9C-93E4-4E2E-9DD1-CFF5D6D0A4FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Narrowing vs. SLD-resolution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Narrowing_vs._SLD-resolution"}}}}}