{"entities":{"Q3007245":{"pageid":3017969,"ns":120,"title":"Item:Q3007245","lastrevid":79865756,"modified":"2026-05-06T14:53:26Z","type":"item","id":"Q3007245","labels":{"en":{"language":"en","value":"On the proof theory of the existence predicate"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5910640"}},"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":"Q3007245$994BA726-28E9-4629-9B0C-7D48CDFBD6F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7a38c709f73acf014acf7031fa29f3f6539a33c","datavalue":{"value":"1279.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007245$B7BAD675-CB4A-4C51-985C-A563024CD2A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007245$9B417018-DB2D-47D6-AFF0-5F4E6B73BCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e326b781d7ea9722bb167cc0ed9408436c2cad0b","datavalue":{"value":{"entity-type":"item","numeric-id":234719,"id":"Q234719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007245$ED7D53E7-E9B9-44CE-A329-438BBB6BB2EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaadc694b5c90aa791eb86162a7f02b09c9e536f","datavalue":{"value":{"time":"+2011-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007245$AEFE17E0-09B2-4F50-B3E9-661170EC2BD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007245$B6E0E858-A6A0-4666-A8FF-2C61A354DB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007245$75F08CCD-F50E-4038-A3E8-26395B1E0E3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47c7f95c7300ac8b4c8e79e80b831da2ff3ae298","datavalue":{"value":"5910640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007245$D150ACC6-6A25-4586-86C1-F3A6987B86CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2424b06168b56f5165401ddfd6ca03131578bb47","datavalue":{"value":"proof theory of the existence predicate in intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007245$030D94E5-7775-4677-B1EF-4E9B0CE1D208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3af4709fd49fecd571b71cf74bcf9d0ff4952a1d","datavalue":{"value":"reference to partial terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007245$1C0CFF79-6C5A-46AD-A69C-A0344884AD3B","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":"Q3007245$702900A6-6EA0-497C-B06B-E0EA7598A713","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f775a3f1f58577f0d6c8c4e75f1b4fa420ae5d","datavalue":{"value":{"entity-type":"item","numeric-id":817698,"id":"Q817698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f779d7e007f63ac36578ed707a23f413e1979c3f","datavalue":{"value":{"amount":"+0.7773054242134094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007245$584D6D6A-D7FA-48DE-B2C7-3B82A53E8CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be9a310b31eaf5a477426701cc373a17a34144fc","datavalue":{"value":{"entity-type":"item","numeric-id":5387875,"id":"Q5387875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4358857a8396698e6f17c56115014cb8184ce47f","datavalue":{"value":{"amount":"+0.7628230452537537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007245$F4E0B9F1-D854-4539-813E-C9D763700C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2ec75e220191ce9be193662d16c95db9d8a74a2","datavalue":{"value":{"entity-type":"item","numeric-id":2503404,"id":"Q2503404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7059f82ca045ec45ce2ccab7238cc773fb041408","datavalue":{"value":{"amount":"+0.7389670014381409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007245$8DCE5D01-89BD-4139-9357-0833A09A3754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26eb25336fe60193e9ca22dfbeecd616c58ea363","datavalue":{"value":{"entity-type":"item","numeric-id":3720600,"id":"Q3720600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5970a2cf6a5a82e3f9cdce228d0c561d75a55a3e","datavalue":{"value":{"amount":"+0.7288064956665039","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007245$5F7AE1FF-FA4B-4F4E-BE21-E3DA0CB9A7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ebc98968fdbec934667a7e957146a83b8a3171","datavalue":{"value":{"entity-type":"item","numeric-id":5213612,"id":"Q5213612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42b1ce8c4922589c2361fa32128ef926ba5e799","datavalue":{"value":{"amount":"+0.7221535444259644","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007245$2CCB2DB6-8028-4057-B78E-1D3D9C580D0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the proof theory of the existence predicate","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_proof_theory_of_the_existence_predicate"}}}}}