{"entities":{"Q5166637":{"pageid":7196209,"ns":120,"title":"Item:Q5166637","lastrevid":52027490,"modified":"2026-01-20T19:08:01Z","type":"item","id":"Q5166637","labels":{"en":{"language":"en","value":"Order-sorted equational unification revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6309652"}},"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":"Q5166637$319E105A-B4D7-40C7-9283-B341A0701F08","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32f4a1e9e8b53d2ab24585ac290c5171968b160d","datavalue":{"value":{"text":"Order-sorted Equational Unification Revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166637$19EF2C0B-9EA5-4404-B920-965288D5DBE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0713080fa34dc0d1f8eddc48a09308181dcb01f","datavalue":{"value":"1291.68220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166637$DD24D414-047B-4A2A-B03E-5BC81804F325","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91f333256f1c35f220add5135e8d9d301a6cdff2","datavalue":{"value":{"entity-type":"item","numeric-id":3522014,"id":"Q3522014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166637$3ADD10B3-8712-49CC-8E38-6EC1D8FB9B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166637$35834054-72C9-4F26-B1E5-153D1633F083","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166637$549F2520-0AF6-4148-A59B-0ED5280E546C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251e0e848447c04df22617da60cec84f2100f397","datavalue":{"value":{"time":"+2014-06-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":"Q5166637$99191571-7903-4C29-A7B3-6BD63F4A2527","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166637$F49C662C-B67F-4071-90AB-7586576CC5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166637$EBABC9E0-D32F-4338-BA60-E4C6924ED01A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5de5fef646dcfd04cbe7ff900fb7d0343a7162ff","datavalue":{"value":"6309652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166637$A43A3679-C28B-479A-8C98-C9DE15525E43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97f4fd3ca84a8b2ca6df6bb520280a5c56986acc","datavalue":{"value":"order-sorted unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166637$2C8E7ECB-E42E-45EB-B7F9-1CE3B0CC3E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5068f71d77a5baf0aea64100c927704541380fa4","datavalue":{"value":"rule-based programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166637$57BDDF3B-80EF-4D93-AC38-56919682068E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166637$99583424-CCC4-47ED-990D-8CCDEBEEAF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"391de4a7403a58cfe989587b0bd79269a9793106","datavalue":{"value":{"entity-type":"item","numeric-id":24090,"id":"Q24090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166637$DCE36C05-55EF-4245-8F38-C26A9827E787","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":"Q5166637$9B373913-D4A5-4132-A5C9-924D52E373E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2950983e950b2a40758ef92fa70d7f24eca30c6","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2012.11.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166637$E33FB115-EDAB-4134-BDF4-0C6BCE37EB9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"107fddbb01877daa6891cc8a24f118d9d84235f7","datavalue":{"value":"W2018282539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166637$75B00E34-125B-4728-9F7B-9B5E7BA7AFF6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bcd214784d48e1766ccfd4052e5b78a0afd04716","datavalue":{"value":"Q113318032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166637$4ECF85BC-60E9-40FD-8CD1-25A5C886EB3E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"489c285b3796da271185bbf501196c27f1336cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4264712,"id":"Q4264712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166637$7C6EF1AD-DA80-425A-B0B0-1E1A6B82ADC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166637$C32E7BAC-CC2E-4983-80BF-121A5BC4E554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3fee6eaeadaf3094aaa93acbe2a93c0f4df3883","datavalue":{"value":{"entity-type":"item","numeric-id":3792234,"id":"Q3792234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166637$DDC61BA5-A38C-4406-A4BD-8D55EA823CD2","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":"Q5166637$2940CF7C-6A09-420A-A7D5-5599E0EA1726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166637$7D4AA919-7DE2-44B3-9533-9928F21B753A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2e515b8f14213cd38f21fb2b2915093cbf9321","datavalue":{"value":{"entity-type":"item","numeric-id":582269,"id":"Q582269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166637$F3EE1AFF-7882-4ED0-8887-964FFAC82BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166637$1A73A21B-B359-4986-8B25-62B3899DFBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e854bf84d79413ed022d529553902fa3a79572ed","datavalue":{"value":{"entity-type":"item","numeric-id":1380412,"id":"Q1380412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166637$23281BDE-04D4-4B57-A36E-56EFFA4AA740","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cea0a7437506df865811c31f53718809f83cdd22","datavalue":{"value":"10.1016/J.ENTCS.2012.11.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166637$EF0F39D4-A79E-42E4-9979-86DCF88808BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5c3356a6b67234d78ca0df57e082652071416d","datavalue":{"value":{"entity-type":"item","numeric-id":582269,"id":"Q582269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8631377ad455a5fed00ca5f3206d4b309d220498","datavalue":{"value":{"amount":"+0.8560200929641724","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":"Q5166637$3B179DAE-7454-43AE-991C-7524DC476FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c2edba6983ba234bf851e9fefefae2e677271f6","datavalue":{"value":{"entity-type":"item","numeric-id":1209613,"id":"Q1209613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6cb18483a5e516b11ed87fb87778050e63445e8","datavalue":{"value":{"amount":"+0.8012862801551819","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":"Q5166637$1825ECFC-7C1D-4D0A-A20F-01032D2026D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f723a7dcaa1877bf57d0f7d2e3218d3dc2f5acf8","datavalue":{"value":{"entity-type":"item","numeric-id":5055752,"id":"Q5055752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"830b801a9675eb2b062437c38280f563ef8fddd7","datavalue":{"value":{"amount":"+0.8010513186454773","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":"Q5166637$091F39FD-DB63-404C-8F71-B663A907919F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54bfb9908dacbc1febecf8ff97fc085e1eeb211c","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d6df14ff6defd52be1563c85ddc1db151f51ac6","datavalue":{"value":{"amount":"+0.7838364839553833","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":"Q5166637$128B24A4-2CD5-4EE3-BA10-11620E238B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"924c1e9166e3a3eee9cfe0755f37b4f78a7e7e6c","datavalue":{"value":{"entity-type":"item","numeric-id":3786020,"id":"Q3786020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa0224189057f90b6efa8886e9f7086061d3ec5","datavalue":{"value":{"amount":"+0.783081591129303","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":"Q5166637$765D755E-E584-4DE9-82D5-BB2EBBAF303C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166637"}}}}}