{"entities":{"Q4644504":{"pageid":6674085,"ns":120,"title":"Item:Q4644504","lastrevid":89970071,"modified":"2026-06-04T18:45:09Z","type":"item","id":"Q4644504","labels":{"en":{"language":"en","value":"Logics for complexity classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997891"}},"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":"Q4644504$E80BB69B-FC7E-47A9-9494-A39AFE5EC866","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c50ef4d7c50d9080572aa08df50f809245b3ce74","datavalue":{"value":{"text":"Logics for complexity classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644504$FBF246E2-E542-4884-AD43-E8951D347C4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91189396579fe2469492ebcf9448c6923f86b446","datavalue":{"value":"1407.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644504$220782B4-46E8-47E1-BFAB-26AFBCF1F788","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc5782439f6e8aedab4b0939d09a0d45036af23b","datavalue":{"value":{"entity-type":"item","numeric-id":1022413,"id":"Q1022413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644504$2FA36FB2-104F-4F79-BA3B-0E0441861DFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644504$FD4815EB-16DB-4A9F-8E10-CBFB81F11D9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a16bf494b3d31ac4decb58c38f23151ec17bff4","datavalue":{"value":"https://arxiv.org/abs/1312.4652","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644504$56546C61-DC6E-4C99-81DD-084F02E04083","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644504$FAFD1E3F-E0E9-4385-9AFD-81D8A8B11826","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7764d37cf4acaf3bb17304c6cdd5971f7869824b","datavalue":{"value":"6997891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644504$748C3DB1-27B5-404D-A45F-248C7A467C98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a02b4e020864e91f8b46070c7c982fa2878da3","datavalue":{"value":"theory of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644504$D99C86D7-86D8-4A3E-A864-0DD6FDEB0E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644504$2A006751-03AD-466A-BC7B-5541B3EA02AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22f51dbd083a4570773d5dfb4907a41404745e53","datavalue":{"value":"Turing reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644504$689C14C9-F3D5-43B7-AB15-3704EB67E368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644504$5A738CCA-A542-44C5-B1F1-01B038114FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644504$DCEC321C-80CD-47E8-929F-EC374628E6F5","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":"Q4644504$516D51FA-0B2B-4888-983A-5457674730A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3bce29df75b73aecfb2288fd9b90fd72066336d","datavalue":{"value":"W3103066066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644504$7BB31945-FCFF-4103-BE01-94E1248EA8C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"490d4e184baf23c7d17b3f17d2f3ea12e16aa429","datavalue":{"value":"10.1093/JIGPAL/JZU027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644504$9244740F-5526-4671-84E0-653A13A8A4EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644504$D43841A7-84C5-4C3A-B089-95B95EF2E5EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40bb5effbdefa8dfa29d828f19906f2da69a9363","datavalue":{"value":{"entity-type":"item","numeric-id":3827989,"id":"Q3827989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d23a177f41384982d11827b5b3b741c969bc50dd","datavalue":{"value":{"amount":"+0.9505993","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":"Q4644504$F0274A0B-7DD4-4026-9441-E2BCC5FAFA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a64575ffa29467edef0880a7302fd04e8cff956a","datavalue":{"value":{"entity-type":"item","numeric-id":1323362,"id":"Q1323362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f2b4d6b9733a1d035b1b3ce3f7ce4390ba9e94","datavalue":{"value":{"amount":"+0.9401202","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":"Q4644504$7F01F1BD-5B68-44CC-A939-0DE21CE4CEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6c52fb4839ea3921be6545251c44cb475e5073","datavalue":{"value":{"entity-type":"item","numeric-id":3000099,"id":"Q3000099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f96874d42b233bbd788c7458f64354f76686c26","datavalue":{"value":{"amount":"+0.9263109","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":"Q4644504$8D959B7F-3936-4728-9801-93361B0F1ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00586cc2c68ce47452e047bcf0a3c217d7b9a05c","datavalue":{"value":{"entity-type":"item","numeric-id":4254641,"id":"Q4254641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e79165f7482d7fce3429fe43729f2d5226783373","datavalue":{"value":{"amount":"+0.92442286","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":"Q4644504$0AFDB93A-156A-4422-AECB-E16892C8B458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82d8cfd32a97fcc484659f139525ad172d50ceeb","datavalue":{"value":{"entity-type":"item","numeric-id":5055931,"id":"Q5055931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e79165f7482d7fce3429fe43729f2d5226783373","datavalue":{"value":{"amount":"+0.92442286","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":"Q4644504$FF5986FD-2843-4E2B-8EA8-4B8E6AF215C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15206a3bee8b23bed92bb8c5ce4de8c19fe37626","datavalue":{"value":{"entity-type":"item","numeric-id":5900979,"id":"Q5900979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2adcc77cb25c45ac4c628f9f3607d647daee70d","datavalue":{"value":{"amount":"+0.9235792","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":"Q4644504$059CB417-7E77-46D1-BC42-E2B690458039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d7cee953fe1937bf532e79a63b5ecf3e0581e8","datavalue":{"value":{"entity-type":"item","numeric-id":5894972,"id":"Q5894972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b1bc5ddefb5ce46fc746cec846160f8bb6b3aa7","datavalue":{"value":{"amount":"+0.92357904","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":"Q4644504$B44EE8AC-D4C7-45E5-A474-F3F874CF11D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcb4f01f11c619936e189cb98cf26dde0dde986f","datavalue":{"value":{"entity-type":"item","numeric-id":4561681,"id":"Q4561681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"279eb02cc26a927cf1704e0cd7f801996c028f3b","datavalue":{"value":{"amount":"+0.92089456","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":"Q4644504$A0E10951-862B-4282-AAF9-D53CBADB6DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02b9da29bfc818928bda4e7e672693c291e98ddd","datavalue":{"value":{"entity-type":"item","numeric-id":6064295,"id":"Q6064295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a341e506dffa300ce2c924119d5e2c0603e2c45","datavalue":{"value":{"amount":"+0.91809505","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":"Q4644504$81AAFBAE-C2EF-4B96-9133-4EB8577B6190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424b0f6a9d699a8a1a69eda02350a485b1a3bfb8","datavalue":{"value":{"entity-type":"item","numeric-id":4723713,"id":"Q4723713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5051a16b3efbf443924a408bee9989040f54046","datavalue":{"value":{"amount":"+0.91720974","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":"Q4644504$B2BCFF00-06B1-4049-BB29-48D57C72E90B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logics for complexity classes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logics_for_complexity_classes"}}}}}