{"entities":{"Q2558857":{"pageid":2569600,"ns":120,"title":"Item:Q2558857","lastrevid":44349435,"modified":"2025-11-22T05:40:22Z","type":"item","id":"Q2558857","labels":{"en":{"language":"en","value":"Ein starker Normalisationssatz f\u00fcr die intuitionistische Typentheorie"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3404219"}},"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":"Q2558857$6F5F5AD8-030F-46D0-96D4-FAA4C91898C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8bbea8c2badf85c8753ac9954849cfb784f5b80","datavalue":{"value":{"text":"Ein starker Normalisationssatz f\u00fcr die intuitionistische Typentheorie","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2558857$9A30E930-F685-449E-8156-A5E88AB1B204","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77ac1bfef22240582548e7dca2b76acf69ba7a62","datavalue":{"value":"0256.02013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2558857$6096B9B3-E985-4B88-AD0F-966835EF69C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"620875bf94537b6f24178340c4ca24af92840ac2","datavalue":{"value":"10.1007/BF01297669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2558857$B7CEFB97-FAD0-4621-8094-2E04591E25DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7d812a44ed5e9f8a21598ffd5bf10ce573aa596","datavalue":{"value":{"entity-type":"item","numeric-id":930617,"id":"Q930617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558857$C915B31D-206E-496F-891F-757E68E20C94","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":"Q2558857$6F8A9090-CBCD-439F-9C0A-19CECF92ED98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0009eef2e40e65b679945693e20705f9c6245b14","datavalue":{"value":{"time":"+1973-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":"Q2558857$DDB2FD37-A475-4B62-AC2E-5DE0B431B404","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6edb18ff1e4aba8cbb90d495438f453fa2534903","datavalue":{"value":"https://eudml.org/doc/154154","type":"string"},"datatype":"url"},"type":"statement","id":"Q2558857$AFDA249D-D6FE-4FA1-A660-6E17F7FF269A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2558857$C99A09DE-E866-489D-83FC-2456005F6FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2558857$94BAC4FC-9DDB-48FB-BD32-96740CBBF376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2558857$0E45FAAE-A936-4B4E-924A-223606F4D589","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d5eb521af68c67be05bfdf37f81f7c6ead129f6","datavalue":{"value":"3404219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2558857$FBC7219F-184E-4181-8EBF-DD3C84432490","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":"Q2558857$2DCA13AE-AEB1-45C6-9138-B2D030E04565","rank":"normal"}],"P223":[{"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":"Q2558857$E7E2F01A-8E41-49D9-ACD9-28CBCEA25A89","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":"Q2558857$3D512734-D483-4A00-8CEB-1B6710F3E663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558857$AB313A66-A589-4DEC-9BA2-4CB600D97379","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":"Q2558857$6B51D5AF-1B7A-4A85-8036-D98CEDEE8F89","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":"Q2558857$1991D2A0-795E-4432-9AC5-680BAF5564C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ce875bf4c23c130ee5eb898d3934ba95b90224","datavalue":{"value":{"entity-type":"item","numeric-id":5822068,"id":"Q5822068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558857$4164C97A-2DCF-48C2-BBC8-22B8A0AAEEAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2558857","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2558857"}}}}}