{"entities":{"Q3757904":{"pageid":5787810,"ns":120,"title":"Item:Q3757904","lastrevid":51774929,"modified":"2026-01-19T23:30:36Z","type":"item","id":"Q3757904","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4006252"}},"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":"Q3757904$29783162-E5E1-4800-9B19-504FF6B060A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97c9887f9f7ae69be85ae5206596d0cd4dd170d3","datavalue":{"value":"0621.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757904$11A8708E-FA08-42C1-AC95-8745F7C3C1CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"156c797a905a5f3fee298ee2b9f132ba806e98a8","datavalue":{"value":{"entity-type":"item","numeric-id":455764,"id":"Q455764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3757904$584D990F-7768-4F30-8CD8-D404F73FFB35","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":"Q3757904$EF77AD4B-BC38-478D-8F0E-E71E992B42D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3757904$485670FF-8C0D-465B-8F7F-E9B5343BC43E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757904$CFEE302B-6A64-49E3-A536-C1D0E4C6F06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757904$CE4F5D7B-398E-4E14-9245-2477A102B12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757904$A4805AB5-5410-4D79-A1FC-B7FA5E3773AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757904$5790C12E-780C-4902-A1DF-D8CBC1C827E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757904$B785FF8A-767C-4EC3-94BD-42531777B030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757904$88632FCA-138F-44DE-9E4F-7711E760F7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757904$A395F1EE-BA6B-4401-B13D-1AC3BF05DA77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ad504ce8bacb0bd097c8ca2d863e94c361085ca","datavalue":{"value":"4006252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757904$8BF75E0D-8539-4213-9A46-59C74579D68B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f3b6bf031d118613c1b72bc7714072292449639","datavalue":{"value":"cut free Gentzen proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757904$BE63892F-225A-40CD-A3A4-14ADAD04EC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0211e7aa50a991b0482aa562ee45e9cde215aba3","datavalue":{"value":"many-sorted arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757904$F27E608C-5740-4EFF-B1C5-AB0F26AD5AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938fde2a31a53aeb2248bb310f6d1480a15d3862","datavalue":{"value":"number-theoretic function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757904$8EF78EF3-0D7E-4333-A2A9-9F6842BE24FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dd6138e4c54cbb9b0e37f97b8864f20668f7a94","datavalue":{"value":"deterministic time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757904$CACE5DB8-54AE-4FC0-BB2A-82E62F2D8A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b87a37264703e1c2e149473e022858f831633b8b","datavalue":{"value":"non-deterministic time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757904$E92C48A9-0284-4C17-9E52-7B2339AB0E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94eb22cef142cd94fafd7e29182c87453d09d9c6","datavalue":{"value":"computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757904$EF6F4FDE-B5CF-4169-BF7F-F22B1B3F7395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47486149fd8faf3012a760150ae5439c13c647f4","datavalue":{"value":"Kalmar elementary","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757904$187340D2-C39D-470F-AB0A-3DC456B83A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757904$848483FE-B867-4C41-B2C3-58145AAE3E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7537b2a451423156e349b8ffb64afa478e0e88f","datavalue":{"value":"normalized formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757904$12704178-2DDE-4ECB-AB86-1A96442E6E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d12e51f7d2438567b51bfce46972f6255ef9f3","datavalue":{"value":"exponential time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757904$DD6D1AC7-ED64-48FE-909C-F35BF82B1785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"815cf73a3c97518056017bbb37ed7e2c941269cd","datavalue":{"value":"provably recursive","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757904$3788BD70-6C8F-46EB-ACD3-DEBF6A9DB196","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":"Q3757904$38B014E6-AA6A-4C79-892F-0156EA4ED770","rank":"normal"}],"P1643":[{"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":"970179303cb8a15573334de629666a2f50e6a489","datavalue":{"value":{"amount":"+0.7844097018241882","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":"Q3757904$E0FE49F1-67B6-4E58-807B-9DE9DD56885F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a126a7a1e5bee29b380fcd6748926c7a78956736","datavalue":{"value":{"entity-type":"item","numeric-id":2843916,"id":"Q2843916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9e875a52e46e4296faa86f788b887e206988b82","datavalue":{"value":{"amount":"+0.779889702796936","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":"Q3757904$C0053EDD-5348-46F2-B1A3-DB88D81BBA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65561116870c1e9907044afc55b9d16fc21e77f1","datavalue":{"value":{"entity-type":"item","numeric-id":3140634,"id":"Q3140634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b10605641bd46824ecbdebe0646f841d1fc208","datavalue":{"value":{"amount":"+0.7797591686248779","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":"Q3757904$4DFA6C8E-F6CC-4ED9-A683-92475AABED76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dad1c5ae3bb996161fba016d7715003cf239056e","datavalue":{"value":{"entity-type":"item","numeric-id":922540,"id":"Q922540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472e9c13eedc79dc42a8ccd89afb16f22dafd0bc","datavalue":{"value":{"amount":"+0.7776139378547668","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":"Q3757904$8ACAEE0F-F290-4A85-A1D5-F4428152CC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a781a8de00042e417f3655ae8d4e9e983ecbe813","datavalue":{"value":{"entity-type":"item","numeric-id":3487327,"id":"Q3487327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c071f069a8a61653a151690bcf9a94f531ce74","datavalue":{"value":{"amount":"+0.7677827477455139","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":"Q3757904$FABFA711-7324-4AEE-8CFA-067411852ABF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3757904","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3757904"}}}}}