{"entities":{"Q4635630":{"pageid":6665211,"ns":120,"title":"Item:Q4635630","lastrevid":53070317,"modified":"2026-01-24T04:10:27Z","type":"item","id":"Q4635630","labels":{"en":{"language":"en","value":"Symmetric normalisation for intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863103"}},"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":"Q4635630$60F07817-5833-4674-AED3-4D3629F33E5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40f8ee272e061f04fab9cbe074a5547870af3eb0","datavalue":{"value":{"text":"Symmetric normalisation for intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635630$A18CDF32-EB1A-4F54-BB31-03A867EFCCBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c76a9227559ee2849760d8330b9aa210fe9e896d","datavalue":{"value":"1395.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635630$5AD11F93-7803-4210-A14D-6BE5310CC0B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"551357df2ee40d31ccb4ca9783ec34d7e4c6d4e3","datavalue":{"value":"10.1145/2603088.2603160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635630$2241AE18-0EB2-4D30-8D55-B43385ECD937","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b9bee5c1672027541373794fd16d90e809b7e77","datavalue":{"value":{"entity-type":"item","numeric-id":2883079,"id":"Q2883079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635630$017C4577-4988-445B-A931-3A4A6EDFC4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635630$5B0F43E5-5BA5-4B89-A60E-DF7DA8C54361","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6572bdac0e197f580103bb5e9b289936a884acc4","datavalue":{"value":{"entity-type":"item","numeric-id":4635585,"id":"Q4635585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635630$8B16A612-F7DA-4EA2-9412-B07792950338","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635630$0BE00CE0-71CF-4DE5-A8AB-E03CE231240E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"caf9fe70a85387ef336b6ed47e3099fb53dfb4a2","datavalue":{"value":"https://hal.inria.fr/hal-01092105/file/sjs2-final-with-appendix.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635630$02FA8474-44DD-4892-8FDE-D62216F8D9E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635630$5575833F-8337-4F87-9EAB-411A428BB350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635630$CE4EB8AB-0D5F-4856-91A0-681828140D54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58fb5be9391714c0b84afa36599579bf0a4c1c78","datavalue":{"value":"6863103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635630$428CB19E-FF18-40BD-9DA0-430AA97D3113","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635630$62CFBB3D-C40F-414F-BF5C-64004D2CC92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223100e53e73fed8e253ee46e8a2984deaf67b5b","datavalue":{"value":"deep inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635630$EED1A111-7063-4933-AB4F-B14E589D272D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4635630$944E05CC-F229-4307-A0FD-C1FDCABFECEA","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":"Q4635630$D8949D1E-735A-482E-A224-A9E5439CC1C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a82fbfbd56646e15af824796ee6af8de17345b64","datavalue":{"value":"W2158818713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635630$F18360AE-D5D6-4FDD-A63B-AB609D3C0C67","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2f1311aa6a4b641bf33488c42a3f270b20b8c121","datavalue":{"value":"Q130850193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635630$12C12110-CEBD-4A28-987E-33BD2C38AFE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3303deeb82c513f81e72d5396c2160d4d8a9c836","datavalue":{"value":{"entity-type":"item","numeric-id":5387896,"id":"Q5387896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09178036d99384ed732190d17ebf469efffbfab8","datavalue":{"value":{"amount":"+0.7986344695091248","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":"Q4635630$C876C728-7D65-4675-9998-99F664368F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ad4e5cf2b77e28e0e575b673c2ec6991d250d0","datavalue":{"value":{"entity-type":"item","numeric-id":1577341,"id":"Q1577341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79339d340f599593df77a3076aef8b7c6451362f","datavalue":{"value":{"amount":"+0.7908697724342346","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":"Q4635630$E5A0F223-8A45-4094-926F-2D78097F7378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f05cd6753491b5836102c47ec38d29706f79787","datavalue":{"value":{"entity-type":"item","numeric-id":5213610,"id":"Q5213610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79339d340f599593df77a3076aef8b7c6451362f","datavalue":{"value":{"amount":"+0.7908697724342346","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":"Q4635630$AA83C0F6-AF7C-4700-B610-8BF54178E539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1c1bb59fd9363bdacd386fc7141e51a81d0525","datavalue":{"value":{"entity-type":"item","numeric-id":1407574,"id":"Q1407574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49b7820fd36f5bbb22a8a312c082b487dd57b21f","datavalue":{"value":{"amount":"+0.7866969704627991","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":"Q4635630$B4871F5B-5778-4CF0-BB68-BCBC65AEA5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f7d70cf9d40342ff4a597df3c3d7b0a71c26a3","datavalue":{"value":{"entity-type":"item","numeric-id":5387888,"id":"Q5387888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f215b328f2ee440323e25209768e47ff16e904","datavalue":{"value":{"amount":"+0.7823337912559509","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":"Q4635630$3EAD9BB7-9E3D-45F3-9151-1D89365AFFBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635630","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635630"}}}}}