{"entities":{"Q4312461":{"pageid":6342062,"ns":120,"title":"Item:Q4312461","lastrevid":41836840,"modified":"2025-05-08T21:39:49Z","type":"item","id":"Q4312461","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 683345"}},"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":"Q4312461$4F94C031-E603-4CA3-BBC5-862EC38883A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83c3220810a4656d2ea843c9438d2213cfca25d8","datavalue":{"value":"0810.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4312461$3E471B05-D1EC-4246-B4DF-F39D35619E0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52f52b4a74ff0437e7dd7eb61fa66e063e267d4a","datavalue":{"value":{"time":"+1995-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4312461$DB4BF652-60FE-4898-9727-92CA45DD08D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4312461$3E70207D-1157-4C2D-BAA2-A88BF518E354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4312461$1A94FB19-BFEE-4F30-9BA9-2CD62444C1BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfb5c730dbcd27fc64f4957350ab4d8bd803d4f1","datavalue":{"value":"683345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4312461$48C51CCD-A63E-470B-84CD-42DCDE8DAA93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18e4e4c5575f8a32a878fb6a5445c7528aa4e8ae","datavalue":{"value":"cut-free Gentzen-type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4312461$9963B3B2-9F8D-4472-99E2-ABD3CBD00DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4312461$3BECC8FA-28CD-420B-BAAF-CD2D97268F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a0cf77ac822c82f34614cd0b3bf097336e98b1","datavalue":{"value":"resolution calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4312461$B1879B69-5119-43E0-AABC-8A63827BEDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ecf22179de14910d76d13274acccfe5262c428a","datavalue":{"value":"intuitionistic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4312461$BA61F1E4-5BCB-45F7-9F40-F50DF0F1D46F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4312461$2C74F7A3-BD16-435F-A586-D35C8FD85E82","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":"Q4312461$3B1F7E9B-2B0B-4018-B4E8-7C6DDABF8DF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc88718a305d147397faaf7899d51ccdc2bb5ca","datavalue":{"value":{"entity-type":"item","numeric-id":4647496,"id":"Q4647496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1c1b640ddb700f81ead94ee78692a767e75d0fa","datavalue":{"value":{"amount":"+0.93607235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4312461$D1DB9D65-34C3-4D7E-9661-1D869852A61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c9c0b89f0985a5a9ef462c8303df29d9db47258","datavalue":{"value":{"entity-type":"item","numeric-id":4282590,"id":"Q4282590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba141f506b2dfed2eb86cb6608dc301424d18d35","datavalue":{"value":{"amount":"+0.9257318","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4312461$E3D9145B-F52C-4938-90EA-34BC6A4CD65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656bd16bba9708b05c3104eba01ba17e46f56c41","datavalue":{"value":{"entity-type":"item","numeric-id":1820590,"id":"Q1820590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544bf87335b6d12352e84b87aaa27f024bea00bb","datavalue":{"value":{"amount":"+0.9155927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4312461$E786E6FD-3A75-473D-B61F-15901AE13A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09766ec6d0256323a14dfa25ccc29b54f091194e","datavalue":{"value":{"entity-type":"item","numeric-id":3485886,"id":"Q3485886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ffcc9a9523e54616c5989d0f65619e7841f9d22","datavalue":{"value":{"amount":"+0.9128668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4312461$F1E8B990-4582-47FC-A48A-4D3A6404707D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9104d6efaf18f96b4552d536a849788e51577e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3824388,"id":"Q3824388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7784a0369a3f08592fdf298b4e5706f54dfb6e30","datavalue":{"value":{"amount":"+0.90983915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4312461$64C9DD75-0FC1-4057-B2DD-15E7A214B863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f7b269e781d4aa3c4ace2f7c3de9f877cc3c90","datavalue":{"value":{"entity-type":"item","numeric-id":4487263,"id":"Q4487263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6dd92ca71fe50e6ea8d5ea009f80bb83d824866","datavalue":{"value":{"amount":"+0.908674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4312461$CAEA95CE-6072-4901-8ADE-E9F98EAC99CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bfd9cacfb382743e4e8b8fba5485149f15e1ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3768867,"id":"Q3768867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab377a8a36f693d9c7a463853e0bfec3ac055777","datavalue":{"value":{"amount":"+0.9040437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4312461$82CC5509-C5DB-4ABB-901B-C1F073C519ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e5bb7ea79d58c5271f1615cc3d8d9d8d59fdb0","datavalue":{"value":{"entity-type":"item","numeric-id":4255505,"id":"Q4255505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7121e297630912d96dd8ebb34f907970ca91c0f2","datavalue":{"value":{"amount":"+0.90370023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4312461$36D070EF-6DB8-4798-8E02-B252781D8F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226ca6b8563252dc602290f45d5a3188fbacf2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10715c958b41e2b339c4e375f4039dbd966e6107","datavalue":{"value":{"amount":"+0.902488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4312461$DCE9BEEA-F52F-47B8-A0BA-A44C483CCFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af54e2880b1d9f1bb1a6f99406e59c4bdc2b79dc","datavalue":{"value":{"entity-type":"item","numeric-id":3211281,"id":"Q3211281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb9741fb955fc22ae5aa587b7c241edbb5a818f5","datavalue":{"value":{"amount":"+0.90119755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4312461$FEBA27C3-EA3D-4D56-B15F-D5C53897146D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4312461","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4312461"}}}}}