{"entities":{"Q5385203":{"pageid":7414777,"ns":120,"title":"Item:Q5385203","lastrevid":50349632,"modified":"2026-01-13T21:11:20Z","type":"item","id":"Q5385203","labels":{"en":{"language":"en","value":"Proof Nets for Basic Discontinuous Lambek Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5271039"}},"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":"Q5385203$24C337F8-6F46-46A7-A9C2-39D930A3104E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e71880295c47fdd7fc273a3a9da998bc139b251","datavalue":{"value":{"text":"Proof Nets for Basic Discontinuous Lambek Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5385203$C168E0FC-8826-4CB6-9D67-6040FC8BD0B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90f0f52faaccbeaff66c052ca6cf74088cc78739","datavalue":{"value":"1140.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385203$7FF14AC9-EAB1-488F-ADFC-08B4173C5F5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdf87fb982964371cbc6b176aa80689874696360","datavalue":{"value":{"entity-type":"item","numeric-id":386038,"id":"Q386038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385203$D9CF272D-AA8A-4864-A6AC-3CF8415DBAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b10134a4b4794ec446d07bf6571994c6c1d257d","datavalue":{"value":{"entity-type":"item","numeric-id":2429993,"id":"Q2429993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385203$018449BF-A043-4C2E-BAC7-8EEE94F1D024","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0c85f5b96b986df789b8d4fc9e866a9d7e884a6","datavalue":{"value":{"time":"+2008-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5385203$5ED7ADEF-0AA0-4043-8AFF-A7ECA21D931A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385203$0B2A6DDC-E28E-4ED0-9068-F2998C89434A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385203$42C39403-ABE1-457B-82B0-2843352B41DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bddc7e4fcdef4e3d9788ef09b349fcd75d021848","datavalue":{"value":"5271039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385203$74773E7D-BCD0-4F55-9862-D60993BC07DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5385203$EE758066-FC90-407D-938E-E9E5878CC8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27c2e420b7a7dc3b2d33a778c4052dde05e3b536","datavalue":{"value":"continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5385203$8DF88DCF-96A5-4E1E-9410-4682F7EE83A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5385203$D8F5A691-CD49-4C0A-973D-8D35BACDE7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e0c64df3c95abee825fad74fc053780cd90a99a","datavalue":{"value":"discontinuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5385203$C0A267C5-BD12-48A6-81AB-300DF6DE1A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9429c31f4d94616162aba961d8f1bfe6fc6a7665","datavalue":{"value":"hypersequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5385203$669DF3DC-872C-45CC-8FF4-351F62103347","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":"Q5385203$556F0E8B-4E3B-4027-89EF-66EAC4461781","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f19c779c88a2e921b712cecab0af5adfd03e9cf2","datavalue":{"value":"https://doi.org/10.1093/logcom/exm089","type":"string"},"datatype":"url"},"type":"statement","id":"Q5385203$4A4B4B8C-E084-4745-AB98-C45AE76AE3F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a19abf94ce0ef32fb5828efc7d48354e90c7f8cf","datavalue":{"value":"W2131948319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385203$47A83061-795A-4C09-87C1-2712839A0253","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4ef5f3007b5cbd1a0e96eb942738d76eea77427","datavalue":{"value":"10.1093/LOGCOM/EXM089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385203$EEDB8CEB-0F81-495D-851F-F7186CB8F4BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385203$800EF824-ABE8-4CF8-A029-9AB6BDB25A44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0bebae5f2a00fd7359c36c8e422ea4eaf9d47f1","datavalue":{"value":{"entity-type":"item","numeric-id":4847370,"id":"Q4847370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e9a733a3d1fef46553b9c45ebae51b3a02dc78","datavalue":{"value":{"amount":"+0.7970466613769531","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":"Q5385203$C9E9C3B3-F989-41DA-ADA6-4B603A3B24A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa9bbd6a19844d585e92e6dc79599fcb8e37c83b","datavalue":{"value":{"entity-type":"item","numeric-id":2835060,"id":"Q2835060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c63000978df3588d1a028365bdf088e2ebd6313b","datavalue":{"value":{"amount":"+0.7959768176078796","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":"Q5385203$2FED21A2-2D84-4A6D-94B3-58C5AC6CB9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c1a7a170ef22a12126d4c07d61b87f67a2de77c","datavalue":{"value":{"entity-type":"item","numeric-id":1850954,"id":"Q1850954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d835202376a52352ecd0271da5ca6783f1a9ea51","datavalue":{"value":{"amount":"+0.7923691272735596","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":"Q5385203$277108DF-7180-47E1-B3EC-E71CBB9CFE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"834f4be72d23db1e98fd344bf1024f3b3469621d","datavalue":{"value":{"entity-type":"item","numeric-id":5414977,"id":"Q5414977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c92510f4b30a5417d3a565379afa5143225df02f","datavalue":{"value":{"amount":"+0.7764204144477844","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":"Q5385203$EC0F3282-07DF-4C43-99CB-E22D3A8E1036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b206aaacbe2e6ed934b838276d42d21d18159c","datavalue":{"value":{"entity-type":"item","numeric-id":2921952,"id":"Q2921952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56731c9094047477cf680573fe23c931a4c7bd08","datavalue":{"value":{"amount":"+0.7718841433525085","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":"Q5385203$061A3D59-0A2A-41E0-9D7B-D1D916435558","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5385203","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5385203"}}}}}