{"entities":{"Q1854337":{"pageid":1865079,"ns":120,"title":"Item:Q1854337","lastrevid":71504682,"modified":"2026-04-13T22:42:14Z","type":"item","id":"Q1854337","labels":{"en":{"language":"en","value":"Higher order unification via explicit substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853096"}},"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":"Q1854337$3E0F51F0-3B21-44CE-8C25-6DD8E51C138B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0f72f93d16b278a367b969308f29960af05dc76","datavalue":{"value":{"text":"Higher order unification via explicit substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854337$57B3F3CA-10E0-4756-B5E7-6F781DE72A5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0f43266818f73e693bbb859986a6e21ae123b1e","datavalue":{"value":"1005.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854337$CF9620A0-2B6E-4BD8-B346-038D48A6F8D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$3D960645-8A90-42A4-9536-EC750AE17059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c50f42ac443d41828b557f6076f88056505c203d","datavalue":{"value":{"entity-type":"item","numeric-id":918955,"id":"Q918955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$C50B8E48-212D-4AA9-B328-9EC80A95AB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67de4dcf41337233b478a60d1d06381752453e30","datavalue":{"value":{"entity-type":"item","numeric-id":857912,"id":"Q857912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$2DF62B16-E03B-48BD-8E8F-F28D569453BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$5254A8D7-B1FA-4F14-A891-D9F018A9A7D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854337$FF5D5020-7356-45E9-8301-23CAC3EA4DBA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3663b81c04574498d989477ea1fbbdccdfd962af","datavalue":{"value":"https://semanticscholar.org/paper/5a62b1bc0db2794285fd18936e497e59b4e12648","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854337$D945C082-4FF9-4469-ABA0-3ACDBEFCC5EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854337$8BF07883-4A2D-48C8-ACE7-89D8411312A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854337$ABF9DAE4-344B-4007-8D49-0BF8111C47FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854337$0D346D26-0A78-4141-B2B3-637F6003B5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854337$AA583775-7059-4449-9025-CE031592A369","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed35a419daaaeb96762de51481f76b07a0598d65","datavalue":{"value":"1853096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854337$8BD08506-AA3D-489B-B644-29A52ADDA5FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd5e640143d97b736be60c5040f4374a126b75b","datavalue":{"value":"higher-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854337$74DD3088-45FE-4253-AF6B-AB529D668AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854337$0B335535-4A99-44CB-AE66-657046D6578E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$69CE93A5-4B54-458A-8AAF-C3F214674430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$82F62E29-A566-451C-BC9A-D8E198027E4C","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":"Q1854337$B30861F7-DE3E-42B0-8AE7-71AA70DEA677","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"777b098cc8e5894bbba4556403c94f1c1349f2ed","datavalue":{"value":"W2132119724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854337$20A09268-B14C-4F8C-9911-71CF98A18C43","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$472B0868-5F3E-4076-83E9-8F552BDB1394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$6BBFA0FD-C933-46EA-8447-D226A2D4DB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b58e334bbf84629d414ca7d6688164e5524fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4726218,"id":"Q4726218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$62D2C225-925F-4108-948B-A4F2CCD5ED89","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":"Q1854337$E6F1CF19-E47F-4CF8-A419-455F8E8B320A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$63C5F277-E069-40E4-A1D1-F9276A411FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0bdefcdce10def11aea2e770e9d8a161d0bbbb","datavalue":{"value":{"entity-type":"item","numeric-id":5881270,"id":"Q5881270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$16906246-4C78-44F0-9438-332E7F2962D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1efcb10215b3618d498e2cb6f759645b8d93a3b","datavalue":{"value":{"entity-type":"item","numeric-id":5287527,"id":"Q5287527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$A373E632-BCC9-4D3E-95BB-45BB2F5679FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4004164fb76db92bcdf23fd385dc006c288396ae","datavalue":{"value":{"entity-type":"item","numeric-id":4371674,"id":"Q4371674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$E698F1DE-7586-4187-B391-22930E0B0C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4499f147b01716363b2b1f0d93f047bc84ef227","datavalue":{"value":{"entity-type":"item","numeric-id":5748888,"id":"Q5748888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$02D7E101-C19B-4612-B541-E77B9934707F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf5521f74336d6e00994ae674bce0a63dd4d69e6","datavalue":{"value":{"entity-type":"item","numeric-id":1199548,"id":"Q1199548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$633A2300-020B-4217-86CD-31F531A16948","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":"Q1854337$890FC9C7-8715-4794-969E-69C2CCE4D5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$C857BC44-BEF1-405C-B6A3-5EA6CC2798D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d785b21a69be08181134dbfdfbfbce22753fc47a","datavalue":{"value":{"entity-type":"item","numeric-id":2367541,"id":"Q2367541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$AB3141B0-9422-4261-BBF3-B5FF8F5F99DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4bbcf6956c3e4bd751e172d101a863b75a0fa8","datavalue":{"value":{"entity-type":"item","numeric-id":673971,"id":"Q673971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$FF614494-3C54-452F-B62C-7983746EFE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774c18fd2b844ce5d75610805893e277658a480f","datavalue":{"value":{"entity-type":"item","numeric-id":4276174,"id":"Q4276174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$017D3E6E-5F9C-4409-AB1B-FCC37CED389A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7021c91f6a866e16b579f74b23aa54446a0c8938","datavalue":{"value":{"entity-type":"item","numeric-id":1150586,"id":"Q1150586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$34040EE8-90F1-42D5-8240-8C2EB75B790D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17535869f288c910de9dcea762124a869085e274","datavalue":{"value":{"entity-type":"item","numeric-id":4632447,"id":"Q4632447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$88F5AB1A-1AF4-4F1F-A8F6-A870682E8E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46bb376c314f83419411954235d6e359ad5cbf4","datavalue":{"value":{"entity-type":"item","numeric-id":5672888,"id":"Q5672888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$87AF44DA-7E9B-440B-8239-7BEDDE27B914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$468A9DC2-89B1-4C21-8931-136C2F885A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$7B230EAE-3800-4D1C-87A4-212D6092D502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de57064dff6d8c801eaa4cbe8a91d55ce2cc76c5","datavalue":{"value":{"entity-type":"item","numeric-id":3703312,"id":"Q3703312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$CB171627-044E-4CC3-AC59-44490D20CA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$9C30EBF3-8689-4B89-9C6E-6EA26C39AD2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"006077fa3558c96c24680eb8cbc601f3558b68ea","datavalue":{"value":{"entity-type":"item","numeric-id":4364370,"id":"Q4364370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$079EAEEA-62BC-445C-8305-63B8B1A92300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d99c1afc936cde398325356b7b83aecd5cb4f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5881274,"id":"Q5881274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$3D1BE55B-01E4-4C11-B464-FB837D35E1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$75E31F91-A488-4ABE-B763-FC90977528EC","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":"Q1854337$EDF48857-8B08-4363-B4D2-D5306C3BB3E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b3a3bbb3070928fbac1b871eab8deae4848ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1328184,"id":"Q1328184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$9C3CE964-D72C-428C-9037-2560A50324DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d8b44f05217c526aa12a6be320ec9c8d40564a","datavalue":{"value":{"entity-type":"item","numeric-id":5053011,"id":"Q5053011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$368FFF80-9AA7-4433-B399-AC7859803C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4f4d44dc19f26559592a12ba4d75f8fcd246fd","datavalue":{"value":{"entity-type":"item","numeric-id":1201348,"id":"Q1201348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$519EB8FC-6130-4DA6-BE95-B8AA67CC1D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac03d0006f8aa10c79e0725e8d147c4cd85334c9","datavalue":{"value":{"entity-type":"item","numeric-id":4364378,"id":"Q4364378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$CB5597EB-A04D-459B-AA5A-CEA04023E65B","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":"Q1854337$70F7BED8-5C07-4F2B-A0C7-C4AC705EAD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed17d1d7b1ff67830dae739e9417248cd25f604","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$782A278C-11F2-4085-9882-1074DAC4FB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c3003d2433d321429fa556d5386f6d8a37a29de","datavalue":{"value":{"entity-type":"item","numeric-id":1202066,"id":"Q1202066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$DF5A2BCE-B94E-4860-9282-31F7510CF24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa2d76e706c18daa8710ae837a10820afbe7e88c","datavalue":{"value":{"entity-type":"item","numeric-id":4938612,"id":"Q4938612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854337$011A1FAA-31F8-437F-9B53-8D7B052F4598","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0a49b98d0346c7e3efd12154635e7c07aa1448d","datavalue":{"value":"10.1006/INCO.1999.2837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854337$4B434728-6174-4BA0-81B1-697878CAD78E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b83adc57d446961d7028ba721626edd9a826ebe","datavalue":{"value":{"entity-type":"item","numeric-id":4364370,"id":"Q4364370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19143161d38fdd315e7e5e139f01b456c034d2a0","datavalue":{"value":{"amount":"+0.889134407043457","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":"Q1854337$3A8A8CAA-4DE2-4383-9F90-3EE493031AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f728207bd0d1ddde091bd467e1110cbfe45883f2","datavalue":{"value":{"entity-type":"item","numeric-id":2480966,"id":"Q2480966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf002e55335d750954e34696d5c63b514c61526c","datavalue":{"value":{"amount":"+0.8591871857643127","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":"Q1854337$EEA5B738-7C9C-4E86-B772-380949B87D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63bc6525bd8e4a20264ced9646fe549c4a0daef","datavalue":{"value":{"entity-type":"item","numeric-id":2743636,"id":"Q2743636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b553cd50b8082c121cb1e72cf594e45f3829f48","datavalue":{"value":{"amount":"+0.8378310799598694","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":"Q1854337$F23C9986-90D7-4778-8E0E-C0EF3244D81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fed98c364da768f7151867a2161bfd994bdea7e","datavalue":{"value":{"entity-type":"item","numeric-id":6488561,"id":"Q6488561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b2191b7bde02f8249f82051c6b2e5102dcb9c25","datavalue":{"value":{"amount":"+0.8339433670043945","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":"Q1854337$9CB52B8A-5305-445F-8022-6DAC5060A899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d377109860b2b897950d761b686913ca7226cdb","datavalue":{"value":{"entity-type":"item","numeric-id":5693576,"id":"Q5693576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d75975e6474784bd476ff841375a89ed17265d6","datavalue":{"value":{"amount":"+0.8241854310035706","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":"Q1854337$4A5545F8-5F55-466C-A9C2-07B0D839CBDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher order unification via explicit substitutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Higher_order_unification_via_explicit_substitutions"}}}}}