{"entities":{"Q4993360":{"pageid":7022937,"ns":120,"title":"Item:Q4993360","lastrevid":55971373,"modified":"2026-02-21T15:35:31Z","type":"item","id":"Q4993360","labels":{"en":{"language":"en","value":"Nominal unification with atom and context variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7359424"}},"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":"Q4993360$E070E379-5A59-4EC1-9C97-500996DCFBBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da694e5f03e69e1e56b45c1496d48315e2d90337","datavalue":{"value":"1462.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993360$55FDA500-706C-40E8-8528-6B4C8E214BD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3211ec0fd031f0134e24af3ce5cb141879b2940d","datavalue":{"value":{"entity-type":"item","numeric-id":352944,"id":"Q352944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$F93FDCB6-17E6-4B35-A119-A6AB899C7E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$5D3ACA37-B95D-41AB-A5E6-A7A3C4F5C9CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19226134edc7102663c447aa756e808a7a8d2948","datavalue":{"value":{"time":"+2021-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4993360$8A739BCB-51B2-4FA5-AD58-72CEDA466F79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993360$1F39C1D5-401B-463D-8F9A-98FE6B591AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993360$51247079-E90A-4C55-AE67-CA4B42B8D8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993360$3E25C753-B094-4CDF-9DDF-1AD543530A22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b35df2e81a9753ff55c29522f08bcf8283e04091","datavalue":{"value":"7359424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993360$044CECB6-CEBF-4C4B-978A-2BBE9C40021D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993360$937FE636-044F-45C5-96E0-92DE66A0E475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e3332489c51441a79596b8aa3ff1b6630a2bead","datavalue":{"value":"nominal unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993360$5DBADB83-7BB9-4AE5-83D3-5AC8E13852BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993360$64135699-B6BB-40F7-AA24-5AB9FBDE9CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993360$FBD08A05-68AA-4EB0-AA61-8B3BD9227148","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8f141167345ead0a6453756dbcc4af8338476486","datavalue":{"value":{"entity-type":"item","numeric-id":22046,"id":"Q22046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$5677AE4F-4E2E-454A-9B30-B4349B42B6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$88C02985-1316-42FA-818F-CB0B0CFD52D5","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":"Q4993360$D89BE9E3-68BC-4CAF-B82A-3843CCF1C936","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca8ab5b657feef146fdddd48e26b4ede4a72db3","datavalue":{"value":{"entity-type":"item","numeric-id":3007654,"id":"Q3007654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$98878091-9ACB-41D3-8263-5471EFE8E8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"618a67b265c4e0720fd1c3950268cb1d110d9943","datavalue":{"value":{"entity-type":"item","numeric-id":1744404,"id":"Q1744404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$6AE235EE-252A-4305-8643-391B71411756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cecf39dbce940c58e40445d47d899d6f66b714","datavalue":{"value":{"entity-type":"item","numeric-id":5369476,"id":"Q5369476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$BC393E77-D5CA-4CD0-9424-C9BA6011E20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$C854485D-C123-4553-82E9-107BCC445422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5676b55ec708f7e32bd0e83c7cea03b63cbabf8","datavalue":{"value":{"entity-type":"item","numeric-id":944382,"id":"Q944382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$0B119A2A-B321-4ABD-B541-621346792235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c1f8025396e644e74a6a9eac56c4f7c9989ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":5466474,"id":"Q5466474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$5A553104-561A-452B-B0D2-C34222CCFCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242d0bcefc8537fabd0f6215bfcd685ef643b539","datavalue":{"value":{"entity-type":"item","numeric-id":616849,"id":"Q616849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$65971499-106F-4E67-A7DE-5C933DF5FEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$3368FA4D-2229-41A6-A915-E30DCF0B0531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f090f8c3a43f256aeb3916f59123f32cf6cdcd","datavalue":{"value":{"entity-type":"item","numeric-id":3167012,"id":"Q3167012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$C5347386-C55F-4DCF-9295-79769A9F5A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$9E245C16-ADF6-41B0-AA44-B9D180A32725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b98c9b8f77e8a7cc7fce332512ea4f2e74f356f3","datavalue":{"value":{"entity-type":"item","numeric-id":5167842,"id":"Q5167842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$85539231-8C71-41B1-B440-074208513F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9a9c0b836dd52deb4af6247573462295b48a90","datavalue":{"value":{"entity-type":"item","numeric-id":5389146,"id":"Q5389146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$C79A77D5-86A0-4BE1-B645-54801A6980E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"766964ed770f17368ef6d7d908286406ac544300","datavalue":{"value":{"entity-type":"item","numeric-id":5369491,"id":"Q5369491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$6AB50D6E-2A0E-49A5-BF7B-F59BA346DFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c350e5df0076e0fbf10debbcf6bd2887aa1445b4","datavalue":{"value":{"entity-type":"item","numeric-id":2874365,"id":"Q2874365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$988D1054-E7B3-4329-8BFF-E6FE329E20C2","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":"Q4993360$5E8B2937-9224-4EFD-AC2E-FA63D88896FE","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":"Q4993360$B6F043D6-CD35-41ED-9D51-D21467C5DF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7c974da2fbdfbb494f4ddce13bd1f1e2231832","datavalue":{"value":{"entity-type":"item","numeric-id":2849600,"id":"Q2849600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$13D9FBBE-36B7-4791-AD55-FACF901E0F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ff1b1b2acb9048cb1a6bab022cee0521c66786","datavalue":{"value":{"entity-type":"item","numeric-id":5044750,"id":"Q5044750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$15B35D23-D190-4A59-8CA6-C866E0D4FC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d660d04cf0e542e014993acaa62dc6c15cb746b4","datavalue":{"value":{"entity-type":"item","numeric-id":2409747,"id":"Q2409747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$DE9A33CD-3CE6-4A86-BAAB-4A3F3C4C5A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00160ea39cbb2512aa206dd3895b849e0e55fff","datavalue":{"value":{"entity-type":"item","numeric-id":1640638,"id":"Q1640638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$8669025D-1802-4ACB-9D38-344BCF655F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4642fe9dd95a3568249d225c054225fb40d2512","datavalue":{"value":{"entity-type":"item","numeric-id":3520168,"id":"Q3520168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$BDA96CB3-2753-4F9D-84D1-C276FB70D46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$9EA652EE-D2DD-4121-AA96-888F470A4275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d4a2aad4cebbcfa646c9c5d2e3fb1738d09daf","datavalue":{"value":{"entity-type":"item","numeric-id":5891628,"id":"Q5891628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$6D783A26-55A4-4B2B-94E5-FAF22B48E582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c57a1c72c02e0da9d842a1c74f54162444fc9c0","datavalue":{"value":{"entity-type":"item","numeric-id":5292662,"id":"Q5292662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$25614805-19AD-41E2-A110-7758F86F4EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"569d85f080da52fc07dff77e4fc95f6e09b397cd","datavalue":{"value":{"entity-type":"item","numeric-id":4447225,"id":"Q4447225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993360$4ADD3003-A77B-4AB3-A898-4A4133DBC2AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1a1277f1b8335c7e96ddd72c07280eed23a3483","datavalue":{"value":"10.4230/LIPICS.FSCD.2018.28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993360$557324A4-3D7E-4D7C-85A2-A11878369811","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60202256e215ee1dd4ef499b809ea083890f1cb1","datavalue":{"value":{"entity-type":"item","numeric-id":1640638,"id":"Q1640638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f5c5ad1c15aea355cd4d8f12eb21b96b998fbb1","datavalue":{"value":{"amount":"+0.8291224241256714","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":"Q4993360$A1F50688-5D9A-4DFB-B42E-AD75D2CB82CA","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":"51dabb42e4e2a992539cb1e4cc3b8322cebf8070","datavalue":{"value":{"amount":"+0.7760182619094849","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":"Q4993360$8E354E41-BB92-4525-A2AF-2A63E793D662","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":"6f6663fca94c94748b307d1c9083552d244bc9b3","datavalue":{"value":{"amount":"+0.7715214490890503","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":"Q4993360$CED4BB47-D04D-4CCF-8880-AAC14B661564","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4993360","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4993360"}}}}}