{"entities":{"Q4375785":{"pageid":6405384,"ns":120,"title":"Item:Q4375785","lastrevid":47000766,"modified":"2025-12-26T00:48:32Z","type":"item","id":"Q4375785","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114016"}},"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":"Q4375785$EA0AB50F-035E-43D8-8502-3A8177095DE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1573c029781b99f335b402f6ba967dbf75cfb419","datavalue":{"value":"0890.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375785$0DDB803A-4C9F-4BFC-B77B-38B41F2B62A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f680ab37822a66c306de184badf1c6b2f8f85485","datavalue":{"value":{"time":"+1998-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4375785$AC789634-2135-469F-B1CC-B5D0D6376165","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375785$13CD2A3C-BE0B-4BF3-9BEF-FC86F9AD4972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375785$A41B66AF-6CD9-40ED-AF78-3950C2185430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375785$712AB3C3-1DB6-4FBA-B90C-AF69C24304C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375785$629AB91B-16F3-44F0-86C3-713C4BC09040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375785$F5CFCE53-B157-45D1-A45D-4F376A1DE535","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"093251f1e8db85933a29ace13f20b30bacaaa92c","datavalue":{"value":"1114016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375785$39648154-390C-48D2-9858-2C575385A594","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3191a4ac50b51daf26a8d9ea6426fafa8a9926","datavalue":{"value":"ranking of arithmetic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375785$D70D04A7-E3B4-4B1C-9E65-4F4F69ACAF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceb038daf077e8be925f563693613abaaa6c0231","datavalue":{"value":"ramification hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375785$94142256-2731-444F-8561-556B5D735BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375785$1BC24E3E-B720-4D96-AB7A-7EF230EA0215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375785$C94BD27A-99BE-4FC5-826F-37D98C87B3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b74c02a4b5df854af76e5a4f022c8dc7f206b10","datavalue":{"value":"polynomial-time provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375785$32B7EE70-C2F6-462C-B825-E36BFF88D26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a39999d80740e49a5409c35323fbca9d1fefad","datavalue":{"value":"quantifier complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375785$D3A307C3-724E-4BC5-8FFF-8B8A39274F04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b3d86172c740d91a8f9b42ff37d533fbaaf192c","datavalue":{"value":{"entity-type":"item","numeric-id":757037,"id":"Q757037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375785$7F2D990D-8D5C-439D-BC53-C96071D436AC","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":"Q4375785$79801B85-F116-4E58-AC8E-F6513E676B0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"443326fb86460471ec1825c25c3faac1da2e5919","datavalue":{"value":{"entity-type":"item","numeric-id":4268889,"id":"Q4268889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4bd6deacbe8b03a96ce307f85ae35ad46b3ae16","datavalue":{"value":{"amount":"+0.7720048427581787","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":"Q4375785$9AFB985D-DF29-4E0B-97DB-BE049A6029A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7218391af29b6655894f713db1bb7ad2a517c5c3","datavalue":{"value":{"entity-type":"item","numeric-id":4850553,"id":"Q4850553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c81aaa3c1b9e1ea216bacf913da82a294f01ad","datavalue":{"value":{"amount":"+0.7535119652748108","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":"Q4375785$D41934F6-B45B-4510-9C92-13C37A477536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1771807eb2a5dbba6521e3828add60281d8c9f45","datavalue":{"value":{"entity-type":"item","numeric-id":4799942,"id":"Q4799942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82d7c868524bd427644340263f3e5a7c7793e496","datavalue":{"value":{"amount":"+0.74998939037323","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":"Q4375785$98E7BD27-4E05-4F7F-A191-04438945CB72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4375785","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4375785"}}}}}