{"entities":{"Q1386675":{"pageid":1397415,"ns":120,"title":"Item:Q1386675","lastrevid":68597877,"modified":"2026-04-13T00:49:33Z","type":"item","id":"Q1386675","labels":{"en":{"language":"en","value":"The function \\(\\lfloor a/m\\rfloor\\) in sharply bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1156509"}},"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":"Q1386675$A76AEDF2-F7AC-42D9-912E-839B54EB714C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecf47c7aa5f2f1264f64c2222817000dd2538e49","datavalue":{"value":{"text":"The function \\(\\lfloor a/m\\rfloor\\) in sharply bounded arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1386675$C5EF2E5B-D5A8-409E-87EB-F4C3BB518A31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67a5272a096465396f147991cef818aaca1a7841","datavalue":{"value":"0894.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386675$12C62EBD-D463-4755-A398-304C2E100465","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c1abed143012998ca9f7a9e8023179ee92e85f2","datavalue":{"value":{"entity-type":"item","numeric-id":1386674,"id":"Q1386674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386675$64B4584A-7D73-45A2-8D9F-6A78593523F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26d759a8f15177451aa97ef2fc9836978dfb443","datavalue":{"value":{"entity-type":"item","numeric-id":278746,"id":"Q278746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386675$526A8A2E-98C1-4366-83CF-42363FDB5E25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1386675$4AD6A5B5-B9F4-4BE1-AFDD-0C6C8C45E7CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"569b07b5a75da030fb671cb78cd99087e40d880a","datavalue":{"value":{"time":"+1998-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1386675$E9F260D3-5CC8-4C23-B356-EBF9E6FA7652","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"89b1b577c9d4c19ee99d57e8297d8a2a286c55d4","datavalue":{"value":"This paper proves that the division operation \\(\\lfloor a/m\\rfloor\\) is provably total in the system \\(S^0_2\\) of Bounded Arithmetic if and only if \\(m\\) is of the form \\(2^n\\) for some \\(n\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386675$55B5F6A2-B586-4596-B3EE-D2C0AB98A82D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386675$99F3052A-2A67-4347-8BEF-077E29B9BBAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21d1509a92fc245e314e83bc15ce18342026d082","datavalue":{"value":"1156509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386675$49B60AD4-F805-47E1-8CA2-B7B224AAC5DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"335361f2d5472f7ca846e53db25ccb4027120f89","datavalue":{"value":"division","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386675$DD193F8B-EB50-44A8-8FE1-949BB7AEA267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cebe188a21d406092f266aec0b91fac3d8f72f6e","datavalue":{"value":"provably total","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386675$13D0DB05-403E-410F-905A-A1660F5B12D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01aa176836d243db97ef26f6e5ac337d9251b982","datavalue":{"value":"Bounded Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1386675$F6596C9A-48D2-4BC6-AB81-0D18D21445E5","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":"Q1386675$2214143B-FEF2-4CAB-BB00-098D3EFECF3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c42128dcdc29787fe01f028a38f03a1e807cc4c0","datavalue":{"value":"https://doi.org/10.1007/s001530050082","type":"string"},"datatype":"url"},"type":"statement","id":"Q1386675$39A76969-2260-4C28-83DF-1EFFF9AD528F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0479ed7f671ddfdd9fee33365672f92bad90b857","datavalue":{"value":"W2027277577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386675$F55F8734-D66C-4E87-B5E4-E911A1D33B3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e63d2041912c127af4f5a7305e7b9149c49d2466","datavalue":{"value":"10.1007/S001530050082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1386675$DED19936-9AEA-4949-9267-862FD5A9D5AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14ee9be6de45120e1c0cc4954502da9c0d24c50","datavalue":{"value":{"entity-type":"item","numeric-id":4244822,"id":"Q4244822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fabd9fa97c9e50784557dc29ae7e8d8605b07b7","datavalue":{"value":{"amount":"+0.8425019383430481","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":"Q1386675$E1F70B89-3542-47C3-B71D-8E2E3D2803F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8033b63bb9815824aec95a7f6293e4d81da8c737","datavalue":{"value":{"entity-type":"item","numeric-id":4224090,"id":"Q4224090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f05adfa07ed861d125121cad9630cd5e319d6cff","datavalue":{"value":{"amount":"+0.7579098343849182","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":"Q1386675$8036465A-AA24-404E-8157-E069F74C9E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c3b4acf994ed10568905d1d3eb2f62389cb7d94","datavalue":{"value":{"entity-type":"item","numeric-id":3487339,"id":"Q3487339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dba90d512b0dad82a60d3d78d33bc02fa2003e6","datavalue":{"value":{"amount":"+0.7482516765594482","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":"Q1386675$410E7EB2-CF29-4A91-91DF-64401A4769B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c19518a2e3d65d9e4a50b15a8ed3848ba443956","datavalue":{"value":{"entity-type":"item","numeric-id":1325055,"id":"Q1325055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f58dcfc23e3f877bed352eec2b119714c1f7a09","datavalue":{"value":{"amount":"+0.7104417085647583","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":"Q1386675$92DE7B93-33F4-4572-93D6-1574D0F627A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The function \\(\\lfloor a/m\\rfloor\\) in sharply bounded arithmetic","badges":[]}}}}}