{"entities":{"Q5082331":{"pageid":7111907,"ns":120,"title":"Item:Q5082331","lastrevid":100122140,"modified":"2026-06-05T21:27:20Z","type":"item","id":"Q5082331","labels":{"en":{"language":"en","value":"A restricted second-order logic for non-deterministic poly-logarithmic time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7542740"}},"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":"Q5082331$4284B8F1-CF67-4531-A798-62A720829E78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c1b53c713995798d6e1ca3226d83193a7945a71","datavalue":{"value":{"text":"A restricted second-order logic for non-deterministic poly-logarithmic time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5082331$7E620499-E9A7-42B0-8B4B-D89B3919C076","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45bc1eb34e0914038a705c625c4c2d698cd9d96c","datavalue":{"value":"1494.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082331$29A3B566-81F2-4FA2-B541-2F7D9B31C52B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"226ec6a2e0bf98d20b25e1e8bd5791eb63a56d88","datavalue":{"value":{"entity-type":"item","numeric-id":313978,"id":"Q313978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082331$21817EDA-F6F7-487D-91FE-C9C8D068999F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a70667f137dc273167bf1b7ecd2cd6e6622ca3ba","datavalue":{"value":{"entity-type":"item","numeric-id":5082330,"id":"Q5082330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082331$855C680E-9E31-4DD9-8D29-D17007C9E467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6081a22e78e5c0bc6cb05c9838a63ad14b1e9ac","datavalue":{"value":{"entity-type":"item","numeric-id":303690,"id":"Q303690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082331$050164E5-9928-42C9-82FF-4AD0BBA5F7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5789e6ec676f3de7c8b9169157272f27d94414db","datavalue":{"value":{"entity-type":"item","numeric-id":186060,"id":"Q186060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082331$2BAD4317-0936-414F-9C4E-254CA402A9DA","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":"Q5082331$5A7DC30C-FE05-4454-B5D8-69E0C3793659","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"580f0f96aeb8ad5d0ecf7e4b543854571d06dea8","datavalue":{"value":{"time":"+2022-06-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":"Q5082331$3366E152-347F-4FD9-9835-7A44B8A24B32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d8075814af6d15a96a3388b6de99617c5515a18","datavalue":{"value":"https://arxiv.org/abs/1912.00010","type":"string"},"datatype":"url"},"type":"statement","id":"Q5082331$9C8C3E03-EDE9-4C41-BF7E-640257C01083","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082331$AD393A30-E82A-4002-B7AA-B5F3EF8AD479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082331$D9DFF9E0-8AFD-4F9B-A39F-0D962473E159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082331$2F1681C6-DD09-46C3-A5A6-AC63CA72578F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082331$AFEDD558-BAE3-4B2A-B12A-D13EC6DD22CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b2c36b0e36c44dfc1d0d20b05ff07a56ac38837","datavalue":{"value":"7542740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082331$10C0C733-EAB5-4CC2-B988-566D536F996C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5082331$C79D1DE8-9D64-4271-8791-EB84EF849AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dd4454711253e503d802977e4c0b7d2dfcc42a6","datavalue":{"value":"poly-logarithmic time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5082331$32478E7C-D5DF-4DBD-8A03-30296BDA0025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5082331$4CEC371F-71C8-4E72-BD97-B40BB7A1BD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5082331$46893E62-C792-4915-9940-C348C345542B","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":"Q5082331$052FA71E-64C2-4723-A425-F0FBB08BA3E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09503fc8621a04f4ece25d320459058b9b4df521","datavalue":{"value":"W3000564918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082331$2713EA1D-0343-4358-ADDA-E23646B1897D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1cc55683cd4b68a73de1290f53a6cec1b3aa8384","datavalue":{"value":"Q126806867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082331$9B38253A-3E72-40A4-A9F9-5308B2439901","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9a1ab5e7023e189ab5f4843e0b51da1a53dfc44","datavalue":{"value":"10.1093/JIGPAL/JZZ078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082331$6BFCBA9A-EC82-4F7C-B759-6E2B33482358","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71bfdc45e4568a2a4c1ac6e9cdf16c1ef933430e","datavalue":{"value":{"entity-type":"item","numeric-id":3453652,"id":"Q3453652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f47927de6222fffbf871e69cc7fe91fb0da209","datavalue":{"value":{"amount":"+0.87247896","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":"Q5082331$E0614FBA-3327-4BD2-B72B-EDD81B3CF779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a871048f7e5a4fb0cefe6b2c924598f87d7f4b96","datavalue":{"value":{"entity-type":"item","numeric-id":4218942,"id":"Q4218942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ab1d95286bc7d7fd64c952801edcd31283704f","datavalue":{"value":{"amount":"+0.87169343","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":"Q5082331$6B76AC30-9777-4575-9421-520D2558A10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c6e8f2531f7a464ca9c881bebc54ec309d0d8fc","datavalue":{"value":{"entity-type":"item","numeric-id":3090822,"id":"Q3090822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c33d51cae59ca71d620eb8df81777485b622c7c","datavalue":{"value":{"amount":"+0.86482227","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":"Q5082331$0CB5C757-8C91-4C77-A69D-0F102D05FF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1b5a46043e24497363e774f99240e22ec6f508c","datavalue":{"value":{"entity-type":"item","numeric-id":1412837,"id":"Q1412837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce1675c66ce517cfa75b6c9410e3c605e623b3c9","datavalue":{"value":{"amount":"+0.86426044","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":"Q5082331$62D45411-CFF7-4876-BF55-79F5DCDF57CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2edc7e7bfb60a2e397f6ab5ce843b3bfa8ee244b","datavalue":{"value":{"entity-type":"item","numeric-id":3586007,"id":"Q3586007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e37cf2781073d174450dc1bad6ff213a1182f7","datavalue":{"value":{"amount":"+0.86373115","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":"Q5082331$A0E0D90C-55D4-43D4-9827-54499716CACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60f4fded09eaf2adb144e3cf16edadf56a92cafa","datavalue":{"value":{"entity-type":"item","numeric-id":4251045,"id":"Q4251045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9345d6b8ef75d892368c6611184b17e6e401cb","datavalue":{"value":{"amount":"+0.8627063","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":"Q5082331$4842DEF1-FB21-4CB7-8636-F7B430F4B18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28cce3de0989a7cb3d96e085e2b47481c4b37f62","datavalue":{"value":{"entity-type":"item","numeric-id":3084992,"id":"Q3084992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66e11a0d16f0a2a61d31a921bc0bf166fb22d378","datavalue":{"value":{"amount":"+0.8626827","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":"Q5082331$853A25A1-ACB8-4963-86A8-E817BDB16577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b06f0a5825ccf8d2bb609e990d4a2da1868e261","datavalue":{"value":{"entity-type":"item","numeric-id":2922004,"id":"Q2922004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ff6eb143ed0197aa00c7a4cda75daa06ba9e97","datavalue":{"value":{"amount":"+0.8605041","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":"Q5082331$9572918F-B9DD-4995-A9B9-2D431E1062BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b175a4a94fec2a0a69fa0ab1f871eea6822d0b","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f92ee72d3190692ad69e356b44dc53d19b8c71b4","datavalue":{"value":{"amount":"+0.8599149","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":"Q5082331$64B972F8-736A-4CC0-A569-D30FEF8DFC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ed3e99ef970c8df23234f63fa1a85c26828e4e","datavalue":{"value":{"entity-type":"item","numeric-id":1271559,"id":"Q1271559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6af34455b6770917bd29675a50fe3a05258e6d1","datavalue":{"value":{"amount":"+0.85986394","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":"Q5082331$F4631D30-21E6-4A05-851C-54F0A3780459","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A restricted second-order logic for non-deterministic poly-logarithmic time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_restricted_second-order_logic_for_non-deterministic_poly-logarithmic_time"}}}}}