{"entities":{"Q3821637":{"pageid":5851543,"ns":120,"title":"Item:Q3821637","lastrevid":88915514,"modified":"2026-06-04T15:49:47Z","type":"item","id":"Q3821637","labels":{"en":{"language":"en","value":"Extending SLD resolution to equational horn clauses using E-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4094873"}},"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":"Q3821637$382E47C6-1C49-41CA-901F-63A11547BB1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34d484972d53534cdc75dd52b3c661b5cb85fb92","datavalue":{"value":{"text":"Extending SLD resolution to equational horn clauses using E-unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3821637$6358417F-560E-449C-95A7-32CA8D3C4899","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4640a8452f95b82039896a9b1367b5119d834dc8","datavalue":{"value":"0668.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821637$AE040125-6E59-40C6-BDC7-01D586D1654F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f1cad3f00ac7c7f1bc19cd437db2c7277747e60","datavalue":{"value":"10.1016/0743-1066(89)90028-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821637$BEBC1BAE-46AA-4CF7-8592-52E83B82B2FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3821637$8506CF5E-FF0C-4B08-9393-ED9E51B6FC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9245d6bd94ba1579f298ff2452b52a61f5a5da9","datavalue":{"value":{"entity-type":"item","numeric-id":1188937,"id":"Q1188937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3821637$7F418346-43B6-481A-922E-0986435BBA0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3821637$AA258E27-F4B6-4814-BC94-1BB6C8E42EA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3821637$94FED5C4-42E3-4672-9C21-3D311C0D4294","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821637$2F9C84DC-A626-4B36-80A7-97460A0B012E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821637$003D0222-5D70-471A-B71B-95F65C81D3E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98722de31ad8e3294a7dc11fd498272f02ea87bf","datavalue":{"value":"4094873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821637$56D6B0FD-F96D-4817-B825-3A3E31C60A52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821637$90CFBD41-5DD2-4026-A19D-6A5BFADFF04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821637$50206F7D-929E-4624-9381-2B95CF7BB9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6c78685aea0a7d91e6d41499c27d1163c6afe98","datavalue":{"value":"refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821637$80062492-8C38-4966-8145-ABF9D91FB55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6df87906b02eb78cee139c2547f0cbf5413af1e9","datavalue":{"value":"SLD resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821637$C547464D-2A8E-4BB3-97A4-5EF86A1DE86E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821637$0C218ECA-B37D-42E9-B207-A980A0EB88EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f840ce5119480b895ac664a10de6f0a19316ae","datavalue":{"value":"congruence closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821637$DFF02D73-A9FF-4D7D-A796-EC041B8D9261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b528855d4f6ad095173ac55b7552f2e5af3ab969","datavalue":{"value":"equational Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821637$B51B397E-B4EB-42AE-B20E-5C7AB1E1E23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc18f273f58559995b871f299f8366c0b3861d3c","datavalue":{"value":"equational logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821637$8A87C755-C3D6-4DFA-8BBB-0FA4B99446DA","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":"Q3821637$AB281BD0-817A-465B-BEBB-103DF5BF355C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7f13d4e979d8000f427c85c572a33dde8de38d3","datavalue":{"value":"https://doi.org/10.1016/0743-1066(89)90028-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3821637$3CB628B7-EE38-4E30-BC7A-A50CD95306D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8520bc1ba43c02dfe16c04b338fdb3293c7684e4","datavalue":{"value":"W2038232291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821637$A922178E-0078-478E-A7A8-84B9CEBF3A8A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d14a3fe78c67c4f65adb077aba95bc3d8707dae6","datavalue":{"value":"Q127613923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821637$3F1E35BE-DFE7-4797-8A06-2A9E5FE9915F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6c2e2b10b875138c72a1c869ba84111a8bf006","datavalue":{"value":{"entity-type":"item","numeric-id":3129511,"id":"Q3129511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"034822ccce965639f88bf548b8bd51e6e4d9b6b9","datavalue":{"value":{"amount":"+0.8277639150619507","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":"Q3821637$78FFB89D-328B-4C66-B460-E31AD07E7123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e120e715734180afc3ab140168d58ad33395fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801319,"id":"Q1801319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a5327fbddea4010fd3b6499b32a55a6c280228","datavalue":{"value":{"amount":"+0.8195111155509949","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":"Q3821637$07B8DC88-EA30-43D3-87EC-60E0EBF176D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6bd7ca72bcebffbdebe664c67493578ddda764","datavalue":{"value":{"entity-type":"item","numeric-id":5881306,"id":"Q5881306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04878bc0977063b2c09d8294e7683143b4d85380","datavalue":{"value":{"amount":"+0.8152340054512024","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":"Q3821637$3F174CB2-30F4-4C56-B065-098877DD4982","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":"8984d12d3043d1d84d9d9a223f93853f93fe1802","datavalue":{"value":{"amount":"+0.8095935583114624","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":"Q3821637$5E738DDA-DAB2-4748-9C8C-70B28DE75D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8bf6ae7dcb5f933891d727f7bc1ca20b064758","datavalue":{"value":{"entity-type":"item","numeric-id":1824409,"id":"Q1824409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6fb96bd07e18d47395202c428a1269e8b99f818","datavalue":{"value":{"amount":"+0.8082704544067383","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":"Q3821637$8C24390B-2424-42D2-8495-3F6931DDD232","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending SLD resolution to equational horn clauses using E-unification","badges":[]}}}}}