{"entities":{"Q1577477":{"pageid":1588217,"ns":120,"title":"Item:Q1577477","lastrevid":71339775,"modified":"2026-04-13T21:34:48Z","type":"item","id":"Q1577477","labels":{"en":{"language":"en","value":"Higher type recursion, ramification and polynomial time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1501500"}},"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":"Q1577477$99A9A22E-E8A5-4636-9839-86BE16852599","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"254caebe159ffd9c6fc674d6a32fd95d198df768","datavalue":{"value":{"text":"Higher type recursion, ramification and polynomial time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1577477$6E2FDEE2-B7D6-4B3E-A8F4-CBB1B266DE47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05e13b1d57fb8b37859af5e7861e6fcee16c710c","datavalue":{"value":"0959.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577477$E67980D9-B954-4867-A91A-E32D33444A8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f467669576848aee707576919537d776523e6897","datavalue":{"value":"10.1016/S0168-0072(00)00006-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577477$24B1F29B-E1BE-4EA3-975F-415284CFD1E0","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":"Q1577477$5CD5CA91-8663-45C8-8204-E32E5C75B467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35dac4a82d7994982b6498e99b5b158ff9ad79c7","datavalue":{"value":{"entity-type":"item","numeric-id":688506,"id":"Q688506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577477$AEFEB826-5B94-4017-B2B9-052714CFDB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d89967a655d20159aa875a5d9fe1d91c6683b97","datavalue":{"value":{"entity-type":"item","numeric-id":234585,"id":"Q234585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577477$233E894E-05C4-4C19-9002-4A41FE6BA31A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577477$4D96F0AE-39B1-4564-882D-BC3E60838CE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ecffbcc861d67047b31e273d774ed7bc043622f","datavalue":{"value":{"time":"+2000-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1577477$0270C7EC-2EF2-406E-B13D-3503145566FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577477$904C6D60-B0A2-4749-9AFA-BBAF5C1ED13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577477$CFBFF2C9-8913-44C0-91F0-ECBB47FE4653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577477$536ED752-09BE-4579-A9E7-9A30D5998A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577477$DEA11A36-6D9D-4CB0-BD30-221CFBF1EF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577477$D380495F-46B8-4AD5-96DF-68DB627961C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577477$40197BBF-F3C7-4946-92C4-D06166FF4C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577477$CBAF187A-1F7D-40C3-8466-215E2B9D1C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577477$75A05E3B-188B-44F7-B8D0-506BCDA8A8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577477$516650AC-535B-4138-B363-3ABB216DD6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577477$311B3525-1B4F-43D8-9F76-5C0F44FD6365","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"843e00a44750c6a53bcb83be82e704478778bfc3","datavalue":{"value":"1501500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577477$044304A8-5D2E-4E7A-A27E-673759DAEA40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"711eb0cf8a7fbd2456999de50bbe84b19bf9fa45","datavalue":{"value":"higher type recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577477$1031FD26-23C2-43DB-9D2A-60954D126901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577477$CDE55061-51A9-426A-A2D6-6C6B0C5E789E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14acdcfcc4dd7d3a3e2b9c0a48a09050dfe20ddb","datavalue":{"value":"ramified recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577477$9E18616A-9A53-4851-A238-707A5135939F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ed18e75665574528a8ea0c82d162591a1bc5e17","datavalue":{"value":"polynomial-time computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577477$ADA43A66-75ED-42D1-82F1-DBCB63066FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1577477$AEDEEDEF-67B3-4F60-931B-D435D44C643D","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":"Q1577477$8A3A6C1B-6C72-4B12-A4EF-1004A3A1756F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942416bbb24094ad844c088479199c420a678b1","datavalue":{"value":{"entity-type":"item","numeric-id":1207333,"id":"Q1207333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577477$D4445B0B-8B77-4B65-BA24-16E03A78BE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0db8f176456719e78928de4b921f5c4fe60b2b5","datavalue":{"value":{"entity-type":"item","numeric-id":4268889,"id":"Q4268889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577477$416C8609-9A34-4479-966A-3EDE828389AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24767a8d698bfa7d4c473315d4d9fb022ab6caeb","datavalue":{"value":{"entity-type":"item","numeric-id":4035304,"id":"Q4035304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577477$3E345477-67A9-4CFF-B157-15BB10A7BCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e90f9104ea022c7422408156c4aea89597a34a","datavalue":{"value":{"entity-type":"item","numeric-id":3686043,"id":"Q3686043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577477$7E5B14A7-86C3-4BA4-B067-EC9C46ED873D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577477$E288E85F-7489-4A71-B6B2-4D31B3EB99F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577477$5D904D25-2338-43C3-B457-328837D49D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44cbf1fc2616a90273e8d3db1d96fae28ad400e1","datavalue":{"value":{"entity-type":"item","numeric-id":4218937,"id":"Q4218937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577477$F81E63BD-E718-4116-A4EA-642A2848713A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe478b1c9e3755ecb4683bf76c070eb4413865c0","datavalue":{"value":{"entity-type":"item","numeric-id":1407578,"id":"Q1407578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577477$3AC91892-7791-4236-B27D-ADCAFF726D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f848f7ae449a5336d670e35bbc9e05b41dc340f1","datavalue":{"value":{"entity-type":"item","numeric-id":4035315,"id":"Q4035315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577477$F59B0A68-FD34-4996-BF29-32977E30D1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f77e5b82d54a68d439526fcdd7274d218a5804","datavalue":{"value":{"entity-type":"item","numeric-id":4501154,"id":"Q4501154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577477$59DD3224-5F8F-475E-A658-DE03740F9826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0633baa2c22ddc2ddf3c89da84d2dc9ec96eb60","datavalue":{"value":{"entity-type":"item","numeric-id":4850553,"id":"Q4850553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577477$D1D03BCD-B5F2-40E4-A320-347D7815B134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca67479bb278acd288bf9b6ae95d144af849c33f","datavalue":{"value":{"entity-type":"item","numeric-id":4474861,"id":"Q4474861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577477$4C05BE94-BF0E-41FF-AAF0-DCF73981FD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a46b20ae0ee21789871d8e63f85f91d2a1e7cf0","datavalue":{"value":{"entity-type":"item","numeric-id":1112020,"id":"Q1112020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577477$09843265-F127-465A-ADF7-40BEDB227268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1577477$7F95CC17-F2E6-4137-87FF-942D379711C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0acb2e5acfd225d360b73621f93d7076514c952","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(00)00006-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1577477$187F2184-E163-460D-A82F-DD233C5FDFF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1303c8716f07532320f191022c07f634e36c2bfa","datavalue":{"value":"W1970954854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1577477$CEEC36BF-6536-40E0-B09B-3EFB9F7B8065","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b318658d3424354548d2470cb44344aae9784ee8","datavalue":{"value":{"entity-type":"item","numeric-id":1295429,"id":"Q1295429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d469c64b809f1de04c5a28038dd6632051eb3183","datavalue":{"value":{"amount":"+0.9142034","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":"Q1577477$E2583344-65D1-4AA3-AA5A-4F3FDF311234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd74f842a46aafb6bbb8a79aa6ee975a990ef8de","datavalue":{"value":{"entity-type":"item","numeric-id":4436023,"id":"Q4436023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc81c6190df3ac17816ddc11d2cb9c3dcf6998b","datavalue":{"value":{"amount":"+0.9010208","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":"Q1577477$8DE58DD3-D773-4BDC-9E49-773D7B8680C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5025f766e9db6dc973381fe543770a05462a48c6","datavalue":{"value":{"entity-type":"item","numeric-id":3507448,"id":"Q3507448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2a8cdedfa421ad2a90164f646aca3b80649195","datavalue":{"value":{"amount":"+0.893588","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":"Q1577477$5B170821-D361-4BA1-99CC-E3C0CCFD73D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4527932df073ad08e7b3b2849eaa6a256bc6aa0","datavalue":{"value":{"entity-type":"item","numeric-id":1207943,"id":"Q1207943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32edf6d5eeb4d78ef6f934cae1899ef0f261b853","datavalue":{"value":{"amount":"+0.88631964","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":"Q1577477$8856A25C-A91C-4614-8694-7AD3BC953D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ae2741e5afa2bf01abd3fc2036b4bb9e908a62","datavalue":{"value":{"entity-type":"item","numeric-id":3496329,"id":"Q3496329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de203541a5c92724b1e6b5e796427762e315cd2","datavalue":{"value":{"amount":"+0.88631946","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":"Q1577477$97479A16-F4A1-41C1-9D4D-3BF73D934621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ac77b185d1f99f4314535c68e02462f521e21f5","datavalue":{"value":{"entity-type":"item","numeric-id":5274767,"id":"Q5274767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da8afba763deac090773b0aec3075149dcb12b8","datavalue":{"value":{"amount":"+0.88273716","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":"Q1577477$DD32AA8C-EF53-4463-8C98-5EC0825B1581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789839ec723b13e6e705b490b47490f99b9bec94","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da8afba763deac090773b0aec3075149dcb12b8","datavalue":{"value":{"amount":"+0.88273716","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":"Q1577477$C79A42BE-A36A-4312-88FD-DDE8D89DF6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd13ecc08ede1839369421781a4862b25d63ac3f","datavalue":{"value":{"entity-type":"item","numeric-id":2179350,"id":"Q2179350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2830672910890babeb8647d7fc2de82f16f0987d","datavalue":{"value":{"amount":"+0.8811116","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":"Q1577477$42F551B2-C241-4396-8D26-5214DF2158B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0ae397e1f6cb1d42840dc2b18965ea92058d66","datavalue":{"value":{"entity-type":"item","numeric-id":4010352,"id":"Q4010352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f0a976d8a2f7c6998afb6ed82a6ae2612cd3ce","datavalue":{"value":{"amount":"+0.88063395","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":"Q1577477$6D483711-42C2-480A-B8FE-7C397660CAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7efc93c4e5a31985061ba140c483227d3cafe259","datavalue":{"value":{"entity-type":"item","numeric-id":1193623,"id":"Q1193623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f049af68c79d67d4eb5560b75e2f89dacd71f672","datavalue":{"value":{"amount":"+0.88034344","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":"Q1577477$3C3C20C1-7458-4066-9DF1-09575E00FE30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher type recursion, ramification and polynomial time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Higher_type_recursion,_ramification_and_polynomial_time"}}}}}