{"entities":{"Q1245933":{"pageid":1256683,"ns":120,"title":"Item:Q1245933","lastrevid":67299714,"modified":"2026-04-12T16:41:44Z","type":"item","id":"Q1245933","labels":{"en":{"language":"en","value":"A specialization of the form of deductions in Gentzen calculi and its applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3583778"}},"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":"Q1245933$A4F62D42-9C11-4AD8-A12D-692ACA10C49C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aac22c40c5833acea5cd7bf39e34ab2d8fa0b254","datavalue":{"value":{"text":"A specialization of the form of deductions in Gentzen calculi and its applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1245933$857B540D-CD30-4F48-8505-5F06ED24530C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c4d88dffaee4ee1a648081fd39bf9d3ef9fcb94","datavalue":{"value":"0375.02015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1245933$859F7F28-66BC-488A-8797-860174BE4629","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"112587f057833067b7a10e690fd268b28f415625","datavalue":{"value":"10.1007/BF01084084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1245933$4CC09BD4-C701-4C74-B50F-B9D35B75ECF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c202384c22915715f42b7278cfa2bc8d6926211c","datavalue":{"value":{"entity-type":"item","numeric-id":684959,"id":"Q684959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245933$9E5A6369-2D11-46EF-82A1-9F57436E532C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"164101b92acd585ddf6ca53b10c2e6c3aab227fa","datavalue":{"value":{"entity-type":"item","numeric-id":351720,"id":"Q351720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245933$3C6BC022-2FA3-4703-9499-19CDD4FDC0BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"974fa8a46aa40326fb3113b279589eb02559bb73","datavalue":{"value":{"time":"+1976-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":"Q1245933$C9F01996-7B58-469D-8686-6493C409DC1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1245933$ECB6728F-550C-45D8-9D69-C16B2DC0EC48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33bfb0ec86ffcd5dcb32d5bf86e6c1decb2d3344","datavalue":{"value":"3583778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1245933$FB17F168-49D8-4499-ACE2-3D0CC8A96028","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":"Q1245933$3DA89918-A546-41E2-9F90-E0D507C02830","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f103fa401cdca02160ebee26851f7a4dbd4e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5813181,"id":"Q5813181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245933$ED9D4CC7-973B-4F83-8758-5EDA95FA621C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a193a471d38d4f2636f0967c462d886d529dd18f","datavalue":{"value":{"entity-type":"item","numeric-id":5604436,"id":"Q5604436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245933$456D5BC6-F96E-4637-8F8F-3FD17B1D1A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"425b0be5c41c0f1de02b395feed2fa46e277680e","datavalue":{"value":{"entity-type":"item","numeric-id":5638280,"id":"Q5638280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245933$A0F7DA45-877F-4E01-89F4-E6FC8F383D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf9de0cb26c419e3d3fba0533cecade3ec5f30f0","datavalue":{"value":{"entity-type":"item","numeric-id":2557245,"id":"Q2557245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245933$B9A6A82B-C117-4228-B6EC-54F4E096F1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245933$91DE5ED9-D716-44F4-8331-572F84B90E6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d08747d03e9991ca1263a87f2b213936e3f53d0","datavalue":{"value":"https://doi.org/10.1007/bf01084084","type":"string"},"datatype":"url"},"type":"statement","id":"Q1245933$A9EE3C6E-64D0-47B7-999E-7006BFF69ED6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03e168668979c8f281055f01d464e0d80a593cb1","datavalue":{"value":"W1987860758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1245933$977A9374-70DD-4A21-A3C8-48EAA80F3479","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A specialization of the form of deductions in Gentzen calculi and its applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_specialization_of_the_form_of_deductions_in_Gentzen_calculi_and_its_applications"}}}}}