{"entities":{"Q3178254":{"pageid":3188963,"ns":120,"title":"Item:Q3178254","lastrevid":86389727,"modified":"2026-06-03T19:55:15Z","type":"item","id":"Q3178254","labels":{"en":{"language":"en","value":"Categorical models for simply typed resource calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6602812"}},"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":"Q3178254$AC4ED089-4B2C-4828-B30B-C75BDBFD2686","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7379c7dd62846847b1f7fc9c819bbf45d25a5f85","datavalue":{"value":{"text":"Categorical Models for Simply Typed Resource Calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3178254$64C690D1-BEEA-4126-B697-4EB705E5D56B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6288be4c3376fff72d71512a1ba686827d11d2d","datavalue":{"value":"1342.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178254$6F764A52-0099-4AC9-BACE-358DAFB6800E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1fd265ad2cd77bb56c0b60cc46c3c7530dfa4e0","datavalue":{"value":{"entity-type":"item","numeric-id":195005,"id":"Q195005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178254$2F6AC82C-89AA-4320-9228-FFF7D5A472E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b2a4f692ace663faa44ef268c457b0c011ed01c","datavalue":{"value":{"entity-type":"item","numeric-id":195006,"id":"Q195006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178254$D7BEC804-8C64-467D-9A7F-2ADEB74A7D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3efe8e6459b334108812ee64f01c6fe284d1497","datavalue":{"value":{"entity-type":"item","numeric-id":283767,"id":"Q283767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178254$893BE89B-1EB7-48F8-A985-0A7DFD6DBE85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178254$8E2C8CB2-5D3C-45A2-85C8-012E9F18F4EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d94d7fb93a112f04dcda84d3b27e1ba4f782c3b","datavalue":{"value":{"time":"+2016-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3178254$35891C3A-AE7A-404F-B209-588382B465EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178254$A8AB7BB9-6448-4EC9-AAD7-FF10D5EDB623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"80931d057452ecc032f2d5088e7a41d514d934e3","datavalue":{"value":"18B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178254$9781104B-9CB2-4B03-B111-A16C0377F4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178254$0391CFFB-1B1C-450D-A63C-739B23B7DC15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee932788dc57dd5e0ffdadfd5c5364923a87b89d","datavalue":{"value":"6602812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178254$1E494B33-1F9B-4E2A-A688-933D4C53DF0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b04f229715692ca83b8cfdd2e5368c06bd807f","datavalue":{"value":"differential \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178254$76C3CE20-4559-41B9-9B4F-6947CF929E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48043cec60dd8a8e745fc1d8082c48f2a9772015","datavalue":{"value":"resource calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178254$D287BD18-03A2-4BEE-827E-CB08B4EC7703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24da5efce47f3f87e177f97502260f03b7f72faf","datavalue":{"value":"differential categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178254$3C150443-3826-4D8D-850B-658AD2A5C34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe4a83e9bf1465d5662c8bbc43f6d98e579abdca","datavalue":{"value":"relational models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3178254$8291411F-F9D0-41B9-80FC-6038BFD0281F","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":"Q3178254$4EF6D4D1-826A-4087-A062-93E6CF6FE568","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43461e7f973d74a871981f15c085bbec4adfc6e7","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.08.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q3178254$2D8485F8-F1E3-4788-BC1E-7F5535FC3A29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f3ae8ecf10971e19c5b3151f3b5b70d26372187","datavalue":{"value":"W4297786044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178254$BD569DFE-1F18-4375-9523-8FBF582D0424","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"005537799f3a85442d3ad04f80b3b2e785727979","datavalue":{"value":{"entity-type":"item","numeric-id":3999603,"id":"Q3999603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178254$90011654-9DC9-4C37-B168-7F4E7F47761E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9f01b06158b4e07cc4d9582e13d059ba9b0706f","datavalue":{"value":{"entity-type":"item","numeric-id":3419787,"id":"Q3419787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178254$FC53BDA1-D3F2-4F20-8434-90F1F429ABF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa0a722f872a3c74374b748635c0ff52a893539","datavalue":{"value":{"entity-type":"item","numeric-id":3552029,"id":"Q3552029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178254$94756622-67D7-4331-A7E5-3F80979ED518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ef8dc7d2f567a48fc717ebb6174dc3271c596b","datavalue":{"value":{"entity-type":"item","numeric-id":3608420,"id":"Q3608420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178254$FC9D7E3A-6CA2-43F5-8FE9-6CE0DF0391B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f6213954e81e724c3f286590145891086b91f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1884894,"id":"Q1884894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178254$F56D4E38-079B-4D6D-B819-C02187ECFE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b13a22e38312c231e25074be84e18e44658eb2","datavalue":{"value":{"entity-type":"item","numeric-id":5697709,"id":"Q5697709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178254$2237D470-5302-41E7-A2EB-7585DEBA42A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edb7a0c6ea1f06765b6708ba458501deba3011d","datavalue":{"value":{"entity-type":"item","numeric-id":5898816,"id":"Q5898816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178254$DBD76FB5-0ECB-49E0-ADBF-FCA6A1A25928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44344e1b9d06c74b17ab363ea3c3099e86c02d07","datavalue":{"value":{"entity-type":"item","numeric-id":860836,"id":"Q860836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178254$9E1A3D97-C56B-4A08-8D1A-FB50EFEF7B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1209cc2519c0798504384b3a297a5def88b5a62","datavalue":{"value":{"entity-type":"item","numeric-id":944386,"id":"Q944386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178254$D5DDD0BF-C215-4A71-B140-CC9ED9F28583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1440bde07a53009385a9a173fdd2df129d6e01","datavalue":{"value":{"entity-type":"item","numeric-id":1103618,"id":"Q1103618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178254$EEBE384F-FAEF-4289-8EE1-4415154670C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1ab920babe8b69cd188f78a28074341fb4e88e","datavalue":{"value":{"entity-type":"item","numeric-id":3644769,"id":"Q3644769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3178254$2C1631CE-53F5-4F7E-94E7-4A41F6EA570C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83ca58317c8985a53744ebfd59289ff61a3f4837","datavalue":{"value":"10.1016/J.ENTCS.2010.08.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3178254$421BB435-B6C7-476E-9418-3CA41894BB9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95456096b9e32df9152088948f825482efa06ac","datavalue":{"value":{"entity-type":"item","numeric-id":2888856,"id":"Q2888856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"500a39ca031f6540e9d3f14debdd85ed5bbc6ca2","datavalue":{"value":{"amount":"+0.9118971824645996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3178254$996C38FF-2093-4A11-B5F0-06D2EF609BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5e392c86b1c596fb0542dace23bb7783a4464d4","datavalue":{"value":{"entity-type":"item","numeric-id":3419787,"id":"Q3419787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca247f15c688b9704c6b14e643da1c936e035d57","datavalue":{"value":{"amount":"+0.8048619627952576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3178254$F4AAD8BE-B98E-4A06-9BAD-9AF5E9AE0CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcc2440708d162f9be644a15412271e6edc7102a","datavalue":{"value":{"entity-type":"item","numeric-id":3012919,"id":"Q3012919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b660bdebe87ff8b32173f9471c539167e1e0c657","datavalue":{"value":{"amount":"+0.8045544028282166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3178254$9FA8FEE6-28E9-4909-B92D-BAA76E1D21B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29be124cd2b89415c4fc24bff297e486274ed45f","datavalue":{"value":{"entity-type":"item","numeric-id":5108533,"id":"Q5108533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e000e2cd7996cb64e001cf7a52a8344da254c6","datavalue":{"value":{"amount":"+0.8040112853050232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3178254$54655884-3CED-4485-A421-79C08AAD4482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eaa9af3c8520ff64a9d1518631453cec694ca6d","datavalue":{"value":{"entity-type":"item","numeric-id":1744378,"id":"Q1744378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a87a404ebe68de617326c49e61a5aea2986b12","datavalue":{"value":{"amount":"+0.8007027506828308","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3178254$FDE1CB43-53CB-4948-88D3-81CCA7880E57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical models for simply typed resource calculi","badges":[]}}}}}