{"entities":{"Q3025175":{"pageid":3035891,"ns":120,"title":"Item:Q3025175","lastrevid":45279652,"modified":"2025-12-04T04:36:20Z","type":"item","id":"Q3025175","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2186953"}},"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":"Q3025175$6DB39C72-9170-47B7-8B8B-AB81539FA7C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cf7b9e2245a7ad7af8bd4617b783237ae6a4a6b","datavalue":{"value":"1070.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025175$517F2E31-1A8B-4307-B53F-39CEDAEBCB3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"02f98c1d19066d37c1ac6c941e4755630a99bf33","datavalue":{"value":{"time":"+2005-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3025175$487DF4EE-AA90-4931-8263-8928E84C8C64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ab0606e8ad60f91ba3ea7ca0b7280251cbfe5fd","datavalue":{"value":"http://d-nb.info/961696125","type":"string"},"datatype":"url"},"type":"statement","id":"Q3025175$4E9EDA3C-2BE0-4527-8536-7C04970EF19A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025175$7BE455A6-5FB1-4E41-8CD9-4BD8E395CF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025175$64F1CC77-CA25-44FC-BE20-0B30214419F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025175$C796C84F-CDCD-4BF0-B6AB-60679410F03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025175$67E9D90C-5946-4C4C-B131-6C551D8D535C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025175$50540585-BC45-4A0B-AE7E-FB6F0A2AB3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025175$C8141DB6-97DE-4444-B7B0-772942BEDDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025175$D0F1B857-858E-4EF6-B1E2-CADE86745FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025175$A3F01D0A-A4FA-4903-BE84-50F9BDE7842A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025175$7405A9FF-E01F-46FF-9213-1D4B66F17280","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67908eca61b5d7216f9c44411a660601ff324872","datavalue":{"value":"2186953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025175$3EFA463A-0C3F-4BAB-A73C-FA423B25C66E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af66920e4329b19aea06a17f7ca5b9fe1f327ec3","datavalue":{"value":"finitary proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025175$C67FC6F2-CC88-47C4-8062-FC2F85EA4A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025175$C66A4A4A-023D-4C93-9A4E-0EB49622755F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"238213801622615ca9e6501d82c65fbedd7d40c3","datavalue":{"value":"impredicative theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025175$503B4F3E-8E6F-4512-9989-E0C2EAFD1A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e44654b75d6036d3dd5605e8ee2f87d19baa1d9c","datavalue":{"value":"denotation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025175$30F8DBDE-AA01-466C-8D3C-64AFC2C35715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec765a026ae5a3fdfb19263b408fb41c6220630","datavalue":{"value":"infinitary derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025175$F4E30AED-0423-4B9E-BDDE-F08518B14BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99702c6c3dca09123f4dd0aa4b3fc9393be3c295","datavalue":{"value":"Kripke-Platek set theory with \\(\\Pi_3\\)-Reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025175$13379755-2221-4B80-ADBB-883BEE905BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025175$26E2F455-E9B0-4F28-8C8F-DB26941EF897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef1059ded76113e8a55895e9c6444f3ab0f16cb","datavalue":{"value":"primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025175$819ED4DE-2B84-4E06-A638-DC2E29B6CB58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6575cff51975739d551f57056395ae004f63ff1a","datavalue":{"value":{"entity-type":"item","numeric-id":2503335,"id":"Q2503335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025175$74E8696E-C29E-48DB-A5E0-1F8E51D0B842","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":"Q3025175$8B87B127-3983-4F57-B048-159DB1AE707D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d723a7bd843e16a62d645f15b0e50b31fd3cfea0","datavalue":{"value":{"entity-type":"item","numeric-id":3346304,"id":"Q3346304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a234b29e9fb56e60a5650144545f29731d58486f","datavalue":{"value":{"amount":"+0.8759101","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":"Q3025175$C90A9AE2-2D22-4652-A312-9438DBAC1C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e58f71ef4cef6805ccb4fd6554587f9f39ffe76","datavalue":{"value":{"entity-type":"item","numeric-id":334991,"id":"Q334991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"242c38d83c2834e2d2ab695e592c3485930b0831","datavalue":{"value":{"amount":"+0.8665983","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":"Q3025175$031EBB46-5629-4E3D-ADA5-78FC434A05C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa127f910231119fab64e7cc4cf1642f1d242e7","datavalue":{"value":{"entity-type":"item","numeric-id":2425348,"id":"Q2425348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dbf7b640a28cf8ffa095131097d24a4fa27c97e","datavalue":{"value":{"amount":"+0.8652456","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":"Q3025175$9E496589-B250-4A11-9B3A-6378B04EFE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27081edebe8529d76e0d99b7dc46dc143820f47a","datavalue":{"value":{"entity-type":"item","numeric-id":4032884,"id":"Q4032884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ce2683203bb0cd9b9ecae73e2c33bac18752e2","datavalue":{"value":{"amount":"+0.8604562","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":"Q3025175$F8B3BEB4-02F3-4A47-99D3-A52DED5C5B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27a387f3f0de42f173c66db4b10c408b4109f2b","datavalue":{"value":{"entity-type":"item","numeric-id":1887655,"id":"Q1887655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9bfc103da906c2adf049120e044ceeaf2447097","datavalue":{"value":{"amount":"+0.8602982","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":"Q3025175$37645A7B-2DFF-4220-BBA1-F6E29B64E252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1211c8987a457bb88759d68203cc6780d138d85","datavalue":{"value":{"entity-type":"item","numeric-id":5361255,"id":"Q5361255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc4c32e288404cb55b2f477a2c96f4c97248572","datavalue":{"value":{"amount":"+0.8576287","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":"Q3025175$6E13A72D-83C3-4DD8-A37C-9E43191E363C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69cff9d2b285c577d74e20a36b00749fdaa88c18","datavalue":{"value":{"entity-type":"item","numeric-id":490665,"id":"Q490665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf335a8ad2a75e856d54a4d0576a5378fd424a2","datavalue":{"value":{"amount":"+0.8557072","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":"Q3025175$733D3322-004D-4126-BAC8-5A85C4A4BC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eafe194b076115a80e9776a4afbd2357b70ba91d","datavalue":{"value":{"entity-type":"item","numeric-id":1577172,"id":"Q1577172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e7f8183e66051b94dc932e230f5da8d251f5b1","datavalue":{"value":{"amount":"+0.8511838","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":"Q3025175$6CD36B77-6FE7-40BC-98FB-60658953C275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f0f1c32dfd86ebebcb2fc47c14fa52ef08fb35","datavalue":{"value":{"entity-type":"item","numeric-id":1344280,"id":"Q1344280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edc5a71bb94a91824b1a0474afd292c7d47e38fa","datavalue":{"value":{"amount":"+0.84564674","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":"Q3025175$502AAA21-8DD8-42F0-8DC5-999EFA7F5307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527456668c396996d12e5016f26cd8b569b7b342","datavalue":{"value":{"entity-type":"item","numeric-id":5696302,"id":"Q5696302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36cdd46a48aa1776e937f401e23b2456eb998925","datavalue":{"value":{"amount":"+0.8455062","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":"Q3025175$205D767D-9314-493B-B809-B70C83123433","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3025175","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3025175"}}}}}