{"entities":{"Q843951":{"pageid":845799,"ns":120,"title":"Item:Q843951","lastrevid":64762779,"modified":"2026-04-11T22:03:40Z","type":"item","id":"Q843951","labels":{"en":{"language":"en","value":"Simplifying the signature in second-order unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5659685"}},"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":"Q843951$C9331B51-789A-4E70-A6B3-03BCEFE2B031","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90b9b95c47dc4328dfc70c241a0fcb28d66279ca","datavalue":{"value":{"text":"Simplifying the signature in second-order unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q843951$C407DA65-04BC-4E9D-8CD4-B48FA5EA7E9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cbea94ba6d317ecb3f73796b118bd08ef360553","datavalue":{"value":"1196.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843951$63084F43-C0AF-4A34-9A4E-EA9BBAD897B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f19d6bb88e6317a65ec423b9507831cfb57ff946","datavalue":{"value":{"entity-type":"item","numeric-id":309918,"id":"Q309918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$81E07721-24CC-4B88-8292-88903E7521E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"588ee65877f0d3e81836f8c13b96426bc0fd83a2","datavalue":{"value":{"entity-type":"item","numeric-id":487631,"id":"Q487631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$20B4445D-E378-46E5-8EAE-9FBE9C291A0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$572D0343-4445-4CD9-9804-E820271C11C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"160ae7be62905e153a649a9a4d09ab3aa02ded62","datavalue":{"value":{"time":"+2010-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q843951$9912D246-4F4E-4CEC-A2F8-147BE5C9AF71","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d83f9dec9102704d69e575480437bb2acad61270","datavalue":{"value":"The difficulty of a second-order unification problem is related to the signature of the involved language. It is well known that, in general, second-order unification is undecidable when non-unary function symbols are considered. Conversely, second-order unification becomes decidable (more precisely NP-complete) when only unary function symbols (i.e. monadic symbols) are considered.  This work presents a method that NP-reduces the signature of a general second-order unification to an equivalent one containing only constants and one binary function symbol. The reduction uses partial Currying of terms by introducing a binary symbol \\(\\@\\) for function application. In particular, the proposed reduction transforms function symbols applications, leaving variable applications unchanged. This is in order to preserve the solvability of second-order equations.  The reduction presented in this paper applies to a broad class of second-order unification variants. It preserves the order and the solvability of the second-order unification equations, hence it does not make a significative difference in terms of decidability. However, the reduction can be used to simplify practical implementations and to simplify the study of decidable fragments.","type":"string"},"datatype":"string"},"type":"statement","id":"Q843951$18B4A6AF-5039-487E-9581-844EAFB46CA7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b497df6db0ab2d2527a84cbd8eb6900c94d8c4d6","datavalue":{"value":{"entity-type":"item","numeric-id":843950,"id":"Q843950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$37E71E22-2FF3-4FBD-A3F6-FB52BEFBAFAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843951$098B176A-2A08-4BD1-BD05-50E67308F72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843951$16DBE121-D694-4455-BAAC-BB1736F5D60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843951$F90A0374-525A-442F-A544-8F1296BC6709","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d845408d41ed71ff2a155a86b0a434b101b7dabf","datavalue":{"value":"5659685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843951$E104873C-BC87-4053-A734-347B1582E7AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02c2e46beed5ba96220d06926ed1c2376b067793","datavalue":{"value":"second-order unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q843951$73AB94DB-D49D-4FAB-9896-50998DFBA271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb23ff3e6b432d2084c916e13d76428f8f3d7f26","datavalue":{"value":"unification reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q843951$2F13AE47-7829-4A0D-ACCE-98B71D6A363C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d8c703f2494d18e82ae164f5dfd0e2e9ca28b50","datavalue":{"value":"Currying","type":"string"},"datatype":"string"},"type":"statement","id":"Q843951$2CB93E06-5C10-4AD2-BE62-0DC5E6124CA4","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":"Q843951$644F33EA-72F3-41AD-8A6A-E006A4084C6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e263c81d2c9fbb14e681408eee95296cfdb18845","datavalue":{"value":"https://doi.org/10.1007/s00200-009-0106-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q843951$1CCEA202-2DB8-4642-9775-20FE5C6B5D5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb2e01181c6673bb2397697e76ac5b0c57cf25cb","datavalue":{"value":"W2133156051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843951$14ADD52D-6160-4BED-85EB-22BBD78FA605","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":"Q843951$F580C37A-310B-49CB-8DF9-B44F5FAB9834","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":"Q843951$133C6CE2-4A8F-48C0-BE42-329DCCE5BB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeda2ea2951d8b04b719f56082e653976ee94e99","datavalue":{"value":{"entity-type":"item","numeric-id":5901564,"id":"Q5901564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$97ED03E7-EC10-4CE1-9B54-5A0025BC376A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303eb3964db9127e4631b86a220d9feed74d7acb","datavalue":{"value":{"entity-type":"item","numeric-id":1264438,"id":"Q1264438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$A48651A9-4632-471D-A3AF-541FA76F9310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d892b085b4b332377a14108514583ee394897a","datavalue":{"value":{"entity-type":"item","numeric-id":2751368,"id":"Q2751368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$135DC182-8759-4556-9065-C52C4664C512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5927659804eca2a32583cb94f8cceb03b87d2078","datavalue":{"value":{"entity-type":"item","numeric-id":1854337,"id":"Q1854337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$AB50311B-797F-4347-8A8D-D4FC8341C3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b757d362e566e6bb8567869560a0af0408a0e3","datavalue":{"value":{"entity-type":"item","numeric-id":1109019,"id":"Q1109019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$2E539A9D-F6C7-4ACF-8E44-5940768D461E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdba4af064cab5f0d5d2b05f43f44c0bd28a3bc","datavalue":{"value":{"entity-type":"item","numeric-id":807609,"id":"Q807609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$36440BEA-17B0-4BE5-A604-FDDCDBA9698C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4c913dce3325a1ebaf014867fa2875a1882a267","datavalue":{"value":{"entity-type":"item","numeric-id":4539609,"id":"Q4539609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$D57E88B1-0434-48EC-9275-D94422C629D6","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":"Q843951$9D74EA24-2128-4957-8FAC-340288926F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2aad22f1f0b4f1d782762898750aa4efdd6cf111","datavalue":{"value":{"entity-type":"item","numeric-id":3191967,"id":"Q3191967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$33DABC78-A9DE-4190-8B27-14280CE376AB","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":"Q843951$90DA33EE-65FB-42D4-BED3-CF2FDAFCE704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71eee792a05160a4b0e0f5eb0be3c00a8255a87b","datavalue":{"value":{"entity-type":"item","numeric-id":2457427,"id":"Q2457427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$7832F33E-E429-443D-B00C-31458176F00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7631bafad40370c69ac2e03c3a1094e7ef7cfdbd","datavalue":{"value":{"entity-type":"item","numeric-id":5432347,"id":"Q5432347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$04D989D4-5546-4C1B-A321-2253B5DBC3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0382536376047a8a1e61b53a688d5d47c57054d","datavalue":{"value":{"entity-type":"item","numeric-id":3838759,"id":"Q3838759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$4FF1283C-3C29-451C-8D2F-761E143B3C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0effe3bc9d7252ac6b3d0e978baed02875894a","datavalue":{"value":{"entity-type":"item","numeric-id":5394611,"id":"Q5394611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$4E7179EA-68DE-4E67-A05B-9CC6797361DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b07e23b898e899b50efab9f0cc15b4a15cfe736","datavalue":{"value":{"entity-type":"item","numeric-id":5901562,"id":"Q5901562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$06EC836D-0F50-463B-BEC9-F1DD2B0A9A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a32581b92b00a4866227fd1ad0241c4d71392a","datavalue":{"value":{"entity-type":"item","numeric-id":3527311,"id":"Q3527311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$2E1D753F-1BAC-4025-A251-AF4C883A3C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0de9d0e6e5093b9e7d657efc5348ca37391a3096","datavalue":{"value":{"entity-type":"item","numeric-id":3613402,"id":"Q3613402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$6572177B-C237-4F08-9BF2-D5950B48ACC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0daad49a65c93609568ffc0fd3faf6b98b22e8","datavalue":{"value":{"entity-type":"item","numeric-id":1854349,"id":"Q1854349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$893A55BC-BE19-4521-A7AB-0CDFC2D31FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa84c92127929ef501ef70976a2411cad0cc5ac","datavalue":{"value":{"entity-type":"item","numeric-id":2778877,"id":"Q2778877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$5EE38A4D-0AE5-4B8C-A783-A7B54ABF7556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065ea4604210f6f33929664cd3c1938f56d2a34a","datavalue":{"value":{"entity-type":"item","numeric-id":4179180,"id":"Q4179180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$D0341F17-A0AC-4E62-AD44-85C3B113FB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"331cb045abbeeb34a95ffa4d37a8905c84c6bbe7","datavalue":{"value":{"entity-type":"item","numeric-id":5493343,"id":"Q5493343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$D260EC09-5B0C-4A72-9575-8F3036271E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96195abbf4699b29c9ed4377b35412faccc11fd","datavalue":{"value":{"entity-type":"item","numeric-id":2819601,"id":"Q2819601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$AE1AAC09-B4DC-4C9A-A72A-6A3C3C5E5F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba514721116fcba5045603e9524f6e2f496f221","datavalue":{"value":{"entity-type":"item","numeric-id":4796458,"id":"Q4796458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$C738A503-F3C6-40E9-8AB2-C82052D5DAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26efb18fd9bfd8a7bf5ca1d5496354f9b7db0820","datavalue":{"value":{"entity-type":"item","numeric-id":1887168,"id":"Q1887168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$E567EF66-2A7A-428D-BB9E-CAF5DD95049E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f2e897b9eeadcff5d84d426ad293549b9a5e96","datavalue":{"value":{"entity-type":"item","numeric-id":1599536,"id":"Q1599536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$50C80A30-B6F4-4821-8652-E568863E725C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc02e40d67d675fe264e52e1c4e6f156696eb30e","datavalue":{"value":{"entity-type":"item","numeric-id":3885741,"id":"Q3885741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843951$DC1E5C19-9FBA-4D00-83EA-F9922ED28EA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"458b34826023f6b0d72b7cf3d90f2218be6818a9","datavalue":{"value":"10.1007/S00200-009-0106-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843951$09D4929B-D5C8-46D1-A289-EFE950C5A207","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf31fd13c3ece96532629b6df6054d5c03f3958a","datavalue":{"value":{"entity-type":"item","numeric-id":4808756,"id":"Q4808756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"594e1b5da9fc627830c8945d963c558fb8bde0d0","datavalue":{"value":{"amount":"+0.862497866153717","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":"Q843951$855E70A0-87B4-4337-B0AB-95DF1DD25FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fdb8073091664946083763324b0df1304a6fd6c","datavalue":{"value":{"entity-type":"item","numeric-id":807609,"id":"Q807609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8625fbe1063031913eef2c4bece58a57810dce12","datavalue":{"value":{"amount":"+0.8109993934631348","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":"Q843951$1C5EE39E-97E1-44F5-8AB6-EF32D97EF38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08600648451cbff75dccd1f590a9db05d1a31563","datavalue":{"value":{"entity-type":"item","numeric-id":1854349,"id":"Q1854349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e279fb940e2dc603be31fb97f36430a6deddae","datavalue":{"value":{"amount":"+0.7941572070121765","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":"Q843951$E00C2940-1000-41C6-BCDE-4C3163A25DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5324d2665727850e5c41647da1b2fc2f4691e2a","datavalue":{"value":{"entity-type":"item","numeric-id":3838759,"id":"Q3838759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673d556091f2d90c65169fdfef8d1e21db847e9b","datavalue":{"value":{"amount":"+0.7922174334526062","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":"Q843951$B7FB6E8F-9CDD-4B4A-BCAC-CFD723722EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a564069e267b514ca61fa4871b9e75c56cd967ed","datavalue":{"value":{"entity-type":"item","numeric-id":3631904,"id":"Q3631904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7076cdf3776013f350feec7029c474eec0899ae","datavalue":{"value":{"amount":"+0.7839608788490295","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":"Q843951$F52BC81F-8A93-423F-945F-FFBCC4B6D175","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simplifying the signature in second-order unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simplifying_the_signature_in_second-order_unification"}}}}}