{"entities":{"Q2946641":{"pageid":2957361,"ns":120,"title":"Item:Q2946641","lastrevid":85283852,"modified":"2026-06-03T06:37:57Z","type":"item","id":"Q2946641","labels":{"en":{"language":"en","value":"A calculus of multiary sequent terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483147"}},"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":"Q2946641$C1BED8B7-D046-4BB1-B53E-D5F69B998361","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"acd937d2095fc48d13e6a6cab2364af639bff56c","datavalue":{"value":{"text":"A calculus of multiary sequent terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946641$16CA4C22-7BF6-4118-81E2-945CFF1FB6A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5db9212d8ea08dac587d6a5f0655c8c043852737","datavalue":{"value":"1352.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946641$4B195E18-D19D-4313-9551-D015E236C842","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"748b8bc5b17b0657e89e3fc0ddbb0f8baeb1f143","datavalue":{"value":"10.1145/1929954.1929959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946641$A955187E-5B3C-4247-980F-0F216A5EF6E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946641$5105E529-D8FF-4821-A747-D1A86A00CD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2bf00b2fa3a5538b0429f832c8bf0163860a958","datavalue":{"value":{"entity-type":"item","numeric-id":1275624,"id":"Q1275624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946641$D442766A-8489-4853-BEB4-0AADF66BE104","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946641$0DFFF2CF-F498-4D62-A187-2F1C9830EDEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946641$90673177-9FB9-4F61-B5A0-C26875A1F808","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b58f6fb1ab7f9eb448f46a5500d9293f17dcd9cb","datavalue":{"value":"http://hdl.handle.net/1822/13192","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946641$154E7E91-E010-43E6-A3B1-C5A7BA5DAC28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946641$FA3DD594-B596-4B9D-BC09-92C9B43B222F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946641$0B987EF1-2852-49CA-8AAA-EBC51E33A169","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39af02446a520ae60ed45c8c7c949b02e6c6d1f4","datavalue":{"value":"6483147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946641$327554C0-81E0-46B0-8FC1-0316976FAE7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946641$854138C6-033A-40C6-AE3D-339502A12268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cd5a0fc8524d164d5f2bf08c2ab6fbd4c6ec28e","datavalue":{"value":"intuitionistic sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946641$2620E2AE-F62F-4727-8CBD-C6B414052700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9edda7d4caa90d959230776d3a6672bdbfb183e6","datavalue":{"value":"generalized application","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946641$FA15D472-06AF-4F3F-BD92-E228B2629738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946641$DDBC339F-279E-49D4-8927-5607887898FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cd2b6470b71326eae32f0c820ad75379fd3edf8","datavalue":{"value":"multiary application","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946641$997F937B-3111-488E-8021-2C9F35564109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15796d431e57463b26d4f2da913a40ab41040b54","datavalue":{"value":"permutative conversions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946641$EA43356D-DF6F-4DD7-95FE-26CE7AD7A89B","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":"Q2946641$67F6FF31-7B0C-4FC5-83EC-A79903C28404","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"439643927daf06b16204880b4cecd6c22f9ebc7c","datavalue":{"value":"W2128959251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946641$C83482F5-CA16-4F2C-9D78-0855E5020376","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"957c00e6d110bfb073eb1c56e06367d0d4f3e2df","datavalue":{"value":{"entity-type":"item","numeric-id":4457465,"id":"Q4457465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8019ce100e334375339b47c004e5b55ef898203","datavalue":{"value":{"amount":"+0.8978508710861206","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":"Q2946641$3CAE4C35-DC52-4D7A-8F93-6F232B8BE6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0858a1f8dea542bfaf7a228e2b22001a4af882","datavalue":{"value":{"entity-type":"item","numeric-id":5712305,"id":"Q5712305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"921dd0910fa7f75a8e7861720279fcabdb16a9c5","datavalue":{"value":{"amount":"+0.8187474608421326","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":"Q2946641$ECF6DB83-BFE6-4B50-AB9B-F5F6ADA47813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe141363dd9c7092b04d31f82a14c5ec11d3b540","datavalue":{"value":{"entity-type":"item","numeric-id":3527295,"id":"Q3527295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"910683dda77b5add1a0676adde2ba53357df6795","datavalue":{"value":{"amount":"+0.801154375076294","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":"Q2946641$E54AC847-8120-4D23-99DC-2F099FE7C5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de03e002f2927c14678bfa68e365d8ee714fd54","datavalue":{"value":{"entity-type":"item","numeric-id":5024505,"id":"Q5024505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"433a98032e469d6ac8714edcad6b27c3d8e5ec94","datavalue":{"value":{"amount":"+0.7746469378471375","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":"Q2946641$788DDCC0-AC40-4E7C-A176-3BBE33731B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af1374bac7370fa0d3581501fec968a8eada2d7","datavalue":{"value":{"entity-type":"item","numeric-id":5425327,"id":"Q5425327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a95e3a5e0937f8df7ef6e064076b62b099ebee14","datavalue":{"value":{"amount":"+0.7732970714569092","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":"Q2946641$3B4249B2-17F4-405E-B734-BC76CE91B3B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A calculus of multiary sequent terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_calculus_of_multiary_sequent_terms"}}}}}