{"entities":{"Q7034353":{"pageid":21709002,"ns":120,"title":"Item:Q7034353","lastrevid":77523563,"modified":"2026-05-04T16:28:55Z","type":"item","id":"Q7034353","labels":{"en":{"language":"en","value":"Complete and tractable machine-independent characterizations of second-order polytime"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977735"}},"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":"Q7034353$8EE9D152-16D1-4936-8F79-0925ABEC2A56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7906185bfcbda306cd4ced9fc100e599eb4aeb86","datavalue":{"value":{"text":"Complete and tractable machine-independent characterizations of second-order polytime","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034353$274999C5-3967-4186-8C59-E52D2D144B2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb8413a661421df751d5da528fccaab52c97ae84","datavalue":{"value":"1557.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034353$8C7C43A7-3325-4678-AB86-4E4D9269FA71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f8636368f19a16436bd6feef7cd36aa421d3072","datavalue":{"value":"10.46298/LMCS-21(1:5)2025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034353$59C36252-7D6F-4F30-A3CB-9400A084531C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a98a696ed1da2ce1f59cb38d17295d0793555bb2","datavalue":{"value":{"entity-type":"item","numeric-id":355514,"id":"Q355514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$9C0C4AA8-118B-4209-B7BE-422030AFA91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3fa9a751487606fa7aa60b1c6c01a7e88dd50eb","datavalue":{"value":{"entity-type":"item","numeric-id":269731,"id":"Q269731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$D49E6E20-DCA7-435C-817F-EFDB90F35F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c0eb116a547edc17bbfb9c1cfbeb5854620c839","datavalue":{"value":{"entity-type":"item","numeric-id":235589,"id":"Q235589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$A0265A11-BDFF-43CB-87B4-5F0CA7746AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fff50a7a9071a09e7be8e0564680a871ad9ef12","datavalue":{"value":{"entity-type":"item","numeric-id":1640982,"id":"Q1640982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$E4873020-9C22-4596-B1AC-A6799BD454DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$2AC2EDD3-0A36-4F3F-B203-F470E4E627E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034353$D2AEBE97-492C-43C5-91B8-A1666C2C12E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034353$BAB4A763-DA77-47D7-AAE6-B87887913922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034353$4680A0A5-A517-4884-A151-3AAD6A82486F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034353$D9445B27-C509-4D44-8529-547435D2D991","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdaea274c790f1fcab8e26462af49344c3cdf6b9","datavalue":{"value":"7977735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034353$45F7DD6D-61D1-485A-8F60-EBDD9F02C877","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$F9BDDF7F-C186-4F83-8758-5466EF5E4DC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c808ff520fb68f735b8dad972317a7e8e8c47fcf","datavalue":{"value":"basic feasible functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034353$24EE3902-72C0-492D-9F6D-20EB389721DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1495ac7e47c22ecc197221eac3a579999effd574","datavalue":{"value":"second-order functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034353$A7C0B99D-376E-4A70-96B9-545E8BD2DA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034353$B47092A0-27BE-4FFA-9D2C-CC0B843A5D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce648b6c174d5d06068a66e7653e85748d136db6","datavalue":{"value":"tiering","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034353$2F02B42F-66B3-4CC1-95C1-E302D32BB359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95beff9e36104ba5317b1e75e309ef3e5a531ecf","datavalue":{"value":"safe recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034353$5B24AACC-CAD8-4407-9DB1-6EF96BC966B3","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":"Q7034353$7DF9635B-9094-44BA-A24A-E745A113B40D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$A42A5E2A-90B8-44EF-B726-AEE660E1CCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73f0620a2a0d40e692b45bbf0272c4661cd2a317","datavalue":{"value":{"entity-type":"item","numeric-id":3434633,"id":"Q3434633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$CE991C4F-1B90-4AD9-AEB0-3F8BB71AD067","rank":"normal"},{"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":"Q7034353$C2D80138-9F7F-4650-AEE1-7A3958824DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0206d3a695d8d8e1728212c926a47f4d0e22e7","datavalue":{"value":{"entity-type":"item","numeric-id":1273858,"id":"Q1273858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$0EAFDD37-0B1D-40D8-8EC4-96BC441BE68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"484880b7b72b4ed23c3482932f4c47983b63cbb7","datavalue":{"value":{"entity-type":"item","numeric-id":276254,"id":"Q276254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$D474FCE3-E33E-4A2E-B54A-537EDEB53997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb05069087a78c39f72c59e5efc46b5f8a45f9b0","datavalue":{"value":{"entity-type":"item","numeric-id":1044841,"id":"Q1044841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$0BFBAAF5-0B0F-4CB0-8A0A-E2FF573784A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07229c7de366b3930eee7950aad1f79006ae4253","datavalue":{"value":{"entity-type":"item","numeric-id":541228,"id":"Q541228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$09613A1B-ADCC-4AFF-8923-619A93523C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0909c5baebe8e5f5a9e964f05c720f232deade69","datavalue":{"value":{"entity-type":"item","numeric-id":5586401,"id":"Q5586401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$F1589EE6-6488-4F26-8EF4-6205E0073D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb71ea59fd47b573033df9513037924711bc7127","datavalue":{"value":{"entity-type":"item","numeric-id":4062633,"id":"Q4062633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$B5EE14BD-D0B4-413D-9570-1296A28D6395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042b462873b75a514ad6c8f2994d63c7c697e7b1","datavalue":{"value":{"entity-type":"item","numeric-id":4010352,"id":"Q4010352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$AB17ADF9-5462-4D1C-B5D1-9F498E29F827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92eb5e0d6bdd856710fcc42356898918428a387c","datavalue":{"value":{"entity-type":"item","numeric-id":685962,"id":"Q685962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$72E6AE94-C60C-4FFE-BEA0-0E144282FC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$BDD77CB8-C1F7-49B6-9FEB-C1597767B7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e034cb822ed5ea416724631eb29893d6c96412de","datavalue":{"value":{"entity-type":"item","numeric-id":2346991,"id":"Q2346991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$A4BB71A5-4B82-436A-A6B3-2B950E75CDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e33f415b292b1f9feeec7aefd60bf439d08b92","datavalue":{"value":{"entity-type":"item","numeric-id":2908499,"id":"Q2908499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$79BF9CB1-891F-48D8-A776-0FBC93ACB6D8","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":"Q7034353$F54A22AC-410C-4C93-9672-AFC20FD09552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48121bb30f26c529a29e3837bfab8d37bf6b36de","datavalue":{"value":{"entity-type":"item","numeric-id":1255490,"id":"Q1255490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$D8030E12-CC09-4F0C-9D7D-8DE26090319F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629f3d682e3b4affd1cdda9fdedf32061f863f6f","datavalue":{"value":{"entity-type":"item","numeric-id":6181938,"id":"Q6181938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$D8BA15DE-4C7D-4D2F-BEE9-3F42F7400DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e80b2656f5ea526daf075ea3410174df5f107d","datavalue":{"value":{"entity-type":"item","numeric-id":5094117,"id":"Q5094117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$9FD4C459-3CC3-4EE4-849D-BC3177573610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344d94f8bc6e0b11d29d79c3c740eef719b87f38","datavalue":{"value":{"entity-type":"item","numeric-id":5141617,"id":"Q5141617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$BC522D5A-26E9-41AF-947E-08DBD4BED876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff0021c47f038767b56ed52a1c4a1edbe5c7a8cd","datavalue":{"value":{"entity-type":"item","numeric-id":2740989,"id":"Q2740989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$03C8950F-2F2C-4DB5-B493-215B17165D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cdc9476abe34f714a9aab6e700eb2f2b4f4ec1","datavalue":{"value":{"entity-type":"item","numeric-id":2947565,"id":"Q2947565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$17E059EA-DB63-4AAD-B3B7-D41F23A0EB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d06bdc32aca52c72fe9d3229a74053f5888fee","datavalue":{"value":{"entity-type":"item","numeric-id":5111319,"id":"Q5111319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$4D8F8CF3-5E8A-4917-8706-1E4AED02955C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d467a6537e8af98edca6dc63535628fabb35c6dd","datavalue":{"value":{"entity-type":"item","numeric-id":6827939,"id":"Q6827939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$48EFC867-19FC-4D10-AC53-59FE9826071B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$3A271C8A-9247-4E05-A0B4-26F20829105E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb12e3baba400e4eba712a0627891a5f4e28a07","datavalue":{"value":{"entity-type":"item","numeric-id":3142166,"id":"Q3142166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$322606D5-E0F0-434B-B876-32CF41E90E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5829d139140b39d4d01d67ddb3b468cdc67731ea","datavalue":{"value":{"entity-type":"item","numeric-id":4660260,"id":"Q4660260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$A5789421-73AA-415F-A1AC-7BF2D60878C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b27998c5b0d19a37253f270b442f162814b8f7","datavalue":{"value":{"entity-type":"item","numeric-id":1227276,"id":"Q1227276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$C4288E50-A32E-4A47-8241-A896E1D2508B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31eb9cd5451ef498f2c3e8aa594c2a733c9a80e1","datavalue":{"value":{"entity-type":"item","numeric-id":3741086,"id":"Q3741086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$285E417C-C526-4EAF-86AE-BDDEA439C191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$0A69B4F5-8BAC-4177-839E-DCCAC5806F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1acd5717d05486c8c0bad0157a888dd041f9fa0","datavalue":{"value":{"entity-type":"item","numeric-id":922532,"id":"Q922532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$206FB804-38B2-4DF7-ACA3-08126ED8115A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034353$88F79BE2-9CC3-47B6-B969-821FD3F2B18E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complete and tractable machine-independent characterizations of second-order polytime","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complete_and_tractable_machine-independent_characterizations_of_second-order_polytime"}}}}}