{"entities":{"Q3472099":{"pageid":5292801,"ns":120,"title":"Item:Q3472099","lastrevid":46700574,"modified":"2025-12-25T10:31:50Z","type":"item","id":"Q3472099","labels":{"en":{"language":"en","value":"Quantified propositional calculi and fragments of bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4139738"}},"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":"Q3472099$63529B05-CE1D-41B5-A7AF-FCCAEF3BDDD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6cc825677ab666e9ebc4cb9b5015f62cedcb49f4","datavalue":{"value":{"text":"Quantified propositional calculi and fragments of bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3472099$BB5860FD-FCC0-4186-85F5-7BC7E6F951D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a33ded3305da47abda2a13cc0a8853c99cdf08a","datavalue":{"value":"0696.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472099$4F04B253-800D-455F-90C0-4EB72700A9A5","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":"Q3472099$068FBCF4-1CC5-46D8-ABE6-0DE120ACA4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3472099$688B9ED5-1F28-436B-823D-91824B499F5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3472099$19616132-85A2-4969-8BBC-09C011968BBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3472099$905CB0F5-565C-46F1-BF2D-7AF4FF25EB6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472099$1A36F8A5-B5F1-408B-88E7-EBF8E81CC18C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35ac195a56ad6c4109c7ca7e981f846fcc2c59a1","datavalue":{"value":"4139738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472099$6950E999-4AA3-4375-9037-3DFDC86A21E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3472099$CD015119-D956-4F00-A8E2-05447AC67F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01aa176836d243db97ef26f6e5ac337d9251b982","datavalue":{"value":"Bounded Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3472099$D5EABD57-6AC0-4303-A5FC-E99AA56C6CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33e66f0b521b3f7ec84fb8841be774947cc4ae6a","datavalue":{"value":"Propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3472099$638BA86F-D0A7-4833-8027-761DC780F076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7e5d568140a653e809fe0aab6e5f93619204cfe","datavalue":{"value":"Gentzen system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3472099$20941E18-F767-4562-AE26-0D3C7E51663A","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":"Q3472099$C1A09C3B-7759-4EBA-8426-EBFD43D5F9B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8264e2306cd21dd9fa344b69971f64b4532c62f8","datavalue":{"value":"https://doi.org/10.1002/malq.19900360106","type":"string"},"datatype":"url"},"type":"statement","id":"Q3472099$DAF676C5-3E4D-4812-9005-44180256357D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"106355a595d0950a4f61e77a0fbbb812acb263f7","datavalue":{"value":"W2161149481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472099$8B31032F-1AE5-41DB-9094-95325ADCAE4C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"acbbee31161aa1ada6a85608b3b9dfa06948f733","datavalue":{"value":"Q106785088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472099$50519178-E304-4CF6-9B6E-385ABD078A78","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47fdc2c391d81298365e8540e9f00ec9a888e2b4","datavalue":{"value":"10.1002/MALQ.19900360106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3472099$AEE49CFB-9929-4AEC-9D3F-B1AC23CF9DED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73d28562eb7da4d49051d080abe4925b24b95fc","datavalue":{"value":{"entity-type":"item","numeric-id":3617380,"id":"Q3617380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba3dbd1bf437c704303c1cc20e9bbdc8883a083","datavalue":{"value":{"amount":"+0.9293888","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":"Q3472099$644CADF6-9270-4D36-B51B-947FDAB7AB2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4260febc0cbec0e19233f3e3b04044e7c04c5713","datavalue":{"value":{"entity-type":"item","numeric-id":685071,"id":"Q685071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78fed99f749d3e26e13e52503f505362e6c1136d","datavalue":{"value":{"amount":"+0.92672676","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":"Q3472099$70737AC5-018D-4224-A42F-24749609A553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5c7143fd76035df03c675909169cd62c1db7d0","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c4135f02003157cab43b47e3b24d535819929a8","datavalue":{"value":{"amount":"+0.9238641","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":"Q3472099$99E05925-CC3C-4820-AF4C-A50D714394B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d21a2f09563d0ebe119eceeef4e8131d64b756d","datavalue":{"value":{"entity-type":"item","numeric-id":3760514,"id":"Q3760514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3b95599386b7b06ae3716d61013aa6b9f0e4d7","datavalue":{"value":{"amount":"+0.9178499","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":"Q3472099$397F5B10-795F-4376-9143-5325601BFC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8855a0abab6fbb51a92b880afe579f8aec1ba585","datavalue":{"value":{"entity-type":"item","numeric-id":4391436,"id":"Q4391436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb897f54d4db1f4dfbfb8b9e10faa73888c82163","datavalue":{"value":{"amount":"+0.911142","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":"Q3472099$5D0E0B0A-52E5-4F31-8420-46E715C6BBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49ad2b8116e6902ded335362a6bf17f00df7eed","datavalue":{"value":{"entity-type":"item","numeric-id":5502825,"id":"Q5502825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d6824c4d039dd9bb26211e6d7e2176dd2504639","datavalue":{"value":{"amount":"+0.910019","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":"Q3472099$141126D9-C146-4EC7-AA9B-7C65AE0D9E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb078f3ca60e3de19dbe0e64e06b59d6bc5efb4","datavalue":{"value":{"entity-type":"item","numeric-id":3824286,"id":"Q3824286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd5d574841ed068468778b0cb625e783a0aadaa4","datavalue":{"value":{"amount":"+0.90969443","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":"Q3472099$82070EA5-FA57-48C6-A10A-B4BA7956436E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b15f4fe52969708915a840416b91e058676297d","datavalue":{"value":{"entity-type":"item","numeric-id":1181713,"id":"Q1181713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aba03f560cac7d728a984a2ff2682552fabcb452","datavalue":{"value":{"amount":"+0.9070283","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":"Q3472099$AEAFB6C7-7191-4FCC-992F-051D374A0CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff643d203d86b1fa55fb859d2f5ab278319d1d1","datavalue":{"value":{"entity-type":"item","numeric-id":4438096,"id":"Q4438096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cad80213770816e69fe62ab3ed4e894e95486bc6","datavalue":{"value":{"amount":"+0.90693647","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":"Q3472099$D70E0D97-A2A9-40AE-9F37-7642A0A40893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8732e26f8d15ae4cae8412877dd84cfa77075d38","datavalue":{"value":{"entity-type":"item","numeric-id":1406364,"id":"Q1406364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7a8a684164868987e717b19d009d7536aa4c2f4","datavalue":{"value":{"amount":"+0.90682465","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":"Q3472099$0792B336-1892-4B2E-8BC1-AB9DAAB020DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3472099","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3472099"}}}}}