{"entities":{"Q6917830":{"pageid":21009475,"ns":120,"title":"Item:Q6917830","lastrevid":84146945,"modified":"2026-05-11T07:27:05Z","type":"item","id":"Q6917830","labels":{"en":{"language":"en","value":"Towards type-directed compiler calculation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8104494"}},"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":"Q6917830$37F03570-5254-4ED3-BD40-F97FFE2AEC67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3424657eab5b3ad38688de6562fa9bdd1cf5313","datavalue":{"value":{"text":"Towards type-directed compiler calculation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6917830$FC91EF7C-46F7-485D-A373-67494199EACE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6df3e783111ea92d4e2c7fedcbbb4e09547091a1","datavalue":{"value":"10.1017/S0956796825100087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917830$92CFBAEB-B0BE-4412-A46E-8E8F4A722A50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb347ea749674b96dcf23d1f480d130c607a21fd","datavalue":{"value":{"entity-type":"item","numeric-id":1791196,"id":"Q1791196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917830$C45296E0-B521-4011-8E60-9EB205B04FF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917830$9918380F-46D3-4330-8B07-232CC760DABA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"564e8a6af2f00b2f2292327fb6099fe507ec5ecc","datavalue":{"value":{"time":"+2025-10-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":"Q6917830$AF5771B0-856B-4F3D-8C85-D8C1CE633691","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917830$90B0A619-8E37-4614-807A-460DF74019B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917830$2F59BBFE-9D3D-4CB7-BFC9-00D2AB4F01D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29a04277d7866176e5f76947f4bf8d0d5699c9c6","datavalue":{"value":"8104494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6917830$CB226A5D-1486-49DD-B2B8-28806E399D7E","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":"Q6917830$EB63BCDE-665C-44D5-AB71-35F9F596B658","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":"Q6917830$185B1F49-1981-42FF-B5A8-FF981F8FD566","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c06761ababa85bfa8f04a80be0c177741cdbfc","datavalue":{"value":{"entity-type":"item","numeric-id":5371953,"id":"Q5371953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917830$0F5F81E9-430D-4F0D-8813-22E7907E5250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a26f8704a0b000af4d343dc5939f771377b8c12a","datavalue":{"value":{"entity-type":"item","numeric-id":5423543,"id":"Q5423543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917830$3E6449BF-787B-4512-B4B0-140AFDAB2EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63c8e2fbc7e72cac91af3f88f7b51d965f3fc63e","datavalue":{"value":{"entity-type":"item","numeric-id":3649133,"id":"Q3649133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917830$8700CDE2-A812-4E5D-B104-81F03E09E779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad8bd4e250e84e6ebc1d32f1f9b90172f5033dc","datavalue":{"value":{"entity-type":"item","numeric-id":3189847,"id":"Q3189847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917830$F0776784-C631-4E3B-8B9D-34D7A9B6D675","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":"Q6917830$5FEB1AB2-2B12-41E9-A4D5-48EE049680C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e68dcf692ff4db73e36580f5cc8714b6e21d163","datavalue":{"value":{"entity-type":"item","numeric-id":5854732,"id":"Q5854732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917830$5B8CA15E-BA69-41DA-85F9-A6B54615ACA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38544e4d5b9b72e55b740515a4b055c67b48ec72","datavalue":{"value":{"entity-type":"item","numeric-id":3942416,"id":"Q3942416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6917830$B95046A6-82F6-477E-801D-7C9DD0F7CE23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards type-directed compiler calculation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_type-directed_compiler_calculation"}}}}}