{"entities":{"Q2229156":{"pageid":2239899,"ns":120,"title":"Item:Q2229156","lastrevid":53940188,"modified":"2026-01-25T23:25:08Z","type":"item","id":"Q2229156","labels":{"en":{"language":"en","value":"A fresh view of linear logic as a logical framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7313969"}},"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":"Q2229156$36149E98-6E62-4317-94D0-9CCC6EC857E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10431eba110a398bc827dad5d3832289a2479ab9","datavalue":{"value":{"text":"A fresh view of linear logic as a logical framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2229156$A09922E4-7610-4314-B9E0-6FEA5D305868","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9cb74f94418a06dec9c7bfddd130c4a952eb92a","datavalue":{"value":"1498.03158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229156$8F9047E6-C4D7-4AE6-82AB-C7D9FFBC29BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a291a40249c385e5a5b67f84938ffed092fc031","datavalue":{"value":{"entity-type":"item","numeric-id":281157,"id":"Q281157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$327796D4-E0A2-4956-974C-948799B4D5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dab131966fa3a7c4d479908f52d38aee59c5d7c","datavalue":{"value":{"entity-type":"item","numeric-id":281159,"id":"Q281159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$74562F78-8899-4565-A168-725E1385DA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7e4a266b8cc1845b54ce458d5c595f5e6be7904","datavalue":{"value":{"entity-type":"item","numeric-id":2229155,"id":"Q2229155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$9C1CE441-47B3-41DD-B46A-639A15AD1F14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf0749869f595759ee793dee0f3189be235834d4","datavalue":{"value":{"time":"+2021-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2229156$8BAE264A-3E8A-4EBC-B316-D5672E59EB0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229156$E6AA5635-EAEB-4551-9B54-42FFC6AA36D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229156$9F9E36D5-0096-4106-88AF-980F0D348B66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc1de91585eb453d2839398398aefa9d93eee56b","datavalue":{"value":"7313969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229156$9F22EC71-1E9D-453D-8EDB-93280D435B91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229156$180B67CA-9E2D-4952-A4C5-8D2153C2C012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229156$626DED23-8447-4E2C-960E-D22D0F96071C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"782bab7b794bd1c2b89a863645f60a0e97a7af8f","datavalue":{"value":"Q113317314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229156$3B923D6F-48F1-44D7-8120-5850335F0EBE","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":"Q2229156$851064EE-4F95-4661-9BDE-636CB1B6AF9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f12aff971d1ab486579c41c92075d5f7e44faf9e","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2020.08.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q2229156$81E0220B-2FD6-441D-953C-F8AB39236877","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cbb4c287455543310f4a58963ce56e9b52d9ac7","datavalue":{"value":"W3091816156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229156$D0D13550-C782-48E1-9713-4DC2053CEF4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$7EACFA9A-A4A1-4161-9014-1ADCE9010BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$754A1C37-13B8-43A7-A818-C69E834918E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4182b5f6383fc33340dcc861083264d459bc405","datavalue":{"value":{"entity-type":"item","numeric-id":834716,"id":"Q834716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$1A4A81DE-50BC-4B1C-8531-4494C9D61EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b118fc85ee391a10c7ec87ba8e392cc631a1eaa0","datavalue":{"value":{"entity-type":"item","numeric-id":4282602,"id":"Q4282602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$5E906534-E2CC-424E-964C-1BA2D860D1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ad6e1f7379b37f01b0314ada1886b3d6385160","datavalue":{"value":{"entity-type":"item","numeric-id":2721196,"id":"Q2721196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$4EA2B85A-5913-4FB9-BA47-518BDC8055D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$0AD9A40C-27C4-4B9F-A88C-7D560E2DB9FB","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":"Q2229156$3043E260-B590-4C4C-BA0D-5B2D61660B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31d86df45fbc971c98e4ef4a3803e6eeef4f4d43","datavalue":{"value":{"entity-type":"item","numeric-id":4221772,"id":"Q4221772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$AAE0E41E-8E6B-4B4E-9F96-88AE9DA9AE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c95f2e0e218da93197f9014ab37384534c37e7","datavalue":{"value":{"entity-type":"item","numeric-id":5236554,"id":"Q5236554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$4EE191E8-5E05-4CC9-AC8F-D86EA5B6D5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"456dd75d0348a44324b760e22a7a1194d6b673c6","datavalue":{"value":{"entity-type":"item","numeric-id":3455766,"id":"Q3455766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$22FBA6E4-6525-4EEA-98D0-7B5325D2CE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79fb865faffe8a3607353efb5c9e7573acb7f0d0","datavalue":{"value":{"entity-type":"item","numeric-id":4645752,"id":"Q4645752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$3BC31470-2088-49E4-AAAD-0CB8ADB28ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e79d1a59ed08da9d465d9da91f6b462b7a679f1","datavalue":{"value":{"entity-type":"item","numeric-id":3460084,"id":"Q3460084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$8E5EDBF1-D869-4F4E-A61E-E3350E0B104D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744280890ddf64d6046b1413aebd46cba1d83b47","datavalue":{"value":{"entity-type":"item","numeric-id":4633639,"id":"Q4633639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$F8B81EE5-9192-4FCB-9CCB-877B176D62A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba7acd0e33cf62ff42c5d3d2963429fca167fec9","datavalue":{"value":{"entity-type":"item","numeric-id":5111322,"id":"Q5111322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$481623C0-1868-41DB-96CD-F1C0FFF5E24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d869703fee80be20b6627dc739b2c1ebfaa39938","datavalue":{"value":{"entity-type":"item","numeric-id":5829018,"id":"Q5829018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$94BC0D01-2901-4819-A59E-8C9DDE793984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de22e68338ce91d5f7b421aaf2ecefb70507cdce","datavalue":{"value":{"entity-type":"item","numeric-id":1944778,"id":"Q1944778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$290406D6-9DC4-42DC-A4E8-325167EACD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f640a1285c30f843eaafd6f39c5351d33d20f13d","datavalue":{"value":{"entity-type":"item","numeric-id":3608427,"id":"Q3608427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$E47F1A29-1A42-4F97-A8B3-DA26C65E02A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f16cf29a6be511b5490d0e9bb1ee22c0133e4fb4","datavalue":{"value":{"entity-type":"item","numeric-id":707742,"id":"Q707742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$DB9116A4-3A89-446D-B248-CA2D3B5D3BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1236002207aec13d21ca2fd963b63d1651488540","datavalue":{"value":{"entity-type":"item","numeric-id":2404074,"id":"Q2404074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$9AF47456-912C-4A23-8CA3-114D0FC957CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c66691adae087c113fd4ce4709d6fb4ddc93a9","datavalue":{"value":{"entity-type":"item","numeric-id":5739974,"id":"Q5739974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$E5D041E7-3BE2-49AA-88F4-79AE767C0101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb3208a287646e52d72766a16ea750cc6bfdc36","datavalue":{"value":{"entity-type":"item","numeric-id":2628774,"id":"Q2628774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$B935B8AF-BF3A-4B16-B283-630B8F8A3AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd741c8f779448cca2e557d9c65f69f1eb3195f","datavalue":{"value":{"entity-type":"item","numeric-id":1854335,"id":"Q1854335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$3760C2A6-462B-4104-B245-E9FB2FCBC95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55faddc4ececa9ec6e6b4d81e7c388ec595ed304","datavalue":{"value":{"entity-type":"item","numeric-id":1799270,"id":"Q1799270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$4A37469B-2CF8-454C-B1E1-846263676FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbee9f3151a3692b040a5499cb78d82b407d33b3","datavalue":{"value":{"entity-type":"item","numeric-id":2180514,"id":"Q2180514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$581146CA-1879-4955-8F5F-8DAA9FC188C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e937235437828fd90111b19ee3ad3ae6f098959c","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$32178979-74D1-464C-B4B2-656AF01EF5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2025927b302bd1fdebc67d3bae9be2f6bcc63526","datavalue":{"value":{"entity-type":"item","numeric-id":4428313,"id":"Q4428313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$130C69E8-6DFB-41A5-B0D0-286F89CB0B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f5092601c81792f7b9738f21ce688a77409d15","datavalue":{"value":{"entity-type":"item","numeric-id":4530621,"id":"Q4530621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$2E961EC8-3A2B-40CC-BF17-02B4979CD063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee01619d4f2ed5e716056f2c77ab0f3832263dc4","datavalue":{"value":{"entity-type":"item","numeric-id":2333326,"id":"Q2333326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229156$9628E814-5D66-4B86-82DB-5486E35C2E29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc94e0b317c9dac26fba9fa940b9922fbe5fb32b","datavalue":{"value":"10.1016/J.ENTCS.2020.08.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229156$1723ED8C-CF21-4924-A329-7E3675334684","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d776251971de9cedf12bb5788f6450a62a83e18","datavalue":{"value":{"entity-type":"item","numeric-id":5739974,"id":"Q5739974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65116a9a16943481d2e48d2c505007af190e029","datavalue":{"value":{"amount":"+0.8141716718673706","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":"Q2229156$4BE63485-215C-444D-984B-F3C98CD50329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da41e92f06b0f33fd3e03e3fdb03e6c775298960","datavalue":{"value":{"entity-type":"item","numeric-id":5387850,"id":"Q5387850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5a12273990b3d47b57f4521b0e0811921628c50","datavalue":{"value":{"amount":"+0.8039643168449402","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":"Q2229156$E4F34898-5AE9-493A-AFB1-332D1006507A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8494bc5cdc0a117d479adeda39b13518641ff5be","datavalue":{"value":{"entity-type":"item","numeric-id":707742,"id":"Q707742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e2dd4d9f953268013653e7160b261fc05f609e","datavalue":{"value":{"amount":"+0.7980750203132629","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":"Q2229156$0C5104B1-F24C-4661-AD0A-5B5A1D61DA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e952094e2719c457cc65ccf17740b1c48f29693","datavalue":{"value":{"entity-type":"item","numeric-id":4412848,"id":"Q4412848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe98374b97cb53d2a2d4b6f472cddd7c0afd3ac","datavalue":{"value":{"amount":"+0.7966907620429993","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":"Q2229156$BC32F268-7CA9-4AAA-A820-CC0CF396E214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226121f40b73e00fe8371096ff69d89da821216e","datavalue":{"value":{"entity-type":"item","numeric-id":1944778,"id":"Q1944778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6922945d8f0abcd1c3d229802679fb6a9ff7e346","datavalue":{"value":{"amount":"+0.788924515247345","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":"Q2229156$6C65086D-7023-4139-B302-4C37461C7A3C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2229156","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2229156"}}}}}