{"entities":{"Q3794177":{"pageid":5824083,"ns":120,"title":"Item:Q3794177","lastrevid":52906433,"modified":"2026-01-23T19:00:09Z","type":"item","id":"Q3794177","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4059391"}},"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":"Q3794177$323FA0E2-94CA-4172-AA82-56538C730A46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37b1a1581b3e4f9e4cb54a8501e2e3e52b4d2fab","datavalue":{"value":"0649.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3794177$69F6A18D-9E62-4570-B544-33126A73C131","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3794177$2B0F1C12-2F32-48FD-9F77-3BC06750CD53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3794177$F02A9BCA-020E-4912-AACD-F41161546CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3794177$2898F00A-DC38-4ACC-BED5-F7B001BBB48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3794177$A087FEE6-9B65-4EA7-89F8-6E76D26185FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3794177$CA0A4B70-5261-478A-B5EC-CE8E301CE958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3794177$09A4FB90-CE96-486D-B923-C22E65663EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3794177$4379A9C7-703C-4E84-93BC-EADD21A637D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3794177$730ACBE4-BA7A-4B70-8113-B8B7FF87BB8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99084dc1849a4c2d41e8b7be83d11fdaf99bff99","datavalue":{"value":"4059391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3794177$D1300ED9-B004-4A06-A5BE-268B5C241429","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154ea0589dca3b50bef0f626c64f0e117c0eb521","datavalue":{"value":"polynomial hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794177$69A29E1E-02CE-4F97-A2BF-25A9885DF06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"471b844190f4d53ed41461d2dd50a334f8ac89cb","datavalue":{"value":"subsystems of Peano Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794177$D7043E4B-F81F-4A84-B447-C1BF3D8D2532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794177$C2FBF1F4-08F8-4642-A445-92363CB8F83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d515457de1e1662860a2251dd3b47f21e166b1c9","datavalue":{"value":"limited iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794177$F1760085-CFB8-4563-BE96-278B82B93F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54085e2c4e87714dee99c77f2457ed59d64014d0","datavalue":{"value":"bounded recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794177$B080AA22-04DD-4CCF-8699-AF3B2C0BB535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b419ddf6415c24603b8f3b01a2efed5229962e8","datavalue":{"value":"bounded formulas of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794177$B08E98D3-3585-4355-9BDA-0759A687B40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06fc6f1c79093684c9c62a5d1839ec686b9c8e4","datavalue":{"value":"arithmetic hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794177$F98A4352-3342-45FA-9C29-2AFBF7E6FF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c29147387eed55a0f3f8fd87c7777123189944d5","datavalue":{"value":"bounded quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794177$D6D7292A-6DA5-4856-927D-499BED9E8EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794177$56932B68-865F-4E0C-BA88-2A136C371C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794177$7F92874A-9E3C-4945-B31C-F03F6B7513BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23029e74726c03b5052aed57fb4853bcfc33e7ef","datavalue":{"value":"Cook's equational theory PV","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794177$891855E7-DFE8-4C59-93D2-30EBCB8484D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ddebc4a0ade484e5c73989e226b5fcc7d197d7e","datavalue":{"value":"G\u00f6del incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794177$052FAA31-33A2-4617-9013-2088AF82F166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e122a02f30e0672c348b9e5000001aa95a843e8","datavalue":{"value":"second order systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3794177$049AA414-C249-49CD-B559-FC0138351B6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3794177$CFDCCE2A-3AE5-41D1-A017-8B54F6D024FF","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":"Q3794177$F006C3DA-95A9-4816-AB84-13E3A76C29BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e242389439ac99f0043978be6bf447b2a362ff2a","datavalue":{"value":{"entity-type":"item","numeric-id":1107528,"id":"Q1107528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f485e8a1d5152de4911508ff8d16b3ec9dafb029","datavalue":{"value":{"amount":"+0.8671826720237732","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":"Q3794177$D5C17BCD-4AD8-4DD5-A554-5B7DBD46C716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cdef7b785745d544e7a903a143eaa101e1bcd61","datavalue":{"value":{"entity-type":"item","numeric-id":3800030,"id":"Q3800030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb06d5d42e391dc99df6f41a2c5a58cad50a4b17","datavalue":{"value":{"amount":"+0.8641892671585083","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":"Q3794177$C4446277-35E5-4BB8-B70C-E882997CB8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b48df2ed64dac1e71e24bad9fbb0685bf802012","datavalue":{"value":{"entity-type":"item","numeric-id":4694224,"id":"Q4694224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c294f1664f6e52a79e043f7ed4c05d4069d6ace4","datavalue":{"value":{"amount":"+0.8605216145515442","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":"Q3794177$18C9BBBB-995F-4B1C-941C-401E3A9E039D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40276e0be76d48d778707b521dd611651d9d10f","datavalue":{"value":{"entity-type":"item","numeric-id":3816072,"id":"Q3816072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0023edef80bc357238e711a27085558bee60614","datavalue":{"value":{"amount":"+0.8506792187690735","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":"Q3794177$38A9EAE6-3190-495A-B587-90F084611A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e206e5b76b5db928f8dffd4e5d272220680fdd4","datavalue":{"value":{"entity-type":"item","numeric-id":1177041,"id":"Q1177041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e0985cbed87353a77fde4d786eefbb488ac9281","datavalue":{"value":{"amount":"+0.849799394607544","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":"Q3794177$C1F553D0-F6D6-4814-8D81-F39F0CF714B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3794177","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3794177"}}}}}