{"entities":{"Q2553430":{"pageid":2564173,"ns":120,"title":"Item:Q2553430","lastrevid":44328786,"modified":"2025-11-22T01:25:48Z","type":"item","id":"Q2553430","labels":{"en":{"language":"en","value":"Vollst\u00e4ndigkeit und Schnittelimination in der intuitionistischen Typenlogik"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3378896"}},"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":"Q2553430$E1E4D20D-BEEB-4DE6-A3E3-5DF317F722DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af399abfb193e114e9cd86bb75b595e8eda2ff91","datavalue":{"value":{"text":"Vollst\u00e4ndigkeit und Schnittelimination in der intuitionistischen Typenlogik","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2553430$580473E8-81C9-4678-BD18-E05D772A5EB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b120e6e2fa78c46846ab02735c3c555881130133","datavalue":{"value":"0239.02015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2553430$C49B3DD4-DEC6-4A6A-843B-FD97B2E659EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e93f1e57d8795a1825a21668ef0e8661c908c9cc","datavalue":{"value":"10.1007/BF01298410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2553430$C770461E-396F-4F3C-843E-27B370CB342F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18e18be94801e3d16505407de065e5b6d16bdded","datavalue":{"value":{"entity-type":"item","numeric-id":351805,"id":"Q351805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2553430$2EDD1CCB-D5E1-48FC-AC5B-E29303C27E38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccf4732529e8c1929b9b7c946ba3218942108f00","datavalue":{"value":{"entity-type":"item","numeric-id":167493,"id":"Q167493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2553430$AAD6DE12-E6FB-4E00-8C8D-757EC4A1C742","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bb0eaa1d64c683ee03edf396d2a33ea56290ca3","datavalue":{"value":{"time":"+1972-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2553430$33D9AB9B-9CD6-4DAC-B0C2-39E5C3297421","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7eae1652a811653e80d97350e1f4ee1608866f5","datavalue":{"value":"https://eudml.org/doc/154084","type":"string"},"datatype":"url"},"type":"statement","id":"Q2553430$0635CB5C-198B-4910-93CA-F17610210A0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2553430$CE6C4D9A-440F-46B5-B936-0EF49FEB9F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2553430$F453B217-9C0F-4EFD-A51F-58F70A6CDD13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a69e94ec6e4c289ddb65edfd8e21504fc378501b","datavalue":{"value":"3378896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2553430$9C8F0A66-3022-465F-9342-7E56FA279238","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":"Q2553430$DCD96998-8594-4A1F-B21B-6423D1B00C27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2553430$BF62729F-B9FB-4E8D-B786-B0C30BAD557D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2553430$850D16E6-2146-4A65-A246-CEBC14C0E3B3","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":"Q2553430$B0A32C00-7B66-47BC-AA55-60D992B29569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"341cf25e1331e9c3d9b625066b41f81f88fc1449","datavalue":{"value":{"entity-type":"item","numeric-id":5549033,"id":"Q5549033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2553430$B72A1E62-0712-4319-87D3-62BCCA4881E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203318c557c82294d1a13a7b0ee8923a35f083bc","datavalue":{"value":{"entity-type":"item","numeric-id":2648344,"id":"Q2648344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2553430$EA030FF0-F411-4060-A9EA-D4602CB668ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3dbb8e924086eb69a5a6a156183accae6efe07","datavalue":{"value":{"entity-type":"item","numeric-id":3845367,"id":"Q3845367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2553430$7B70F510-9493-4DC9-A3E2-8CD26B00B5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e9a7126fd3647b4929f8ad5e5b5d84f4d827a2","datavalue":{"value":{"entity-type":"item","numeric-id":2542723,"id":"Q2542723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2553430$14785643-5B09-41EA-AB51-0FB56BA51687","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2553430","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2553430"}}}}}