{"entities":{"Q1400711":{"pageid":1411451,"ns":120,"title":"Item:Q1400711","lastrevid":68623395,"modified":"2026-04-13T00:59:48Z","type":"item","id":"Q1400711","labels":{"en":{"language":"en","value":"On the strong normalisation of intuitionistic natural deduction with permutation-conversions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1964174"}},"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":"Q1400711$11BF0F70-084A-406F-8E18-1DE992F57F3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"760f32e89adc4556b74f1468b322e1ddf8efc328","datavalue":{"value":{"text":"On the strong normalisation of intuitionistic natural deduction with permutation-conversions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1400711$2E31F9B0-BC7D-42CB-A775-4FEC300DD239","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c98a60de2c58870411894515732b9fc95058cba6","datavalue":{"value":"1031.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400711$60C50E00-8EFB-4C56-9140-7309B3749E4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c815c41e465f4878bd238b300cc994da6be7937","datavalue":{"value":{"entity-type":"item","numeric-id":831146,"id":"Q831146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400711$FF74BA0A-A75B-4BBF-8AE0-7D23A2E1B421","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400711$346F6537-2DFE-4172-9F94-8533B329B6AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f24f25d0e9771f70373d70ba49826f182a7fce9","datavalue":{"value":{"time":"+2004-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":"Q1400711$D89972D3-8B2E-43F6-AC01-B1D193C4A16F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"215e8b1b9c138f3739e490acb6633839ee306368","datavalue":{"value":"https://semanticscholar.org/paper/45e96e9ce1d9e30a167f403c71f3143795b5b187","type":"string"},"datatype":"url"},"type":"statement","id":"Q1400711$92E1CDFA-6F6F-40FB-A29B-5A2B136D6A6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400711$41ECC903-6C2E-40F6-A7C6-1F62C8DB0C98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c5a0edf6c2d95ba1ad80b46942bea42c8884e79","datavalue":{"value":"1964174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400711$097191DD-9FB2-4A6E-A6E7-60E661549C46","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":"Q1400711$6165EA86-7FF3-49D4-8519-57EF4138E7AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6bb9b9950ac86cf7ddab2be814efd55b365c9369","datavalue":{"value":"W1995083622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400711$F369635F-F991-40BE-BB01-90C9059B0BC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400711$0B881F20-5680-4841-9D56-85DC14EEEE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400711$540D752C-7469-4326-9E06-A8F1C876A125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a65515c2e37d29687eab299c05aa46a3d9a3df5d","datavalue":{"value":{"entity-type":"item","numeric-id":4281472,"id":"Q4281472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400711$D0F2D885-D356-40EF-9786-6FE7DF5A5CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7dc71408bfc822fcfb26590a9ac4a240325ab9b","datavalue":{"value":{"entity-type":"item","numeric-id":3024836,"id":"Q3024836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400711$0E84B084-48B9-4050-B097-E960298CB8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400711$B596C885-9513-47ED-88D0-9A2710E9D3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d92dc238774fd1c651af2baa062a030c6eec7a","datavalue":{"value":{"entity-type":"item","numeric-id":3680263,"id":"Q3680263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400711$15AD103F-BF5F-4575-B920-93CA36803BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400711$C4388938-1844-4384-A9C6-5B35453785AD","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":"Q1400711$8B5829BB-F83A-4823-8AFC-F1111A4D77CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400711$FD6062D3-2F47-4D79-BE21-FCD91EB58453","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98cb4ed24e4193dfc952ece545e9aae9b509625d","datavalue":{"value":"10.1006/INCO.2002.3147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400711$B546CD54-C29B-464E-AE8D-ABB7C1F65CD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the strong normalisation of intuitionistic natural deduction with permutation-conversions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_strong_normalisation_of_intuitionistic_natural_deduction_with_permutation-conversions"}}}}}