{"entities":{"Q4812318":{"pageid":6841898,"ns":120,"title":"Item:Q4812318","lastrevid":74550132,"modified":"2026-04-14T23:17:45Z","type":"item","id":"Q4812318","labels":{"en":{"language":"en","value":"Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2097561"}},"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":"Q4812318$70B5B9AA-789F-41F6-9D08-5891662298BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a0d9027aa998bd133662cbfcf15d303045f3a02","datavalue":{"value":{"text":"Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4812318$EE6ADD9D-D3B1-4C6A-8191-AD1086F5F381","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1f24023b328b4b9b48de470ee2405c039b32721","datavalue":{"value":"1049.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4812318$2DD3F467-BAF8-400B-BAFF-EBE0C793995E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c3d9bcc49ce8479a4f74748257e9fdb44ab539c","datavalue":{"value":{"entity-type":"item","numeric-id":535157,"id":"Q535157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4812318$C1303757-3AE2-4659-9EF8-9D9FC3AC44F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65aed4952f0ea543318f530fb41d65bb13a32cde","datavalue":{"value":{"time":"+2004-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4812318$35365CC5-F66F-4C9D-9F3F-555671A0C739","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4812318$146FD1CE-0EE3-4397-AD07-325255CCC374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4812318$D1551A46-FFCA-4602-A429-7ABC7E6F6763","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a1dd779b1c3d76bdcbc976e29e226205d466d67","datavalue":{"value":"2097561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4812318$D0D3FAF2-342D-4E92-B6FF-10AFFE5F0F07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da855445b59cae389fca494b963c3ccb8b3796aa","datavalue":{"value":"intuitionistic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812318$4ABBB30B-979B-4891-A37C-682C996DA33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a41e3ab451b803175f837aba9a774924d1bb063","datavalue":{"value":"polynomial induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812318$D15FB90E-4AE3-4D60-B411-8A093A3F3370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9326f4ad978134edfb1d4c5a54b0fca92aa21c5b","datavalue":{"value":"length induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812318$15064BB9-E95E-4DA5-B067-8C2698BD5C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812318$AD6774F9-4716-45D9-870C-5CCA8DA97A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4812318$97FE7B39-0A55-4835-B35D-D2A8A4434CE5","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":"Q4812318$A6ACDA47-4AE6-4E7F-8CF3-F18A7038C193","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5c8131a1ad405a0abea8dee659b182b9cb0cfc2","datavalue":{"value":"https://doi.org/10.1093/logcom/13.6.881","type":"string"},"datatype":"url"},"type":"statement","id":"Q4812318$15E9AA73-17C2-4615-A779-AEA2D8C32A8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41f01ef668351f16bca4fef014d5c618209580a6","datavalue":{"value":"W2012362668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4812318$479212B8-C51A-4E80-B38C-572835B0A13D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ec4ccb5feb91f4d60cf877aab412cfff523fe93","datavalue":{"value":"10.1093/LOGCOM/13.6.881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4812318$340FD4F2-3A49-4EA1-A3CC-0E0BD4530D42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4812318$79217182-79F0-4F37-BA87-F2B6A65DF644","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c04c3cea3e46fa9091d90969e3027262d67b3c7","datavalue":{"value":{"entity-type":"item","numeric-id":4761670,"id":"Q4761670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789414b668ff561ef5471defc014b040b0cbb78e","datavalue":{"value":{"amount":"+0.8921205","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":"Q4812318$44735698-7F9F-4FC1-9DDA-4026C7BAEE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b0bd6c40b1fd783629f6d573299de330d61010c","datavalue":{"value":{"entity-type":"item","numeric-id":1206242,"id":"Q1206242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f5270aa6d43aa36c122f7ab91f42dd75638d7b","datavalue":{"value":{"amount":"+0.8772706","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":"Q4812318$1BF47246-0481-4804-92ED-D558124D4199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1938d98e87c34cc9554a6a1ce2d2c44d94cc4cbd","datavalue":{"value":{"entity-type":"item","numeric-id":3362716,"id":"Q3362716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b831fa877a5c8216e2ccab4a1ed7deeb3ddb8960","datavalue":{"value":{"amount":"+0.8760748","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":"Q4812318$66010491-634C-4A69-ABC0-262991BADB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9046185dd2c39956b17b7a81e9933a4008e2f06d","datavalue":{"value":{"entity-type":"item","numeric-id":5313380,"id":"Q5313380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6957a79ba6a2bf6c20f9dcefed318e4034eca15","datavalue":{"value":{"amount":"+0.87034994","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":"Q4812318$E875E6D2-7AEB-430D-BE73-C802A33C1747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebe24f6f6aa43c28211b0a0a604c810eef559c8","datavalue":{"value":{"entity-type":"item","numeric-id":5957916,"id":"Q5957916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebce9abe12d3cf38298849ebed96f9e66df167c7","datavalue":{"value":{"amount":"+0.86188954","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":"Q4812318$02DCA504-57BE-4D52-93A7-F00D19B74EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc3183689923508905e005e119b694cd352a57e4","datavalue":{"value":{"entity-type":"item","numeric-id":3327709,"id":"Q3327709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab6a0bbbbe3957b62479b0fe1379a0b41bedecd","datavalue":{"value":{"amount":"+0.8549789","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":"Q4812318$EB8FF8FC-A306-4BFF-8C48-73F966C7CC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecdd27b198190ff3ad89c3388c78e942d0fe973","datavalue":{"value":{"entity-type":"item","numeric-id":3714071,"id":"Q3714071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a68d719ffecc9f5236d48e784e6376b05452373","datavalue":{"value":{"amount":"+0.85472625","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":"Q4812318$577493D1-7962-402D-9732-682286BB0CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c2c644251ae04f627bb49b5a42cd23284ef8ca","datavalue":{"value":{"entity-type":"item","numeric-id":3416116,"id":"Q3416116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9cd31f28b6f2a1c28a8ca0550a04a839561fdab","datavalue":{"value":{"amount":"+0.8517519","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":"Q4812318$CACAF583-B7F6-4346-A3CC-DBAB43CB4EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d3f08064f1abb3546d8a6c6a6e8d513af9c865","datavalue":{"value":{"entity-type":"item","numeric-id":2941756,"id":"Q2941756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7052f0067d25506edab8846a9a7633ea578e36f","datavalue":{"value":{"amount":"+0.8512066","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":"Q4812318$6DC5507E-FCFF-404E-8030-64A219402EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a64e413bcc348b0079528608e6adaa66b936b4","datavalue":{"value":{"entity-type":"item","numeric-id":672742,"id":"Q672742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b31107f80d0acd962fda58c8238e1fdd608a512","datavalue":{"value":{"amount":"+0.8508446","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":"Q4812318$22A9DEAB-70C7-4C21-99B4-4FD593744848","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Comparing_Constructive_Arithmetical_Theories_Based_on_NP-PIND_and_coNP-PIND"}}}}}