{"entities":{"Q6200464":{"pageid":13335352,"ns":120,"title":"Item:Q6200464","lastrevid":56867898,"modified":"2026-03-24T09:14:51Z","type":"item","id":"Q6200464","labels":{"en":{"language":"en","value":"On Synonymy in Proof-Theoretic Semantics: The Case of \\(\\mathtt{2Int}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7811413"}},"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":"Q6200464$A79C105E-1EC0-47F0-8955-105EAD266F6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"824a9562ce8da9de6b8ec03fd30a8df67121875a","datavalue":{"value":{"text":"On Synonymy in Proof-Theoretic Semantics: The Case of \\(\\mathtt{2Int}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6200464$9B547EEF-8980-4F3C-ABFD-A30C29FAD8CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"948764f90a61a658883cdc32bac041e26ffd1b27","datavalue":{"value":"10.18778/0138-0680.2023.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200464$15E6AAE3-677C-4276-9B2B-BA9FEF5BC194","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eed88e7b4ca4d162b9b8cee07310086df1ba6736","datavalue":{"value":{"entity-type":"item","numeric-id":2037303,"id":"Q2037303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$BD9FA172-7828-4D83-83C5-4EDB76A27192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$2EE49764-23C8-471E-949B-B90BFD296CC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$BABB1674-69AA-4DAA-B63F-AA418EF4E512","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b970591b68566c443b1d8071359abaf71557caa3","datavalue":{"value":{"time":"+2024-02-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6200464$EE1C4ADE-2183-42FE-9157-68DE46A01012","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200464$731A517F-AF72-424D-A61B-D72CB12B2360","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eec0ca9be3b9e848817719bae9d94c6e22bd4f3c","datavalue":{"value":"7811413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200464$7D1D0098-BD0D-4ED2-A668-8244D82CD494","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"351fefe46fc8e1de8e2d73f29074039dfa23818f","datavalue":{"value":"bilateralism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200464$1C370375-B0B0-4E2B-A709-3A617237F8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b92847c38399c1bf34b0979998944fe61098163d","datavalue":{"value":"bi-intuitionistic logic \\(\\mathtt{2Int}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200464$25DFCC3C-81A5-498C-8BF4-90C66A06F3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200464$3E1C3ADB-D722-43D0-AF99-F56D4216986C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a1e3e2a1984bd9988c6299c5b9c75e1937d05d7","datavalue":{"value":"identity of derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200464$B4CCE32E-6745-4B9A-BB22-ED65152A52FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905af6db7a8541ab8285592ac1adb4946d18fb11","datavalue":{"value":"synonymy","type":"string"},"datatype":"string"},"type":"statement","id":"Q6200464$976E9B05-8F9E-4A70-AB82-EA462BDCF0B8","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":"Q6200464$C9CB2EA8-5BEF-416E-8B2B-4546C9984EBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93dd73f58809f2f88a47053affd11d25743d38be","datavalue":{"value":"https://doi.org/10.18778/0138-0680.2023.18","type":"string"},"datatype":"url"},"type":"statement","id":"Q6200464$A7D88999-DA9E-4EE8-A1CB-1747322E880A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25bae6b4201ad5440d821ea12866bc5fea031dd4","datavalue":{"value":"W4384697083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6200464$323BD90B-9B02-41BA-B0AB-E3FD2BD18B5F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$DBB6AFCC-D8B6-45D0-B0BE-9CEE13B0AEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b386f44f3565af49e7a9a4090a521bbce5897ff","datavalue":{"value":{"entity-type":"item","numeric-id":5067974,"id":"Q5067974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$ED24F596-AA42-47BE-AD08-7F667A7966FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8ae2c933b3bda6e38b3eb41ae369098a3f9c22","datavalue":{"value":{"entity-type":"item","numeric-id":5213390,"id":"Q5213390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$604100C9-457C-4769-8E68-DDBB7FE27FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e349edd15a92708959741494a4febf8e874f4d38","datavalue":{"value":{"entity-type":"item","numeric-id":5099999,"id":"Q5099999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$0627329B-22D9-4B3C-8FFA-A32CECB7BB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f0a2cf77b174e42853c03d75a923ff685e9de7","datavalue":{"value":{"entity-type":"item","numeric-id":2721200,"id":"Q2721200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$C46EF69F-4F80-464B-88D9-33D7BBDEA9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a6e9e1d18538a056cdf8780264c2c8e00f6d132","datavalue":{"value":{"entity-type":"item","numeric-id":764309,"id":"Q764309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$F6A12ED1-013B-4013-8614-9127A78D0575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d5fd92f1ca04342fdad39d66fe038125cb05d6","datavalue":{"value":{"entity-type":"item","numeric-id":5175691,"id":"Q5175691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$B53852DB-6522-46EA-BD5B-B69FC3BE4D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd40713ac929df22dc670083e2a4362a4a6c67fc","datavalue":{"value":{"entity-type":"item","numeric-id":5274878,"id":"Q5274878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$693E1EC8-8D6F-4E68-9596-0B76E29F080E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$37404E5E-991D-4DCD-BF91-E27C47A73B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36acd4a682e32105b6e11f8920d0722699021b33","datavalue":{"value":{"entity-type":"item","numeric-id":2904053,"id":"Q2904053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$B5D216B1-E010-43F7-A4D1-F24D7EDF42CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$C4E0B3A3-9277-4344-B0E1-7A21743F8E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5a4c3f78ecaf0fc1e0b609bbd10716aa4a222d","datavalue":{"value":{"entity-type":"item","numeric-id":1846858,"id":"Q1846858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$7A2C9AB5-D338-4ECA-AD69-CCFA5D187005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9538968d5d2fc33860e5459a77c6efa68acaef3","datavalue":{"value":{"entity-type":"item","numeric-id":5596202,"id":"Q5596202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$052EBAE2-9365-4FFB-9996-C3A8EB41EC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"426768d3d5594345361285607e01ab3b49279bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2804337,"id":"Q2804337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$3359D6C2-F8D6-48FE-BA55-2D0F18A32F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26e19404c892aaf59161898ae0ab99a365fdb8c","datavalue":{"value":{"entity-type":"item","numeric-id":3305426,"id":"Q3305426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$C30C05D3-9201-48A6-AB7B-64714F51F82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c8fc48da70d9cacfdb4e9f8862e39feda424e4","datavalue":{"value":{"entity-type":"item","numeric-id":1688710,"id":"Q1688710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$670574DD-5096-44CD-A339-F6C80DD0D1D7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6200464$39D70ABE-A932-4EE4-9F77-1F6938F4FE6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6200464","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6200464"}}}}}