{"entities":{"Q944382":{"pageid":946230,"ns":120,"title":"Item:Q944382","lastrevid":65529120,"modified":"2026-04-12T03:13:41Z","type":"item","id":"Q944382","labels":{"en":{"language":"en","value":"A polynomial nominal unification algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344351"}},"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":"Q944382$ED7F492F-7A33-42C5-A736-22626BE7EE3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e0fc40cc7d0b6dff96f0cb368ac35f46ec0f464","datavalue":{"value":{"text":"A polynomial nominal unification algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q944382$AEC5441A-C5E2-47A1-8370-020361909B84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f80583b996e5bc6df6092620a0b725bb279fb4b","datavalue":{"value":"1154.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944382$74BF35EC-D7C5-4490-9B9C-9C5008FF8704","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":"Q944382$56FB80B3-D166-418D-82DA-92A48167DC02","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":"Q944382$F8435EA4-81B1-4860-9ED6-368828B59AAF","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":"Q944382$40149278-B44D-486C-9BDF-0907F10DA325","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae960b13deac5afb5a738e4b316ea7d581125be5","datavalue":{"value":{"time":"+2008-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q944382$2FD3F132-017C-4A23-A3AC-5E0F5FD2039D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944382$25847746-9F57-4616-AF36-CEB9DB2DF02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944382$83073834-1BBC-4B87-8FEC-184380452ABA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f622314356010af745ced70c9ca92e35b189516","datavalue":{"value":"5344351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944382$D102D4E8-A34C-43BD-B612-1BC7A74A8597","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1076d7aaede6ca2cd144bb11a6f7107114a777bb","datavalue":{"value":"binders","type":"string"},"datatype":"string"},"type":"statement","id":"Q944382$F2840C3D-CCCF-4DAF-B0DF-DDCC8E2105B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ed072750ba511438bb1f128b9b11905f7c2f6e7","datavalue":{"value":"\\(\\alpha \\)-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q944382$AC7881DD-8F14-4D9F-98B8-934C6A1828C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbf696ef5d13344e8ef71c4c25913319b16179e","datavalue":{"value":"nominal syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q944382$F812B1B3-6F19-402A-B5DF-1253076EF8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e2c5cdbb9bf737c4fa7ac78971f831677d8a1d","datavalue":{"value":"graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q944382$3147DFD1-A381-4CDC-AC70-744552928CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q944382$14A12E1D-FA08-483E-9A05-DA73215B6C99","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4679151adf8ac447edfc2fb5110876fdfca498c","datavalue":{"value":{"entity-type":"item","numeric-id":20987,"id":"Q20987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944382$2633C363-DD1E-4676-B2D5-94C201FAE587","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":"Q944382$8FCCEB34-647A-4866-810D-561883C69C2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e7076f652749028c64f261e6637de50db67b5fe","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.05.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q944382$6394D77F-A4D7-40BE-864A-EA945861BA0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e09fdb774ef1c651696def9245504faa8908bf35","datavalue":{"value":"W2024790008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944382$7777E638-4F54-45BA-9B3A-7AFBDFFE0D7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f4bc9ecc7f0d9f001df7f25267800b71817886","datavalue":{"value":{"entity-type":"item","numeric-id":2867897,"id":"Q2867897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944382$6F4C547F-7D9E-45F4-A6C8-BD7C3BF3BF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56b060eb2c4f540d1363c927edad85c6ef4801fb","datavalue":{"value":{"entity-type":"item","numeric-id":3511452,"id":"Q3511452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944382$7D4667C0-E057-42C1-9600-81392E2EAE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9461b8596f936b4acd4b9ccaf6444d9340797391","datavalue":{"value":{"entity-type":"item","numeric-id":2373703,"id":"Q2373703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944382$B9BC1A29-7AD1-4681-97E0-2B056EE056E3","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":"Q944382$E3DE0B8C-7C81-4643-BA5E-3A885488637A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944382$55500BA2-A792-4760-BFDC-DC23B5C557F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b8c3a63f5113f0209622b58f18640a08a06fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1887151,"id":"Q1887151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944382$17A3BD51-3D17-4B71-898D-B247A02FA9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c843ef94c4d0bb272dc208d73acf55569dec82b","datavalue":{"value":{"entity-type":"item","numeric-id":2721104,"id":"Q2721104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944382$E747FEFA-2197-4B11-869B-1B50598FA010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd08e7c41a6c2ead3e3812132df00499e980150","datavalue":{"value":{"entity-type":"item","numeric-id":4951112,"id":"Q4951112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944382$6DA99D00-8C94-408E-8C43-B21DC5939717","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":"Q944382$1CC41C8A-12F1-4354-9653-1FB64B63E108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d434966473eea1b46469590e756fbfa4aaa54d1","datavalue":{"value":{"entity-type":"item","numeric-id":5261281,"id":"Q5261281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944382$1D5A973A-7D25-4FDC-9651-D26A485F358B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83a3d190e22bb4042018778557a86c6f7b04b401","datavalue":{"value":{"entity-type":"item","numeric-id":5704024,"id":"Q5704024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q944382$D9DDB987-559A-4A73-837C-521C8E982ED9","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":"Q944382$5775F0C9-FCB9-490E-B646-FCF37B52D304","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2556e3d91831103d7824e6f3236cd41842af866b","datavalue":{"value":"10.1016/J.TCS.2008.05.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q944382$77367DE9-D9B6-4150-9FF2-68C58DC473F3","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":"51fdd3631442ab1a888194a16acbe67d3b0fb5f5","datavalue":{"value":{"amount":"+0.8748267889022827","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":"Q944382$49C33357-E57D-4484-A68E-10B5B22737DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d34e14619f38719bf68c175c70e3b725673e65c8","datavalue":{"value":{"entity-type":"item","numeric-id":2867897,"id":"Q2867897"},"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":"Q944382$6C40431C-AC07-42EB-A7F1-BE8C7C7E9C75","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":"face1050cb3b2f357fd8f6c6da27a18eba7787af","datavalue":{"value":{"amount":"+0.8575722575187683","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":"Q944382$DAF43ACF-EF2E-4C4D-85C0-E5EEB5BE1450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb26fd57ba03d1c1cf952580b653de89ed52847","datavalue":{"value":{"entity-type":"item","numeric-id":1882909,"id":"Q1882909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec1019b7426dd179e9bd150c3c1d10fb83edc2a","datavalue":{"value":{"amount":"+0.8557062745094299","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":"Q944382$A1CF29F4-2497-498A-B337-EA1E4B02B656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4edd30ecd222b7f1d3b078cafe8207a9540d3359","datavalue":{"value":{"entity-type":"item","numeric-id":616849,"id":"Q616849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"658252afa59bde0cce3b28a15af5258fea091a77","datavalue":{"value":{"amount":"+0.8523862957954407","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":"Q944382$A1D13406-9BDC-4E1C-99BA-97BF59FCBBDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A polynomial nominal unification algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_polynomial_nominal_unification_algorithm"}}}}}