{"entities":{"Q3773876":{"pageid":5803782,"ns":120,"title":"Item:Q3773876","lastrevid":52182698,"modified":"2026-01-21T02:52:00Z","type":"item","id":"Q3773876","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033738"}},"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":"Q3773876$1FE13BEE-5A18-4DC1-8462-4CAA67C2F410","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c4aef56177a006f909a77c97c25c18ef4edf9ac","datavalue":{"value":"0635.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773876$093C814B-C5DF-4C1E-9D42-667D6B76FAE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6b929913024f5e29c5ce062084dc3d0e1a3509","datavalue":{"value":{"entity-type":"item","numeric-id":534693,"id":"Q534693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773876$9EADC7B8-CFBE-493F-8197-F1C18C6D119E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3773876$7BF03F4A-FB11-47B5-9B2B-09F43011960D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773876$697617B2-8A49-40B1-B209-AED56884169C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773876$74654EBB-6A6B-4094-964E-9796BE222404","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc6296d7259f2abd524af9f8419b5cf1acbc0034","datavalue":{"value":"4033738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773876$A8D2A5CE-32F1-4A42-A6D1-893AF894BDCB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773876$A6C260FA-23B8-4544-9E33-FB368C0E328D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01873808ed420453ae082d7e18447e172733687b","datavalue":{"value":"higher order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773876$B81A0B3F-A806-4F5C-B372-3302CEC2AA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"087c2f604ae4c468a39de631b9644f096f7167bd","datavalue":{"value":"second order functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773876$2EA1F51E-C571-4382-B6BA-F77B9194D919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c829157191c8e0904e8d225142396e425d995b","datavalue":{"value":"strong normalizability proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773876$381108CE-C1EA-4F66-83C9-C739BA7181C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c7ae64d579ee3a9f6b9ec57eeebb11f989ae4f4","datavalue":{"value":"applications of reflection principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773876$262DA473-A1AF-4AD9-BFA0-B74CEC9570BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cac67f985add53fb59aa8ccc1b6be5a4b268565","datavalue":{"value":"recursive ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773876$1C2A7149-0294-4DA7-93E5-3BD53B790B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5d4cb8ef9c8087dc0287c808f5e0ea1a0849d0f","datavalue":{"value":"omega-derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773876$E9135303-3CF7-4FD8-9782-8E1E9A4D30D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64bd6bd0ed38bd10e747989a06f5dba46eebf2ad","datavalue":{"value":"no-counterexample interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773876$93804B04-CEA0-46D7-9A59-EC3635CBCC0C","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":"Q3773876$D7687ADA-657A-405B-BC87-783F93B38AF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d51e70a1530049bfff9bf0a72445035cb456164e","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"133693323d1cdf6cb46d1527a62372c37466ec20","datavalue":{"value":{"amount":"+0.8154195547103882","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773876$66A3E2BC-F1E7-4615-AB03-B0F20201E9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a312d4e1389c3e09e85597897ab5ca5163858323","datavalue":{"value":{"entity-type":"item","numeric-id":3110202,"id":"Q3110202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27c5196d7310a2464a26ef75e3c50475068d771","datavalue":{"value":{"amount":"+0.8122943043708801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773876$5F66FC47-2FD5-414C-8183-761D91F4E4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75d5087b8325fa1c328b14556878a27ebf226c3","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0e83d2d3b04450ac75fc5b9b63a484cdc5873e8","datavalue":{"value":{"amount":"+0.8103013634681702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773876$3F14E629-851E-4BB1-892B-89B9292EAEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54114c895b388ede930d5c3b6348cedfebf6f799","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89d5458365e91a3c6f02b51ae1e72297055998ef","datavalue":{"value":{"amount":"+0.8053647875785828","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773876$7EFE78AF-E5F2-44A6-A0FA-4813C766F1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4596f4b9e3d72e9595f49910610584394c88f846","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d626c283eede2b7ac3bc40bd47252027dac12032","datavalue":{"value":{"amount":"+0.805198073387146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3773876$A62791EF-917C-45FA-8A20-F0F65FBB717C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3773876","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3773876"}}}}}