{"entities":{"Q2958381":{"pageid":2969100,"ns":120,"title":"Item:Q2958381","lastrevid":55971370,"modified":"2026-02-21T15:35:30Z","type":"item","id":"Q2958381","labels":{"en":{"language":"en","value":"Unifying nominal unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6679821"}},"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":"Q2958381$5C802D19-C69D-4561-890C-D0CC86AD1A42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7578a0929652ee182145ce3996dd7cf5ce8bdd66","datavalue":{"value":"1356.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958381$4184DAB0-086D-497E-A48C-8D42004751D0","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":"Q2958381$0E531161-63E7-40FE-A91D-06910BC0FD78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9849d71e29537eeb70c12e6244018ee5a71fc837","datavalue":{"value":{"time":"+2017-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2958381$11D43CF5-72A0-4C7E-B6B5-11C5AE3D5B52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958381$09386589-6179-4C00-B790-92AEEE42EC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958381$1403245B-EC5C-49E3-A770-C2803C784846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958381$C8B9FAFC-B714-49C5-8D97-8FC623CAE5CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d3df577b4eaddbf7e0823ca7d3fd01ae1569f34","datavalue":{"value":"6679821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958381$2E505867-A9D5-4670-BB68-6727B1F27074","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958381$E44FAFC2-D102-453D-973C-47135E73A51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3a7c32434285a5bab22392464ae2215081cfd21","datavalue":{"value":"nominal","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958381$FF1B612A-084A-4593-BDA6-183268CC5CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"343d72c13fd2950200a59b3246024e9ab24f10d9","datavalue":{"value":"alpha-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958381$DC61113B-5946-4FA2-BF5F-763153294F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31531318db81a62e2ac75b6c30eb60549cbc5f5f","datavalue":{"value":"term-graph rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958381$40BA9C5E-C78E-4319-9695-07A70152CC58","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":"Q2958381$707C4021-DD06-459E-996C-EB29AF8FD982","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0731d1bb1f0a7ee1d45e9cac02dbc1e2d4fbb371","datavalue":{"value":"https://hal.inria.fr/hal-00926833","type":"string"},"datatype":"url"},"type":"statement","id":"Q2958381$1C37BA15-B78B-4A8D-A78F-F3BE0DDC55B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b59360af194fedbc79c9cd913cf9bdec5d2bfde6","datavalue":{"value":"W2246237607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958381$7F8B1023-1141-45B5-9258-8EEA1EA95CEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4befc4a24a483108cc9e8ac5afbac93eb65a344a","datavalue":{"value":{"text":"Unifying Nominal Unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2958381$A19F762E-953E-45FD-9A6B-F6FA4573337A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68eab200d7edd96c8e979329217b184719cbcb26","datavalue":{"value":"10.4230/LIPICS.RTA.2013.143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958381$4171CB94-844C-4FDA-9BF0-646B4C07EFB8","rank":"normal"}],"P1643":[{"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":"cbf1cdfc11115f10a83a61ea86ed6ef5609779c7","datavalue":{"value":{"amount":"+0.8794708847999573","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":"Q2958381$70CCC143-13A3-4732-8E99-B159799727D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff9dc2cdf78c7ac621b84a10918455404fa6c0b","datavalue":{"value":{"entity-type":"item","numeric-id":1671156,"id":"Q1671156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50f9ef8376bb453fbc008b58f1650630a9a1d70e","datavalue":{"value":{"amount":"+0.8485418558120728","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":"Q2958381$3A6E37FC-702E-48B6-A170-08DEAE0D447E","rank":"normal"},{"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":"6743ded8244f73b897dcc2be9cebd1cd6db3cc47","datavalue":{"value":{"amount":"+0.848175585269928","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":"Q2958381$63C594C2-14C4-4FE4-9996-4A53B04403BB","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":"b753ff8f9fc2f1c4636a0a4b319d625cf28125df","datavalue":{"value":{"amount":"+0.8428906202316284","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":"Q2958381$435F7254-4A5B-4A62-9556-F4E5EED907BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2958381","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2958381"}}}}}