{"entities":{"Q2558215":{"pageid":2568958,"ns":120,"title":"Item:Q2558215","lastrevid":44355159,"modified":"2025-11-22T06:51:13Z","type":"item","id":"Q2558215","labels":{"en":{"language":"en","value":"Ein syntaktischer Beweis f\u00fcr die Zul\u00e4ssigkeit der Schnittregel im Kalk\u00fcl von Sch\u00fctte f\u00fcr die intuitionistische Typenlogik"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3402581"}},"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":"Q2558215$B2F47FE5-91D4-489B-9995-760920BC2225","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e23c348d62261756a9f9201928c8ee438a694fc3","datavalue":{"value":{"text":"Ein syntaktischer Beweis f\u00fcr die Zul\u00e4ssigkeit der Schnittregel im Kalk\u00fcl von Sch\u00fctte f\u00fcr die intuitionistische Typenlogik","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2558215$C01DB492-F4D2-4FB4-AB74-E8C8C821AB0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5310e5dbe8e874b580effcb74ac6043510c9d36b","datavalue":{"value":"0255.02024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2558215$956F4A9B-4590-49FE-BB57-D6DEB29F8149","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f799d706cc5c1c6fe8782072cfb8ba5a8701827c","datavalue":{"value":"10.1007/BF01297689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2558215$D20A53F2-E01C-4D32-A3C5-6D34BA19E165","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":"Q2558215$4EC22E6B-44A6-4828-80C6-38C91C4B4695","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":"Q2558215$B48983E1-DB87-492C-941D-AFEA010D6FC0","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":"Q2558215$5312E9B5-00DA-4AD2-8909-841E23262D6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62adc4b0c1f7e02dd9b3a8e9029ceaae65af887c","datavalue":{"value":"https://eudml.org/doc/154145","type":"string"},"datatype":"url"},"type":"statement","id":"Q2558215$AF23B643-4129-45C2-A4D3-30FC3B0A05B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2558215$1E842532-28AD-4983-8BFF-8F49D28DAB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2558215$092F7077-8CD0-41C7-9CE4-BBE11C49BF80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37c8f68dd9a0a1f5129a3eabdcde4bf189a56d23","datavalue":{"value":"3402581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2558215$ABD8B1F1-8B48-4072-BFE4-6A54534AB282","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":"Q2558215$5441488D-07E3-45F4-9983-37C275D8AECE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc3da221ef639195800fa999b5da3717f501950b","datavalue":{"value":{"entity-type":"item","numeric-id":5638282,"id":"Q5638282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558215$BBDC82E8-D192-4408-A312-CA567CE71DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"877e98685bbb1480842403dc684bb2118910fc51","datavalue":{"value":{"entity-type":"item","numeric-id":2553430,"id":"Q2553430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2558215$0F2282C2-D28A-40EC-9C72-1252D510A6AC","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":"Q2558215$DA11B618-A0CF-4F88-A4AC-358C5BE01CFD","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":"Q2558215$408D1351-2568-48DF-8545-4D9B9D686BEB","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":"Q2558215$9F2DDB89-DCD5-471D-89B7-E63A47DEC5F2","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":"Q2558215$A7238145-85CE-4C34-95DE-835568019FDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2558215","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2558215"}}}}}