{"entities":{"Q5018484":{"pageid":7048061,"ns":120,"title":"Item:Q5018484","lastrevid":91842953,"modified":"2026-06-05T00:12:45Z","type":"item","id":"Q5018484","labels":{"en":{"language":"en","value":"The bang calculus and the two Girard's translations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7450000"}},"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":"Q5018484$28FA4FA7-FE8E-430C-987A-23EFE53A5133","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac2cb371fc3d7d936936ac198d0c2921a9842546","datavalue":{"value":"1486.03105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018484$266EC6D7-09E3-4AE5-97FB-3FE6E83F09BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9608aba2f4aa655e79e6bc1c3fec5419868796fa","datavalue":{"value":{"entity-type":"item","numeric-id":2093144,"id":"Q2093144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$A01F33AC-201B-456F-8F04-5A7E34430CBD","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":"Q5018484$ACD0C4DB-15F0-47C8-9109-8D4CDFFEE792","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab89d2d50f17f450d659ae9b22b10d627e5aa712","datavalue":{"value":{"time":"+2021-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5018484$E1E9EDCB-4696-4409-A93A-CF548BEB209E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0d4f820cedff9d2e74aed9ed98142990766b579","datavalue":{"value":"https://arxiv.org/abs/1904.06845","type":"string"},"datatype":"url"},"type":"statement","id":"Q5018484$9A712874-8304-49EF-82E0-D430ABD56EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b61131141cb3c157d26722d7225fea6b01dcbc6","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?LinearityTLLA2018.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5018484$7C652F15-7031-441C-A8C9-B450A19639BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018484$E783AFEC-CAF7-46C0-9733-353AF5219CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018484$637A8085-F152-4BF1-A79F-2BBE8A952C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018484$6EFE7E66-BA4A-45BD-B98D-2E4A0021D31C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d6725374202806ee9cfdab01fead48de79110c9","datavalue":{"value":"7450000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5018484$BBACE43C-EC2C-49ED-A073-44B7EE5E826E","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":"Q5018484$48E79DB8-ADED-45BA-9E49-D1728AD94707","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$CD45374A-CE7B-49AD-9171-65FF94625CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fc01d0021ff7d63b3958c1cc1049d6b6ae70fb7","datavalue":{"value":{"entity-type":"item","numeric-id":897928,"id":"Q897928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$2A6897C4-05DE-455D-BC32-23FC269FED20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab84e9c16bd8f4b2d2751db91ba0f2270e2fe090","datavalue":{"value":{"entity-type":"item","numeric-id":3179293,"id":"Q3179293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$4365DDEC-3555-400E-B225-18F044C5C67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"923244b3b22ab66c8b9ec21b28c3f165f693ed2f","datavalue":{"value":{"entity-type":"item","numeric-id":1622939,"id":"Q1622939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$4ED053EA-C75F-4035-A951-817D63506DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$A9E26D79-BFAD-4BBA-9A34-85FBB3744750","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":"Q5018484$0157A98D-5F3A-4D97-A5F4-F23D606DA7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c65688837f3fe5e8a2a04338ec66a6a3861e52d","datavalue":{"value":{"entity-type":"item","numeric-id":5939845,"id":"Q5939845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$4D1C2AB2-E290-4E6F-894E-5FC85DF40114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e35c260dfd981553bd5c8d840b02f11a11c01de4","datavalue":{"value":{"entity-type":"item","numeric-id":550253,"id":"Q550253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$17F35D5C-12DB-4EBF-83A9-52A7DDE0FB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"780a9ad4c86d73c5a3a0d8fefdaaf36e7ad91501","datavalue":{"value":{"entity-type":"item","numeric-id":4286525,"id":"Q4286525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$AD8A1AFE-33D2-453B-8F4D-B8EAED69EBCF","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":"Q5018484$29D8ED4D-9FFB-4F16-842B-3F90FE9727DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f28ba5aef8ebb12b26ba5919157452fea70107d","datavalue":{"value":{"entity-type":"item","numeric-id":4649551,"id":"Q4649551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$B9B96F45-4BC8-4BE1-BF1D-007E7B71833A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f03098e4e1ce88eb9dd426831b61463f3e9e4b55","datavalue":{"value":{"entity-type":"item","numeric-id":418011,"id":"Q418011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$F80BBCAE-6238-4A59-9671-FFE2C113838C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"195411bbc5a6bc9faed88aed5348f8ab519b12cc","datavalue":{"value":{"entity-type":"item","numeric-id":2802478,"id":"Q2802478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$9F85E06D-4B33-40E2-BDDC-36C8682F5DEB","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":"Q5018484$118AB656-B8DE-40BC-B989-40DC71666123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd428aef388a024a0ffa0c90dd80734f46450c92","datavalue":{"value":{"entity-type":"item","numeric-id":1853586,"id":"Q1853586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$93BF246A-8406-4F32-BDBD-3890E766C081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e61ef78a2ac35e332b4ecc523df23636244889f","datavalue":{"value":{"entity-type":"item","numeric-id":857915,"id":"Q857915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$66B3FB7F-1E3C-415B-B98C-2ED62714435A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92feaba57f05436346769947d4e90feb503ac7b1","datavalue":{"value":{"entity-type":"item","numeric-id":1575882,"id":"Q1575882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$C2AF05A7-B472-44B6-ACC9-BDC703723D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e265a0aa8cb92d21367d8a7ed6101f17d6553fc3","datavalue":{"value":{"entity-type":"item","numeric-id":3075441,"id":"Q3075441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$30354A36-7F63-48AD-B457-67DBD14EE28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$18B77DED-D627-4F46-A0C3-A93E3B615D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$89976CBC-8564-491A-B47B-A9443424D12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be5ae313fe4cf76fb818e29443bddfcdcee9861","datavalue":{"value":{"entity-type":"item","numeric-id":1327719,"id":"Q1327719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$907428D0-CF4A-49D2-A0D8-71520AD69BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$54E481AE-F0DE-4585-9322-A248830E9282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe69e3ad04f8df8583362e5970fcfef731f1f57","datavalue":{"value":{"entity-type":"item","numeric-id":4719353,"id":"Q4719353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$4CD1E365-5283-4134-80EA-71F97C7A9867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6757240f6abc8b15b81de9e3ff90fd2b455c60a","datavalue":{"value":{"entity-type":"item","numeric-id":1378432,"id":"Q1378432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$9D587342-E4E4-42CA-BD2B-64AC6783C6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d625c283c10bd2220d45f8210b1cf47bdfab987e","datavalue":{"value":{"entity-type":"item","numeric-id":5703855,"id":"Q5703855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$1DD5A5D8-BEC7-4867-9434-5F705DAC6093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5018484$A4488314-F500-476B-B6F4-B2A9F9386C8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615205a820ea49605a4feddfbfe6164836c5fc6f","datavalue":{"value":{"entity-type":"item","numeric-id":4222771,"id":"Q4222771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db93fa215eed1326801d947fff241d83c0623b93","datavalue":{"value":{"amount":"+0.8101863265037537","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":"Q5018484$ED0C7448-CA91-42EC-9869-B658F59E4365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3990ddbb99bb2d44d04f9e4faa256d5f9dc307ec","datavalue":{"value":{"entity-type":"item","numeric-id":1575882,"id":"Q1575882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26928c211f9c038a382b6673be9fd2c28b4573e5","datavalue":{"value":{"amount":"+0.8085419535636902","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":"Q5018484$82CC9597-E9A3-463F-8BEA-C90A5C3DB4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af71dc88777ec59f31a319112973f4f866a88ab7","datavalue":{"value":{"entity-type":"item","numeric-id":4948036,"id":"Q4948036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b85c27dc5822e2615f93f1a8e97670580d1b5fb9","datavalue":{"value":{"amount":"+0.7546308040618896","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":"Q5018484$8D741434-029D-494B-AC87-BAE65F7056FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b636c5810721a37e0d844ecb194b01f7ee9f2bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4474828,"id":"Q4474828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d7fd90c216a49ab9d805b85acacc13cea1d5bc","datavalue":{"value":{"amount":"+0.7248438596725464","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":"Q5018484$61DFC165-3CFE-409D-82F9-7A21CCEAF32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b590f7833b5b81516e443e90cbcf1844c2832e","datavalue":{"value":{"entity-type":"item","numeric-id":5703850,"id":"Q5703850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"210604271adc42303104ae83d4482e7bd04ed5d0","datavalue":{"value":{"amount":"+0.7244606018066406","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":"Q5018484$EAB85E97-C4C3-47AF-98AF-985658622738","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The bang calculus and the two Girard's translations","badges":[]}}}}}