{"entities":{"Q4227870":{"pageid":6257471,"ns":120,"title":"Item:Q4227870","lastrevid":88581875,"modified":"2026-06-04T14:54:23Z","type":"item","id":"Q4227870","labels":{"en":{"language":"en","value":"Forcing on bounded arithmetic II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1247637"}},"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":"Q4227870$151BBA02-CB5F-4B8E-AFA9-7A8D1041BE26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bf32d3e949198b5b33269e94771005c62a01e18","datavalue":{"value":{"text":"Forcing on bounded arithmetic II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4227870$047ECAB2-4F69-43A3-9FAE-37E3BE2F6425","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ddac09f8765fb6e13cccd9413736ad098aa8f25f","datavalue":{"value":"0920.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227870$324529B7-7618-4018-A375-EF5AD0DCFACC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea9d6639f83753a9be839a2f33e22fecb84c2f5a","datavalue":{"value":"10.2307/2586716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227870$F72812CA-79C5-47A2-A757-EE8AD45CB430","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"057136d60f841fac35f8dec23b81e4925462b1bc","datavalue":{"value":{"entity-type":"item","numeric-id":768306,"id":"Q768306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227870$A14402C2-760E-4365-946B-542ED5363FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d33fe91a1abd618a4b0e6e5fae6fedef7f0f3da9","datavalue":{"value":{"entity-type":"item","numeric-id":810020,"id":"Q810020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4227870$8F89F61F-0CF1-416F-9789-57DDD1BBDB19","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":"Q4227870$1C9EE0DB-8FD2-427B-8DA2-A9F24C775D3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a24420eec7e03257dc6bfa6b280bd944a062c7ab","datavalue":{"value":{"time":"+1999-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4227870$76D85967-0DED-42B2-BEC4-4980BB098AC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227870$21371892-82CE-4696-94D4-BCC4E30A4976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227870$A55555A8-B732-4CC6-BD9E-2FE6C00FF519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227870$45961170-E806-4A3E-8639-36225A533FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227870$7994E06E-E9F1-4040-A5AC-5A6BB2FE5131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227870$AC168066-BB3C-4FAB-8A0D-832235301B9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0aba0b1b3c81bddb2b968b954be23777829220c3","datavalue":{"value":"1247637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227870$893F3B7A-4D7A-4CF0-B2D0-24914F013A01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227870$816CAC23-8835-4FFC-A892-D481F9D02D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227870$3F542E1F-10CD-4A05-A2A0-1D59A540B242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08dc872753e2df2f9c5909c5747ffc07c25b4eb","datavalue":{"value":"Boolean valued models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227870$E6E95C38-287F-4E8E-8F9F-433A45DEDA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b4cae62e14987f0f3c7773bb0800597ec20814","datavalue":{"value":"P=NP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227870$6E3EE94C-8001-4ECD-A4E9-F26A7EF6D0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aaa148214b5e94746faa31e8acb7e7523ba09f5","datavalue":{"value":"NP=co-NP","type":"string"},"datatype":"string"},"type":"statement","id":"Q4227870$05BDF5B8-8682-4962-AE74-E50CDFBA88C9","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":"Q4227870$CA723A01-BE07-4FE8-9DC5-567818FE2499","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"398bf9088be479f00b6b4050ccf085e3985f67e8","datavalue":{"value":"https://doi.org/10.2307/2586716","type":"string"},"datatype":"url"},"type":"statement","id":"Q4227870$B7F1D20A-3EDB-4165-B257-0364DE9C468D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a303d56630acf8718ba8996cd97ba42076b49be","datavalue":{"value":"W2022376106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4227870$F66CAD73-FC4B-4053-A01E-25596A5F402E","rank":"normal"}],"P1643":[{"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":"e3a765f9603e3b6579ef6092b2d6f07c0bc618e7","datavalue":{"value":{"amount":"+0.9223626852035522","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":"Q4227870$9C639541-22A6-414E-85BE-73387292543C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887e6fdab9e089d6370bae9405de12b07e234619","datavalue":{"value":{"entity-type":"item","numeric-id":4266170,"id":"Q4266170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1b3c095d74eee1a19cf62d45c68599d9885105d","datavalue":{"value":{"amount":"+0.8478630185127258","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":"Q4227870$419141E2-98CE-497E-A794-4408639BDB0F","rank":"normal"},{"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":"0bcd321486f299785bc04cbcda17c308e83e9019","datavalue":{"value":{"amount":"+0.8215939998626709","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":"Q4227870$55F1E91A-BD9A-4FA7-9C66-1C1C2A324D00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Forcing on bounded arithmetic II","badges":[]}}}}}