{"entities":{"Q3399187":{"pageid":3409890,"ns":120,"title":"Item:Q3399187","lastrevid":86808278,"modified":"2026-06-04T09:54:34Z","type":"item","id":"Q3399187","labels":{"en":{"language":"en","value":"Kreisel's Conjecture with minimality principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5609399"}},"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":"Q3399187$AFF577CC-4C27-4D4D-BF45-796FC3C64142","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfda5441fb2489d32f0b925c418e6b57aa05997b","datavalue":{"value":{"text":"Kreisel's Conjecture with minimality principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3399187$275064E0-BABB-4C7F-84D2-D4A393575B17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f02acd25849f29266465816de989162bf1d60de2","datavalue":{"value":"1180.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399187$99486A73-19EA-4F6B-A92F-89BA8F5F6441","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a20869fcd975d123d10d62c56ba2fbfe1c71aa3","datavalue":{"value":{"time":"+2009-09-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":"Q3399187$DEEE6C49-5452-4E95-8A64-00B159A0A226","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399187$E07F0AB3-B754-46BA-ABEB-A237C28FF2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399187$AC90BDDA-CC92-479E-BFF7-15F2ED0CBAE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0296265e64f15df1c7b2349b22562ca7f2406e34","datavalue":{"value":"5609399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399187$0324B7CA-40AF-4D92-89F9-69326B5F2D44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399187$57011FFB-2882-4F72-8296-DA9D2CD77B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5ae3335d8a10f065af591c4a13fa2070d1a7be7","datavalue":{"value":"minimality principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399187$5C256234-9F74-4B98-A845-78E6C829781B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56766a0bbdd06f79e66d2f027452b7d279a8136f","datavalue":{"value":"Kreisel's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q3399187$989F8F9B-B6BA-4B58-BDCB-A42BD5664E3A","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":"Q3399187$94B40AB9-AB20-4CDA-B27D-922E3C7387F2","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":"Q3399187$EA0DC046-682F-4EA2-AFCF-C17B54302AD0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab9410ac93c17a0dc92fdd8633bfdfea4bf770b5","datavalue":{"value":"https://doi.org/10.2178/jsl/1245158094","type":"string"},"datatype":"url"},"type":"statement","id":"Q3399187$4E9D30AA-6CB4-4B05-A398-0F5FBC6A140C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"545e80b19b597ec70af5c03b32d50600f4443edc","datavalue":{"value":"W2079990130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399187$A792B68A-DECF-4B35-9C39-090D0F3199E2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d677174d1c279c45220f46f05636ee31ebb52cf7","datavalue":{"value":"Q122977880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399187$CDD0FB09-BDF4-46CA-9098-83345218E754","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa011a834041a527ecea97cb500c12560c9ab895","datavalue":{"value":{"entity-type":"item","numeric-id":3335776,"id":"Q3335776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3399187$668ADD8A-3AD9-421D-B5EC-B3D7FCD0F00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b880d3c8511f1d53c27d1537b521daf74193b4","datavalue":{"value":{"entity-type":"item","numeric-id":1102280,"id":"Q1102280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3399187$064D032B-1732-4EBB-92D0-6E22BFD295C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad30bf4d75347f4bb75b482053e125684b94e0d","datavalue":{"value":{"entity-type":"item","numeric-id":3426567,"id":"Q3426567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3399187$3B255E4A-3DD5-40B5-8B20-64DCF3A48A05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f96f67ab7898c9654dc375bedc7fc6ada6852534","datavalue":{"value":"10.2178/JSL/1245158094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3399187$422C429E-EF97-4E17-A326-C411C9D9CAFD","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":"Q3399187$75DFF4D6-815D-4FCA-A236-DC6DCB4F29CD","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":"dbc335b800e704eb61c7279008fd646ae5822b80","datavalue":{"value":{"amount":"+0.9164068","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":"Q3399187$816849EA-D696-413A-8265-E9C0072F7232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b86eac93b402e90c875d5a180daba95ffb5b9576","datavalue":{"value":{"entity-type":"item","numeric-id":1312860,"id":"Q1312860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3220fdf6ac52bd86b7af308b829a6c2020a92cc","datavalue":{"value":{"amount":"+0.89266557","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":"Q3399187$C2A463B7-2BA3-4165-B2A8-51BC57767745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68aae1be2f056b7b4bdd90ae32200a723afcb07d","datavalue":{"value":{"entity-type":"item","numeric-id":4206885,"id":"Q4206885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"094aa6c95e6acfb32f79d25385c7af375b0a5760","datavalue":{"value":{"amount":"+0.8888258","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":"Q3399187$F49EFF43-CA5C-47BE-A01A-458C19F978CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90edb7f5bd2e346f67de7ab8827b449be891a726","datavalue":{"value":{"entity-type":"item","numeric-id":1940366,"id":"Q1940366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"309768edca667343c0b8e5ed43a864811544392c","datavalue":{"value":{"amount":"+0.888065","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":"Q3399187$396A76A5-F153-4EC8-A2B6-365DB827CE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4d6a347c2cd7f4c01486b0e5d505608cb73a584","datavalue":{"value":{"entity-type":"item","numeric-id":5932695,"id":"Q5932695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26475e4e7c3b61e7041671a9752b14da7bf719ab","datavalue":{"value":{"amount":"+0.88800824","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":"Q3399187$EC495EB1-28CD-4346-A94A-865A38D15329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dea588c6f25d7cb845ca55e1576a2e35fce0c40","datavalue":{"value":{"entity-type":"item","numeric-id":2746250,"id":"Q2746250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26475e4e7c3b61e7041671a9752b14da7bf719ab","datavalue":{"value":{"amount":"+0.88800824","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":"Q3399187$3F0A5E23-00D3-4CA7-84B6-4D07BCC30585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1bf096e5be0a6b5bc297f7d998fdd5cd8634d35","datavalue":{"value":{"entity-type":"item","numeric-id":5227998,"id":"Q5227998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8785e79417b6f42c22f7432be6474efbb05e0fef","datavalue":{"value":{"amount":"+0.8860812","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":"Q3399187$6A5C2ED7-0EB6-49AB-9620-2D7B91EF38B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e3a15d938d5791a3287bd2bf9c360aaef69e46","datavalue":{"value":{"entity-type":"item","numeric-id":2566158,"id":"Q2566158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eaabb8461a21d1e43df3881a90c329fe75a2afb","datavalue":{"value":{"amount":"+0.88604784","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":"Q3399187$7B8D80C4-F288-47A4-B227-6AB7B2F19A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a6bfd6fb154f4c710a7cebb0ec5ee458f96ecfe","datavalue":{"value":{"entity-type":"item","numeric-id":4485932,"id":"Q4485932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"941b7354b321b52236f691cbfef7115faa41603a","datavalue":{"value":{"amount":"+0.88443375","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":"Q3399187$CCD2CC39-973C-4945-B203-1FA9508DAE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdab37f9d5b5180178813c5a57c63e34571119b7","datavalue":{"value":{"entity-type":"item","numeric-id":598438,"id":"Q598438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"896b8f64e8e0fe62543257853a9b0eedc32fdb65","datavalue":{"value":{"amount":"+0.88414806","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":"Q3399187$200A9775-0547-4568-9541-F6E33BEBD5F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kreisel's Conjecture with minimality principle","badges":[]}}}}}