{"entities":{"Q5055746":{"pageid":7085323,"ns":120,"title":"Item:Q5055746","lastrevid":47785804,"modified":"2026-01-02T16:49:59Z","type":"item","id":"Q5055746","labels":{"en":{"language":"en","value":"Rewriting, and equational unification: the higher-order cases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631154"}},"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":"Q5055746$0A6804A4-706F-45EE-BE6A-C463A701AEB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15c9e0c48df0014d916560e6c98a2c3ac0a4e9b8","datavalue":{"value":{"text":"Rewriting, and equational unification: the higher-order cases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055746$9BC51B65-99C9-4EF4-BB94-70B2682043E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d532ed1e7cc122ce502f852c6e5e1834f24b86b0","datavalue":{"value":"1503.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055746$F71B971F-1CEB-485C-96D7-0AC25F5061B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"618d843dc779adea09eacce90b68fc042298c601","datavalue":{"value":"10.1007/3-540-53904-2_83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055746$64D5C2FD-A513-43FF-BB23-D57870BE429D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"998d15757c31c4085737f7ae10fa09232a6e0136","datavalue":{"value":{"entity-type":"item","numeric-id":1262769,"id":"Q1262769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055746$7978BA39-6AFD-4CC0-A5EC-EF4971D7F700","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055746$8E51FF65-0702-4019-A63D-5583E744D1A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055746$29291DC8-0094-4132-B955-B2A84CE7ED14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055746$1119C24D-82F2-4497-888D-477C10DA709E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055746$789B80E3-1D5A-4A1E-8CBC-A1AA02C2FB26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"163b55db75426d7ea81a90a128387baffc54d533","datavalue":{"value":"7631154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055746$077F7BBD-D365-4C68-9A46-BB73C47A5A95","rank":"normal"}],"P1463":[{"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":"Q5055746$4561B4B2-AAC7-4B51-AE48-578CC5C612BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055746$B45CF30D-DF77-428A-9D51-767EE2553506","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":"Q5055746$B67A461F-A550-444D-BD29-2A13BB8824C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58e1e13f46de648fd83dbaf483f4c908922b5e6b","datavalue":{"value":"https://doi.org/10.1007/3-540-53904-2_83","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055746$12868B0A-06F0-4A19-B2D2-BF2DDAA067D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e24123a2fbc5ffce7a5212695418d165cde96bf4","datavalue":{"value":"W1516645628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055746$BB49E683-B989-4ACD-B9BF-DF8976B6486D","rank":"normal"}],"P223":[{"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":"Q5055746$C552AAA6-1FBA-4502-9285-C244241D53F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"facb6bc4683203c7fcf85f2b6cbd72c01724f6f8","datavalue":{"value":{"entity-type":"item","numeric-id":1098623,"id":"Q1098623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055746$613C1D50-DC7C-4EDB-B388-78C4993036C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6db44461333ef5e5aae7abb248658a05e60ef41","datavalue":{"value":{"entity-type":"item","numeric-id":3247126,"id":"Q3247126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055746$EADC64E0-5945-4528-978B-F90C47C84758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ec45a842bd7bf87466a82e7175870b8977fe49b","datavalue":{"value":{"entity-type":"item","numeric-id":3707361,"id":"Q3707361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055746$2785EFA3-D293-4410-A14C-D3E8A9837A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc4ab4c49ceaa025dc1e0ab613193396b97a5c4","datavalue":{"value":{"entity-type":"item","numeric-id":5055717,"id":"Q5055717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055746$638D9D14-6B43-41CF-8627-DA429165D8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055746$2967F5D2-F497-4AF0-A74A-78747E2D371B","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":"Q5055746$66B431C1-626E-404B-952F-9343C6C1F73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef54c5db44ce04a09d816f6d39aa5422147f89f","datavalue":{"value":{"entity-type":"item","numeric-id":1820760,"id":"Q1820760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055746$0629469A-F164-43ED-BAEA-75F9B10464F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d0de0ba52048b2594da38e4815945e3a42363a","datavalue":{"value":{"entity-type":"item","numeric-id":1251063,"id":"Q1251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055746$D91CF05B-E680-4D5D-81DD-4AA76DC41896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055746$A90852D2-E7A3-4DE2-8B1B-D824522322F3","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":"Q5055746$3FB6CD21-F00A-4343-87A4-46C87FAB78B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055746$C9D5B454-D079-40F5-A9A8-A3341AD67AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a946cf7024e56de3add0909eca8fc65c950282","datavalue":{"value":{"entity-type":"item","numeric-id":5665188,"id":"Q5665188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055746$96349B79-92CA-4EFC-9281-4958DBC57A90","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":"Q5055746$18DA5DCE-1DA0-4DF3-A84F-6825FA4A112E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb3a73f197f9ce37214d5648fc503e23af08e809","datavalue":{"value":{"entity-type":"item","numeric-id":1159599,"id":"Q1159599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055746$92BAB2AD-E341-47EE-BC32-EBCB9FE8517A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e1427fe2cc4f762fdeff53d2b88ac222c2ec52d","datavalue":{"value":{"entity-type":"item","numeric-id":3776590,"id":"Q3776590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055746$151BCDEA-1209-4B7D-8141-48384B8FF48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055746$D15DE1CB-9E09-4D35-9F5B-34ED0C91A820","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":"Q5055746$F62DE766-D812-4FF2-8FE0-1B868022558C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270c1c054c28939f7f15e01aa922e0cf1576a9f5","datavalue":{"value":{"entity-type":"item","numeric-id":3338215,"id":"Q3338215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055746$D2584742-129F-43FD-B8E4-047D113D9290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c93444ecfe5e57390b453a78b405e81b591c986","datavalue":{"value":{"entity-type":"item","numeric-id":1164619,"id":"Q1164619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055746$D453A47E-73EF-402B-90CB-BC42C322CEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c310644e12c61adad67380b423333b33746bc0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3184628,"id":"Q3184628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055746$23923B77-7711-4B71-9A8B-7A1FCF88304A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd9e52499b3432a3e90d58155d673c3eb24b92d","datavalue":{"value":{"entity-type":"item","numeric-id":4524793,"id":"Q4524793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f51e1fbc9b5d083fd4f4c30f3b5f03dc39acbf8","datavalue":{"value":{"amount":"+0.8432844877243042","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":"Q5055746$010FD572-7B30-40CB-8441-85D16DA9A555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3259deb61cfe2170701e47d67e7bd5ff2a5591b8","datavalue":{"value":{"entity-type":"item","numeric-id":5055760,"id":"Q5055760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f51e1fbc9b5d083fd4f4c30f3b5f03dc39acbf8","datavalue":{"value":{"amount":"+0.8432844877243042","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":"Q5055746$BB2E2423-0A24-4C1D-AC93-BE2AE44214A6","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":"fade09bfb9c0c30c6a8a75e4ce6c3b518110df8e","datavalue":{"value":{"amount":"+0.821962296962738","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":"Q5055746$6E7601A6-E542-4C06-9202-2DA0288BC759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c06f53546062943063e6ba8de30d0e16d815b29","datavalue":{"value":{"entity-type":"item","numeric-id":673971,"id":"Q673971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf0aae63a6c66c9de3861faf5f4da17f705f112","datavalue":{"value":{"amount":"+0.8116604685783386","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":"Q5055746$F05D7C91-1639-4A7F-81B3-F14753849C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf9500bdb0c351e71dae538f51dcde914dd88a5","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756ab18360759f80b7dd43a98f7d620af71dd38c","datavalue":{"value":{"amount":"+0.8107920289039612","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":"Q5055746$4D8269E3-D257-4EBB-AC1F-BC47A49BF04A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055746"}}}}}