{"entities":{"Q2932276":{"pageid":2942996,"ns":120,"title":"Item:Q2932276","lastrevid":85217819,"modified":"2026-06-03T06:19:23Z","type":"item","id":"Q2932276","labels":{"en":{"language":"en","value":"Cuts and overspill properties in models of bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6375370"}},"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":"Q2932276$0B65B158-B0A2-4DDC-A982-F344953FE8CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ee0b4f767d5ab4bf3de08a5b1a9b0fe065fe72b","datavalue":{"value":"1310.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2932276$488F78F3-E360-4864-AD84-052581705FE1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c3d9bcc49ce8479a4f74748257e9fdb44ab539c","datavalue":{"value":{"entity-type":"item","numeric-id":535157,"id":"Q535157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2932276$3D7129A3-CBE4-41E5-BB8B-5B1659510C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb13c667d0e6df6113203cdc28041928a8d0acad","datavalue":{"value":{"entity-type":"item","numeric-id":2932275,"id":"Q2932275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2932276$457E415C-C3CF-4B20-B04D-E3F3F802BE11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdc795f38e18c6319174946751175e53edb1bfe2","datavalue":{"value":{"time":"+2014-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2932276$D2360F3A-BDC8-4944-BD18-EF19E775E1CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c69bd9aff710def6ca340754e09b296d97ceabc","datavalue":{"value":"http://www.ijmsi.ir/browse.php?slc_lang=en&sid=1&a_id=403","type":"string"},"datatype":"url"},"type":"statement","id":"Q2932276$92518E78-6ED4-438D-98BE-469F007D6BE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2932276$EEF782C9-90D6-45E7-9D1E-C3C42300BAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2932276$AAF8992D-D593-4A2A-9128-928D9DFAF63A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c74a86cff45173d19c216ce5dec7a725c90da44e","datavalue":{"value":"6375370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2932276$61A84FD2-0E79-41A4-8403-E489BF61D49C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2932276$C819EBB0-C46A-4BB9-9ED6-F3FAE9768312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a41e3ab451b803175f837aba9a774924d1bb063","datavalue":{"value":"polynomial induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2932276$C0DF581C-203B-45F4-9C0A-9F4D78839333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abab6d51bc0722532b523ea42f8eaf8ed745f963","datavalue":{"value":"cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q2932276$34519FE8-B7F8-40EB-9A92-B87763899BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a534dfbc2999b42bc149220c7e427a767d583b4f","datavalue":{"value":"overspill","type":"string"},"datatype":"string"},"type":"statement","id":"Q2932276$3BB1E974-21AA-411E-A131-0ABBF85A3704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c214c359cb7055c0ce40dca6ba00d074df73cbb7","datavalue":{"value":"underspill","type":"string"},"datatype":"string"},"type":"statement","id":"Q2932276$538B244C-A908-4BCF-BCCE-C5FAD878A297","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":"Q2932276$5E59D3BA-0F3B-4ECB-B80C-F4B2C92B1DEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3891bc4bc5dd21c5a862053c58f30fbbcdee59","datavalue":{"value":{"entity-type":"item","numeric-id":5413345,"id":"Q5413345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24043d01606e3c133d5708fdcccc01f75c94558","datavalue":{"value":{"amount":"+0.860244631767273","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":"Q2932276$60BF243E-3768-498B-966D-A82E2625CD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f90771fc5a0883d6a2d2113ae0719707dc21af7","datavalue":{"value":{"entity-type":"item","numeric-id":2856636,"id":"Q2856636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0c914b0cda99cd7ffd7f74b56772b66f1b8c2d","datavalue":{"value":{"amount":"+0.7605612874031067","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":"Q2932276$03EB3E5D-C7DE-4E98-963D-B5971CB4341B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce6f2ebf825d534f241bb253d7d2ca36bff8a44","datavalue":{"value":{"entity-type":"item","numeric-id":5387325,"id":"Q5387325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14b35069837b426d10425472d690953f05deea3f","datavalue":{"value":{"amount":"+0.755062460899353","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":"Q2932276$3FA66CFA-7E42-4A4F-819F-74DA08DDD24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c040e662d05830f3f73bea1f12ab74c7414bbb4","datavalue":{"value":{"entity-type":"item","numeric-id":5213572,"id":"Q5213572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b9ce0d6d38e1f7555fb904271c71b9ebc13846f","datavalue":{"value":{"amount":"+0.7453833222389221","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":"Q2932276$3DE3FD98-6ED8-42BD-8145-1D3DC631F43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c20290f990d0a1a4cd4bc490220324341d70cb","datavalue":{"value":{"entity-type":"item","numeric-id":1123191,"id":"Q1123191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f87ef5471e8aadad86c3e97ae4ff1f309193db9c","datavalue":{"value":{"amount":"+0.7440590858459473","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":"Q2932276$FB73A15A-E855-40E2-A0CB-34BDA8D1509A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cuts and overspill properties in models of bounded arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cuts_and_overspill_properties_in_models_of_bounded_arithmetic"}}}}}