{"entities":{"Q3426567":{"pageid":3437270,"ns":120,"title":"Item:Q3426567","lastrevid":50048122,"modified":"2026-01-12T19:24:41Z","type":"item","id":"Q3426567","labels":{"en":{"language":"en","value":"Theories very close to <i>PA</i> where Kreisel's Conjecture is false"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5132668"}},"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":"Q3426567$3336F4EA-611E-4478-9733-5F0BAC1F2561","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3dafdc7955d385722c1736bebe6922e82164908","datavalue":{"value":{"text":"Theories very close to <i>PA</i> where Kreisel's Conjecture is false","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3426567$6E9BC3CA-A02B-4D5E-9B0F-6BE8FD598CF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b05531213b38d10fd604a145aa32b17503d90adf","datavalue":{"value":"1117.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426567$79E70FC3-184D-491D-8DDA-0A1A32E1362A","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":"Q3426567$000381EA-4B9B-4301-9BEE-E060738F0C0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39eed756ef4774638f5dc70a5b404d4f34900328","datavalue":{"value":{"time":"+2007-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3426567$3758CC6B-E14E-405C-BEC1-0F521488CA61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426567$0E1C4053-2AD6-4C12-AECC-350B04434060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426567$97C168D6-14ED-488A-BAF3-588EBE3DE7E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a49062d13b3bd63117afda9bc20599d6f4e33d9c","datavalue":{"value":"5132668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426567$4FB4E1F2-D646-4721-B1B1-6D94FE563B83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426567$4D6F3663-B6B9-49DB-80E1-1E0B79612517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24d315864f474bfd80feb086355d2a2070514d5b","datavalue":{"value":"length of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426567$2AC1139A-1B44-48E7-8F5D-0F34A183085D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426567$3B0AE12B-5F5B-4BDE-BEAF-2862F8F533C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e7ea3ca54733938686f141270931e22fee1769f","datavalue":{"value":{"entity-type":"item","numeric-id":436565,"id":"Q436565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426567$04BDB5D3-9266-41D5-A6B4-771FF3A018F8","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":"Q3426567$8E544CFB-FFF5-47AA-844D-3BB969FA8399","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5781c96935a1635f17178e813e85dc1dd293ac11","datavalue":{"value":"https://doi.org/10.2178/jsl/1174668388","type":"string"},"datatype":"url"},"type":"statement","id":"Q3426567$9182DA13-6222-4974-9321-B5A69527A0D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1022d888331b1a104b4721fbac9aa1cca2b06df2","datavalue":{"value":"W2015507170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426567$742C434E-BEB2-41DF-969B-D27FE2DEFC40","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"10776f13569bca38b44555775c0b3af4b5e87281","datavalue":{"value":"Q123110405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426567$0DAB293F-410B-4675-AA10-1FDC2C481D82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b877bb347607595fb624be01371eb48d455fd3c","datavalue":{"value":"10.2178/JSL/1174668388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426567$798145AA-E93A-476D-98A0-B8856AA5FBCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21473e318044af4735c8f559ea4a6ecae3509f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3773879,"id":"Q3773879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc13ae3114d9ac067180e217badbfd2f6a06830f","datavalue":{"value":{"amount":"+0.8663861155509949","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":"Q3426567$7D11B48A-86C6-4692-AB92-55A96238656E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f96dbd05ad84233c354d50f4becf29f2234803","datavalue":{"value":{"entity-type":"item","numeric-id":3399187,"id":"Q3399187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85867d836327f8d5bfae439d68959b67d7d7a75","datavalue":{"value":{"amount":"+0.8481419682502747","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":"Q3426567$D2448719-4039-4657-9C9D-B6AD8BDB8098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b21c589110c68473a92f7abc8e8208c2f9b21f94","datavalue":{"value":{"entity-type":"item","numeric-id":843609,"id":"Q843609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eadf4ae873c401f0d062a777f1e120d62325ad34","datavalue":{"value":{"amount":"+0.8368008136749268","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":"Q3426567$E6AD6C6A-96EB-40AE-BD2D-E74D3041B489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e250c9950b9fbb4fb32f1056f995f17bc1e86f4","datavalue":{"value":{"entity-type":"item","numeric-id":3788004,"id":"Q3788004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d0d861daa28a5dc009f72c81c13b98fa06abe4c","datavalue":{"value":{"amount":"+0.8303120732307434","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":"Q3426567$C3146335-EC26-437D-B323-961255330F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"550fc8df4cf4fa77c75470460399b99bfc536f51","datavalue":{"value":{"entity-type":"item","numeric-id":3140631,"id":"Q3140631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"351bf6643d1b748cb17fa891e33f3bcd0bd3b53b","datavalue":{"value":{"amount":"+0.7963925004005432","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":"Q3426567$6000EC8F-E304-467D-B6D8-E39F851F8402","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3426567","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3426567"}}}}}