{"entities":{"Q2867897":{"pageid":2878617,"ns":120,"title":"Item:Q2867897","lastrevid":51894773,"modified":"2026-01-20T12:05:18Z","type":"item","id":"Q2867897","labels":{"en":{"language":"en","value":"Implementing nominal unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241713"}},"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":"Q2867897$B52981A3-90D0-47ED-8717-32C745F8B08A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e13c3a3f266bb41a79a4e7cb6e4c569be32b18a","datavalue":{"value":"1278.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867897$DF9CD28A-5CA8-470F-BA52-B5DF42D6A833","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fee13ccd48742e7596d8f02f0fb0af2b81fd010c","datavalue":{"value":{"entity-type":"item","numeric-id":944381,"id":"Q944381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867897$55F743FB-65FE-4A63-B441-45C65E827336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e491443c7df26a4927a70e826f0ef916b7e0bcd1","datavalue":{"value":{"entity-type":"item","numeric-id":405749,"id":"Q405749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867897$25B8F74D-28A5-42F9-A45C-0A0939EC880A","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":"Q2867897$36789D8D-5F97-4A82-9A62-C4E4C031122D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910ae69968b0b824ffb07e2bd5cc35370f9e2a13","datavalue":{"value":{"time":"+2013-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2867897$D3A5F2EF-6282-4DC4-A63E-440B8ADB616F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867897$B571961E-355E-4E8E-83D8-EF6D9C637D32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"873cfc7c5662e02bd55f9c4b068643e7de6a8c07","datavalue":{"value":"6241713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867897$5B19442F-9D0A-4114-BA9D-A852F3A5812A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867897$0B42BB54-3A82-4704-A9A1-A4730FC03424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbf696ef5d13344e8ef71c4c25913319b16179e","datavalue":{"value":"nominal syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867897$4872B29C-3F86-4814-9989-490B7252C948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c0add94a7f12ce06abd03d9a85645b13ae4fe9e","datavalue":{"value":"termgraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867897$35135E50-9B0B-4FAD-9232-6DA73BB47026","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":"Q2867897$548E9090-9455-4B43-BAE4-2F2851DC50BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867897$792AE0A2-F382-4E1D-B795-3EE4C252F57A","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":"Q2867897$C47A7FC0-E250-41CA-B63E-CA7947EBFB65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e83bf9978b08fae0025252f5730b321f5b94e69b","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.09.027","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867897$A7037037-ED5F-4EE3-A8B3-DD66DE22E9F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e74a76099ff0492c2a7b4996a98440a7b75cab0","datavalue":{"value":"W2102485270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867897$30E96305-7794-4C3A-95AF-842FF2BA7C0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2146fe71b39638fd1364e80615a2a1a9ddb51fe","datavalue":{"value":{"entity-type":"item","numeric-id":5313189,"id":"Q5313189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867897$493840BD-421A-421B-AB3E-0BF04CCAFBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3220c140faca03554f077989a96ca6deafa83f13","datavalue":{"value":{"entity-type":"item","numeric-id":5178033,"id":"Q5178033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867897$8AF265AD-CB04-4FAE-92DE-972E7115A2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4c22b6daf354fe15301f0cd8cddc08672d619cd","datavalue":{"value":{"entity-type":"item","numeric-id":4885622,"id":"Q4885622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867897$8E327317-22E7-45F3-A982-80807FFCC9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade402c8643377c95736cc4de881776c386a1875","datavalue":{"value":{"entity-type":"item","numeric-id":1882909,"id":"Q1882909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867897$B2CBC48B-3392-48A1-A5D2-96DEA7FBEA65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09c4ada1ddda6acf162f03de83e257fce1c52ec3","datavalue":{"value":"10.1016/J.ENTCS.2006.09.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867897$E652A2C2-A78B-472C-AFA0-AC1AEC35F81A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"755928f3880d53e7ae0a5bb6409944a1c43fabdc","datavalue":{"value":{"text":"Implementing nominal unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867897$41A75CBB-E69E-4C56-8670-251F94339914","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82a566c5a4510d10ac65aa16a67b65293e15e1ad","datavalue":{"value":{"entity-type":"item","numeric-id":944382,"id":"Q944382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba8f078a471d650d75cc3bac20f6bdfbd2c91d95","datavalue":{"value":{"amount":"+0.8646073937416077","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":"Q2867897$44D206E8-DCE1-4778-B4D2-E1566FE8652D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7532c6e676fa53537b370a06409ce75cff320fdc","datavalue":{"value":{"entity-type":"item","numeric-id":5389146,"id":"Q5389146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8b5556586c82b37a768026fe5245347cacb2360","datavalue":{"value":{"amount":"+0.8363234996795654","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":"Q2867897$0AE2DFA3-5741-4845-BAC2-0F68C6A8E63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09d191968a34b1faef942b73bc6b005a3a3717a2","datavalue":{"value":{"entity-type":"item","numeric-id":2958381,"id":"Q2958381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed1c09c52f7beb11c53fed9c9a6f54e5633bab3","datavalue":{"value":{"amount":"+0.8274143934249878","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":"Q2867897$D49A9A14-A1C7-4E75-9A26-DC3803255923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60acd6cf49ce20d1da209d3d8ed26dd790744cd3","datavalue":{"value":{"entity-type":"item","numeric-id":5466474,"id":"Q5466474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9659f3484428981800d153966924fca5fedf83b","datavalue":{"value":{"amount":"+0.8147226572036743","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":"Q2867897$2D9A32C4-EC29-4E7B-8834-7370D194BEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94e070886ee22395fea35e537b7591e506df4466","datavalue":{"value":{"entity-type":"item","numeric-id":5703876,"id":"Q5703876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dcd25887c10a8a039b34f7baa6c52dfd41de111","datavalue":{"value":{"amount":"+0.8140998482704163","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":"Q2867897$0E24B1B5-54B2-425B-9873-C21EEC669E40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2867897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2867897"}}}}}