{"entities":{"Q4215631":{"pageid":6245232,"ns":120,"title":"Item:Q4215631","lastrevid":46650876,"modified":"2025-12-25T08:22:01Z","type":"item","id":"Q4215631","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1215494"}},"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":"Q4215631$9F1FCF59-984A-4D4A-9C3D-E8B99448DB9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bff89c7faf1fe85bd03d69464858ffe1480e085a","datavalue":{"value":"0911.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215631$6F5F2409-8A1B-4F85-8889-3E85CD8FCD17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74a7dcc6fa266a508e51192b94ce02b3c025b866","datavalue":{"value":{"time":"+1999-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4215631$A3A8D2B4-9DCB-4B27-A92F-D03C7A41AF2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215631$B881A5BD-779B-401D-875F-DB98C6510535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215631$EA288B74-3990-45E2-9AD9-0ECA7627D1FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66ae35ee5a20e4dba8fa9a56a6738d7c2150a6de","datavalue":{"value":"1215494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215631$21EB462A-51F1-4FEB-84D2-D922B982130A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ddc1a7f3009210f03cfcf424475c2eb8590b659","datavalue":{"value":"provably total functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215631$8451F867-058F-450A-9536-20F0C721A2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f44f4e8d74fe5c86f99ecc6e49fdb195bb59807","datavalue":{"value":"proof-theoretic foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215631$FB5983F3-2F5C-475C-BB64-BB8A1186034E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e85a61e7939ee6f14f83214f0f77882dcad4fc","datavalue":{"value":"first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215631$07FBAADD-8B91-4A8C-BF80-9F1F143886EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d30bccc3c773f6387fa27b8780b4cca02dfeb07e","datavalue":{"value":"fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215631$EC25AD5A-6955-44EA-82BD-06DEC4DED5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b90f802846dbf17eee6abc09357a4ec11a4f980a","datavalue":{"value":"relative strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215631$57BCC08F-7F4C-47FC-AA64-9AC646188664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e33771bf6a9110f787b95cf07b62f0b80f2dc1","datavalue":{"value":"bootstrapping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215631$1E9268B8-08C4-4750-B46F-DCCFA26828BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215631$C0F6F4AF-568B-4D1E-975C-F57AB0DE365E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215631$F204BE6B-E050-441A-8E00-9810F3237455","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4215631$D799186F-2050-45B4-A5DB-5C6EF822BA13","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":"Q4215631$A666BD7A-6BC0-471E-B042-4BE1D8D238D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ad6318561a6622f5c426ff760826edc269f8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23eb9dc5c779f18f4689a18ce3ec0440b1d624ed","datavalue":{"value":{"amount":"+0.8120693564414978","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":"Q4215631$20359218-EE76-4666-8AF4-44AAF109B762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ad98a19fee9729476e2d68f5a163382ec1631e1","datavalue":{"value":{"entity-type":"item","numeric-id":5273442,"id":"Q5273442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f2e93e648d7b5726b522f7d5f0ed88f2683e42c","datavalue":{"value":{"amount":"+0.7552630305290222","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":"Q4215631$237FE4A3-D392-46BF-87F2-D43F16A92202","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":"bf85b47b19ac2317f3189cdbaff904d962c03eb0","datavalue":{"value":{"amount":"+0.7499315142631531","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":"Q4215631$B7618B32-FFB1-43EC-A94A-22B1CDF90118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e38d87a41576350bc11313d34b474f32976283c8","datavalue":{"value":{"entity-type":"item","numeric-id":2322259,"id":"Q2322259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"557908db62e49a8ec3d99e2b491d77baae7c8050","datavalue":{"value":{"amount":"+0.7433539628982544","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":"Q4215631$45D812EB-0922-4227-A3E7-12EB15797306","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4215631","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4215631"}}}}}