{"entities":{"Q3958433":{"pageid":5988338,"ns":120,"title":"Item:Q3958433","lastrevid":55093741,"modified":"2026-02-03T15:09:09Z","type":"item","id":"Q3958433","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3779290"}},"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":"Q3958433$BC5F7E8E-1F67-41D2-A306-DA95B0F00441","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02962f15659ea10f8f945f4ef1f3befcbb115add","datavalue":{"value":"0495.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3958433$B45B73CB-1E05-4160-B210-5D63EE8BAE44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe9d7ebd81431dbfaf15c876dfd6294bc4820cf","datavalue":{"value":{"entity-type":"item","numeric-id":1056742,"id":"Q1056742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3958433$5114C422-9C6C-4226-ADAA-B7B8B3F73E02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3958433$03329240-0A9B-4D84-9069-3024DBB64A8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3958433$E41321A3-E431-4305-8D4A-154A3F2A4855","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb3f5970fba52c12e4933d1749d33444b5b1860e","datavalue":{"value":"3779290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3958433$4A195BA0-535F-4CA6-9B4A-8105B86E7715","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4d6acf5b4a83076c2a9b9080c6668248069c055","datavalue":{"value":"restricted versions of Gentzen-type rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3958433$F2CDBFF9-14C4-4061-8540-A0C00B191CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6916fe340f58b9757a3775333a547be8eda738b7","datavalue":{"value":"cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3958433$5B701722-3D96-4C15-B9BB-8B8FEC69777E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ed38fff13b123c9b2e5f7c445e718cef7973b6","datavalue":{"value":"numerical terms based on Church numerals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3958433$510A57F9-6605-4E99-B3FE-0811D94D62BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23b717f0c417562c454ed084c50e61905d8bc1ef","datavalue":{"value":"numerical formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3958433$E7FF0490-6E8B-4C3D-AFED-5A4D51CFE558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8089146631499aa656ce34a91facbd40d25588e6","datavalue":{"value":"formal arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3958433$C594B759-5B95-462A-908E-67EB95163BB6","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":"Q3958433$090DF82D-5683-4622-91F7-020E27FF35C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3958433","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3958433"}}}}}