{"entities":{"Q892168":{"pageid":894016,"ns":120,"title":"Item:Q892168","lastrevid":52397417,"modified":"2026-01-22T13:38:17Z","type":"item","id":"Q892168","labels":{"en":{"language":"en","value":"Henkin sentences and local reflection principles for Rosser provability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6511071"}},"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":"Q892168$44619773-7C4D-472F-B19C-CFEE95AB6FAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9603cba15ae80ce85cb3da8a6280565e0d88b4c8","datavalue":{"value":{"text":"Henkin sentences and local reflection principles for Rosser provability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q892168$687363E9-4B4F-453D-B5A0-9BB020B5C39A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54ef1c25053b8183d7f7bd462d68947232a89038","datavalue":{"value":"1402.03084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892168$525742E5-F6A6-4B6B-A688-3CD21D760F2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"128c2b12d65261607bd53a5a5505e34270780d7e","datavalue":{"value":{"entity-type":"item","numeric-id":312495,"id":"Q312495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892168$8186D540-2080-43F3-90BE-A997AE65C3A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892168$E92B604B-61B2-4079-BD9B-E183CC40371C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"482b7978385e0be0d8ea5afcf93e349a724cc633","datavalue":{"value":{"time":"+2015-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q892168$062339EC-6772-4AE6-B6DF-93A9AEC328A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892168$7B439964-DB5E-4E76-81D7-4F38231BE3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892168$948894B6-8B03-4AC8-848A-053CEE999074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892168$97D310FB-6F19-4C62-9E65-019269FDC813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892168$F4930DCF-1027-48A3-8B9D-8E96EA718BA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a760eed0407bc81bebd36038ebd507ba2ac473e","datavalue":{"value":"6511071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892168$DDA3FCEB-8D29-4D09-9E5A-F7C3E93E89BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a65a9345a2efda91c70c088e3c8240530413550","datavalue":{"value":"Henkin sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q892168$7D5E7297-0FA1-43D7-B0E4-41C60BFF6552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea2b97392ffe6d5858b23639beee105d354b4c1","datavalue":{"value":"local reflection principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q892168$2D2B2F79-A9EB-4476-9669-D10F304ECCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fb088e3f083edf24aa73f673b18753e6d001384","datavalue":{"value":"Rosser provability predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q892168$2D1AE1DA-17C8-46D9-B53D-8D9A996C947E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05dbe256b2133aa352d9ca7d2796c75c57cd693b","datavalue":{"value":"L\u00f6b's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q892168$CD77BC8B-2A42-4629-AB01-04B25333A820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a2a9f912130ce59e7d6c81711aef812f9166fa0","datavalue":{"value":"Rosser sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q892168$763CE51C-5CBC-4662-9719-7D231601C75A","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":"Q892168$D926FC1E-32DF-4ABE-86EC-78AE2A9094E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06561147d627905e98425834800a63cc03ffb78e","datavalue":{"value":"https://doi.org/10.1016/j.apal.2015.10.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q892168$3AF48478-CE31-49E1-BC74-4C2301E68622","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec73346bc179fcd5ad3f09378b82294ec1400ffa","datavalue":{"value":"W2148793401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892168$EFEBDB72-2CE4-4926-A57E-52EB9EC60988","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b226e1cf53a11b2b23cbab3932c50f8cdfd13a6","datavalue":{"value":{"entity-type":"item","numeric-id":2641298,"id":"Q2641298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892168$D0ADA275-E7FD-45B0-8744-D462D240B2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b807e573c90c1a55e76c5f70d24384d226604c","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892168$37D2DB24-FFD9-4DD3-A316-BB840841AC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892168$5F5B984A-9AAA-4516-B56E-22C08B175C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e60b74113ff420c57d5384348e420bbd62e99cff","datavalue":{"value":{"entity-type":"item","numeric-id":908911,"id":"Q908911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892168$79C03C5F-ECA5-4C74-A259-23444099F21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c269d09afd246ea18f79e934a48e62802b0fc94","datavalue":{"value":{"entity-type":"item","numeric-id":3861389,"id":"Q3861389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892168$67B98D16-067D-41BA-B8B6-2B1C63617761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6cf1309390b2f8f5a08d120bccae2bd65015624","datavalue":{"value":{"entity-type":"item","numeric-id":5176166,"id":"Q5176166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892168$A84F331A-78BF-4D55-A9E2-40FAC4500BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee46824ae848221a8b1ebb008493f46209e2353","datavalue":{"value":{"entity-type":"item","numeric-id":5823280,"id":"Q5823280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892168$F3AB8345-6759-4D2D-82C0-092F2565B65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bd72dbbdbb28e49bc58fdcc6d69fc1738d5bbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5552747,"id":"Q5552747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892168$2123A1C8-90F5-48FD-8D54-242BA6779593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf06aeee7433c1cc84e0544ea05fd502dcf84cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4103079,"id":"Q4103079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892168$026B32D0-FBB5-427A-AE0A-1E45F7FE1BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077e2459b8411fcffe98ea4a90b08a77f429a3f6","datavalue":{"value":{"entity-type":"item","numeric-id":484194,"id":"Q484194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892168$9D266531-67B5-415F-B070-B7D7B1A0822D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d180963570664aa1a82a9b2635813da486d110f","datavalue":{"value":{"entity-type":"item","numeric-id":3698795,"id":"Q3698795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892168$984A258E-64BB-4DFE-AAA4-08E61D73274B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"939bb175e94564ce4bdc5eb26ddf0a3180c8f37d","datavalue":{"value":{"entity-type":"item","numeric-id":4354788,"id":"Q4354788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892168$7D375D15-2642-4ECB-A9F7-1BF5D657EA92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1103109f5e36aeeaaf4d39c1229005c3254b87","datavalue":{"value":{"entity-type":"item","numeric-id":3227564,"id":"Q3227564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892168$4DFAC3C6-F799-434F-9E10-8A405C8B8F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4738c2a117f561e52657f7870a152b66a3a08a","datavalue":{"value":{"entity-type":"item","numeric-id":5203006,"id":"Q5203006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892168$9EAAF3FA-2A35-4F5B-9D19-4712E2BA9C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc936fb9d74d6cbe030761022ef64e08bc9bae42","datavalue":{"value":{"entity-type":"item","numeric-id":3895468,"id":"Q3895468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892168$6BDD505D-1F4A-453D-BBCF-7CA88517EE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q892168$672A5883-BCC7-400B-B113-BE338A429A86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07cf1d3155c40a31f73e6498a84527368ded6f50","datavalue":{"value":"10.1016/J.APAL.2015.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q892168$4EB7798E-582B-4B6B-BBDF-D029C41EA22A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9ab07931af7835bcd0b3e730c5c46690b4fd03","datavalue":{"value":{"entity-type":"item","numeric-id":908911,"id":"Q908911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9baf7e1923aa010f81dc10761161ea1da6c87b8","datavalue":{"value":{"amount":"+0.774541437625885","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":"Q892168$66E25A5E-C8D4-49E3-BFC2-6954665E7539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d41f9525ad40e5eeaa2ffcc83a1243bfebfc98d","datavalue":{"value":{"entity-type":"item","numeric-id":5176165,"id":"Q5176165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"763b9cad067c68dc04b9a55b90f0cbdfe7c033bd","datavalue":{"value":{"amount":"+0.7694131135940552","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":"Q892168$161317E3-3E30-4189-BD29-CAB808681ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f156f946bd8e2cfcc61ee7a9717b81cdf6f7b503","datavalue":{"value":{"entity-type":"item","numeric-id":2470037,"id":"Q2470037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f5f5e9f4ff12fd17943142ae76626208c3b72c4","datavalue":{"value":{"amount":"+0.7611037492752075","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":"Q892168$9B10FF0E-9163-440C-A409-117373D40C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"374690f1db89fe0a3707b8d3b0da26185004bf5f","datavalue":{"value":{"entity-type":"item","numeric-id":2641298,"id":"Q2641298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"022649b36dff16fba858a06b45d9f733a83453fb","datavalue":{"value":{"amount":"+0.7599412798881531","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":"Q892168$23C674D3-2B07-495E-A800-7A683552B8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b61dde329e9af43aeeb24b90436f26169efc30c","datavalue":{"value":{"entity-type":"item","numeric-id":1099165,"id":"Q1099165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec553312025cc463d6d88797817f9137e7fea0e","datavalue":{"value":{"amount":"+0.7524289488792419","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":"Q892168$5CAC9564-98D9-4C8C-9BC3-42655E39D100","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:892168","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:892168"}}}}}