{"entities":{"Q1207943":{"pageid":1218692,"ns":120,"title":"Item:Q1207943","lastrevid":69888159,"modified":"2026-04-13T11:01:21Z","type":"item","id":"Q1207943","labels":{"en":{"language":"en","value":"Characterizing complexity classes by general recursive definitions in higher types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 165616"}},"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":"Q1207943$081A7B66-311A-4657-9CFA-1D65E5B5B478","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a46d1029cbaaf3a9fbbca4bbf3930c3e522ba8c","datavalue":{"value":{"text":"Characterizing complexity classes by general recursive definitions in higher types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1207943$CBC75503-5AF0-41A9-8B56-1C6276770900","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a4b673d847a8b57e98e90b119102b4b73c42b4d","datavalue":{"value":"0773.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207943$79574BBC-C7CA-462E-AC0B-8A7EEAD0E0DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d5784eea0b01139d815e7065ed2257dfbdaefd0","datavalue":{"value":"10.1016/0890-5401(92)90062-K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207943$48C43D76-12E3-46CB-93EB-3748CCA3470C","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":"Q1207943$B37B74FB-2C10-413E-9733-F1706BDB4B92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207943$07119D14-9F43-4272-BEF2-3A5B118196FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1207943$F0A60DF8-5F06-4368-8212-069BB1554A83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207943$D2849C97-7CD1-4540-9DE4-592393990978","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b85721fccc2178e8c0c73b121f1653d3fd1ffd9","datavalue":{"value":"165616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207943$D3FFC0F5-F7E2-4B26-A66A-0FDEA47C6F62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29c7907a058ca2f5803a563e9765a72c855a696","datavalue":{"value":"recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207943$1E14B903-B64A-428D-8144-F5491659310E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63c92148937c4cf2532bacf434e45b0382fec84b","datavalue":{"value":"infinite syntactic hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207943$D0544F07-C9CD-46D7-8E2A-D6237F51DFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"450594eef05fac934ad903834bb3f5aa0416adb8","datavalue":{"value":"first-order functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207943$B2129B09-E17B-4C79-B3C5-D11A26BA1D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1f9cffd18fe4bc8fecd35eb209e3dd8c324b86","datavalue":{"value":"finite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207943$937AA5B7-EFEF-4264-AA93-E831FD176E59","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":"Q1207943$F36D3D05-FA93-4131-BDEB-D2CD19FD1221","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f0234321108813a415be8423acbb5cec78baad","datavalue":{"value":{"entity-type":"item","numeric-id":3804171,"id":"Q3804171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207943$F79047AA-39CA-42F4-8720-D5F2B8F0A4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108389f3d56a777814d08593448e524471a2e53b","datavalue":{"value":{"entity-type":"item","numeric-id":3203014,"id":"Q3203014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207943$A42E62A3-DE47-4E28-919F-1BBD41EEDDF3","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":"Q1207943$577F1612-6D97-45FC-8170-7D3D7E1356DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44abcddc39d6e09b3268b9b082d2594b8677707","datavalue":{"value":{"entity-type":"item","numeric-id":5686017,"id":"Q5686017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207943$8CF37383-D55E-462E-AE05-D2B688A8AAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207943$4B03B46B-2060-4ADC-8584-6035AF2274DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34478b49dce3160ab1e7018f4565d0a1d82937d2","datavalue":{"value":{"entity-type":"item","numeric-id":801666,"id":"Q801666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207943$FBB8D96E-2340-4452-AAD6-150ABAA52CEA","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":"Q1207943$F1118A4B-A264-48F5-A757-366581BDBF48","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":"Q1207943$4625009D-0FB6-4E2F-9AF7-CA1077BE296A","rank":"normal"}],"P1643":[{"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":"ee6f3c9d7b88ab4fcd6b12b50ca37c33101a965f","datavalue":{"value":{"amount":"+0.987631857395172","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":"Q1207943$C380EB4B-B08A-4266-9AE9-B39964DADEF8","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":"d461d0401bcf31696740908dc3cbccc1244dd1cc","datavalue":{"value":{"amount":"+0.922402560710907","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":"Q1207943$58C4C2DD-B6A8-4210-8B87-3718F041D2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7218391af29b6655894f713db1bb7ad2a517c5c3","datavalue":{"value":{"entity-type":"item","numeric-id":4850553,"id":"Q4850553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e661a5f5a555d5328a96505940dd602b30d31648","datavalue":{"value":{"amount":"+0.9215354323387146","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":"Q1207943$77991D07-134C-4D66-8877-30223138760D","rank":"normal"},{"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":"63d8eec62878c1bf205fe94599134b1ef35c12a4","datavalue":{"value":{"amount":"+0.9151000380516052","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":"Q1207943$AF228F98-6929-4EBA-8C80-44E8C22E909B","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":"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":"Q1207943$083F0BCD-449A-4720-8040-B679C4543F3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizing complexity classes by general recursive definitions in higher types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterizing_complexity_classes_by_general_recursive_definitions_in_higher_types"}}}}}