{"entities":{"Q6859995":{"pageid":20656603,"ns":120,"title":"Item:Q6859995","lastrevid":84252260,"modified":"2026-05-14T05:37:00Z","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"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cb7bc6676bcf4ae8d66c7a793e7ffdddba9905","datavalue":{"value":{"entity-type":"item","numeric-id":5110924,"id":"Q5110924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859995$7DBDA8E8-6D4C-4F64-BA65-64ECFB23DD0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859995$5818453D-EB82-4DAD-A5A5-1FBA45D9F8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b55ad4ae884873664dba1bb8bdf04743ad4259","datavalue":{"value":{"entity-type":"item","numeric-id":4038654,"id":"Q4038654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859995$5EC0C9A8-7D1C-4A82-B15E-95AE4DAA4F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52bc2eece43ed61a28c0516dc0b9048a4a049547","datavalue":{"value":{"entity-type":"item","numeric-id":2392480,"id":"Q2392480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859995$72CAA069-21DE-4D1E-A77A-208345A45B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac7c6d05f114a4ae2738237ef25b8c9ead77ff","datavalue":{"value":{"entity-type":"item","numeric-id":1945914,"id":"Q1945914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859995$5D99F6F1-F0AE-42A1-A80B-DF104056A532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367ef177c9ab91da57ee385240218ffe15eeadc2","datavalue":{"value":{"entity-type":"item","numeric-id":5178760,"id":"Q5178760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859995$7F4C1038-88F8-4C8C-99BF-78CCFF3A419D","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":"Q6859995$6BFB070A-D491-4FC7-809E-A596D657FAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb3504a1e04bfb244f7d9b2a0bf855789ff659f","datavalue":{"value":{"entity-type":"item","numeric-id":2729056,"id":"Q2729056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859995$FFAAA830-8DCB-4954-9119-942592EC33F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba7acd0e33cf62ff42c5d3d2963429fca167fec9","datavalue":{"value":{"entity-type":"item","numeric-id":5111322,"id":"Q5111322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859995$FBD64481-5160-4D20-B476-7B6AB23FB8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6dd02afc1518f0b7162d3764d0c37e5d6b21517","datavalue":{"value":{"entity-type":"item","numeric-id":3384910,"id":"Q3384910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859995$036C7316-86CE-4641-9D41-1E54A0A4DCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347ff5e243a44fe280b61636b43f4d0e72b66679","datavalue":{"value":{"entity-type":"item","numeric-id":4281480,"id":"Q4281480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859995$7F22E770-3E5F-4910-8243-64A55B8F6452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa702d7d109a22b360d5066a3e267a9b5cb26b6","datavalue":{"value":{"entity-type":"item","numeric-id":5176983,"id":"Q5176983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859995$CCB72548-F427-4F00-A46A-F69DFAA1F50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccdfc6c2a229e09846d7ccb887c26192d20ce0f8","datavalue":{"value":{"entity-type":"item","numeric-id":2945649,"id":"Q2945649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859995$2F439E56-C0E4-4E38-9945-71CA2B9D4DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade402c8643377c95736cc4de881776c386a1875","datavalue":{"value":{"entity-type":"item","numeric-id":1882909,"id":"Q1882909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859995$B265E3EE-4D30-4F9C-A23F-7F98243EA847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"441f6e561cac8e0c359356095e3143465f099140","datavalue":{"value":{"entity-type":"item","numeric-id":6657791,"id":"Q6657791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6859995$CACB2DC8-E1B3-488B-A2F1-4CCC0FC21163","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstractions for multi-sorted substitutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstractions_for_multi-sorted_substitutions"}}}}}