{"entities":{"Q5311729":{"pageid":7341303,"ns":120,"title":"Item:Q5311729","lastrevid":40925167,"modified":"2025-04-14T05:11:15Z","type":"item","id":"Q5311729","labels":{"en":{"language":"en","value":"Implicit proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199935"}},"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":"Q5311729$331B3C40-6337-4D53-A893-CDB17B050167","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9e045e29527fb9b34cd7515465c41ab620d3135","datavalue":{"value":{"text":"Implicit proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5311729$75451D26-3AE1-40AD-8B17-FA5AA74257D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b62455d3ebc53452e17bcc4418a662fd0349880","datavalue":{"value":"1069.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311729$13A348C3-672C-4BB7-B74B-C9EC5B204292","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311729$AAF71EF5-7725-4BAC-ADCD-E51477FFA3F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311729$911539D9-8780-4C41-9347-49F1358A89BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bf6b2a1195bceb76e95a6eaf6480b71590f9114","datavalue":{"value":{"time":"+2005-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5311729$37784493-D86C-47A7-8A9F-27A9C47BB3D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311729$22D54131-DB0D-4058-82BB-24055A566D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311729$8C862567-87C4-430C-9A8F-3E46DE2596D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311729$932F5A8B-4FBE-44B8-8407-3EB71B4D4A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311729$EC94F8EF-6DE7-4A8F-856E-CBA229A3517E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5549cbadd576ea248b3b1656f36965b903e93925","datavalue":{"value":"2199935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311729$54BBCBE5-4F3E-4233-A32D-A9A9CD1410CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e5c986c44cadba2608d15cdbdbd7fbd9525b6f9","datavalue":{"value":"propositional proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311729$3447225D-0AD6-4EC2-9CEB-C51AC3EAA07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8bc36cd13df81c21aa3f5bc8d6802208e3bfff5","datavalue":{"value":"exponentially long \\(P\\)-proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311729$19BC08A9-058C-49D6-8CB3-C873991C5B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d36cd3af16529b79390ec66a0871d428941af770","datavalue":{"value":"bounded arithmetic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311729$176BD30A-92F8-4639-8795-77C89EA8358C","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":"Q5311729$4A9DB887-B170-43C0-AE93-BBCEB3D5D737","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6451b388b607476bcfc8079b52dbe93f0929bd1","datavalue":{"value":"https://doi.org/10.2178/jsl/1082418532","type":"string"},"datatype":"url"},"type":"statement","id":"Q5311729$27C92B01-63C9-4BB9-A759-D0D1F6113E0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b83485707e9e624f9615aeedd25d5c64a6949dc","datavalue":{"value":"W4239243811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311729$D6A093E6-DB62-4494-9473-9F5238DD94B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f905912f2ec63a5e06b29b829589aeea25563459","datavalue":{"value":{"entity-type":"item","numeric-id":922540,"id":"Q922540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311729$E521B65C-CC23-4788-BD5C-B2AD29A9D948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311729$B5BB6428-9096-4786-8127-AC8103434CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bde2c1667b403bd07f99472a13c7986b2f5411","datavalue":{"value":{"entity-type":"item","numeric-id":3472099,"id":"Q3472099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311729$0005FE9A-5988-4E6E-B757-3B7938781403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311729$C3F6F922-447D-457D-AC8E-79F5F64D6F0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5885b3b19d3f0b1f2522163c459fc90d6b6c4194","datavalue":{"value":"10.2178/JSL/1082418532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311729$BDF56237-579D-4E7A-B511-6BECE49308B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22b34cc5766a2d8ef04aad57cdd2b6e63cd41af5","datavalue":{"value":{"entity-type":"item","numeric-id":716305,"id":"Q716305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4d68e9eb478d87f953b2924766ba0e79df54099","datavalue":{"value":{"amount":"+0.8706165","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":"Q5311729$AB38D2F2-B12B-4AA1-BCEC-B77E328CA5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ac859a108fa978e04a34edae1bf0ce3d8e9c67","datavalue":{"value":{"entity-type":"item","numeric-id":671502,"id":"Q671502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c8823c97b7a098269c3798734e0fe7314b4a4d","datavalue":{"value":{"amount":"+0.86829215","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":"Q5311729$BD8581AF-5FEB-4A25-B0FF-2FA15218CF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adb2229669619a4d5bb807b3e3935d30603cd4f1","datavalue":{"value":{"entity-type":"item","numeric-id":4537504,"id":"Q4537504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c8823c97b7a098269c3798734e0fe7314b4a4d","datavalue":{"value":{"amount":"+0.86829215","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":"Q5311729$D6704190-505F-46E4-A730-5CC5F98B4A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b9b5012603b04de84a2a78209b6e96bbb70cf08","datavalue":{"value":{"entity-type":"item","numeric-id":2405254,"id":"Q2405254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39c1b407ada29c8f95a291ab6f6212d8c786270","datavalue":{"value":{"amount":"+0.8654175","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":"Q5311729$8FE96B46-3FDC-45A9-928F-2AB0F53F38CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c6758f7d46c102fd5b49b573e8880f0b60adbc","datavalue":{"value":{"entity-type":"item","numeric-id":3487669,"id":"Q3487669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fe44900a1ad5a8993e436a2cedc7c17d7aa0c89","datavalue":{"value":{"amount":"+0.86134994","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":"Q5311729$E713BFFA-0C08-4D80-8160-9A8BC3B902CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6622a5dedc5e9018fd80e95b97f402170522adee","datavalue":{"value":{"entity-type":"item","numeric-id":331054,"id":"Q331054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc56b5700df0e8a303a6b09e5e0c2697c0aa8360","datavalue":{"value":{"amount":"+0.86119545","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":"Q5311729$58D454D7-ED07-4E19-9F9F-3336FC79EF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16aa2c03aab1f4756b087fdc25fe1570ddff94c2","datavalue":{"value":{"entity-type":"item","numeric-id":5260992,"id":"Q5260992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd60cfd842b847db4bfc74deac54753c1cbf72b5","datavalue":{"value":{"amount":"+0.8598591","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":"Q5311729$DA532E82-021B-4484-A6A6-BF62BF6CDAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf053528b161a4de0c12986c8c0ac2abf54ccf9","datavalue":{"value":{"entity-type":"item","numeric-id":1297027,"id":"Q1297027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"558b9cb24e740819bd16c59db836f5299af758aa","datavalue":{"value":{"amount":"+0.8585737","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":"Q5311729$4124D426-8499-482E-9B9B-347E29E851C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a7a6e731d14c95508d2e8e1750f2de2955508f7","datavalue":{"value":{"entity-type":"item","numeric-id":5057055,"id":"Q5057055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad49b94123744d97de5752ecd8c217acbcddfdea","datavalue":{"value":{"amount":"+0.8560722","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":"Q5311729$280F4FE8-CCA6-493B-A57C-4E1A0E3E840C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5311729","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5311729"}}}}}