{"entities":{"Q3025192":{"pageid":3035908,"ns":120,"title":"Item:Q3025192","lastrevid":45279697,"modified":"2025-12-04T04:37:00Z","type":"item","id":"Q3025192","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2186968"}},"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":"Q3025192$17B5A817-79D9-4196-A683-BA30F6CA3044","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1eb664b50f5ad948a4fd7e23ef32bfa0955e4285","datavalue":{"value":"1083.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025192$0607AC06-547E-4A0F-BBEF-CEBC04AE373F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fb8c6d7991f5202e4a9f96d80547d6992e4ea57","datavalue":{"value":{"entity-type":"item","numeric-id":636309,"id":"Q636309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025192$F2D1BEFD-E6A3-46C8-87A7-A8CBBEF294A0","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":"Q3025192$229B1CAD-D376-496E-8907-3B2D306A636A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025192$267DB90D-D703-4F69-A0DB-2260494B74A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025192$CFC22ED0-8224-424B-8164-3A54D29C4CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025192$727F1079-0D8B-468A-8B01-ACE4F77019D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025192$83786FCF-35E8-4FF8-B0DB-470EBBDC994A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6e47d09c1e46f67c9f70e912bf8e12572845429","datavalue":{"value":"2186968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025192$17F9F00F-E3FF-4216-8EAF-6667DE73681E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025192$8C60C916-44CB-4AB3-B6FA-70353F4197FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025192$BC07907D-B77F-4E2D-9B43-F47E85DB262C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025192$29BA474B-F589-42C0-8679-69741AAEE273","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":"Q3025192$825B8C35-0DFE-4BB3-ADB4-6FCD5F548E1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3a9b5a72bb3482380ebe222b11e0a47e7ee5a13","datavalue":{"value":{"entity-type":"item","numeric-id":3530407,"id":"Q3530407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed005f84f9d1d2fee997556fce7599d829884265","datavalue":{"value":{"amount":"+0.897857","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":"Q3025192$C3870491-C378-4F7F-BE47-9D6F17D30B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f15e5c9ab71465b79d2ec17ced4eba42d5469f","datavalue":{"value":{"entity-type":"item","numeric-id":5486242,"id":"Q5486242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b989d5ba6dea16b782fe0c97dbfc272059e45d2f","datavalue":{"value":{"amount":"+0.8771454","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":"Q3025192$09F1EFD5-F7B2-498B-88A6-B085DBDD0A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8482c4068af10e6f6c0ac45811b435ffb323110","datavalue":{"value":{"entity-type":"item","numeric-id":4692081,"id":"Q4692081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"409b9ad6813282719e86e9bdb4707680a0dc5ba0","datavalue":{"value":{"amount":"+0.87319005","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":"Q3025192$FA609154-3EB7-437C-B61B-457C8FB034ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00629aaa5ad11cafe88524ca9e0e00ef8fc9cfc3","datavalue":{"value":{"entity-type":"item","numeric-id":2784778,"id":"Q2784778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b6e89d02bd3c350dc790a056029d41c95fdf9f","datavalue":{"value":{"amount":"+0.87076217","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":"Q3025192$7F56EB80-239D-46F9-80F7-6CDF54C03CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98786468ef1504942b6c4f21ac74d0e7856cd354","datavalue":{"value":{"entity-type":"item","numeric-id":4981449,"id":"Q4981449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"000019b4c5c665dd4749b1babeb34a2504279d99","datavalue":{"value":{"amount":"+0.8670887","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":"Q3025192$FB3EA7D5-5DC9-4688-946F-BFE1DC8688BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870f55aa8f9a6aca0b6c64ba06a6c809a05f2c96","datavalue":{"value":{"entity-type":"item","numeric-id":1121882,"id":"Q1121882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c7fc714a2ad44ba1d2c7f02044f53bc3bca51b","datavalue":{"value":{"amount":"+0.86680865","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":"Q3025192$98DCC9DE-3CD2-40E6-9947-9CA2CFA0E513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc61e88c63ba9c1db51611641f765fc7aa089a4","datavalue":{"value":{"entity-type":"item","numeric-id":5361256,"id":"Q5361256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdbef19d8c1f69af7d5fd25c4adfbb0d956bc7e1","datavalue":{"value":{"amount":"+0.8648127","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":"Q3025192$21E01EB0-FD2E-4D15-B2ED-291C10BDB98D","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":"f6037da20826c19f84122446a956306ec04c9ec3","datavalue":{"value":{"amount":"+0.8643967","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":"Q3025192$F8954A0E-038F-4F97-A088-EF9D6BB2BC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cabb97ca3616a58dcedc88bef6fc2bc7ebc46246","datavalue":{"value":{"entity-type":"item","numeric-id":3691651,"id":"Q3691651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06f10805cb35671aac431013565842520a444ac9","datavalue":{"value":{"amount":"+0.864367","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":"Q3025192$2269FE88-0056-4B9B-9DB3-790D93936A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5449d23acd92310c99e31994617633fbe5e5a66","datavalue":{"value":{"entity-type":"item","numeric-id":4283240,"id":"Q4283240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43507fd7a651f36380e19e028dd1b809ddfee3a3","datavalue":{"value":{"amount":"+0.8642738","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":"Q3025192$E6FA1A95-8623-4865-9D18-DF34B2FAA458","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3025192","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3025192"}}}}}