{"entities":{"Q4944901":{"pageid":6974483,"ns":120,"title":"Item:Q4944901","lastrevid":47467012,"modified":"2026-01-01T20:03:57Z","type":"item","id":"Q4944901","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1420833"}},"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":"Q4944901$3810E6E0-C6B9-45ED-8E76-790469AB39F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5dd7c1d67e6587f377efcd9d44bed167a64ebbaa","datavalue":{"value":"0946.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944901$0D6E4997-8ECC-455D-A58F-A400C7AC1B4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4944901$56D72451-1DDE-4E4F-9D34-32F1E2E5FC16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1cbe6e62760c27153539f09b4f37f5e6a0a9487a","datavalue":{"value":{"time":"+2000-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4944901$4BD621D3-1096-44A1-A7F4-79F4105F7B5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944901$0C90757D-CB58-4218-80A2-71A9510950FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944901$DC36191C-A813-4150-8AE3-A0143AD58E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944901$46ECEB00-CD31-4292-B5C9-47FFA3291D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944901$F0536ABA-5573-4167-953F-AF55C8D41DF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba341b5b4de648b370774c864e1d399f528e19f9","datavalue":{"value":"1420833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4944901$2AF680FF-010E-4E0B-A937-04F6D5CAB393","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3102f4c12b5f51fd58e4f3324f426aac8a49e397","datavalue":{"value":"realizability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944901$9F8697B9-24F5-4F6A-8944-B4AAEC498C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944901$4978FCB9-704F-4F58-8CB0-99D699DB8EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a669267289346387d61bd9e26dae3171779a3d8","datavalue":{"value":"witnessing theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944901$BF59F7E3-E080-4987-812D-FF63A0991F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66beeb842d39dfcf440b621787d11a73cc138048","datavalue":{"value":"first order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944901$23575262-A2D5-43BA-9EBC-2E556CF8E4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4944901$61CA0743-2D8C-4908-B933-B368565333FF","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":"Q4944901$9D6F5FAB-154B-4BB0-AB41-C3E0CFFC1247","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14bd06838364e417808839d3cc7ceb7d065837a0","datavalue":{"value":{"entity-type":"item","numeric-id":1762729,"id":"Q1762729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3665546e195c9a4875cf977e22aa1f44b5d9d39","datavalue":{"value":{"amount":"+0.7996014356613159","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":"Q4944901$0D2FD2F4-7F7D-4A85-A1CA-E48FA4205DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76beca1e87233711001bf84c18fa7740126cc524","datavalue":{"value":{"entity-type":"item","numeric-id":3637195,"id":"Q3637195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f749b52c6779379bd7a3a5676de3cb16890c02","datavalue":{"value":{"amount":"+0.7833200693130493","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":"Q4944901$AA8511D0-88A1-4305-A9D6-FB7537C3AD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"863a6de8d24b1c2e795f32c30073bca5671a860e","datavalue":{"value":{"entity-type":"item","numeric-id":4876321,"id":"Q4876321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b0e7c69c7c19f5d87cab877079ba52161ad1509","datavalue":{"value":{"amount":"+0.7829975485801697","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":"Q4944901$2F29B69E-B767-434D-A363-B4129CEA7CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc1695ce0f65e0ac9ef904b565409539da1d8b1","datavalue":{"value":{"entity-type":"item","numeric-id":4281464,"id":"Q4281464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeaba7601b56e65d94cffd0ed201b06def98ccd5","datavalue":{"value":{"amount":"+0.7655953168869019","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":"Q4944901$84BE7DD0-EA6B-45B2-926A-58419D897217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76334a630af3ca52b264e7e13a6865d1bc39a6e8","datavalue":{"value":{"entity-type":"item","numeric-id":3408133,"id":"Q3408133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb761d685a1b95465a3b44bcc12656cf8aea191","datavalue":{"value":{"amount":"+0.7649545669555664","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":"Q4944901$A719F8B2-1CC0-4944-9888-A0367B3F5AF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4944901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4944901"}}}}}