{"entities":{"Q5316376":{"pageid":7345950,"ns":120,"title":"Item:Q5316376","lastrevid":48548878,"modified":"2026-01-05T04:43:05Z","type":"item","id":"Q5316376","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2204757"}},"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":"Q5316376$E869A617-E20A-43E4-B2D4-B5C6BFC9903D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5becccf82fa062cd1f7b97100222ea4ebb805cef","datavalue":{"value":"1095.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5316376$D76D313F-32BE-49ED-B5B9-2517B3EFC44E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34cb696ce5008e0ad8b0b39e02b98fb8b38cd33a","datavalue":{"value":{"entity-type":"item","numeric-id":194997,"id":"Q194997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5316376$65A80E98-39D1-4752-8AD7-1CABC3055239","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c894bdac83aa43f50754ddbf4f61412d1aa566a","datavalue":{"value":{"time":"+2005-09-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":"Q5316376$A95772F4-998D-4B09-9AA2-E39515D79417","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5316376$7073491F-4D8E-4DDC-9217-F9022C0AB6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5316376$77367168-1AA5-44F9-8F7D-794AF80ADF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5316376$2FE5B21A-9F80-4407-92DC-1309DFF971AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cddd710aa0fb7b73e238431bbda4d287d7bc7b0","datavalue":{"value":"2204757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5316376$92E6F281-0E19-44FC-89E2-B6E75818BD89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c34c2e8c5d0fb69f0d1e8e3e7dfa80780452cc0","datavalue":{"value":"predicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5316376$8ACF713C-F510-4543-A5FC-85C080D42001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55df525daeee306ce3ea7305f8de22d78ced22bf","datavalue":{"value":"metapredicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5316376$3EB72606-1268-4D56-85B1-27CF53084F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5795787683dc16a0e892761f65c085daecc3346","datavalue":{"value":"impredicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5316376$F6479BD2-CA7B-4F5E-AF47-D097A51A94F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54684db671f0d3e64c857ca0c72d920e6b63367f","datavalue":{"value":"Mahloness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5316376$D0BDA644-CD63-43D3-A4D4-BE746BFC9F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25dcf2bca089ae1a21433162d3822ac4375d0cc0","datavalue":{"value":"Mahlo axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5316376$582B4AE8-BA66-4902-9AA4-BEEBCA87451F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ef7d9e7fc9882bbae1db0036cc5d28c9b16662","datavalue":{"value":"explicit mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5316376$3ED37A1B-50A6-4055-BBBB-78775DF593D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6d0c9c43887e4608a7503bc3457ba500f8448de","datavalue":{"value":"nonmonotone inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5316376$5985F8DA-31AA-46E6-9ED6-BCA95F5ADDFB","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":"Q5316376$5A71F30B-D86F-4F5B-A9D0-E41293872A49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbc6b13b649fd11ca13ca8494c2c5b5c6788c80","datavalue":{"value":{"entity-type":"item","numeric-id":2747729,"id":"Q2747729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"800fad6303fa832ef2817c901742664dc40254a3","datavalue":{"value":{"amount":"+0.8216105103492737","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":"Q5316376$BF052AD6-6981-4E93-AE78-48819CA44606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"715dfc83428df757ebf108f9f594d982b63fc5e4","datavalue":{"value":{"entity-type":"item","numeric-id":1861330,"id":"Q1861330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b496aa5bfa201b996aff5a3844493e0ae59729e","datavalue":{"value":{"amount":"+0.8210222721099854","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":"Q5316376$6C8DF469-8CA1-45CD-80D0-F863C845F6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1cef65c62131f10994654048beb60025545828b","datavalue":{"value":{"entity-type":"item","numeric-id":5957853,"id":"Q5957853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f73797dac1735cd262f0f3c512771b15fe136ab8","datavalue":{"value":{"amount":"+0.8018985390663147","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":"Q5316376$F98CCECD-C3B2-463B-A0C7-4D726F8C52F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8567c3c3fa0d29bb2a7b7d1185d746657ce4cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5214792,"id":"Q5214792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f73797dac1735cd262f0f3c512771b15fe136ab8","datavalue":{"value":{"amount":"+0.8018985390663147","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":"Q5316376$01C1B5B2-2CE1-491B-B788-F17176212C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc7a2782e42da7f7e8460defc62c5e76774ac8ec","datavalue":{"value":{"entity-type":"item","numeric-id":3081647,"id":"Q3081647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48bb98fa0bda1b42d0ac8454bd071e1f2c5c8c15","datavalue":{"value":{"amount":"+0.7684924006462097","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":"Q5316376$BEDA5B16-73F8-492E-8DA4-9F2F4BB2DBC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5316376","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5316376"}}}}}