{"entities":{"Q6859995":{"pageid":20656603,"ns":120,"title":"Item:Q6859995","lastrevid":75148453,"modified":"2026-04-18T00:31:45Z","type":"item","id":"Q6859995","labels":{"en":{"language":"en","value":"Abstractions for multi-sorted substitutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158273"}},"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":"Q6859995$57BF6135-4FEE-4E35-BA8A-371B0F80A3F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8bb7b62af367f7bfdf9c6d1b6bfd28cd13d867de","datavalue":{"value":{"text":"Abstractions for multi-sorted substitutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6859995$D25CC1ED-82F1-45EE-9845-958A8C0A41AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3db20b2de9a6597e88f6c204ff6059caec65f7c","datavalue":{"value":"10.4230/LIPICS.ITP.2024.32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859995$40267166-354E-4E65-BBE0-6B3AAC54E490","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30038ee59684878ab8d220907699a59cf93868f6","datavalue":{"value":{"entity-type":"item","numeric-id":2938161,"id":"Q2938161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859995$4531FA51-7F25-4541-BFC4-56C26019D8AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6859995$DA43F293-61C7-4115-AA01-0617F150D0A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859995$87EF9D92-4E14-4BCC-82B1-D6570F37F44E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b2d0cec61ef0c17004e00571c0aa31f030351c0","datavalue":{"value":"8158273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6859995$377ED670-F978-477D-9084-347B06E301C3","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859995$F337EB4B-0598-455E-A73E-60717211B640","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859995$2272B1D4-BB74-44AD-8BB1-227E74692432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3a6e871a284af917cfc8de81b27bddc18a2460a","datavalue":{"value":"metatheory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859995$6050B3C4-3358-4551-87FB-A47F211DC10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ec743b7196c7c7102efb90b219109b412dab81e","datavalue":{"value":"framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q6859995$B166B2F0-F078-4D86-AD2F-CAC0EE7F5C41","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":"Q6859995$99CB3954-A67E-4999-B535-8B8F99FA2363","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstractions for multi-sorted substitutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstractions_for_multi-sorted_substitutions"}}}}}