{"entities":{"Q1193623":{"pageid":1204372,"ns":120,"title":"Item:Q1193623","lastrevid":66455874,"modified":"2026-04-12T10:11:27Z","type":"item","id":"Q1193623","labels":{"en":{"language":"en","value":"Characterizing complexity classes by higher type primitive recursive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64916"}},"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":"Q1193623$B89A658C-1EC0-4B9B-90B3-436AA800D65A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d83c969defa3449a86d3523f165fc9bb6d8e29f","datavalue":{"value":{"text":"Characterizing complexity classes by higher type primitive recursive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193623$91458065-845F-4B40-8F43-CB96986058ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f3abb7e7acf14b51415b1fc98fa27d7e7bb7441","datavalue":{"value":"0779.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193623$A167DDCC-BCBA-4306-BE3C-B002AE673E06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d59fb229926d50b73f6f808f6156730c53024426","datavalue":{"value":"10.1016/0304-3975(92)90363-K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193623$29AC5A7F-1C52-46E8-93E1-9D95FD27959F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f77b99534bc776002bbbb76fab00244081288fe","datavalue":{"value":{"entity-type":"item","numeric-id":676450,"id":"Q676450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193623$372D911F-C47B-4355-AF8B-4A4755A5031F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193623$C8D5D6B7-18B1-4C6E-A807-BA7E47F730EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193623$A45FD6D0-4AED-4774-B58B-F9AEFDC7EDD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193623$D90B9651-84F9-4405-B906-3FE0A969CD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193623$E1235277-616E-4F0A-9DAB-48E201630151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193623$53B00860-57D5-4CE0-A4BF-A6460FF68B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193623$8C438982-31BA-4C3F-ABFC-4002152A28AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"664b643aea023d456bfc0cd69c0f2f61bb7a6f6d","datavalue":{"value":"64916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193623$F0799442-2FC7-400C-B571-D7BFB61456DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e034123018ef22ca7db3e862cd27cf63ea58375b","datavalue":{"value":"Higher type primitive recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193623$1973D0A8-84FA-40CB-8C2F-FE276F84490A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9222b45683c57a19ca10d74cc6b57ff0bbc1572","datavalue":{"value":"G\u00f6del's system \\(T\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193623$75BE2E2F-AE49-423B-8876-A28FDA08A4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a02897762fcc7836ba62bba69816254b8b94b2c","datavalue":{"value":"first- order functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193623$34E4D06C-7EEA-4A47-A49C-477D66971AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63c92148937c4cf2532bacf434e45b0382fec84b","datavalue":{"value":"infinite syntactic hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193623$C43E3406-882B-451B-9252-22E6B2ADA6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1f9cffd18fe4bc8fecd35eb209e3dd8c324b86","datavalue":{"value":"finite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193623$B0BB0BDB-B0FE-4DAE-84CD-C80B4D763531","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193623$50F19F24-01E4-4896-949A-F7E5F9A88534","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":"Q1193623$9AE13F3F-22E3-418D-9624-261812F454B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193623$FF989A23-007D-4A5A-A4B0-0EAE3F60630C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a01c368ef87c2cc53de791143b7ef30a44ed0575","datavalue":{"value":{"entity-type":"item","numeric-id":4068706,"id":"Q4068706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193623$2EDC0B65-8D44-46B1-A4C2-4C68B800D26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3886086f660dbda3acc5f15fa739af2112c593b8","datavalue":{"value":{"entity-type":"item","numeric-id":3496329,"id":"Q3496329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193623$99A74864-22A9-42AD-9642-6F87A01E28FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f4960f4f2bc445e76c8abe365e5b39258cbc15b","datavalue":{"value":{"entity-type":"item","numeric-id":3979266,"id":"Q3979266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193623$C306DFCE-A0D9-4E41-90A9-5BB8D8E12898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632317fe51438065bf57941f71730a4664ec3cc8","datavalue":{"value":{"entity-type":"item","numeric-id":3758820,"id":"Q3758820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193623$5B1FDF56-592D-4149-8462-BB51A4960128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4afd0b3b0b8757574f62e3ae80a63d3876f24e","datavalue":{"value":{"entity-type":"item","numeric-id":5533181,"id":"Q5533181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193623$A9157F10-5EEB-498F-92D1-E08E95A4FE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193623$0984926F-CA88-4F77-9C24-22CEFA753341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66a3e55250d4ece8eee47871a2821f80e6238b0a","datavalue":{"value":{"entity-type":"item","numeric-id":3902993,"id":"Q3902993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193623$4D0F36B9-3A60-49FB-8F53-94708E16AF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c59bf00a70c2cce6357ba2427fb74188016b991b","datavalue":{"value":{"entity-type":"item","numeric-id":4079601,"id":"Q4079601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193623$FD482906-E532-436E-BE2E-6A5BD15B2B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"470c3a40cee7ac4ce767b9c3250e949714f8c1b6","datavalue":{"value":{"entity-type":"item","numeric-id":3949042,"id":"Q3949042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193623$D8E54376-15B0-415A-B7DF-5057E0BC9592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4d67b53a17dd07831a9aaca5b0909b8fe384e7","datavalue":{"value":{"entity-type":"item","numeric-id":3785901,"id":"Q3785901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193623$A4105775-2EA7-4E53-89E9-36BFAA89BD90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"165e9cc679549ec0a5999833588c3c3c16199cd7","datavalue":{"value":{"entity-type":"item","numeric-id":3203014,"id":"Q3203014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c4d8dc50fa48e1e59386f0d616f8bca562a907d","datavalue":{"value":{"amount":"+0.98297119140625","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":"Q1193623$118F0EBE-DDF2-4C7C-9263-33276F50A09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4878900afa4bd7161a02cacf2d66a284bf742b20","datavalue":{"value":{"entity-type":"item","numeric-id":3979266,"id":"Q3979266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a4bab82aee62b0546d4c72b1077317c7c35be2","datavalue":{"value":{"amount":"+0.97811096906662","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":"Q1193623$101B0C42-E7BF-4B52-8655-14ED7D1D5A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"716097ce76445ff5dae18ad8efe9b23276673ab5","datavalue":{"value":{"entity-type":"item","numeric-id":3804171,"id":"Q3804171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e913f5bdb9069e1a0be5bf98e9e620a52a75a6","datavalue":{"value":{"amount":"+0.9762417078018188","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":"Q1193623$8A366904-4F7A-43EA-910F-8CAA1D7381D6","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":"f186c73b2329ac84552df6722d5da236a85638e6","datavalue":{"value":{"amount":"+0.9101080894470216","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":"Q1193623$83AE462A-379C-48D3-B075-1504ED374B63","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":"664fc21b666cde33f8dc021cd631c0eb24946998","datavalue":{"value":{"amount":"+0.907753586769104","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":"Q1193623$D4C06924-7C3F-4AFC-BBC6-9260D5AF22AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizing complexity classes by higher type primitive recursive definitions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterizing_complexity_classes_by_higher_type_primitive_recursive_definitions"}}}}}