{"entities":{"Q4842280":{"pageid":6871860,"ns":120,"title":"Item:Q4842280","lastrevid":47336590,"modified":"2026-01-01T10:21:30Z","type":"item","id":"Q4842280","labels":{"en":{"language":"en","value":"Clausal Proofs and Discontinuity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 780067"}},"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":"Q4842280$AB6C8570-8B7B-485A-A4CC-AE61AF9A39C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f89bbef16c12e9154edc8e35179b7d3affe7b0c1","datavalue":{"value":{"text":"Clausal Proofs and Discontinuity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4842280$D3A655F9-8895-4B8B-81A8-A79FAA2B3CF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d8728fa4d27bc5610d05a8a9c381c643484d4ad","datavalue":{"value":"0827.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842280$EAF7857C-2F37-45B1-85CE-D8ED7A7AFD37","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":"Q4842280$F875C387-0D74-491B-B52B-23A1C215F539","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2c5a0478135439b51e1336eb30896ff68f823dd","datavalue":{"value":{"time":"+1995-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4842280$EEA82BA8-1F2D-4335-927C-95383432BFC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e30a62629f677f39d6d1aca30e2899f2193f1f4","datavalue":{"value":"https://semanticscholar.org/paper/f34a920cb734b60322da84da2c25eae95dd229ba","type":"string"},"datatype":"url"},"type":"statement","id":"Q4842280$A2AC9B41-4F6A-42AA-85B9-22E07DC0D7D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842280$5A0A0A29-654F-4171-A833-562274596732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842280$E5F9F036-B2D7-42D4-B7A8-1ECAF5545F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842280$A7E68EAE-F712-4707-B99D-1107884010F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842280$02E154DA-351E-4DF9-9B8B-55D512A792E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842280$EBFAFF32-98AA-411E-982B-EDD8232A17AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842280$938F5DDA-AFCE-42B5-9D41-D394B928681A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a81439f22fd805f639337726d1f4629bef842f55","datavalue":{"value":"780067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842280$42482D69-E84D-4AF5-8BA5-BF6EA79AAAFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6de2c6f2a4ca1a13647f13a0a23fd847d8c7557d","datavalue":{"value":"multimodal Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842280$AA119F16-FAC5-474C-8B4E-1C59B9143771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1cd7f6173c82ba5ada5be46eaa5afe1643dd687","datavalue":{"value":"parsing-as-deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842280$8618CC53-E5D9-42E8-ACC7-EFD00DDC1CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"391c341bec0a873efd628661cb55d8c6184a343a","datavalue":{"value":"categorial logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842280$04AFEC4E-AB9E-48A1-B2EB-745EEFF4790F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842280$23705151-3175-4D1A-88FA-8217025FD2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842280$5821D389-A45D-4741-9DA4-6208EFC011A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c370f08705d948cbe8326531bf5f5bb6a470bf8","datavalue":{"value":"SLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842280$F1DC4C72-6D71-4BED-A008-A0CC4AF365CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842280$5C5CED6C-DEAA-44F4-A37E-2BFAC25E75C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e0c64df3c95abee825fad74fc053780cd90a99a","datavalue":{"value":"discontinuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842280$1F2533B4-885D-4CD5-B4A7-DA994EAF1BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0734b6e890333707bf2d08691bcdad0aa0463a93","datavalue":{"value":"typed lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842280$8E787D5D-9546-4AC6-ACA1-7FB039905A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e0ec06bca78066638c4cf94c285e17c6aba148b","datavalue":{"value":"language generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842280$608C4520-1247-4BEB-84AC-1496B5FC0FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a50e94925e8d837e757b27091e10fdb17ae404b","datavalue":{"value":"prosodics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842280$2BF44B60-882C-4E31-88F3-D914FC4FD8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842280$70241BD4-AB8D-4BAE-8498-FB3E86BFB8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63514e391de5fd930587bfd49bfc2602f1ee494e","datavalue":{"value":"semantic algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842280$32E740BD-F4AF-45B1-BA13-00BB853B737D","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":"Q4842280$07C14D0E-8CE1-4BAE-AF10-CB91D95E8801","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1adf15c18388aa29131178ad0006912859878f49","datavalue":{"value":"W2064499154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842280$5EAC2319-090A-4844-B4C7-9A5127F11561","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8b337fd8997edc37ee78e85b6e01b7885b8b9ac","datavalue":{"value":"10.1093/JIGPAL/3.2-3.403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842280$78E94A81-8356-4553-A38D-BDDA7B0CA7A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842280$9CE120D8-B2C0-4EA6-B005-31C447896B44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49476276299c841150249ed7d8eeb2c4d4220407","datavalue":{"value":{"entity-type":"item","numeric-id":433866,"id":"Q433866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217e92464a15dfe96ab2ca658f86e297294cb993","datavalue":{"value":{"amount":"+0.8033438324928284","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":"Q4842280$7DE9D538-1EBA-4B89-853C-08AB185EC689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01bebf856f48aa326ba0016330d34afe13c9d89a","datavalue":{"value":{"entity-type":"item","numeric-id":5327385,"id":"Q5327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3fffb22f69e02c940ec56a3f97cf5a2bd545cf","datavalue":{"value":{"amount":"+0.7899259328842163","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":"Q4842280$698C7B85-CE29-44FE-9E61-5100C56CB9C4","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":"06181366b5a667e2b3accb629cf8ded62b70bddb","datavalue":{"value":{"amount":"+0.7775914669036865","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":"Q4842280$A1B6E148-F59D-423B-AF72-CFA147E3C46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88cb3878869e2ef7dcb640e90c592497fabc08dd","datavalue":{"value":{"entity-type":"item","numeric-id":2425322,"id":"Q2425322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079968023a713a5e60dbb4ec99aa4c95f7c398da","datavalue":{"value":{"amount":"+0.7758782505989075","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":"Q4842280$AD22733C-D267-498A-A56A-173E06F8D5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4720bfe732394849302097e176c1c8022ddf970","datavalue":{"value":{"entity-type":"item","numeric-id":2429994,"id":"Q2429994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d72b7788f8b3c5261f5e601cd897959234055b7d","datavalue":{"value":{"amount":"+0.7717024683952332","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":"Q4842280$9DB6B4B5-EA7E-4BCF-9D17-28CF1FBDB524","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4842280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4842280"}}}}}