{"entities":{"Q673971":{"pageid":675820,"ns":120,"title":"Item:Q673971","lastrevid":46768167,"modified":"2025-12-25T13:36:08Z","type":"item","id":"Q673971","labels":{"en":{"language":"en","value":"A combinatory logic approach to higher-order E-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985863"}},"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":"Q673971$5534CB87-99BC-43CB-9AF9-A5798387C7BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a01aad6b70ee9bfea13bdd264fc7b22cbe6ee263","datavalue":{"value":{"text":"A combinatory logic approach to higher-order E-unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673971$3A36FFAF-2A96-46AF-8366-BB22A66541DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90ad696fa2bd7b472ebc793d0f80c4a290ef6405","datavalue":{"value":"0874.68271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673971$8E918097-15BC-4CC3-825B-43FFA4A0872E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f08408e49794e7ab135f1bea92b5e6d8b3e9672e","datavalue":{"value":"10.1016/0304-3975(94)00210-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673971$A35467A5-913E-4B43-8249-ECCF236C47C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d666e96ce2fa8f92917e230fc2bc29c6dfb1050f","datavalue":{"value":{"entity-type":"item","numeric-id":673969,"id":"Q673969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$26BA13B8-51F6-4EFC-9966-B458B1E6B6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$446E5811-CBEC-442D-B8D3-77B7B79A1591","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":"Q673971$D4E4E373-BBB8-41B7-8AE1-BAE6D8B428EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673971$782B6E54-4594-4CBA-8018-DB7459E80409","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673971$B232D322-A387-4271-9A21-156840025E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673971$526729A1-6C28-418D-83FA-7D35F8FCA008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673971$1015DD97-F7D8-4804-9842-D8B019DC42DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5b70d7e8e25ec110aa4dbe362f35f16afb3292c","datavalue":{"value":"985863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673971$2E92025C-711A-4CC5-A157-847BA84C9D86","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"702d929fcee10b5339a12f6e82cfcc7eb4ef4474","datavalue":{"value":"first-order equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q673971$648C5E2D-17D0-4583-9B7F-99DADE4756C1","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":"Q673971$43C8C0B5-020A-40B2-B9B9-BC84145C3E5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03dacafad2ff19ded175ac7d62381d002687606","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$BE3E1DBD-CDE1-4F7B-8136-80EFE20A1C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb96fb7fe69adf25841ec11cad0a036fedd3ca91","datavalue":{"value":{"entity-type":"item","numeric-id":1176244,"id":"Q1176244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$DD8BF787-7F86-4AE9-B300-2A3CFC17B61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$D97483D0-D577-44E6-83CE-6F3C3A944B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d3f5f0e6d39b0610560c479018fc71a2adcd20","datavalue":{"value":{"entity-type":"item","numeric-id":1098624,"id":"Q1098624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$EC6A1026-AF1F-44A9-B744-2B0A61FE68AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$7040F243-1CB9-464A-B092-A63594ADC62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82030fa55743582a436826baf0961ca7a531a048","datavalue":{"value":{"entity-type":"item","numeric-id":1207945,"id":"Q1207945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$83E91FFB-7932-45DA-AEB3-F18EA850A0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d785b21a69be08181134dbfdfbfbce22753fc47a","datavalue":{"value":{"entity-type":"item","numeric-id":2367541,"id":"Q2367541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$7ABB898E-BACA-4A7A-9D8D-80A55F3B9526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b9c25358477122b4737549d52e354b2ddfa62bb","datavalue":{"value":{"entity-type":"item","numeric-id":5055716,"id":"Q5055716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$4491997C-34D3-44EF-BB1A-8D9BB31EF37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eafad2279bcd1a1ddbebd2da7446bcd66e04d511","datavalue":{"value":{"entity-type":"item","numeric-id":1262754,"id":"Q1262754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$AF355A76-A390-4658-8212-A1329BAE5A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed17d1d7b1ff67830dae739e9417248cd25f604","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$3F12B02C-9143-41BB-845D-2447F3F04FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00b98f1b8d3e198f13c8d4c7f34bacaca6a772f","datavalue":{"value":{"entity-type":"item","numeric-id":5532528,"id":"Q5532528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$33E301BC-8788-43A1-BBCE-1B421BABAB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0830af437384ce58d677e5295b485241789eb3f9","datavalue":{"value":{"entity-type":"item","numeric-id":5590804,"id":"Q5590804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$2CEE6C01-6EA0-40B9-B4F4-B3C5A07C5260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$2AE1E28C-EDB3-49AB-AB6F-F8BB94F60057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$D652E007-70DC-4DCF-AEB7-197DD6B60CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e603e005d75c79574a489b6a86ea2e57d531ea","datavalue":{"value":{"entity-type":"item","numeric-id":4867027,"id":"Q4867027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$36E4E931-0E28-4C9A-86DB-65C31DD8D871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc8d4fcee3893262da31953e139576433b08c556","datavalue":{"value":{"entity-type":"item","numeric-id":1903133,"id":"Q1903133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$86E9FB95-BB06-427F-AAE5-1BDCACE1A81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$03CEBCC4-8ADE-4079-B784-8BEC02A41519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$CBDFA255-903D-4FD1-BE38-4470317FB3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0201ae9d8935cabb012c84f4af38b1beb79f23c2","datavalue":{"value":{"entity-type":"item","numeric-id":5532529,"id":"Q5532529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$1B1D3D04-57BD-4833-B680-DBF5693781C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b762c456cea55c3597950cdbfd74b56caff7b9","datavalue":{"value":{"entity-type":"item","numeric-id":5532527,"id":"Q5532527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$0725E898-771C-417A-9506-81580A1635ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$B1D0374B-A1A8-48A8-8E13-BAEF86188E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74236444b9405abe628a3c6e2a1cbab41fc3b506","datavalue":{"value":{"entity-type":"item","numeric-id":4385534,"id":"Q4385534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$F077E5E0-FDF2-4F6C-83ED-CECDDA999965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b72cabd2b74d40b17052d73f277b61c8ea7e0f","datavalue":{"value":{"entity-type":"item","numeric-id":5055760,"id":"Q5055760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$D0EEF04B-1BCE-48E6-90FE-69666C4AA2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$4A23C145-589F-4EA5-AB78-88D849C9BB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da58277329f09a1823606b5f9166621c04696001","datavalue":{"value":{"entity-type":"item","numeric-id":3779784,"id":"Q3779784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$D35070D8-F080-4A3E-8FA2-13CBE8C00C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25c898898b618a08f301331a46c4d1e466a4aef","datavalue":{"value":{"entity-type":"item","numeric-id":582270,"id":"Q582270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$C1D2FDD0-F3B5-4B79-A094-62CE6469ECD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9732b89c1ec3dfa5b9fdbcbf606dc155ea9b940","datavalue":{"value":{"entity-type":"item","numeric-id":1124375,"id":"Q1124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$AC98AEBD-9F31-40CE-A75A-55EB2A3CC7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ae10a89581cdaa576035006e80c881a40146e5f","datavalue":{"value":{"entity-type":"item","numeric-id":6488538,"id":"Q6488538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673971$CC51FEC0-A59B-4775-8C2A-EA70067B112F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fed98c364da768f7151867a2161bfd994bdea7e","datavalue":{"value":{"entity-type":"item","numeric-id":6488561,"id":"Q6488561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e1674b695ff0a32af6c49c023be82ff591bea5","datavalue":{"value":{"amount":"+0.8837706446647644","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":"Q673971$B9F40F7E-2DA2-4EAA-89DD-255E461935D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b83adc57d446961d7028ba721626edd9a826ebe","datavalue":{"value":{"entity-type":"item","numeric-id":4364370,"id":"Q4364370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4086bfa3efd0a2d10570867e0b878e544a2d3e28","datavalue":{"value":{"amount":"+0.8586946129798889","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":"Q673971$04ABEFC7-3B70-418C-A754-DDDFEA7C4C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3259deb61cfe2170701e47d67e7bd5ff2a5591b8","datavalue":{"value":{"entity-type":"item","numeric-id":5055760,"id":"Q5055760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffffa131c4c971402c92cfbae85d269b223482c5","datavalue":{"value":{"amount":"+0.8538765907287598","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":"Q673971$709DCB14-27F1-4BBB-A684-DB4AA80DCBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc9d48c224e8997095f4522db9c499bacb9b9750","datavalue":{"value":{"entity-type":"item","numeric-id":2367541,"id":"Q2367541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897b58c7caf4c314aefea32fe2b069bc28d9dbf0","datavalue":{"value":{"amount":"+0.841761589050293","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":"Q673971$E8F4EC9D-3C02-44D4-AA49-7F111C5E055B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46bbc8a230c9a4e07da2c4f8d5569aab782686d7","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59cba79be1c71de96fcd75c0426e4649f5ac54fc","datavalue":{"value":{"amount":"+0.8273538947105408","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":"Q673971$6A53082F-B5D0-458F-9C0B-412DC4CB0F89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:673971","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:673971"}}}}}