{"entities":{"Q3545216":{"pageid":5575120,"ns":120,"title":"Item:Q3545216","lastrevid":50519894,"modified":"2026-01-14T06:49:27Z","type":"item","id":"Q3545216","labels":{"en":{"language":"en","value":"Non-elementary speed-ups in logic calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5380039"}},"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":"Q3545216$A013F804-A1E7-4108-8D19-BFA6AC2592B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5dd745246d7b4275bb26c5445aa7f25bded007e","datavalue":{"value":{"text":"Non-elementary speed-ups in logic calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3545216$7483A1D1-44D4-437E-9CAB-16432306F664","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"906e13ac26d7abe657646c8e29f84ea040bd8695","datavalue":{"value":"1163.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545216$874F1276-48B5-4783-AE06-AD86535AD136","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545216$92360D98-680C-48BD-9D73-E89234B0181C","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":"Q3545216$19B02625-9CD0-43ED-AF6B-A0C4938F616C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7e8730d4188cf8a4cd5a62da8eab7f6fdd55e8c","datavalue":{"value":{"time":"+2008-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3545216$09A6BB76-2855-4900-8D2A-538D89AE9B33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545216$F97D7A3C-41C3-42BC-977F-8176FF7F8CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545216$23E537FA-CC8A-4515-8E18-6CEDEDE545CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545216$5BFA6536-FF72-446D-8B97-B03ABAF8273C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545216$9BA5CECE-F6BF-403C-997F-A19133885022","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c2a0c988c3512d23f6ff3bb8376692a82b0c645","datavalue":{"value":"5380039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545216$64001A78-4223-4947-88B9-D4ACE54C083C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7849cf4967868e1682e85fd08af647be01332b1a","datavalue":{"value":"speed-up","type":"string"},"datatype":"string"},"type":"statement","id":"Q3545216$EC6974CC-3A16-4E7D-AAEA-0E1EF76ABED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38f4d982becdab542dce54071f47ec8e97c081be","datavalue":{"value":"epsilon calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3545216$0C971155-EF7D-4549-9ADA-67CFE35BBE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3545216$75FDE22D-95C5-4C19-AC9C-DA51EE2D55BC","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":"Q3545216$6210C62F-88BD-4E7A-A2A7-FCFDB0DF1B70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f891b1bb93c89086c71f6203358af48231ae9cf","datavalue":{"value":"https://doi.org/10.1002/malq.200710067","type":"string"},"datatype":"url"},"type":"statement","id":"Q3545216$22ED5752-4592-43D9-8AF4-C8ECDAD5862E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9badb9e5dc8243363543d56bac56a269d0843b84","datavalue":{"value":"W2166153399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545216$4AC13F36-9205-4925-B651-46444DBEF183","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13afc3c63088e3f56111075248ccc851cd772b5c","datavalue":{"value":{"entity-type":"item","numeric-id":5267436,"id":"Q5267436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545216$B423BE61-D469-422A-924C-956653DA978C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00641476e8f1e79f4a1eb5cfa9bbf8795c3ad15c","datavalue":{"value":{"entity-type":"item","numeric-id":3947660,"id":"Q3947660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545216$8EDB9C0D-4EAB-4655-B8B7-5F8C827909BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"609b8980d15e4aa75fa172eb43965c66e7de8b47","datavalue":{"value":{"entity-type":"item","numeric-id":4032884,"id":"Q4032884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545216$644B08F5-B927-464D-9251-598FC4D2949D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b45cb94e678af0af29ccde58f37d92739bef609","datavalue":{"value":{"entity-type":"item","numeric-id":766669,"id":"Q766669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545216$FF8EC434-666C-4AD0-A16F-78A62535259B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a97dc13b9f1bf998625261d5e7261a63fdb36f7","datavalue":{"value":{"entity-type":"item","numeric-id":3257113,"id":"Q3257113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545216$D19B0993-CC2E-47F4-B6CB-B098B15662C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cd297b30f9282e340ab6cd2f0cbf46cae1145e","datavalue":{"value":{"entity-type":"item","numeric-id":817706,"id":"Q817706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545216$475E1C1F-4C65-4C47-BCC3-410384BF29E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75baa8dc4776ea893fc82c25819773d57ddfb707","datavalue":{"value":{"entity-type":"item","numeric-id":2553431,"id":"Q2553431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545216$B2D0EF41-145D-4D36-BCCD-B47675B698EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1231d0ad89fda035e5a57e0d6a6324a3b0355515","datavalue":{"value":{"entity-type":"item","numeric-id":3309833,"id":"Q3309833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545216$70BDD769-9B3E-457E-99BA-0367857B329D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c0499845fdade5e0ac9458a631187802381e66","datavalue":{"value":{"entity-type":"item","numeric-id":3318751,"id":"Q3318751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545216$B4F71518-0E31-4AE6-87B0-2802C0DB8A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5a52049791eff1e794bc7bab216824fc094503","datavalue":{"value":{"entity-type":"item","numeric-id":3866101,"id":"Q3866101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545216$3504A2A0-8CDD-4456-8D8F-5796B2BA9FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e499c86ee0646fff12cf3f079c9131faaea7b20","datavalue":{"value":{"entity-type":"item","numeric-id":4215637,"id":"Q4215637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545216$C96699DD-2C95-4A28-9798-B7C231176E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545216$AF4D23D1-AFC6-4170-B7AB-1E2D6EE4F690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545216$B9C17492-2314-4CCE-A86B-AB24291C0DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1813c495b4019dbc5a0338bf865711982b775489","datavalue":{"value":{"entity-type":"item","numeric-id":4198750,"id":"Q4198750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545216$FF712D47-C640-49FC-8BC5-9DB410945AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3545216$76FFE178-A1F3-49BA-B0FA-61B659094902","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ce396913640b39185a44d0e0f1af0f3305b1bdd","datavalue":{"value":"10.1002/MALQ.200710067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3545216$56DFF1D5-187C-4A87-A644-56A246D8D78A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabd1172f35f1f434b79afaa767bb76e1d4f03fa","datavalue":{"value":{"entity-type":"item","numeric-id":4610324,"id":"Q4610324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b53d4dc6eb7eb3b254e40f208646ecf6c6a2e2f","datavalue":{"value":{"amount":"+0.7749646306037903","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":"Q3545216$70AAA08B-AE75-4756-9510-BCD5494F2E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ab6fe676911df85c36a6213966e816a378d156","datavalue":{"value":{"entity-type":"item","numeric-id":4032866,"id":"Q4032866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730cf0fb95f314ec1b5fea635d161afcf793f91a","datavalue":{"value":{"amount":"+0.7380667924880981","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":"Q3545216$0DC71D77-4795-4DF6-8E8A-80E696AB3CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6330f7a6069652af1709a4f8961d6608b2cf53","datavalue":{"value":{"entity-type":"item","numeric-id":3480036,"id":"Q3480036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f08530d8752ad081d4de7f3d8d0fc33bc13ec8","datavalue":{"value":{"amount":"+0.731263279914856","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":"Q3545216$3329DDA1-AC09-4755-9150-C66C5277A8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65a2fe95738525a0026edb2d293cd6b5eb3541c5","datavalue":{"value":{"entity-type":"item","numeric-id":2932840,"id":"Q2932840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3bb6b15c9ea6b09f08b5ea5db6c4b71b42a1e6f","datavalue":{"value":{"amount":"+0.7273250818252563","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":"Q3545216$1F68524D-283D-4F18-B2FF-C27033A674CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527735bde6fc7ac92ce00f1b704fd08faec148e4","datavalue":{"value":{"entity-type":"item","numeric-id":4314669,"id":"Q4314669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8302a252c10394d0439df145ed1a0cf4f0b05932","datavalue":{"value":{"amount":"+0.7268075346946716","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":"Q3545216$A71A9767-9456-4299-910D-A8950931B966","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3545216","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3545216"}}}}}