{"entities":{"Q5628098":{"pageid":7657658,"ns":120,"title":"Item:Q5628098","lastrevid":39620823,"modified":"2024-12-30T16:14:32Z","type":"item","id":"Q5628098","labels":{"en":{"language":"en","value":"Simple type theory of Gentzen style with the inference of extensionality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3353248"}},"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":"Q5628098$40B2AA61-D7A0-4EA0-8088-31B036E5E040","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2846829cab92b5369709e9bf4dd338b75f59bdf","datavalue":{"value":{"text":"Simple type theory of Gentzen style with the inference of extensionality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5628098$8639DB75-CDB9-46C3-B42C-E7B7A5C56219","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e19fc50d0aff8a00caaa3b3fe8b415437c66578d","datavalue":{"value":"0223.02022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5628098$288A072C-0EB7-47E2-BC2D-FE43916E8F8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03eb40b7f72e68e80d2a22586e286d38f25f0029","datavalue":{"value":{"entity-type":"item","numeric-id":599396,"id":"Q599396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5628098$13EC9C59-4EEB-48F9-8786-64BDF1836275","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f390dd71b05b66b4144d0b935926206b46f62030","datavalue":{"value":{"entity-type":"item","numeric-id":3213207,"id":"Q3213207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5628098$BA07EE44-1A80-4053-9100-7281B2D04A0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b7d902a691bf065ccbbbe3c070a7f8cb1f53366","datavalue":{"value":{"time":"+1968-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":"Q5628098$F3B143F2-0DBB-4A32-A005-8C83D63CB8A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5628098$E0CA0852-C3E7-4696-A463-BB05376DC27C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d150e2b69d502416e3663ffc31ad6fa7be437cc6","datavalue":{"value":"3353248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5628098$E1FF47C9-B9BA-4B8A-828A-DF02F5E5C39F","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":"Q5628098$92772F21-C7B0-4D70-81A2-40DEAD14F777","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ea3a62d35522e42c2c610e5ad885e230b1af498","datavalue":{"value":"https://doi.org/10.3792/pja/1195521329","type":"string"},"datatype":"url"},"type":"statement","id":"Q5628098$E8938ED2-1053-4BF2-ABCF-B981B1FADA60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3443a9eea05eec931c3f4a3128f87a8a711ab628","datavalue":{"value":"W2025828824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5628098$C306AB87-DF23-4E3A-AE7B-CCD48BB8783B","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":"Q5628098$AEEAED14-304C-4C36-BFB8-9C18F511A9DA","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":"Q5628098$AD48AA5E-FBBA-49D2-B668-CC73BDB0A5A7","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":"Q5628098$5BFFDF6C-96B2-4608-9911-56E244EE8A8E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02dfcb37e6a8a4a3c7d83f8c9dc7418c756b40ad","datavalue":{"value":"10.3792/PJA/1195521329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5628098$C4E1D07A-93CD-4D0B-A164-8778ABDF257E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5628098","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5628098"}}}}}