{"entities":{"Q3138835":{"pageid":3149551,"ns":120,"title":"Item:Q3138835","lastrevid":47196946,"modified":"2025-12-31T23:42:54Z","type":"item","id":"Q3138835","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 432708"}},"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":"Q3138835$195B4BA0-3441-4A00-9696-46B1CDD5FC71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8ad90e4ae8fa2d3ce2978c79d25c7b63ff832f3","datavalue":{"value":"0805.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138835$D7A186C8-8D3D-40D1-9E6E-565D7B983A91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7e064d8bf44e919533bcd03f615423e66998fc","datavalue":{"value":{"entity-type":"item","numeric-id":549206,"id":"Q549206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138835$A3B53BE0-FC85-4041-B100-019CB4B0F3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fbe49172b70054d929e5137c1186ec5713f7e5d","datavalue":{"value":{"entity-type":"item","numeric-id":478398,"id":"Q478398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138835$8D550766-AF5C-4796-8773-A1A6D3145497","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be385604d3b66e8d862a65c447d5af8aba333f6e","datavalue":{"value":{"time":"+1993-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3138835$FB3032D7-8D9B-487C-9F05-EBD67CBD19E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138835$9AB65EE6-2453-4152-B327-3924CFDC2DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138835$E7459D29-A42A-417E-A6BA-F53DD5214CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138835$DEF42519-1E75-44A6-B102-5A26FE3263F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138835$A2472CB3-469B-4D85-BFD4-CBC7A0F252EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e28f6a144c974e7b7560ebcad0719c0d1509866","datavalue":{"value":"432708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138835$E0027406-DAC1-4921-9541-C702AB667BD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138835$231E3A33-EFD1-4268-9E53-F80DF78403A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92e51fa732238809c6a3465b0ff5c440258aec32","datavalue":{"value":"many-sorted algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138835$7BAEACD2-7C2F-4DC4-98FF-3911D142A4DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138835$3B5745BA-9AD6-446D-8CD1-AE6AE8F105A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd25d51a0c87150a9e9536b89b61c52082dd3369","datavalue":{"value":"primitive recursiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138835$1861BE0F-94C5-4AE0-9E54-5B88C913A115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c1ab18b2b37f1192e838e5532e914ac9fbb11b3","datavalue":{"value":"\\(\\mu\\)-recursiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138835$64473414-8C0A-4879-AF3F-9B84B8357F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79357909a78baf44e3cff111a72e55c144928c06","datavalue":{"value":"formal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138835$48E2CDDB-B8CA-40FE-AD9E-6F62A0E4AE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138835$F5601E91-A021-48A5-85A2-ECF1FFDA1EC9","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":"Q3138835$9E082B73-78D2-4E2A-AB0D-52390FE74595","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"833670bd3bd088b706af305752b5050af0579839","datavalue":{"value":{"entity-type":"item","numeric-id":4038725,"id":"Q4038725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85d5144d6bcfd07417c61d99c1186b56311cbf1","datavalue":{"value":{"amount":"+0.9580585956573486","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":"Q3138835$51C73A01-DDF6-47C4-82F0-EEBF645139FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16461d437e263daf995ab78d470c490220a8fdbe","datavalue":{"value":{"entity-type":"item","numeric-id":3980817,"id":"Q3980817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71823a34d49f98b3af88f71b13fc2e33d492b248","datavalue":{"value":{"amount":"+0.9566710591316224","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":"Q3138835$63C2D0F9-3DBA-405E-A0A1-7D1CD4D474D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd94aae10bbf78faedf031b97d69106243d0f8f4","datavalue":{"value":{"entity-type":"item","numeric-id":5898856,"id":"Q5898856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94f7aa4f467dee764d741b02bb239dc043f53fc0","datavalue":{"value":{"amount":"+0.8665136098861694","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":"Q3138835$36A9F261-5928-4343-93D1-0C7847481526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7e461aa5cfafedc98f4d769a0da0bce7852d5d","datavalue":{"value":{"entity-type":"item","numeric-id":941429,"id":"Q941429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d6caf39bbdf83614dfedce9cb357fd578dd651","datavalue":{"value":{"amount":"+0.856250524520874","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":"Q3138835$5F83BE48-2F1A-4EAB-A825-29CDF962D8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e6b97beab6b9c0e4899c288c9d56b6ae605b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4036572,"id":"Q4036572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b5b155d211d02577209aaccf7cd366bd4aa8e59","datavalue":{"value":{"amount":"+0.747156023979187","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":"Q3138835$7ED01E2B-1AD7-4CD6-8085-CEFFDBB957D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3138835","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3138835"}}}}}