{"entities":{"Q6060672":{"pageid":13194827,"ns":120,"title":"Item:Q6060672","lastrevid":55508173,"modified":"2026-02-17T17:55:29Z","type":"item","id":"Q6060672","labels":{"en":{"language":"en","value":"Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7761004"}},"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":"Q6060672$22EA05B9-13B9-4C92-A01F-FE19967A033D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08396005045aacfcb5c31b0bbbffc984d5e6ffee","datavalue":{"value":"1528.03242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060672$0184223F-5B3E-4878-92F2-1E152F6BA2CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29e09eb296efe01dc61f7179a7202bfa91ca6089","datavalue":{"value":{"entity-type":"item","numeric-id":5019017,"id":"Q5019017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060672$3BDB8963-A66B-43FA-A115-C315D293CD5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2042b1414b93bc40245c70d5e20b5b936393c3d9","datavalue":{"value":{"time":"+2023-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6060672$EBA60265-4D19-43AC-B789-195B7CD8F36E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060672$BE6F58BC-0D1B-470B-AC31-CDFA30FAF2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060672$86F4ECC3-71CC-420A-88B1-6C47C87C35FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9105a2fc07eb5b974ff84031a3cfea4994749994","datavalue":{"value":"7761004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060672$E1BE4F2D-F593-4B51-81C2-FD5F061057E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6060672$B9C44E55-9E89-4CD8-B959-A897D35669A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecbe1cfaeaa6b8a40c9eb73cb074bcb1911d55a8","datavalue":{"value":"bidirectional","type":"string"},"datatype":"string"},"type":"statement","id":"Q6060672$4659C958-C07E-433F-B2DD-26A9EB658402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6060672$20A12ADE-4059-489D-9ABF-37E454F2EC93","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":"Q6060672$60989957-E67D-4E8D-A826-DBA5FEA0E33A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1f9b05e36fa1f1571a6ac44404b21eb62c8a0d7","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2018/10049/","type":"string"},"datatype":"url"},"type":"statement","id":"Q6060672$8D875B83-268D-4342-BD03-246521380F36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82f9c7fa54a0d8a3a5183d6170bc4b39f364c91a","datavalue":{"value":"W2943087537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060672$12AE12BB-3E33-40E3-9E8A-EA2F3D1005F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8977c6274a0952a4012a967075271201e9fa91b7","datavalue":{"value":{"text":"Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6060672$D8C772A0-85CB-4778-9E9F-0186CFDBA7BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4222dae34652b21641db80845a4a2818fd024e81","datavalue":{"value":{"entity-type":"item","numeric-id":4580222,"id":"Q4580222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060672$62221885-459B-4F17-99A0-070E526CFD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa1e1e1a7f2285ef58a648d10db096ce5882504","datavalue":{"value":{"entity-type":"item","numeric-id":5057474,"id":"Q5057474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060672$6F99C300-BF27-4011-8E8B-A1F37E609D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c541a0e0fccb98a32f18a8695d9eabb1926b39f3","datavalue":{"value":{"entity-type":"item","numeric-id":4945244,"id":"Q4945244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060672$5716D378-5FE8-4FEB-97FB-8BF3985FEEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26571693b6a8567e0a13f75c14953cf8fd0307e","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060672$BD8BD4B6-EF1B-4F42-8DEF-C25E8390BD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a797407b4949355fcd06204fe2bcb7b1218a925","datavalue":{"value":{"entity-type":"item","numeric-id":4256148,"id":"Q4256148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060672$76149382-62CE-47B8-A593-4D1FE8CF28AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af6faeaa96bc7cdaf3630e5a348ae8661139c01","datavalue":{"value":{"entity-type":"item","numeric-id":5398331,"id":"Q5398331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060672$C47C4815-DC1B-4F74-8188-6F22CA63FD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd6075d9bd0f5164b49d15891cb1b119d9921cac","datavalue":{"value":{"entity-type":"item","numeric-id":5712325,"id":"Q5712325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060672$A009FAB6-39B1-48D3-B9C3-0CA3C51F242F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"850e6d661a6ce8bca3c194e5215ee87b6975e561","datavalue":{"value":{"entity-type":"item","numeric-id":1575929,"id":"Q1575929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060672$6544D2D7-06AB-4D8D-9EBE-F92BD2F9989E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d31dbdebeaa77beca51692d4d8f013221761ef7","datavalue":{"value":{"entity-type":"item","numeric-id":2875233,"id":"Q2875233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060672$8B03A34E-940E-49D0-8633-3EDA66A2DD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"274969b9455ba735f113f5c6f3a9675ae6a7123a","datavalue":{"value":{"entity-type":"item","numeric-id":2914739,"id":"Q2914739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060672$5B98342B-C158-488B-8F5C-C0C2CE7B3FBE","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":"Q6060672$8F61E1FF-D890-4424-97BB-C3AC1AB2C3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0191c8d55bfb13f05e230de930538ee944fa6808","datavalue":{"value":{"entity-type":"item","numeric-id":1336951,"id":"Q1336951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060672$45113EF6-AA8B-4C84-81EC-17FDDD9DEC7E","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":"Q6060672$42B42FFE-D987-4198-8441-01D958FD4529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cd2a087b2e446294d79325f14db097839215c5","datavalue":{"value":{"entity-type":"item","numeric-id":4649380,"id":"Q4649380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060672$8177CFE5-E893-41E3-8B4D-36F8F9F4A0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532ebc126d26eaf3a312e30cad0136c0ecac4b26","datavalue":{"value":{"entity-type":"item","numeric-id":2938039,"id":"Q2938039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060672$BC811171-1227-4E4B-954A-A050D3226212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb1812a83c3a4aee25d6a67b2527c143aea9ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4435471,"id":"Q4435471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060672$BD26BF16-B8DF-4EF3-916D-C3C9F07B4396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8fc169fa8502374ec38a912feacc8828421ebe","datavalue":{"value":{"entity-type":"item","numeric-id":3188289,"id":"Q3188289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060672$0116C04A-C86C-4F15-BCCF-9FF5863F3DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cb314be56584c4a3b78c42d4c6a1e8e149e010","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060672$A216E3EE-921B-4E4C-9353-870A77A04122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f933bc25a716aad10a4b75bc37eda092a661fca1","datavalue":{"value":{"entity-type":"item","numeric-id":5370918,"id":"Q5370918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060672$0526D6D9-9BBB-431C-BF4E-E9EA9CCF1645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d265d2199a319510205fbc61950a83e53359bc","datavalue":{"value":{"entity-type":"item","numeric-id":5244807,"id":"Q5244807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6060672$73944994-D70D-4AF9-B1FA-F7130525E8F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5c4e725619c3fa667f3a75327d31e1ea817717f","datavalue":{"value":"10.4230/LIPICS.TYPES.2017.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6060672$5DD6CBE0-3FC6-4631-9DAA-17A255728196","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c4f0a2bdaa01387c44ef3869f45a113f5b0d15","datavalue":{"value":{"entity-type":"item","numeric-id":2117018,"id":"Q2117018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84998bed0df93ba19cb7ef7c58810bbbba3a4a2","datavalue":{"value":{"amount":"+0.7855134606361389","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":"Q6060672$313DEFDE-6687-4D6E-8CA2-C08F2ED0F666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e7a9a93bb8c612b0d3a34393f581fdfb799cf5","datavalue":{"value":{"entity-type":"item","numeric-id":2849877,"id":"Q2849877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62723e02fe16c1cefeaaf3608d990e06a00d80ea","datavalue":{"value":{"amount":"+0.71998131275177","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":"Q6060672$7DE94FCF-C38A-419F-A77C-EF1E23FB0108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11211ac4a3b105cb0af75b9eaea63a481a76be1","datavalue":{"value":{"entity-type":"item","numeric-id":1378432,"id":"Q1378432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"503f9fa33f015960077e1370585b5dd1710b4036","datavalue":{"value":{"amount":"+0.7149418592453003","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":"Q6060672$187CD408-EE66-4610-BC3C-A31986104DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8c22854c84567dec9ded8ca033bb9de29312b1","datavalue":{"value":{"entity-type":"item","numeric-id":908909,"id":"Q908909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee44f2a7bcc25b71252a5fdb32ca405b90e066a","datavalue":{"value":{"amount":"+0.706960141658783","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":"Q6060672$BADDD1D9-D54C-4595-A952-3EB69676B1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3720fb551bf8c8dd2bf3f28b889da5130af7cdc","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efc5ff388ceb436fe9d81abfec9a8ca1e8ff76d6","datavalue":{"value":{"amount":"+0.7038847804069519","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":"Q6060672$B21738BC-3A36-4E8A-ABA1-2AEB1C40C647","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6060672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6060672"}}}}}