{"entities":{"Q3190166":{"pageid":3200874,"ns":120,"title":"Item:Q3190166","lastrevid":45639943,"modified":"2025-12-11T18:30:11Z","type":"item","id":"Q3190166","labels":{"en":{"language":"en","value":"From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344707"}},"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":"Q3190166$7D81C37E-D3C6-48E4-B775-D52C09AE512A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee646883b6280eabe4a858327796ceb92449e680","datavalue":{"value":{"text":"From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3190166$6038C663-73EC-472C-BD51-62D361941B09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0731ffef3e4e38a83b1b3b6b4fc2834c040d343","datavalue":{"value":"1418.03179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190166$F09BABCE-69F0-45D3-916E-7E63EFFA5766","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"451adbdfbb4e7807dd868225db25b507f2248eaf","datavalue":{"value":"10.1007/978-3-662-44602-7_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190166$412FCA17-A458-407A-9509-2BB56AC9B62F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cc236d1b83c1da4faad787dc86785ac363afb66","datavalue":{"value":{"entity-type":"item","numeric-id":1652987,"id":"Q1652987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190166$969987C7-8106-49CE-85EA-45F28390D5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190166$454E6BED-02A4-4CCE-AA3E-FF91D579F13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190166$D90D15C8-C791-415C-B94F-0046296CCBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2459dc77e279bbc9b5ed625e678e226c3ba4ea28","datavalue":{"value":{"entity-type":"item","numeric-id":1051649,"id":"Q1051649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190166$9B4419C6-8347-4BBC-A9C7-B51FEEB510FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d7bccb37f598e8e97b191e774d9cef485c5e3f3b","datavalue":{"value":{"entity-type":"item","numeric-id":2942771,"id":"Q2942771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3190166$2CC3B0F3-2FF6-47A4-A165-0357F1637154","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8555c1b8507b50ae47f31acfa7e2d2e9024da56b","datavalue":{"value":{"time":"+2014-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3190166$2B64B61C-5C7C-4914-A5BE-B5BAEDAEC01D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93605bad6d3d9b7cd80e76eb1b3a5cee3d323954","datavalue":{"value":"https://hal.inria.fr/hal-01402048/file/978-3-662-44602-7_20_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3190166$0278553A-69B4-4DE4-B6DA-F0761A966A77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190166$474B8C8F-7C15-4FDC-88A4-A3C52E2E703A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85cf757a96399a94945f04f98fbcab00e9bd9105","datavalue":{"value":"6344707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190166$04E28338-AB71-45AC-9D42-0F1E2B1F5696","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":"Q3190166$505887BE-49CF-49E1-9391-4B0D71526378","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"304698ffebbef1c83aaa05fde009cbc839b425ed","datavalue":{"value":"W117036793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3190166$7CA04E5A-6ED7-4F2A-A749-3D13E72BEBCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"146caf1263e383a43f6e1d33aa6b75d2ca0aa098","datavalue":{"value":{"entity-type":"item","numeric-id":4694232,"id":"Q4694232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee8d52c34d982a736c75c8e1f18a60deef6864ac","datavalue":{"value":{"amount":"+0.91132116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3190166$3EA8B2A4-5A28-4CFF-974D-82FF3DA83415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcda087dd396b8813f9c99caab4ebf4cc059de49","datavalue":{"value":{"entity-type":"item","numeric-id":2177587,"id":"Q2177587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90376b4d7edc2e3ffa775494dc31a107a495ea93","datavalue":{"value":{"amount":"+0.90658045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3190166$B5DEDC7C-BC88-4F26-8599-2ED27C93D2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aff8654bb5f5f6a9c1c11906a9dfc15e2bb44f60","datavalue":{"value":{"entity-type":"item","numeric-id":2958523,"id":"Q2958523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ce73061e62bd01ab2856908c9089732ae6203d7","datavalue":{"value":{"amount":"+0.9052918","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3190166$A3DC2430-719C-4459-B7A3-7E8379152BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8e73130c3caf1b700389e1f186a8856cfb2402","datavalue":{"value":{"entity-type":"item","numeric-id":4796512,"id":"Q4796512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314a3a6d8dc01f5aca454e2e6cf1a206685d55c9","datavalue":{"value":{"amount":"+0.9035519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3190166$3E250B06-676B-44C6-8C07-6BAED2B6418E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d628ac21af2fdee5f653b7ffaf20ed68d5c754","datavalue":{"value":{"entity-type":"item","numeric-id":2443118,"id":"Q2443118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966ebea89712c1a81c4716ad8a31045c965a0465","datavalue":{"value":{"amount":"+0.8992644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3190166$52A82F3F-E0D8-4CC8-B163-A57B1F094595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b44a08bec48344b2562fc1b487c788db7bd5fd","datavalue":{"value":{"entity-type":"item","numeric-id":2424887,"id":"Q2424887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"363d1cca3fe1417656a2b8160043b9e771a952b9","datavalue":{"value":{"amount":"+0.8938122","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3190166$7E9DBFA3-41C2-44F9-9D5D-6BB4B84269AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd2c597745dcde73634a208c0f63d170bb8e3cc","datavalue":{"value":{"entity-type":"item","numeric-id":2351164,"id":"Q2351164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba67590eac884b378681d0146efde872860efa4","datavalue":{"value":{"amount":"+0.89162385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3190166$8B4C30E7-C706-4249-9C77-4F64C0128DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a96c2032ef0ebbc0b5d7aa29b07d4d217cf0d3","datavalue":{"value":{"entity-type":"item","numeric-id":764257,"id":"Q764257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1afd81c8041de5ef03f40ded3d0f556989564257","datavalue":{"value":{"amount":"+0.89067435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3190166$9581FBD7-F85C-4B31-A9E8-E6BE6D2F14CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"202421b33e0b99dc0e2915b7b9fea1f6e15a41d6","datavalue":{"value":{"entity-type":"item","numeric-id":5028317,"id":"Q5028317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f7064e2439ef03c3339729107c57c6c2a3e9483","datavalue":{"value":{"amount":"+0.88748","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3190166$CBED90C6-AA07-4BC8-933B-DDA37D8CEBCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118577ddedbdc165434b3660dd665ac30c43ed79","datavalue":{"value":{"entity-type":"item","numeric-id":3413927,"id":"Q3413927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"859d16a40265663b05941954825a2f8b9dedb283","datavalue":{"value":{"amount":"+0.8873694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3190166$7ACF87AF-94DF-4702-95AA-3B27AE993789","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3190166","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3190166"}}}}}