{"entities":{"Q5413345":{"pageid":7442919,"ns":120,"title":"Item:Q5413345","lastrevid":100921961,"modified":"2026-06-05T23:27:15Z","type":"item","id":"Q5413345","labels":{"en":{"language":"en","value":"Regular cuts in models of bounded arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6290317"}},"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":"Q5413345$5CE1A1F7-E37B-4F1D-BC92-A1F2646D18F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"134b2df6070fb785fd1eed7549d96a2e4f48d323","datavalue":{"value":"1287.03104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5413345$4CD94972-9AB1-4904-AE0C-19A01A1B88DE","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":"Q5413345$BBD6D340-2167-45F2-88B7-AED8184E02E8","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":"Q5413345$2EADDE58-A4A9-4340-B697-3B23D4BEBB05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23041ad0e28c684647ee3157226d262337ca2ff1","datavalue":{"value":{"time":"+2014-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5413345$D2EC4C1B-63A0-48DC-8623-9F6384F2DCA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1a227b17eb628ce408eb919ae9725480e55dbb7","datavalue":{"value":"http://www.filozof.uni.lodz.pl/bulletin/pdf/42_12_2.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5413345$9CE700C4-FF03-4D62-B120-0EA0DF8E319B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5413345$81C8FF85-3738-4049-9767-8D086FE5E7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5413345$7CA4679D-ACF8-4048-89A3-6B9DFF652FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5413345$D97F2421-888A-4371-B882-B67C969B9E49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fe0684533e65d9fc94fe1335aa239415f548b8f","datavalue":{"value":"6290317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5413345$F79B3B00-513B-4A56-85E7-DBC89F02EE59","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5413345$7B01E96D-C565-47E6-9C51-44421A8A29F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0780521e6b700e7d83e3c420187d0ec6e18873a3","datavalue":{"value":"regular cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q5413345$E313F67E-69D2-4627-B069-422B797E2463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfbcab0a0df867dab43ccf0fe178d74fb9e76a74","datavalue":{"value":"collection axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q5413345$CA95F9DE-9C14-491A-855C-BC1748FB585C","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":"Q5413345$F76E8425-B969-466E-B580-4F52EA6DE72D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a39d11c211d4b0f402887d63e128b2e5f7f2353e","datavalue":{"value":{"entity-type":"item","numeric-id":2932276,"id":"Q2932276"},"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":"Q5413345$FFCC2C08-7606-42F7-BF65-24C538A8ECE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7958b43abff672184d4c67f77e0bc4d515eaab","datavalue":{"value":{"entity-type":"item","numeric-id":3708802,"id":"Q3708802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a214804ba48aae7e1ef8c2bbf04f1be65fb06e6f","datavalue":{"value":{"amount":"+0.77964186668396","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":"Q5413345$13DEFA66-F888-4516-B2B3-84939F2C79BD","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":"b2a3b431d469ec547ceda2ffdc5745d2f3f5d2ad","datavalue":{"value":{"amount":"+0.7777170538902283","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":"Q5413345$FC2B13F4-63FC-4F04-A7B9-8C719998CB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eac18e289762dfdbe681fd12b15d498424dee2d","datavalue":{"value":{"entity-type":"item","numeric-id":5393641,"id":"Q5393641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb23be7af945662a6eb9006dd175e45100800b5a","datavalue":{"value":{"amount":"+0.7649510502815247","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":"Q5413345$AF681191-3D11-46F1-A29E-E867AC54808A","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":"c65605ca7fa0c8ceaf4fc1320a16da32dc70c548","datavalue":{"value":{"amount":"+0.7633479237556458","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":"Q5413345$D363DC8E-0777-42A1-8C42-1964071FFE70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regular cuts in models of bounded arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Regular_cuts_in_models_of_bounded_arithmetic"}}}}}