{"entities":{"Q4879205":{"pageid":6908784,"ns":120,"title":"Item:Q4879205","lastrevid":46377327,"modified":"2025-12-24T16:17:05Z","type":"item","id":"Q4879205","labels":{"en":{"language":"en","value":"Asymmetric Interpretations for Bounded Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 881749"}},"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":"Q4879205$2F979B2E-C48F-468D-BF39-31D4CFAEB191","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dadb336062af28893357dd41ca16bcbd097ecbad","datavalue":{"value":{"text":"Asymmetric Interpretations for Bounded Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4879205$9A7A8CA9-2128-4573-9AED-86239CD58017","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0db52c03ff573d8a07aa7c7e25e1ba71092ab1f","datavalue":{"value":"0849.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879205$7D1F2EBF-E720-411A-BFD6-46EE6988FBD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56da7d158017ef8b0b4d01b2f110c77e1c03452f","datavalue":{"value":{"entity-type":"item","numeric-id":588330,"id":"Q588330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879205$B3F0570F-7226-43A5-B731-413864A430C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879205$7CA42DC8-BE87-4073-AE4E-03191238D35C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a8d1237d32ec5eadec6067ce7ffbf57e42f0929","datavalue":{"value":{"time":"+1996-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4879205$A841993D-1B24-4835-964C-041BE1A433FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879205$39CE5CFE-9014-4132-A4B9-87644DBDCF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879205$9486E97B-B643-400A-8DB0-130C9FB71ED1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dde95ebf369a69b5dde2b3d172a8b318f656984","datavalue":{"value":"881749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879205$93E42517-5C95-472E-912E-B48AC0E76B20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02a4b6c4ea2e9b0ced24359ca4dbca4fdc842afe","datavalue":{"value":"polynomial time computational arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879205$FD938790-910D-4D6B-93A0-9899322F3080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7139bf11677b7d24fa98c5b96849f9f040cbb480","datavalue":{"value":"feasible analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879205$4461B423-BF08-42BF-8E1A-D1AABB77E77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9d302514367ad64c57aeac2f8789be1e0003be","datavalue":{"value":"collection axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879205$8A0A2A5E-7FB1-4097-8E84-4BB78F95616A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ee528b6cd8ad2202e134951cfe115987f77bdd9","datavalue":{"value":"asymmetric interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879205$58994E94-893F-4D0F-80CE-076534D899D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6f4413a8e7a093744c9cb4eab198c9995011a73","datavalue":{"value":"fragment of bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879205$7151551F-CAD9-45C1-ACAF-DB07E2F60C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62b8de293ed721f29d9c5c9af16cf69806ca4cb7","datavalue":{"value":"sigma-reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879205$FC47BD70-13F7-4EF6-8191-C71AD5B79625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dcf2fa60da206297adf38be3fa6bc4ae4ac2bcf","datavalue":{"value":"weak Koenig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879205$F60BD217-E2CF-48EC-9D45-19FAB9AD8624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879205$8A99AB95-9FFC-4D41-B18E-8EB924C3C345","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":"Q4879205$208B387A-8294-4933-BB76-170C9CB343FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29a7bdea39122d81e4113466571e4581bafe0145","datavalue":{"value":"https://doi.org/10.1002/malq.19960420123","type":"string"},"datatype":"url"},"type":"statement","id":"Q4879205$498C8B7A-CFFC-496E-B19C-8031E0EB4B56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0736b8d905c5697ebcc345608e256c4dfb5f70a3","datavalue":{"value":"W2092790072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879205$72C4A74D-BC72-452E-9F5A-72E3281E6EE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc11e29b2bcd76f7aeb683098710e5e8e11b43cd","datavalue":{"value":"10.1002/MALQ.19960420123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879205$94516E81-F055-476A-A1B4-F6224E5D8EE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1566a8661a3749d8a0e2cb3993b7dd8bb7ac742","datavalue":{"value":{"entity-type":"item","numeric-id":866559,"id":"Q866559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a637451d1bd67dae75abc6382080e6b427fbff15","datavalue":{"value":{"amount":"+0.8023132085800171","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":"Q4879205$A61F25EF-714B-4455-B0AB-E76017EC0471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccb27d047c72219b5e53b79a1b9773d81b035f6","datavalue":{"value":{"entity-type":"item","numeric-id":685962,"id":"Q685962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e4749969745af06963e8222214cbde35ecc9d47","datavalue":{"value":{"amount":"+0.7448195219039917","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":"Q4879205$9142931F-C65D-4F6A-9C91-CAD2B6F4B8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c1eca4444bb99a64ff5e45d5c3692d1f030ef28","datavalue":{"value":{"entity-type":"item","numeric-id":424545,"id":"Q424545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"511447ea4d5666bc7023d4231da35417f6599161","datavalue":{"value":{"amount":"+0.7403513789176941","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":"Q4879205$614BF83A-8602-4E2C-9F02-01CD3096A5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61a053703088c035a2835a39f9778e6d344d2dc5","datavalue":{"value":{"entity-type":"item","numeric-id":3739120,"id":"Q3739120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55cb778ee83421fb428d32a54e43cc0e3042474","datavalue":{"value":{"amount":"+0.7403086423873901","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":"Q4879205$9AB2A8E0-2FC9-40BB-A0EB-CA7B464A064B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4879205","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4879205"}}}}}