{"entities":{"Q5058367":{"pageid":7087943,"ns":120,"title":"Item:Q5058367","lastrevid":91148306,"modified":"2026-06-04T22:22:57Z","type":"item","id":"Q5058367","labels":{"en":{"language":"en","value":"Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7634877"}},"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":"Q5058367$5A2B81A9-C646-49F6-8C9B-800FFE0FCD6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"213f294ba6a3062291f736e3e10bfc4345d82e70","datavalue":{"value":{"text":"Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5058367$2A7602EC-A05F-497A-9E3F-D35043B71E37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aca4d070695ba737efa2b27fb64fa30f4286a614","datavalue":{"value":"1506.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5058367$F8414D47-D013-4FEC-AC3A-4682A02A6D6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d13afe9cc94cc4d8f5eab5fa9bd455f7c17672b","datavalue":{"value":"10.1017/S0960129522000287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5058367$C4755E9E-DFB4-4ADE-AB79-9E16417EAA71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39125986354abecea843861eabc948f8d83e93d5","datavalue":{"value":{"entity-type":"item","numeric-id":853742,"id":"Q853742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$25188F80-FF40-4627-B2BD-2E6A971044A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$5D1475DB-4E51-4D1D-A6AD-18B5E07B8DAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"354f8a07359c96bc03092e439a646dc8de328ac7","datavalue":{"value":{"time":"+2022-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5058367$CCFB190F-07F6-4C43-872C-C4479B60BB2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5058367$508D2F22-37D4-4569-AFB6-CA257577CE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5058367$750CA267-C721-41CF-BFB5-7FEAB452D1DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cacd978424f3f9ef4f4baa053619ee9de04423d2","datavalue":{"value":"7634877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5058367$961D444E-E6E5-4638-99E6-47864F90861F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5058367$D9B8AFD8-70C7-499F-95BA-679106A3CD08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c5bf0a29ab08b878c0fd428ebe7db99b94e6519","datavalue":{"value":"higher-order rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5058367$C08AE6BB-0557-402B-AB81-4333157601BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5058367$664D0256-D6CF-4262-9C85-4131FF0FF0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62430376555ae73fdb28af92032c34efd818513e","datavalue":{"value":"algebraic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5058367$56DAC2C2-3230-419F-9DEA-B13ED025393B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8026960d6f36428821b4502bc1641829b1806e7e","datavalue":{"value":"higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q5058367$052A7266-9889-4543-856D-04B639E8709D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$4ED54A18-B9A3-4FA8-8C5F-DAFCBE41556D","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":"Q5058367$5DEA84C1-CCCD-40D0-9463-BD139BC15C0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4d5c93be6b19f119f5f7ce6c79dbca853e2b604","datavalue":{"value":"https://doi.org/10.1017/s0960129522000287","type":"string"},"datatype":"url"},"type":"statement","id":"Q5058367$C01C9491-1C52-45BA-87A6-463098232824","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea164be41f198e8ac4d99af590327922795a26e4","datavalue":{"value":"W4306153609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5058367$4CC60171-3628-488A-8AA5-D8D44A7CB891","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc708db8417b264ae5134e14d7f4436923047c5","datavalue":{"value":{"entity-type":"item","numeric-id":4044767,"id":"Q4044767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$6E587468-0F84-4898-9D1E-3A2670A4FEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74b21e5a5186c3d39ea689c9c82bfc2c17a0b611","datavalue":{"value":{"entity-type":"item","numeric-id":2723890,"id":"Q2723890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$A7751FD6-9324-411D-A064-30488A18FAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e903923785f11d6473791a8ccedb18f2347c5f18","datavalue":{"value":{"entity-type":"item","numeric-id":896904,"id":"Q896904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$E6CD8CDE-F7C1-49C8-9018-767B5876C202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14408ce3bc4d32d31c1f710f161db7f09add187","datavalue":{"value":{"entity-type":"item","numeric-id":4938611,"id":"Q4938611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$267B4CC4-8049-462E-BFDE-9E61ED3C4266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233dfe42cf26367619cfadc069d894fa4a12e740","datavalue":{"value":{"entity-type":"item","numeric-id":5958292,"id":"Q5958292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$764DF114-3074-41AF-A9C8-4FD597C2DE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7740cfc6072b49b113f76e886af169e5536e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5515373,"id":"Q5515373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$7C7BB46A-1D39-4BC1-BB78-C19B0839E450","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":"Q5058367$BAEF41E1-3E9B-4105-A4AF-DC471807509B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e723c31e56f2487bba3b93f0d7637a4943535187","datavalue":{"value":{"entity-type":"item","numeric-id":3024831,"id":"Q3024831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$8BC5007C-7FF2-48B9-9050-09CCF18F37E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a176cb8e13997c0970792df4a08fe30cfc54c9fe","datavalue":{"value":{"entity-type":"item","numeric-id":5271090,"id":"Q5271090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$89159A19-91BC-471F-9840-F64E35E15C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"357ccf03e46aaa39253d03b41c233e835e9de436","datavalue":{"value":{"entity-type":"item","numeric-id":3586049,"id":"Q3586049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$3D856482-FBCF-4F03-846E-7D503827EFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd6cd0d0c72bd63bb035b0e71b44baff47cc10e6","datavalue":{"value":{"entity-type":"item","numeric-id":3586098,"id":"Q3586098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$21E2018A-32FE-447D-818F-8BAE74A34090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db59a8f34190362ca8d3ff9cc297a5b872ef504","datavalue":{"value":{"entity-type":"item","numeric-id":5464050,"id":"Q5464050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$E49A206D-3E83-49EB-AE8E-EFFF28DB0D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aa52527054a11b9511a9d5a4ebb0ac41d898138","datavalue":{"value":{"entity-type":"item","numeric-id":5703844,"id":"Q5703844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$7979C80E-CC22-4DD1-BF88-05EB51B9892B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e231509417730037f235992cfb266c04999d6f1","datavalue":{"value":{"entity-type":"item","numeric-id":3000622,"id":"Q3000622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$EEC128B4-F42C-4B09-AB22-FBB940C37E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4666614b2179809baeef1d2c00547663ed4b5bdc","datavalue":{"value":{"entity-type":"item","numeric-id":5110922,"id":"Q5110922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$83E85676-5281-4FCC-B10F-7D7D8627C0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$CCB76BA4-A47F-4FED-95FC-159CD8D3868B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7caf2440e82f6e61ecf42115a8cdbb9be04adb31","datavalue":{"value":{"entity-type":"item","numeric-id":5055838,"id":"Q5055838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$6548088E-E43B-4A44-A8BD-EEDC1A651C3B","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":"Q5058367$C3E6271E-AB19-46FC-ACCE-3658BE6ADACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$489F1C9D-77AF-4158-8980-F0CA89704294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3671c04a28b3c6321772a8c859c51ac112c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$17ACC452-92A3-4088-AB90-8942DC2AB795","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":"Q5058367$13D2EE7E-BD99-4199-8D6C-1DE2949238D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$BF591E89-18D3-48EF-98D4-28CE92785869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f2193ccb2db0bac384d6cdd7e01f259e3448f0","datavalue":{"value":{"entity-type":"item","numeric-id":2474057,"id":"Q2474057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$3DB021BE-0419-4FD3-A14A-7AE0571E73EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f58b550ee63ab76f792ee6da649e332197ddca74","datavalue":{"value":{"entity-type":"item","numeric-id":5488609,"id":"Q5488609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$3839EA56-0111-4964-85A3-C0B67684316C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f60bc0acc105825166bf82ebf2b258ddbaf342","datavalue":{"value":{"entity-type":"item","numeric-id":3138869,"id":"Q3138869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$A46EEC3D-7B48-4751-9624-FBB3CE7F78C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdbbb0e55701e4979c9b9da2040e2fcaa62eca57","datavalue":{"value":{"entity-type":"item","numeric-id":3127078,"id":"Q3127078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$0A5C55CE-92EC-4B30-931E-D27BFA955840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e8e831f7bed383c3c62d1ea71793f64779d6bc8","datavalue":{"value":{"entity-type":"item","numeric-id":5713937,"id":"Q5713937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$EAACC770-ADA3-4F1F-BAB1-79B260471761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"585fa642060af30bbfbec6c1227ab57ea3dd4b2d","datavalue":{"value":{"entity-type":"item","numeric-id":1029104,"id":"Q1029104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$ADEE715A-EBE1-49C5-8696-FC7E75DF7A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52daa7db4d526ad28728d2a0c4c6496dadc100d2","datavalue":{"value":{"entity-type":"item","numeric-id":1332336,"id":"Q1332336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5058367$943CCEB1-B110-4531-A212-4BF9DA86C66A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cfb431eb69d4a693f45b37074355ea82eb0c1c8","datavalue":{"value":{"entity-type":"item","numeric-id":3586098,"id":"Q3586098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31015fb494b085a759cef7cc3db56c9e01cd76c5","datavalue":{"value":{"amount":"+0.7948339581489563","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":"Q5058367$BB82F973-A633-4932-BC26-04560F5779E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1471966faff30139230c854e6b45a1be2ee74659","datavalue":{"value":{"entity-type":"item","numeric-id":5703844,"id":"Q5703844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b043476e9985bf9f077539908efb85643056ce95","datavalue":{"value":{"amount":"+0.794074296951294","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":"Q5058367$E2B1A65E-E0C4-4385-95DC-5F30C0C27B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3743735b61c3f407b9e25a15612fd9e253a74067","datavalue":{"value":{"entity-type":"item","numeric-id":853743,"id":"Q853743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af2ee0f8d5a72ce3f911bbfd6d115c4b75fffb0c","datavalue":{"value":{"amount":"+0.7882944345474243","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":"Q5058367$1092802F-9C2B-4B07-B2DE-E2FC1465DC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea5dadae5630418a05af055b27cb215dd77ea9b","datavalue":{"value":{"entity-type":"item","numeric-id":1111012,"id":"Q1111012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"144f0d06fa0ba2a9dd53080633e44900e8935a82","datavalue":{"value":{"amount":"+0.7696285843849182","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":"Q5058367$E363BDB3-1D86-43D0-A320-A21652030FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1719b3e43a422eb0da04125791729778cfe78414","datavalue":{"value":{"entity-type":"item","numeric-id":3586049,"id":"Q3586049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f427b27f32076fcb3de397061326759abe256a8","datavalue":{"value":{"amount":"+0.7658841609954834","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":"Q5058367$FE72A1FF-6006-4CEE-B426-79A9E772E0A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complete_algebraic_semantics_for_second-order_rewriting_systems_based_on_abstract_syntax_with_variable_binding"}}}}}