{"entities":{"Q2963957":{"pageid":2974682,"ns":120,"title":"Item:Q2963957","lastrevid":52749548,"modified":"2026-01-23T10:24:21Z","type":"item","id":"Q2963957","labels":{"en":{"language":"en","value":"Satisfying predicates: Kleene's proof of the Hilbert-Bernays theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6687890"}},"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":"Q2963957$6CDA7CB1-4A56-4EE7-9BC6-D23F2122E9AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04c5292e4d74217982cca0037e18c37b9d4a2a8a","datavalue":{"value":{"text":"Satisfying Predicates: Kleene's Proof of the Hilbert\u2013Bernays Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2963957$792E00AA-39D2-4E8B-B9F8-74AEA4555803","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"536bc79368c8400d191b9691edc7f1779b545f30","datavalue":{"value":"1369.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963957$A6BAC4FB-5F23-494E-9817-4BE879789ED7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39fa91350feac5d81ed5a6970b78de2ae3dc55e8","datavalue":{"value":"10.1080/01445340.2015.1028146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963957$C48FD1AE-EFA8-4E01-B3F2-53D43F03367C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7ba5a1f0530464afb8a0ea8bc924eac28238c72","datavalue":{"value":{"entity-type":"item","numeric-id":215036,"id":"Q215036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963957$A3F48F44-8EF5-4019-BE6B-4D12543357BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17af3acb8fbbf15cacab125c0d45264f400b5a22","datavalue":{"value":{"entity-type":"item","numeric-id":2757958,"id":"Q2757958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963957$60093909-1370-4E17-9486-E9B2748B68E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ccf44329f0b8ca1e42fd376b5ef1ba5e3da06d7","datavalue":{"value":{"time":"+2017-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2963957$D2D2B68A-B598-455D-B1E8-7CC681F809DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963957$54F258C3-091B-4E5E-BF03-1D97F111327E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963957$EAAB40AD-7DD5-4A91-86B9-D72DA35BEDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963957$4FFDE424-77B5-4851-90F0-E0C61344D024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963957$8D0709AB-1F2E-4199-AD8A-004DDE3C5C97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abfd22182ee428476da7d5b400a7db39cbe8e3f7","datavalue":{"value":"6687890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963957$6139FF23-7BA7-4A66-A3C8-5C3C2FC5C9B6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fb695e76dbaace0a2b348805e20469df6366cffa","datavalue":{"value":"Q57680925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963957$8B733FF3-009A-4F96-BE88-BDC19A758272","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":"Q2963957$97DA7926-0B15-41AC-BC5B-F9415537B38C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"084db96e17821687241f683a172b3043bb679101","datavalue":{"value":"https://doi.org/10.1080/01445340.2015.1028146","type":"string"},"datatype":"url"},"type":"statement","id":"Q2963957$185F1C6C-3322-424A-B2DB-3CE85C1F32D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"688bed89c2cd972716fb1b157a62562a32f5ada3","datavalue":{"value":"W1966004240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2963957$144C6CAE-3194-4D1D-B201-CD1454F34430","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963957$253BEBF5-B3DC-4C4C-8A48-40DCA7175B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963957$D3BD1B0D-0E5E-4A09-83B2-03C188A2CD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88100a68597a0f0388ad29f5d27eac96d4997788","datavalue":{"value":{"entity-type":"item","numeric-id":1840177,"id":"Q1840177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963957$67C17730-BA21-49EA-8F75-235DD317EADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e6ec8bf53a403cc5a32600f6b7dd2946260e87","datavalue":{"value":{"entity-type":"item","numeric-id":5588612,"id":"Q5588612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963957$D05F8334-CA17-49B4-A9C9-642C155041A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba87f647d350da9410e3009029b609261e32924","datavalue":{"value":{"entity-type":"item","numeric-id":5797033,"id":"Q5797033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963957$F244710D-E9D2-4716-938A-56BC89FE0588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963957$555C18D5-3EDC-4AD2-A403-C1D694A8881C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def5659e262d9601c2de72c38ef43bc16faa2300","datavalue":{"value":{"entity-type":"item","numeric-id":1131248,"id":"Q1131248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2963957$59C7AFBC-0D16-436D-9478-371775942117","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbbd5bfbc8774fa560114caa5a9254332df27746","datavalue":{"value":{"entity-type":"item","numeric-id":5208122,"id":"Q5208122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"515abda5d35dff1f8e638c3260d5797f5076a201","datavalue":{"value":{"amount":"+0.7942062020301819","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":"Q2963957$EE2814AA-956C-4E7A-9167-B4B0A66DA915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c659fd90407996d2e82677ba263bdb83bf1f9137","datavalue":{"value":{"entity-type":"item","numeric-id":1903591,"id":"Q1903591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a62ecdf757154e7c6cfd70fcffc76d503f850f4","datavalue":{"value":{"amount":"+0.6906238794326782","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":"Q2963957$FF307623-56F7-444F-900C-6B29C8EC8013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a346cc7391b3124b47922db21bccc3493f530ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3483288,"id":"Q3483288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a7def8fc2c6dc3ff2cf2b2f36972fb6c2fc2859","datavalue":{"value":{"amount":"+0.6881098747253418","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":"Q2963957$2F7E732D-B125-450D-BB18-1C0BD1D367EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a0cc95664a41d06e6c0d7a01deb5c8ac84be5d","datavalue":{"value":{"entity-type":"item","numeric-id":2631647,"id":"Q2631647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ecfc8ee4dfb7362ee97fa472194faf85d0ac1da","datavalue":{"value":{"amount":"+0.674980103969574","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":"Q2963957$793FA724-D31D-4808-A4AB-1F9F512D257D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"891fd28cdbfd54bfbd1d94e08514f291db812430","datavalue":{"value":{"entity-type":"item","numeric-id":5214674,"id":"Q5214674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3fb46172f47386645ecb51f2d8afb84f828d2a9","datavalue":{"value":{"amount":"+0.6703397035598755","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":"Q2963957$A294CED8-F3F0-4D1A-BF79-AA5C7A85607C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2963957","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2963957"}}}}}