{"entities":{"Q3611724":{"pageid":5641630,"ns":120,"title":"Item:Q3611724","lastrevid":80812544,"modified":"2026-05-06T17:03:26Z","type":"item","id":"Q3611724","labels":{"en":{"language":"en","value":"Existentially Closed Models and Conservation Results in Bounded Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5522022"}},"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":"Q3611724$5C93E9CB-E831-44B6-BED2-8FE34773E861","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"715462170cccb0a6998e805ddb57ae1f9457a9d3","datavalue":{"value":{"text":"Existentially Closed Models and Conservation Results in Bounded Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3611724$CA7ABDC6-105A-4EE5-BDF6-1F9217389304","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3546d664753a9d524d6454ea35aad7c85441a585","datavalue":{"value":"1163.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611724$E3D513D7-51D4-4C78-90A1-42C819DC090D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a42ea086f4d35529a6cd304553c7e89c3f56fb8","datavalue":{"value":{"entity-type":"item","numeric-id":391144,"id":"Q391144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3611724$77CF3344-F214-4DC2-9F3E-D21475746B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"991e51a4520a7c3db178435bbefe41ae34b200b4","datavalue":{"value":{"entity-type":"item","numeric-id":701732,"id":"Q701732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3611724$F27A0F13-D5FD-4746-9E3A-120A479538E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8239ea47cb0ba00aa3274a8e46ceb44b8cb6bddb","datavalue":{"value":{"entity-type":"item","numeric-id":701733,"id":"Q701733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3611724$2C92DEF9-C49D-46E9-8411-0FB64E7FF167","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5283b5da341717bddcc5514d88caea6acf73b725","datavalue":{"value":{"time":"+2009-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3611724$BE7819E3-A32A-4182-A01D-244BF707AEA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"606626380c297d36d111eba2abe2fdaff75de279","datavalue":{"value":"https://idus.us.es/handle//11441/87544","type":"string"},"datatype":"url"},"type":"statement","id":"Q3611724$9ACA21B6-F74E-4C7A-B76F-67248CE64027","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611724$88389D38-84AF-4103-ABDD-DBA7ED90B27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611724$FCB2A7E4-7275-489E-AA95-0631D6C6988F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a0619c9093b3e8fabbd55f870e12c97b065cd15","datavalue":{"value":"5522022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611724$FB335CCB-1A6C-4B11-AD08-169864DA27B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3611724$F9674734-94BF-4AF1-BC21-111F0143A274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13ffe05fd1722273d02c0019c48d79dfc1bae96d","datavalue":{"value":"existentially closed models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3611724$C89BFE93-8446-4732-83B6-ABC74EB5AF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d83c0141a374ed2e054ebffd40fdcc576c0dab7","datavalue":{"value":"conservation results","type":"string"},"datatype":"string"},"type":"statement","id":"Q3611724$FA62D97D-ACEF-414F-B176-039CE280720D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adee1de4701e8f55e5212b97b990269de51624cf","datavalue":{"value":"parameter-free schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3611724$DC91C44E-01DA-4F57-BC5E-7FFD6107247F","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":"Q3611724$1FCD1578-501A-417C-80DE-6C165F85A5FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00e9ba74d3ad28eb31cc30ecb4874155772691ac","datavalue":{"value":"W2031958101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611724$E35FD989-AF96-45C2-88D3-6212AF1D130F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"096e804b3d1d861321b32454947f434caf5a96cb","datavalue":{"value":"10.1093/LOGCOM/EXN030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3611724$5507B520-0AC0-4A34-B827-0EE0DFED9FBE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3611724$098C5497-D351-4B8F-B6DA-5A18CDF9EB17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a370497a5a986b08807d460b0924da2a38f050c","datavalue":{"value":{"entity-type":"item","numeric-id":3188343,"id":"Q3188343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c4ca64bdc0811666bb9c5b3c915709dae0ee5bf","datavalue":{"value":{"amount":"+0.9563745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3611724$0BEB72F0-2F5A-48D3-885D-481E0B2B3FEE","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":"7c18abf09cef58cc0c4b5b4588307f80e5ec4498","datavalue":{"value":{"amount":"+0.911792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3611724$77EED57B-A42D-4DB8-B922-11C9229B6392","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":"6de24a033149f228c8fea266ff1b780fe353e86c","datavalue":{"value":{"amount":"+0.9041896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3611724$54FD7999-677E-4088-8F02-52CA55B47A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e7cde605abbc6a59fd22304460b9e5906cc409","datavalue":{"value":{"entity-type":"item","numeric-id":4530148,"id":"Q4530148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70c10afaff5eb00d6a628a329625d75788b3f7d","datavalue":{"value":{"amount":"+0.895505","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3611724$4EEB0AF7-180D-481A-A9D7-6871D02685C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce95b7eb0ef3edec414178ab422f895c59edac89","datavalue":{"value":{"entity-type":"item","numeric-id":5213554,"id":"Q5213554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb8b84a98570a55132840e164099880386c4163b","datavalue":{"value":{"amount":"+0.89237857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3611724$F27046FB-964B-4109-B936-DAD1A88EC83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31623390b1d58eddd0d723bf4727348c2de74139","datavalue":{"value":{"entity-type":"item","numeric-id":2959166,"id":"Q2959166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd01047c02191af2d54b7713ad5e8be2524ee10a","datavalue":{"value":{"amount":"+0.8918464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3611724$893C091E-C7CB-4341-B7D7-44141ECCD741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c093bf0d6eab3458e5ceefaa1edbce2de780ad","datavalue":{"value":{"entity-type":"item","numeric-id":354475,"id":"Q354475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75f0a1f614cd6ece9cdd7ad2c7363c1fd2c99c7d","datavalue":{"value":{"amount":"+0.89106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3611724$D9F84AA3-E24A-4930-A7B0-B7EAE2AC7F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b68550829d6b273c4122cfdce50a4fbbb00d45d","datavalue":{"value":{"entity-type":"item","numeric-id":4035302,"id":"Q4035302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90882f42660d937945058150cb4fa0e21d53ae0e","datavalue":{"value":{"amount":"+0.8898664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3611724$3EE54AF9-6706-4603-A728-2BDE8B83923C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74b7fde510569528304b20912f229412b2ae5232","datavalue":{"value":{"entity-type":"item","numeric-id":1935370,"id":"Q1935370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef011a660b67ef4a5c9784ec978c68bf374de7b","datavalue":{"value":{"amount":"+0.8870443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3611724$20B37288-2CDB-4C29-93B2-E623A8520C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9b43c1378cb3013a8fa80841628c30e063bffd1","datavalue":{"value":{"entity-type":"item","numeric-id":3476809,"id":"Q3476809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160df0bd00f8f0583c719e7a594475f052dd9d98","datavalue":{"value":{"amount":"+0.8863536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3611724$A5B61623-8E63-49CD-AC76-FE01CBE7B51A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Existentially Closed Models and Conservation Results in Bounded Arithmetic","badges":[]}}}}}