{"entities":{"Q6544121":{"pageid":14155265,"ns":120,"title":"Item:Q6544121","lastrevid":42338663,"modified":"2025-06-11T19:41:59Z","type":"item","id":"Q6544121","labels":{"en":{"language":"en","value":"Adequate and computational encodings in the logical framework Dedukti"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7853731"}},"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":"Q6544121$EDF0106C-2C7D-4277-8609-F1019D6F4630","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa9f13250cadf90dcf614d5370ce472790a03b9f","datavalue":{"value":{"text":"Adequate and computational encodings in the logical framework Dedukti","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6544121$FE3523BB-E4A4-4F6E-B391-BEA25712D35E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7e3790ced80b833fdce050c7a25217abc7677cd","datavalue":{"value":{"entity-type":"item","numeric-id":6544120,"id":"Q6544120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544121$5ECB0BBB-8201-4A56-AFE0-5E1DB35EBDC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb446d46e1c3c1f4c9c481337a64fd2c7b9ecce2","datavalue":{"value":{"time":"+2024-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6544121$5A84CD6F-5B72-4AC3-8A75-9A8C5663D42F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544121$15840A9D-11BB-41E4-A193-F863544D3A03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc3e46a4151310ce072ae0c8ed983d2fb92b516c","datavalue":{"value":"7853731","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544121$3A367F3D-245A-475D-AFDB-FBC79C8EE383","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544121$04B52031-A680-4866-B734-48C8CC2C0E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544121$A2BA627E-EFC7-4190-AF32-745F39695C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544121$E3198F2A-5F6B-40CD-AA30-21FD64099B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a632f618cd9189bed1fc52dcec21b5f4d0e1e04","datavalue":{"value":"eDdukti","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544121$6C9FBE3D-3CE8-44FC-B541-EF932CC4C0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803071656ef49caf5ffffeffb35be0afbcb7ae7c","datavalue":{"value":"pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544121$70DDFF7D-FE81-45DC-9F92-8374B2192D6F","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":"Q6544121$D1B519A3-5C33-4D71-8A85-C32B55474951","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f0fc2737f6a051f145adac42dd20fd604220943","datavalue":{"value":"10.4230/LIPICS.FSCD.2022.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544121$C1D47BF9-8393-430B-ACAE-2C58E4198E24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6544121","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6544121"}}}}}