{"entities":{"Q3079922":{"pageid":3090637,"ns":120,"title":"Item:Q3079922","lastrevid":51200087,"modified":"2026-01-17T05:12:48Z","type":"item","id":"Q3079922","labels":{"en":{"language":"en","value":"A cut-free sequent calculus for pure type systems verifying the structural rules of Gentzen/Kleene"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5860262"}},"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":"Q3079922$20EF91B3-3142-409D-9BB5-AC77C9690C8C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd4b4179a29a5499e62eaa6ef44af0a086cee627","datavalue":{"value":{"text":"A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3079922$BEADF782-576E-4AC4-958B-14E5DBCC889F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e498c3525430c8fa0367fe1e983c61fc290b6c3","datavalue":{"value":"1278.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079922$EE23E122-B0BE-4488-8631-FBD0AE734882","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98c8b73ebda62c4f3a4ad9e6811ddb997605e2e7","datavalue":{"value":"10.1007/3-540-45013-0_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079922$7EA47657-7474-4407-A2CA-03FC6E6284C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b30e253b497c9ae83eb323a9f6b0623853ce927","datavalue":{"value":{"entity-type":"item","numeric-id":3079910,"id":"Q3079910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079922$65866143-2302-41A1-B97A-E136AC32701F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaeaed951fddecc25ccb3e6e454be3a7c14119bf","datavalue":{"value":{"time":"+2011-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3079922$8D51C3A8-5329-4432-A5D0-712C8D7B34DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079922$D94549B1-DDA9-411B-B46B-C67C6946B909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079922$2E8BC40F-F68E-49B8-B130-483F9F30C6A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab33166cbe8df9a518c96342cdf5152d1181302b","datavalue":{"value":"5860262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079922$4A5AFB90-7993-4446-9811-CCAE7DED9F2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f446c6b1b1b5722b8305fd12a93aed74c52529c","datavalue":{"value":"lambda calculus with types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079922$AFB8D81D-315B-403E-9479-8401A8AF94A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803071656ef49caf5ffffeffb35be0afbcb7ae7c","datavalue":{"value":"pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079922$A8FEDCC2-97AD-47D6-9968-2F34D078E29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"404e591614190488419156400105486d83841bbf","datavalue":{"value":"sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079922$35ED92A6-F864-4BE7-AFA3-C6E46E11B544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079922$206A57F7-A0D7-449A-9798-C02865FF240E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079922$BEDB77FD-AE25-4ABF-B219-38D122E4051E","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":"Q3079922$F5483F1A-C096-48EB-9436-7B81EF351567","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c02928fe655bbf729d4859a65095bac62146616","datavalue":{"value":"https://doi.org/10.1007/3-540-45013-0_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3079922$67DCBAC0-450E-4047-BDEF-213A4F86CB10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e65c77a7defdfab6b49e058d3cbf7d7ce18ee6c1","datavalue":{"value":"W1521303708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079922$C33079FE-D966-4558-853C-EDCDA11899B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca32bfebc5ee8b344c13dade8a516a1005272067","datavalue":{"value":{"entity-type":"item","numeric-id":4924532,"id":"Q4924532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b157c5f3fb67e17738dd8659eb2abc7066e78c87","datavalue":{"value":{"amount":"+0.8819243311882019","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":"Q3079922$6DF63342-E54E-487F-8D45-4068E51C915E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50bc6a9288eb7d1b18c45d90b7903cdd898948ed","datavalue":{"value":{"entity-type":"item","numeric-id":4449232,"id":"Q4449232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45fab58dd3c649995217d6a7c7193cb7bb298360","datavalue":{"value":{"amount":"+0.7865158319473267","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":"Q3079922$F5C7FDDB-5F7E-41A0-965C-A1FA514FA03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc095d956e2f62a7736c35b6868b8b7ee10cdf7","datavalue":{"value":{"entity-type":"item","numeric-id":3613355,"id":"Q3613355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9baa4003aa23b77feef8d96571f8988b9cea8181","datavalue":{"value":{"amount":"+0.7682725191116333","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":"Q3079922$57200C8A-2CE5-464C-B94E-B20E5FFB9FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97ad471e6172b61acd1f2b10b8e40a3cfe9a5bc","datavalue":{"value":{"entity-type":"item","numeric-id":3003307,"id":"Q3003307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c282acea791d01634535d218b503db35064ad2","datavalue":{"value":{"amount":"+0.7658412456512451","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":"Q3079922$6161CBF7-A6AB-4EA0-B0A0-56340FC1F3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c76f77ea149ac341d5cf455fcbd6b85ee4566ec","datavalue":{"value":{"entity-type":"item","numeric-id":1854335,"id":"Q1854335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f8abf8bb2ceba38b733364acbe1af83eb117326","datavalue":{"value":{"amount":"+0.7638968825340271","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":"Q3079922$1511278C-95A1-43F2-A8EF-B792AF2038A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3079922","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3079922"}}}}}