{"entities":{"Q1279563":{"pageid":1290313,"ns":120,"title":"Item:Q1279563","lastrevid":68436213,"modified":"2026-04-12T23:41:40Z","type":"item","id":"Q1279563","labels":{"en":{"language":"en","value":"Gentzen. Conference, Rome, Italy, October 3--5, 1996"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1249474"}},"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":"Q1279563$D0BF0F20-F681-4BD1-B9B0-8EB84E40673D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63a21e46013b8ce8be9f6be771bb9626da204ce0","datavalue":{"value":{"text":"Gentzen. Conference, Rome, Italy, October 3--5, 1996","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1279563$A1B660BF-BC4B-4C8C-9139-C4E884594954","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"480d8fa62667bc23271a59fbd3856d1711fd53f2","datavalue":{"value":"0907.00043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279563$066EF42E-9743-4258-85F2-E4C1E3F1962B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279563$14013F9D-87EA-408E-A149-C6CFBA9EC20F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a024f6181bd7b474d392ae445eb00fa96a8b8c5f","datavalue":{"value":{"time":"+1999-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1279563$370E2F07-E617-47CF-A264-A5E154D18EA5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"12898dc72c46d6c33eebc47bf3fd91a6c1579411","datavalue":{"value":"The articles of this volume will be reviewed individually. Gentzen is a keyword for the Esprit-BRA Working Group 7232 developing methodologies and programming techniques.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279563$491F4985-1F23-4037-8EFC-88F8FAA77ECC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279563$0AD39B84-875B-44A6-BB14-7923A1F2AC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279563$BE2C2044-20F6-486E-9D30-17A9EE33FBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279563$BFC4C963-0C30-4319-9D7D-334F14192FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279563$470B8352-4E34-4101-8576-76E355279707","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84cf46dbdecd22c89d70e4bce195b4e986f0b5fa","datavalue":{"value":"1249474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279563$855B73AF-8AAE-420B-8A80-66B3C9AB9EE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3958f519a889669d2007ab47b229d16ba351a996","datavalue":{"value":"Rome (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279563$36D6B380-07F1-4FF2-BB2B-0186FFF19934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279563$C246E11B-C952-4D86-9B76-7FC76A8B472D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279563$C3B2A2CD-6B6D-4805-A3B5-5CD8659883E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5a25798920f381cdf9fe9d0cd4bfdb22158b101","datavalue":{"value":"Gentzen","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279563$028A357D-1B9A-4EE5-A7E0-EE9CCFC6C699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30079201549958701bc79bc36ae8a8054f2abdac","datavalue":{"value":"Special issue","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279563$E8D77B93-9AA9-4FCC-958B-79CB42667E89","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":"Q1279563$AFF737D9-1416-4E09-BD5E-7F98C357D64E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gentzen. Conference, Rome, Italy, October 3--5, 1996","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gentzen._Conference,_Rome,_Italy,_October_3--5,_1996"}}}}}