{"entities":{"Q4314671":{"pageid":6344272,"ns":120,"title":"Item:Q4314671","lastrevid":47282770,"modified":"2026-01-01T05:46:30Z","type":"item","id":"Q4314671","labels":{"en":{"language":"en","value":"A small reflection principle for bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 695442"}},"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":"Q4314671$B807B3E4-66BE-479E-9000-C7876E4AF10B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63978d3fba403421aeb09f1e00ad659189bb10eb","datavalue":{"value":{"text":"A small reflection principle for bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4314671$158A6B99-7C7B-43EA-A445-6476F0DBC8E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c376dd8b421d2294926ceda1ac5904a79a971b46","datavalue":{"value":"0814.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314671$E2CD89D5-4B37-4376-93CC-F75FC7837D95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d67449870b8247a1dfcc757613413fd8722be59","datavalue":{"value":"10.2307/2275908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314671$F1458806-6B8E-4E04-AC7F-7CEB2A961A45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb2d4d62e8cf49a7a165bda55c63cf137d414b8e","datavalue":{"value":{"entity-type":"item","numeric-id":490512,"id":"Q490512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314671$97A76340-0EB6-47DF-9C1A-D9091FC5613A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314671$6806036A-91E5-4575-9E8E-4EA8A502D6ED","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":"Q4314671$B4FCBAD1-4B6C-4BA2-997F-1A95A06BFA5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b284e35c1970c32b54ea678933b5f17581b0b244","datavalue":{"value":{"time":"+1995-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4314671$06173753-7AE5-458E-9A58-9B79F4EA8E7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314671$4CF86261-9CEF-4DC9-97A6-84E9AB483ECB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"238532939ec8a1f04672ef729f1bcc1eadaae697","datavalue":{"value":"695442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314671$C7CD713F-D3A0-40D7-8BFB-73BA2426DF1C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"087b61a1177b47db3d7eb1078aee95158ffdde79","datavalue":{"value":"small reflection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314671$F0420314-5701-4B5A-BAD2-3AB32E9BB8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7514bfebb46aa191092bd309a906c7d495ed67a","datavalue":{"value":"\\(\\Sigma\\)-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314671$28AB0BAB-66E2-4D91-A800-04F78C566667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"996f6c99dffcdd26285fd24afec05bf105113c1e","datavalue":{"value":"witness comparison","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314671$9F074951-3FDD-4E92-9359-5EF2A0F66470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314671$AC02C0C0-BBB1-470A-99D1-120C979A7961","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":"Q4314671$18197E27-FE59-4957-ADFE-B7A3E058F13D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2276319460e489e2b685b8398bd14a009ddeb869","datavalue":{"value":"https://doi.org/10.2307/2275908","type":"string"},"datatype":"url"},"type":"statement","id":"Q4314671$0F81F641-5039-43B2-A156-CEC170FB9609","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c090f92bb77cf821668d721620377c4cc12222c2","datavalue":{"value":"W2035299084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314671$DAE153F2-64D6-4ADC-A456-64009D658506","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314671$6E1F0B21-9AE5-444E-BBCB-A9EDCE3E5629","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":"Q4314671$2E9C624A-A776-4E97-9B8B-262819D22A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44aee1480eaeaf320249e8820f548f5b25dd3cfe","datavalue":{"value":{"entity-type":"item","numeric-id":3686709,"id":"Q3686709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314671$2407A4D1-8D5F-47BE-AC73-67C50BB75635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3330fa5c6279898dcc093948722963f954b2b34f","datavalue":{"value":{"entity-type":"item","numeric-id":4726219,"id":"Q4726219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314671$38A738D8-AA79-4DAA-9E5B-AAA8F42CFE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7a65ab8078521189e549618df4920888076e38","datavalue":{"value":{"entity-type":"item","numeric-id":3992551,"id":"Q3992551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314671$DFFCF87C-8CC3-4CE2-B5D3-F245D7995A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314671$1EABC99E-89D3-4963-AF7F-08390777309A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314671$A7DDFA90-F6C9-4C0D-825B-3981D014576C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48bc64bb0f7ebf905e20cba0dac02c05a1701629","datavalue":{"value":{"entity-type":"item","numeric-id":3128124,"id":"Q3128124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd3b9ba3dfd2bfa1914a19e0606b84e6ca0744ac","datavalue":{"value":{"amount":"+0.7937647104263306","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":"Q4314671$398341B3-9A27-4B5B-A312-7C95B96FB47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dadac4eb5d7f48fbe9442c05200c93be4675117","datavalue":{"value":{"entity-type":"item","numeric-id":4893139,"id":"Q4893139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc096962ecf3933e9b49ba439cb36fb60e6d869d","datavalue":{"value":{"amount":"+0.7936592102050781","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":"Q4314671$C5ECBEF7-FD0F-42A8-99FB-6CA8696F3892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85634a152828f5b387af46f85759fd1c0fc7b16","datavalue":{"value":{"entity-type":"item","numeric-id":4348126,"id":"Q4348126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b53f115868d0f3334f2305d8a7a023178d5f9d","datavalue":{"value":{"amount":"+0.7792647480964661","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":"Q4314671$5BEB0C10-0E73-4730-B781-3B6AB9F4C263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebc4d5b4e252ebb33d27ac435a2e6975d84174c","datavalue":{"value":{"entity-type":"item","numeric-id":2655140,"id":"Q2655140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573bf8be56d27b942034ff759a06d66c74016f29","datavalue":{"value":{"amount":"+0.7777844667434692","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":"Q4314671$66BD8B64-8315-46EC-8002-797C431C8B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4260febc0cbec0e19233f3e3b04044e7c04c5713","datavalue":{"value":{"entity-type":"item","numeric-id":685071,"id":"Q685071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f08414323b8d2979641cbac4e27294eceddb5efd","datavalue":{"value":{"amount":"+0.7685889005661011","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":"Q4314671$B0432C26-23B9-4531-BEFB-B37DAAD42973","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4314671","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4314671"}}}}}