{"entities":{"Q853743":{"pageid":855591,"ns":120,"title":"Item:Q853743","lastrevid":64842612,"modified":"2026-04-11T22:36:16Z","type":"item","id":"Q853743","labels":{"en":{"language":"en","value":"An initial algebra approach to term rewriting systems with variable binders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5073695"}},"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":"Q853743$E766CE80-01F7-44DD-93EA-20288EC13697","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e9f872ef2077e7462516978b0b8bde7cfcd2485","datavalue":{"value":{"text":"An initial algebra approach to term rewriting systems with variable binders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q853743$9DAB122A-68A6-47BC-B282-CD8042E7FE94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32e8980c4e5d742befa58f900ffab3eb279b2d5b","datavalue":{"value":"1105.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853743$94A21B99-0A10-4E47-AF90-C45ABBA22196","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":"Q853743$6F33EBBF-D20C-4375-9AEE-3DBE572F0BD0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853743$44577524-8B5B-4E1A-BB2F-DB0E3978797B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e72da49a9cdc23965ff0d1c9fcf6159ca75a2a61","datavalue":{"value":{"time":"+2006-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q853743$E71DE110-31C5-4377-908C-2B4D9FB52F1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853743$3A36E450-D5A1-4050-B238-C2A63E05D3E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f9fc7acb49dd6ff0e4547ac4b9a83db29aa0b47","datavalue":{"value":"5073695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853743$AC7AEEEA-1C5C-4957-AD99-B59D54A75738","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f20b94fdbe18dfd6d46086a7f2203c1fd2c14cda","datavalue":{"value":"Term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q853743$7A820778-FA52-4065-B656-4F9B3807A8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23fbb514fa6e9727786dea00d9188dd0f71b1fac","datavalue":{"value":"Abstract syntax with variable binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q853743$2BFBF67C-03F4-4756-83A9-B8084B8F3AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d9b1e4d9484f37da4fdd162c43ac2fa8fa97d8b","datavalue":{"value":"Higher-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q853743$A186F532-084C-4783-AFDA-F6FACA843DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d841231ff31204057b6715c5630693725fff04b","datavalue":{"value":"Initial algebra semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q853743$A7E065B0-E686-4ED8-BBD4-8615FEEE84F5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c4af8ee555123677c11f05f4a7acea2db389befd","datavalue":{"value":{"entity-type":"item","numeric-id":34406,"id":"Q34406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853743$C715E5B6-EA8A-4AAF-A3E5-FDBC6A701C8E","rank":"normal"},{"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":"Q853743$5D636846-A16B-436F-AD32-85CAC7F1DE26","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":"Q853743$9A7F9EA0-E29F-4F5B-B38B-76447C5E6244","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c61461cdff6d1634c52e1b54615ac5a6247aa83d","datavalue":{"value":"https://doi.org/10.1007/s10990-006-8747-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q853743$50236933-3180-4D4E-8D9D-45E10BA35AAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f7946e480de19dd64ca4bdcf00db3b20917c6b0","datavalue":{"value":"W1973544374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853743$A0B9B154-23FE-4D03-B8F0-9EFBC3862A49","rank":"normal"}],"P223":[{"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":"Q853743$36FEBA76-02A3-4405-9D4C-B41D42CF612D","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":"Q853743$410BA90E-AF70-42A8-A5D2-25F1BE583C85","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":"Q853743$A8FB05B5-B101-4CC7-A2FA-8A8188416C7B","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":"Q853743$D3927820-B6E4-4750-9B07-BADA0041778D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9701c4e4a8a6a6373c23900beb1d6949083c86","datavalue":{"value":{"entity-type":"item","numeric-id":5603226,"id":"Q5603226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853743$EE13907D-2391-418A-8F7B-9FE943F7F4CE","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":"Q853743$BDF58386-7761-4203-AB61-DD022C16FEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5917031cd6ce8484665fe8349c2192d249de0f24","datavalue":{"value":{"entity-type":"item","numeric-id":1400720,"id":"Q1400720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853743$FD6A2872-22FD-4493-A4C8-A71BE4036FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7875d7ea39157b113d5f548125a22f295fddd065","datavalue":{"value":{"entity-type":"item","numeric-id":4825543,"id":"Q4825543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853743$88EC466D-FA4D-47B9-8E96-8C46896BF2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec15b6bb7916d9e3ec2d2f7099c9bb308614ce1","datavalue":{"value":{"entity-type":"item","numeric-id":5714443,"id":"Q5714443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853743$F51C1C6C-0549-4823-A9AD-B0DBFC7AEEC9","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":"Q853743$D85A7E92-D69F-4AF8-91D3-29A82F044FED","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":"Q853743$2B509E9F-7C04-4331-9F1A-4AEAF3542CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d87067fb1b5a8c7c8986335b798e792c40f6b705","datavalue":{"value":{"entity-type":"item","numeric-id":5958759,"id":"Q5958759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853743$AB584832-AD44-40C0-A999-30C5FA6BBC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36e0081f2c48fe3ddc8266e4173ab0fc1f48bef1","datavalue":{"value":{"entity-type":"item","numeric-id":5466518,"id":"Q5466518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853743$298BA60C-CE19-4992-87AB-E6390E40D177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e896c75803fe00b7716aa64499f6fd323ddeec","datavalue":{"value":{"entity-type":"item","numeric-id":687583,"id":"Q687583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853743$3623EA7C-CD60-42C2-8A37-28FD30FBC2E8","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":"Q853743$0057C85F-B514-4E0E-B9CA-D861E6E83FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d77bbce06dee767b923dbce7a63e4752ff3bd5","datavalue":{"value":{"entity-type":"item","numeric-id":4362961,"id":"Q4362961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853743$24347C22-5B6F-4ED6-9396-5A508B9A4C6D","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":"Q853743$B1264A27-DE2C-44AD-A455-E2AF1E449A4D","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":"Q853743$B4ABF945-91A1-43FF-AE1F-7993F8919014","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":"Q853743$9E77A9DF-B4D9-4A94-8D5A-9678CBE7B859","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":"Q853743$810F3E09-C9C1-4D2B-A1FA-80C2086D59B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffac7d9aa47d7e3194789ac7b17d644b3b3dbea","datavalue":{"value":{"entity-type":"item","numeric-id":4053617,"id":"Q4053617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853743$F7C6D345-2B06-48E7-8A1E-78BC32D9A55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"278ec38be8d44b13f9221d891a82405f8a30ca55","datavalue":{"value":{"entity-type":"item","numeric-id":4781028,"id":"Q4781028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853743$20F8F643-BADA-423C-A113-F6C72AF6A0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f905df8a88311db82e37f87e5596b4b57104bcfe","datavalue":{"value":{"entity-type":"item","numeric-id":699931,"id":"Q699931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853743$BCC84037-CF22-4D6A-A0D0-2DEAFDAED9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a323680a17c06e543b6e4a9819dbdfd285ade5f4","datavalue":{"value":{"entity-type":"item","numeric-id":5292660,"id":"Q5292660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853743$DBE4F833-785E-42F9-8245-6369307A8FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5b0cbb25e0f5891c436ffcd8cb33862a001234","datavalue":{"value":{"entity-type":"item","numeric-id":4709842,"id":"Q4709842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853743$1BB03FC7-53B8-485D-9B97-267D4DF4FCB1","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":"Q853743$24A7D3CC-9B0E-449D-BAE2-A9AEA4ADDB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a23b5f1b883353db1792da9968220a0c1143a3","datavalue":{"value":{"entity-type":"item","numeric-id":685380,"id":"Q685380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853743$785B8DFE-BD0A-42B1-ACAD-E260529565D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20970ecd5ca04e25c3f9d7583e87d1d4c86d0bc","datavalue":{"value":{"entity-type":"item","numeric-id":4536403,"id":"Q4536403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853743$66D35600-9637-4BD2-8F1C-70D6531EEDD4","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":"Q853743$6B22392E-6389-46DF-ADB8-B4345627F37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e414f9e1b27e451503814d8f5b909cdffbaba0e5","datavalue":{"value":{"entity-type":"item","numeric-id":5308021,"id":"Q5308021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853743$C9298BD6-52C2-4819-8A5A-477B4B867A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ff1ef3058b24805e7369e6a141ca534ae33883","datavalue":{"value":{"entity-type":"item","numeric-id":2778888,"id":"Q2778888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q853743$AE271BA7-4762-4131-B0DD-1CC9ACE81573","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":"Q853743$8F369246-E6D2-4680-AE52-CD1E658CED91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"722dde9065d5dc88605768de2e27b1f52534528b","datavalue":{"value":"10.1007/S10990-006-8747-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q853743$34B4EEE7-BCE0-4BAD-97C2-051339A4783D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5e258712eb8a99312523d92c6a06e458cb2182","datavalue":{"value":{"entity-type":"item","numeric-id":5058367,"id":"Q5058367"},"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":"Q853743$99D5389D-A5B4-408F-ACB6-FD2070FEFE3B","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":"bda7cd60ed2cd019cb36eb38777f76cce1728cce","datavalue":{"value":{"amount":"+0.7440245747566223","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":"Q853743$DEB2F939-558A-4AED-AD80-948F1EAC51CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efcba330e0d15894627289be8552e56b1ab0dc71","datavalue":{"value":{"entity-type":"item","numeric-id":685380,"id":"Q685380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f381821466efc0309ed19103700a369aed3987f2","datavalue":{"value":{"amount":"+0.7301681637763977","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":"Q853743$6250AEA7-B6E3-4813-8F03-131CAACB9D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10d1a1820636b49d93067c6688fd09fcf34c2ed7","datavalue":{"value":{"entity-type":"item","numeric-id":5414966,"id":"Q5414966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"256a7a565e783ec2060faa5d0f4cd2e475900a1b","datavalue":{"value":{"amount":"+0.7258884906768799","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":"Q853743$69EDA67C-C6BA-43C6-948A-60FA7D09E761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f5fc84df065ea961925d80b5c14cbba80d5d3ff","datavalue":{"value":{"entity-type":"item","numeric-id":5881172,"id":"Q5881172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247e4f165449e63f60f4c674921008521e870b6b","datavalue":{"value":{"amount":"+0.7186169028282166","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":"Q853743$267E740F-BE68-43D4-B793-F8A7100144BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An initial algebra approach to term rewriting systems with variable binders","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_initial_algebra_approach_to_term_rewriting_systems_with_variable_binders"}}}}}