{"entities":{"Q6657787":{"pageid":14268944,"ns":120,"title":"Item:Q6657787","lastrevid":42410333,"modified":"2025-06-15T12:48:07Z","type":"item","id":"Q6657787","labels":{"en":{"language":"en","value":"Deriving distributive laws for graded linear types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7962582"}},"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":"Q6657787$C14825C9-81A0-430F-9F0A-B01B14392665","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b30d14c9523e9a87dafffd131608be11ccdd9d26","datavalue":{"value":{"text":"Deriving distributive laws for graded linear types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6657787$6CCC6E93-AFC7-4F0A-B952-8F9D3A03C824","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b305966f545a7e4f3ed0bef140c44e2956761aad","datavalue":{"value":{"entity-type":"item","numeric-id":2119109,"id":"Q2119109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$C563F9B8-8B4A-4C0B-943B-9C4770E46918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a424bd21194ac852ff8c9ab4cb1b96f7a6a1fbb4","datavalue":{"value":{"entity-type":"item","numeric-id":816080,"id":"Q816080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$FD94920C-C850-49B0-953A-E243A6D61C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64291cd98f197686ffec762027c05eaeba9376b0","datavalue":{"value":{"entity-type":"item","numeric-id":1001350,"id":"Q1001350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$7315E073-9FDA-46AB-9860-3B249FE89DA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61d4fcd001548dfc6222d0098d472cd2a6031b71","datavalue":{"value":{"time":"+2025-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6657787$31F2D523-6C92-4EFF-9A90-69C5D5B14A72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6657787$2E4408D4-338D-4B45-9D6C-A41862430700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6657787$E23A0532-15D4-48BA-9E26-CE1053B50851","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5c4914bae7d9c496fb2ec5b3faf8a17ce4ef956","datavalue":{"value":"7962582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6657787$88A4A527-1A3A-4554-AC1B-36C76D6A974A","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":"Q6657787$F4FA974D-3D8A-45F4-869D-DF5AE4E74AEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3021d90eca077841517bd64fc171b2a128b003a","datavalue":{"value":{"entity-type":"item","numeric-id":4283230,"id":"Q4283230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$DBAA1856-35BE-49DE-9927-DF8906E85C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462fcb52b924020348225febee36daef91bd17eb","datavalue":{"value":{"entity-type":"item","numeric-id":5410709,"id":"Q5410709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$65FCBA5A-2BFB-4EB5-B6CA-0D468A9A9B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a5a6499aa3ffdaf13135f9d1ab4ce9f355b944","datavalue":{"value":{"entity-type":"item","numeric-id":2802481,"id":"Q2802481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$74AF176B-4FBA-4095-AF85-33B169319FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de0ef026fdb50210a464dd504204943def4364b9","datavalue":{"value":{"entity-type":"item","numeric-id":2931812,"id":"Q2931812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$D972C6AD-913B-4613-A769-38C5BBE8AA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c75e3d52810814c579c973630d54a8096a771faa","datavalue":{"value":{"entity-type":"item","numeric-id":2985796,"id":"Q2985796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$EC368570-018D-49ED-BCFE-974F201A3333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cfe212947f5528215b692a0b52aa33dbd786744","datavalue":{"value":{"entity-type":"item","numeric-id":5410708,"id":"Q5410708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$435ABEAE-210C-4731-AB08-D2C0C658FA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$32B87DCE-475B-40FB-AD9E-76A5FE9556DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20b3efd28014f3e3743af53ab793f5500601551","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$4DF1C7FA-5E63-47DF-AA48-81B586864042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aead46996b11eca6f30517bf3c4742b8dfb4e376","datavalue":{"value":{"entity-type":"item","numeric-id":5178848,"id":"Q5178848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$70C0FD0A-6B74-4B78-9DD1-35F5A5ECE49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f907730522f34be12e6315e50334bcfcc8ddb35","datavalue":{"value":{"entity-type":"item","numeric-id":2119110,"id":"Q2119110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$56CDC1CE-80FC-434D-9816-067812C3D89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6001383377310e4b4785f7b29f084981c17a96e","datavalue":{"value":{"entity-type":"item","numeric-id":5408455,"id":"Q5408455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$84627A72-C589-4142-891C-EE8CFBC0A4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1bb18d3b822c9e12aa8c5ea6a6b880b7e378bb","datavalue":{"value":{"entity-type":"item","numeric-id":1652971,"id":"Q1652971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$981A40FA-067F-4CBC-A561-0E5C360117D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a8bc534918a9e641d1996cc8ebc0b79eab94e0","datavalue":{"value":{"entity-type":"item","numeric-id":2819671,"id":"Q2819671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$A62984AA-B571-412E-A3EA-17E3C878A052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4acf48c088e1bf6cdbbead4e5b78479dba27f3e","datavalue":{"value":{"entity-type":"item","numeric-id":5327449,"id":"Q5327449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$A6254805-2E60-4396-AA26-B4D62229E8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90085dbe273edb3ca478a8ab8409461b528e817b","datavalue":{"value":{"entity-type":"item","numeric-id":1603819,"id":"Q1603819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$E4BD12D8-CBB2-4CC6-BB06-4BF151933254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede90199834ac93adbde20330457962be9e2ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2553668,"id":"Q2553668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$22406BD5-4B5E-4722-81CD-CBE9DE69110C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa26dcf24d9df3f933177c439a39cc95fa2c6177","datavalue":{"value":{"entity-type":"item","numeric-id":5302890,"id":"Q5302890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6657787$3BBF7E93-D0BE-4D55-A82F-4BD4BBEC76AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c424981d30bd6f2c8e2839074cc13489cc018be3","datavalue":{"value":"10.4204/EPTCS.353.6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6657787$590709BE-1A43-43B1-860D-06FB31C954CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6657787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6657787"}}}}}