{"entities":{"Q3833654":{"pageid":5863560,"ns":120,"title":"Item:Q3833654","lastrevid":54476552,"modified":"2026-01-27T03:13:54Z","type":"item","id":"Q3833654","labels":{"en":{"language":"en","value":"Unification: a multidisciplinary survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4110162"}},"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":"Q3833654$7DF14B1F-4B4C-4DE9-AE9E-9D74FD184123","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53936ebd864f62912979b59b8423d295cb1693c8","datavalue":{"value":{"text":"Unification: a multidisciplinary survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3833654$9E607965-6303-44AD-BB1D-B75522D8AF13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20efea2079a197f296576c6c3d2869062c4b5749","datavalue":{"value":"0677.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833654$B0684F14-54AE-48C2-B43F-F2EEDD7CABA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49a01a83e3d05f8198a8d36487ad5c6fe30fc23f","datavalue":{"value":"10.1145/62029.62030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833654$28023488-BF6D-4453-9524-F1767FA1CC10","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"648f066d7111f855f920a4df12eb5365632ac7c3","datavalue":{"value":{"entity-type":"item","numeric-id":59986,"id":"Q59986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3833654$8E6E467E-200C-44DB-8085-F7300A5FA766","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":"Q3833654$C27D7E27-A2E0-4FAF-9DCC-925524A0C49E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833654$CD9B276E-56EA-491D-9EF2-18967457C87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833654$FCAC7629-5896-4CE8-8411-350EB8255B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833654$14584BC8-1D54-4EE7-AF8C-A26D98123416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833654$8B40F57A-8C27-4C2F-BC63-53DBB1D1D7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833654$97B52489-0556-4AEC-93DD-09CEFE6B0C15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8aebeccce7a0a7620d6e22a5cad8ccfafde0a265","datavalue":{"value":"4110162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833654$44EB8D75-44A5-43E4-B062-F0019C5B2136","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e2c5cdbb9bf737c4fa7ac78971f831677d8a1d","datavalue":{"value":"graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$F90628FC-D7B3-4A63-A7AB-E28DFA986999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8333a098c4121180eefe66b835405e53883953b","datavalue":{"value":"analysis of algorithms and problem complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$B520AEA8-D469-4BCB-8846-80D4D6818430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"740c50dfcc68b50b5e1776558095379014befcd5","datavalue":{"value":"nonnumerical algorithms and problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$A6731B2D-417A-4828-8F07-BCF7D8F05ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"422085fa539c12240d810b0c5f3bdf17ec999957","datavalue":{"value":"computations on discrete structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$DB60D296-4F9A-4090-AE9F-A570D219B3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$96D30C83-370C-4136-A322-E0DEBC11D12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"759a0214df8d3bfba2a5ae91a42bacd1cb2a9051","datavalue":{"value":"algebraic manipulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$59AEED5E-D10D-4231-9B45-2676AD41AE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$3FCE1A46-DA5F-4E5E-A50B-A6FD1D0E8017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$D9B093DC-CB9E-4471-B5FA-51F923FB7D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$CC8FD7B1-CAEE-48E5-986E-FD0D3457D09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0892b6e9e2c60e42b1cfda9d359fd5f0302a7db0","datavalue":{"value":"prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$8618EA9A-546D-4796-B143-7B68948FF458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$E1282972-42EB-4655-B792-73A089C09973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$FE0C65D6-34B6-4377-96DB-F3116D529B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$F8A89931-7EB7-498E-A871-C406DE613998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$D6F42CD5-18D5-48A5-95CB-C023030C4031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$65C3C5CC-1F40-4803-AFDB-8CAAC0EBDEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d0bd6d92a74377228213483b7f0e15b2d9fd3fb","datavalue":{"value":"natural language processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$06C58DEE-B6E6-4432-9059-A326B2921363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01873808ed420453ae082d7e18447e172733687b","datavalue":{"value":"higher order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$C388F6D1-DFBF-4430-B764-38FC8866700E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"411fd8184124cf726d3238c93865458f8ce85416","datavalue":{"value":"occur check","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$74830A95-7CDE-4537-BF2A-FAE2F5838034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"824f8f2ef39d1e7ce40622b86509cec7f9118e82","datavalue":{"value":"infinite terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$A61483EC-A761-461E-A57C-48304CAEAA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b73c90f6f116dd86bc5c4449efab40b66490c894","datavalue":{"value":"inheritance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$834B0142-62A1-49EB-A5D1-95A3A5E168DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33669a46e6c8e8b36873d1f752821b7694a60c9","datavalue":{"value":"parallel algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$EDF5D6C6-7660-4B90-8EAE-2CEC3AE031E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32089794c559051e9fe3202986acc490c45fac8d","datavalue":{"value":"generalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$22477A02-E632-4C84-9791-06854810DC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a6469559583fc59bd625434aa5d9b0dc35201e","datavalue":{"value":"lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3833654$ABA118EB-9150-42BB-9FAB-C8912E39C9D5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e219916640bf0a9cc1f00463dedd5a8b28e3f889","datavalue":{"value":"Q55921415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833654$79C2C8EC-0E44-4B92-A881-CDD168B5B63A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a52a05513c5a647469ac4ea692a45deac3fd616","datavalue":{"value":{"entity-type":"item","numeric-id":1868484,"id":"Q1868484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3833654$F6554408-C3B6-47B8-AAB4-4C172518F351","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":"Q3833654$AB74A984-332B-4A39-B4B8-41A60D946F50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"994a2d0357a7109776c2f851902ce35490056dfd","datavalue":{"value":"https://doi.org/10.1145/62029.62030","type":"string"},"datatype":"url"},"type":"statement","id":"Q3833654$A5B57A03-6742-434F-BB82-84353C83573E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cafe5aee9ee088e6fcacc9ac869d76a50e7da4f6","datavalue":{"value":"W2157266926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833654$A61AF231-31CF-4A39-8D65-C7F6A9218168","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"b938fbe9328021356b3b7ec9134bc222eb4e60b2","datavalue":{"value":"journals/csur/Knight89","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3833654$18BDCFF9-9A8C-4682-80C0-1EDC469A2014","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c7a85de369a018f61660f9b5d7e31a14e6ea8af","datavalue":{"value":{"entity-type":"item","numeric-id":3338215,"id":"Q3338215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"268fddd6c6440b12d20558a72f3152a473acf756","datavalue":{"value":{"amount":"+0.8536319732666016","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":"Q3833654$E5E492C5-9951-4AB6-BB24-A30FCA9FBBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e103d0c135c0db5647c4caff7e8c9df03e40436","datavalue":{"value":{"entity-type":"item","numeric-id":3484383,"id":"Q3484383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5532f8f226f3942adc0b12a45cc25037c81dfb69","datavalue":{"value":{"amount":"+0.8255161643028259","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":"Q3833654$8539FC2F-B5CF-41A6-9846-BD0BFB7466C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"854ec003f5dd6af92d3bc0ad0ab5813f07f301be","datavalue":{"value":{"entity-type":"item","numeric-id":789185,"id":"Q789185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a288f092658e7c838410d36e6f2e3c1f6caa572","datavalue":{"value":{"amount":"+0.8188655972480774","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":"Q3833654$1EFF318C-6DC3-424D-947A-BA1C9CF58E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0e9141246e9874e8af5727ca5a5ac30b87e6234","datavalue":{"value":{"entity-type":"item","numeric-id":3789064,"id":"Q3789064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c26d501595a29b6065e5328e6295ebe47d203c96","datavalue":{"value":{"amount":"+0.8146271705627441","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":"Q3833654$643626B5-1B24-42A2-8B3A-41468D5E354F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01584f802a6f3e5e9a938324da32d68d107a4db9","datavalue":{"value":{"entity-type":"item","numeric-id":6169563,"id":"Q6169563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5871c51160ff21caef544bb5a88695d00161cb13","datavalue":{"value":{"amount":"+0.8013423681259155","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":"Q3833654$9E1CBD9A-ED22-4749-AB3C-FB6C89ED6CA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3833654","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3833654"}}}}}