{"entities":{"Q3748274":{"pageid":5778180,"ns":120,"title":"Item:Q3748274","lastrevid":51669821,"modified":"2026-01-19T09:33:29Z","type":"item","id":"Q3748274","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3983152"}},"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":"Q3748274$DE5FEE6B-1495-45EC-B25C-287CB871F3E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c52593623046bc19b8f748ee581738cc9974bd40","datavalue":{"value":"0608.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3748274$C8E97FA0-547C-4E89-9A4E-F65A86235C7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3748274$EC7466F0-E772-4367-AC6B-B73B3F5B0BA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3748274$DFA5E697-0826-49FD-ABCD-99E7AF896E70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e80141caac476231c7b7e2b9719eef9177208f2","datavalue":{"value":"3983152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3748274$6212C1DB-B5DE-4C5D-9E26-CFAD09CC1D2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"711eb0cf8a7fbd2456999de50bbe84b19bf9fa45","datavalue":{"value":"higher type recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3748274$57BA2C92-A6BF-441C-B729-46E85FDFC2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b2ed3c130c30bac7174fa9b54a06645cc1227f","datavalue":{"value":"computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3748274$23D29CF2-FB23-4875-92C6-21D1CC0EC835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88063ce57740f66ff89bf29c150c4e8d013b19e9","datavalue":{"value":"recursiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3748274$EC2A1642-D242-435F-BBF3-748DC299CBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"846b9022dd0612a28877b3a884af288c19ab5d35","datavalue":{"value":"functionals of finite type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3748274$E79C3D02-BA35-4721-A75D-D52BB11416C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac873341ab34d6db98676ef037e18583cae25841","datavalue":{"value":"oracle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3748274$993D7C6B-4201-4729-B643-E74043E7FDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3748274$38B2B1D5-2E96-4E37-B992-A97FDCCE5294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765b8ca9d511ca8c0f0cb0c7beba5803d2148175","datavalue":{"value":"unimonotonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3748274$B70BD3CB-EC8B-4AC9-8ABC-DD0115E62511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4f58e48ca395ba8ef6f53040a02ed9789c603a5","datavalue":{"value":"recursion theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3748274$F16CDEE1-7D81-420E-94B2-28387AAE3F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68751e2e49ad004176597943669bdecaf268a1dd","datavalue":{"value":"substitution theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3748274$37FD6DE1-A87A-465C-99EB-075546FCEECF","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":"Q3748274$BC83BC4E-2EA9-492E-8379-5EB12985AD31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dd5efd936092dac8d066f9bdade09520dc841a4","datavalue":{"value":{"entity-type":"item","numeric-id":3978437,"id":"Q3978437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da36f1ffd420cfc1d60d3504948b177214484e3","datavalue":{"value":{"amount":"+0.92504734","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":"Q3748274$F6334793-4AFF-473A-B4A4-DD01D7D609CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fbb23a6bc22785f7c094be5b35a0e9d47332e58","datavalue":{"value":{"entity-type":"item","numeric-id":3689176,"id":"Q3689176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abab0a3a26e9f28f132ab3f965254a078f461126","datavalue":{"value":{"amount":"+0.92003","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":"Q3748274$B8F8FD00-99CA-45FC-8BE7-F11BDAF8CEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93a1e90e8ce582084fc2f1f0280ce23de387934e","datavalue":{"value":{"entity-type":"item","numeric-id":5111189,"id":"Q5111189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"954fee45d8adb0fa4f743dc48a411c4be03a9a54","datavalue":{"value":{"amount":"+0.86411536","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":"Q3748274$2F08A4F8-00F9-4253-9A75-969EF2BA68EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1dac322026b89d046be98d19485406a9f61e53f","datavalue":{"value":{"entity-type":"item","numeric-id":3011172,"id":"Q3011172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"888d14e16bd1fd5554889a0d1775cbf6f3f3380a","datavalue":{"value":{"amount":"+0.86384445","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":"Q3748274$462D1910-E184-4931-AFC6-D1068457154C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b39e27de44693e508f5b625ba99535bbcd7ee46","datavalue":{"value":{"entity-type":"item","numeric-id":2892672,"id":"Q2892672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966e87b51c5ab60cc73a4089e81256bc6118e030","datavalue":{"value":{"amount":"+0.8576927","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":"Q3748274$883D2DB1-D7C5-40B6-BD48-FE6CBECECFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72cdc96fa3ad2a22c3f007fc23ed67bdfe00719c","datavalue":{"value":{"entity-type":"item","numeric-id":5145682,"id":"Q5145682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c976b3815afb0789bdc55a91bdd45ae0f8303e","datavalue":{"value":{"amount":"+0.8517674","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":"Q3748274$80604BC7-9A69-45F3-972A-55DDDDC3B62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314c66d6b232c6165f59e555df23aa4a50b736f6","datavalue":{"value":{"entity-type":"item","numeric-id":4513589,"id":"Q4513589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1abab628bb880d6aea2b247e8e726d2f15034278","datavalue":{"value":{"amount":"+0.84776354","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":"Q3748274$A90EFFAD-6216-4FE4-96BA-9DF476E55145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c8e819aeea690e53fc3f2f1660907cdc845c42d","datavalue":{"value":{"entity-type":"item","numeric-id":3106052,"id":"Q3106052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3393acb1a413721e10750811b1fbbcd9cb2ab87f","datavalue":{"value":{"amount":"+0.8469284","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":"Q3748274$2D79027E-EDF9-4F4D-973D-A958B7634CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70ff12b5ca4231510e7e2d596105961afe3354b8","datavalue":{"value":{"entity-type":"item","numeric-id":1650330,"id":"Q1650330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02ae3501d7f9848467cefa61f619b5da457d393d","datavalue":{"value":{"amount":"+0.84536004","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":"Q3748274$7DC04132-B616-47F7-B0BF-0F439805345D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95165184f8f6c1b03eb5ce5044df245a5d95911","datavalue":{"value":{"entity-type":"item","numeric-id":3557861,"id":"Q3557861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e68335408bb1f8d16882fc99afc52229309dd412","datavalue":{"value":{"amount":"+0.84449923","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":"Q3748274$389FDC88-2534-4786-9596-9C19C1EACA79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7fdd3d6b9cc141f6d005556f1ba7c68d933a429","datavalue":{"value":{"entity-type":"item","numeric-id":6672169,"id":"Q6672169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3748274$5B1D225B-9978-4189-AF05-9F86E9612295","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3748274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3748274"}}}}}