{"entities":{"Q3140634":{"pageid":3151350,"ns":120,"title":"Item:Q3140634","lastrevid":47202931,"modified":"2026-01-01T00:07:16Z","type":"item","id":"Q3140634","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440477"}},"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":"Q3140634$9E630331-0122-476D-87EB-2E8B31FCEE61","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a926c2ddcc1edf7bd5349d6c489f72c9a11e736f","datavalue":{"value":"0799.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140634$AA751EFE-F6FA-4177-95D7-2FDAD6C3ABAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140634$9E8AE399-A0E1-4BEB-A249-F10C141DFBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"057136d60f841fac35f8dec23b81e4925462b1bc","datavalue":{"value":{"entity-type":"item","numeric-id":768306,"id":"Q768306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140634$7D4A162D-E6A5-4254-AC18-58459EED357C","rank":"normal"},{"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":"Q3140634$D9221051-0F70-40FF-94FE-E1F64654F16D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"205acd83874aa8c2bf307fdd663ecc3b6dbd6a56","datavalue":{"value":{"time":"+1993-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3140634$12A38D96-D14A-49CF-B07A-840E1EF69E80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140634$44623F7B-2005-4B94-ACE5-A40547ABBDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140634$74FBE4D0-B09F-47DE-8906-30555508F085","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3c49f7d4a2c019d60eb276c581f803eceb81029","datavalue":{"value":"440477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140634$8AAE1CEF-84FC-4C70-89CA-34ADD9AFD3B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6565bb0a571b022d5252c506dd22add675895af5","datavalue":{"value":"fragments of bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140634$49B11378-88D8-4FD1-A123-D749B0F2C699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e35afb24aaae354b38e675b5c9e498530dbc66b1","datavalue":{"value":"definable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140634$AB7F2539-9269-4AC6-9E37-A3AB01757214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ddc1a7f3009210f03cfcf424475c2eb8590b659","datavalue":{"value":"provably total functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140634$096C1BBF-9F37-4B45-AB23-37DCCCE86818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8fbcb5bd4fad81a4c9ac6f08b895c12a63f5aef","datavalue":{"value":"witnessing theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140634$11872F4E-63FE-460A-A97B-8A0BC37FE6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d83c0141a374ed2e054ebffd40fdcc576c0dab7","datavalue":{"value":"conservation results","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140634$DD5624E6-828D-4591-8D3E-C1A03755759F","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":"Q3140634$2D39E57E-6D92-4357-B4E8-36FF6467420E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cda04cbec2569998fe11424e5232522bb0942fa","datavalue":{"value":{"entity-type":"item","numeric-id":1125060,"id":"Q1125060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a09b702c3f36447a4a6751b776317ef624e9692","datavalue":{"value":{"amount":"+0.8156941533088684","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":"Q3140634$D7E87830-862B-4FBE-9B8B-4719C0E9DA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993509a33532914918307100a319a6c6d917eda6","datavalue":{"value":{"entity-type":"item","numeric-id":3137488,"id":"Q3137488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a09b702c3f36447a4a6751b776317ef624e9692","datavalue":{"value":{"amount":"+0.8156941533088684","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":"Q3140634$4630934D-69CC-4F88-BFE0-069052E9391A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191d14c45953ad66f115a4b6e20a3dd3dec50caa","datavalue":{"value":{"entity-type":"item","numeric-id":4032632,"id":"Q4032632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4508c2bd6e3fabb8a71fefe7f614268c17737b15","datavalue":{"value":{"amount":"+0.8149295449256897","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":"Q3140634$31373A0E-FA1C-4102-8DF9-1E0EFB1D7778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d4ee7f4bda871da19ff0ed7838d57c1585ecc7","datavalue":{"value":{"entity-type":"item","numeric-id":535152,"id":"Q535152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eda018d5c1f422baf4fb1eacc14e4fb87247019","datavalue":{"value":{"amount":"+0.7900931239128113","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":"Q3140634$B1BDAFE2-4A84-4F3B-81D9-09787DE82EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c4391ef12e51c3ce2230d0e5e03d87c41a53878","datavalue":{"value":{"entity-type":"item","numeric-id":3794177,"id":"Q3794177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2278aff9faab0f73b6e9b83245cb4b26508ad304","datavalue":{"value":{"amount":"+0.7861208319664001","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":"Q3140634$2B5D84A4-719D-42C0-80A9-CFDEE0C8D571","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3140634","badges":[]}}}}}