{"entities":{"Q3389495":{"pageid":3400198,"ns":120,"title":"Item:Q3389495","lastrevid":53998904,"modified":"2026-01-26T01:33:41Z","type":"item","id":"Q3389495","labels":{"en":{"language":"en","value":"De Morgan interpretation of the Lambek-Grishin calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7347062"}},"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":"Q3389495$F3CD1971-7A60-45B2-B619-2C9D4721BF73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e7fc5b00ddf743575185feb3cede0c6dc9a465d","datavalue":{"value":{"text":"DE MORGAN INTERPRETATION OF THE LAMBEK\u2013GRISHIN CALCULUS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3389495$FE735205-AD7F-4A29-8980-CE1A29EE508B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0dd1d05afa672dd160eb063ea77883b387578094","datavalue":{"value":"1479.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389495$744D116B-0C6B-494A-9873-B1D264AB7CC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c4bba40f0aaaec3a1a5ee67d42ecd5a31813db0","datavalue":{"value":"10.1017/S175502031900011X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389495$752ADF9E-FE00-43CC-B7D1-5F095F7514BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbf639b300d72e78610ef679f5196c1e753facf","datavalue":{"value":{"entity-type":"item","numeric-id":332085,"id":"Q332085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389495$35F21EAF-A7E2-4E7D-9DEB-0379082DCA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a3deb8c3bb69905bbf6e6a826dde89e56c83a","datavalue":{"value":{"entity-type":"item","numeric-id":174819,"id":"Q174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389495$9EC40678-2501-4DAE-954D-23A635988C99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389495$58C1192E-350A-45A2-81B7-5C6670E29855","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ed4002d7d1dae8a4df69ca0f7d26b6ca60a982d","datavalue":{"value":{"time":"+2021-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3389495$4639198D-64BE-40C8-9857-299764A60719","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389495$F8733A42-6521-499B-BE3C-8590D109DFC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"960197121a12897779a582a8edb5cf8cda9b610a","datavalue":{"value":"7347062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3389495$12D9B490-3B68-4818-970F-CE914563D434","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94e7faeb948a9c9710b99a6af71a7fbf7254baff","datavalue":{"value":"Lambek-Grishin calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389495$FDE6EB36-1A31-4968-BCDB-934208A48687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389495$EE4829C1-AC6F-4422-BF50-29D56B7F618F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389495$422F5B40-B7AD-441C-82F2-8EFA39A077D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85067360fe01cb13c1dafa13cfa96cde87fdd043","datavalue":{"value":"De Morgan's laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389495$3A877835-21CF-4711-9BC3-40A74D8583BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389495$3DC2FBB8-42C6-42B5-ABD3-6C28D5F74C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3389495$4BDBBE0E-651A-493D-9034-D60DBB4E50E8","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":"Q3389495$42C132E5-5ED1-42A3-A9BD-E27A1584A16D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ff3b35ecaf9e746fada073e4abd817e4e52535","datavalue":{"value":{"entity-type":"item","numeric-id":2751052,"id":"Q2751052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389495$D80DBDB1-67F8-462B-BF44-2F7A29563878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9751ba466f3c37a70fb9a480d3b6b8e9c6fbe394","datavalue":{"value":{"entity-type":"item","numeric-id":5431598,"id":"Q5431598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389495$6C1B5151-6D5B-424C-BB2E-39ACB0E2604F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7199a76e97a34e5bb92650a813ab6a9b995ca91","datavalue":{"value":{"entity-type":"item","numeric-id":2885171,"id":"Q2885171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389495$068002BE-5FE8-42E2-8179-0E4AD9CD992C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"369cd32e6d37605aaf79adb7cea19f4f88f06d00","datavalue":{"value":{"entity-type":"item","numeric-id":2947464,"id":"Q2947464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389495$059E6A90-7946-4AEA-A453-A9380025E5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b220b7352b10bcbac778b36ed177ae53ec8cb46a","datavalue":{"value":{"entity-type":"item","numeric-id":1850952,"id":"Q1850952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389495$8C3ABFBE-C371-48C0-8AD4-8096DE06223A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aacf134a5b8564edfc4b6e5f83c67e091cfa8021","datavalue":{"value":{"entity-type":"item","numeric-id":332086,"id":"Q332086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389495$379BD229-44C4-4060-8BC5-3D2C74A9F4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389495$3B13C0F7-92A7-4D6C-AFA6-EE586BCF5BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3389495$1A830167-449E-44A4-B434-E05E7C1CAFA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9155b8a24b47f93bb167596dd9931b0a708353f3","datavalue":{"value":{"entity-type":"item","numeric-id":2947464,"id":"Q2947464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17482e20acc7c9ba2b3587da2da5f76746546a98","datavalue":{"value":{"amount":"+0.8015236258506775","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":"Q3389495$36B46C75-4A5E-4A08-BAFD-23DF13426AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60060519c3ff345bae775d022afbded31cbe5fdd","datavalue":{"value":{"entity-type":"item","numeric-id":4914003,"id":"Q4914003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15f9d223fec0d730d7b6d8f8b57e32f458ecfbd1","datavalue":{"value":{"amount":"+0.7768617868423462","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":"Q3389495$1D00FAB3-76BC-461A-A427-54CE8FB0F0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"211a1cb282ed84e4fb9ca8bc6deb0aefcbc81bf3","datavalue":{"value":{"entity-type":"item","numeric-id":4833775,"id":"Q4833775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4442747bb500513fe1ce32d87d82a0c94fe38fe9","datavalue":{"value":{"amount":"+0.7707732319831848","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":"Q3389495$9EB42EE0-EF91-402D-9107-98D56663B29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb50c0a66031ae753b861dd521ff92223c823a1","datavalue":{"value":{"entity-type":"item","numeric-id":5014595,"id":"Q5014595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4442747bb500513fe1ce32d87d82a0c94fe38fe9","datavalue":{"value":{"amount":"+0.7707732319831848","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":"Q3389495$7FC3E88D-F3EF-4A94-BD81-7A13CEC6E28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58deab2232934842bc6c33ca20252fe790cb3caf","datavalue":{"value":{"entity-type":"item","numeric-id":3167297,"id":"Q3167297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8cdc1c3a443ff3d4e78d0b5002d300bfcfa4019","datavalue":{"value":{"amount":"+0.7651854753494263","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":"Q3389495$106F98DC-8E68-4951-BC39-1E5FE993116C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3389495","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3389495"}}}}}