{"entities":{"Q3003304":{"pageid":3014028,"ns":120,"title":"Item:Q3003304","lastrevid":45234628,"modified":"2025-12-03T14:42:53Z","type":"item","id":"Q3003304","labels":{"en":{"language":"en","value":"Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900057"}},"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":"Q3003304$A49B5779-36D0-4C73-8DC7-FD9AFCD434E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f5ce11f9d4a03488776168085f9b57e52bcb190","datavalue":{"value":{"text":"Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003304$C5FFCEFE-3CEE-4D87-B2B2-7C44B9B1E246","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"270337b4a2a310d063b473777050c8c88ee59dad","datavalue":{"value":"1218.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003304$DFEA0B06-9D84-4AE3-88B0-7CE34812043D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"561b06473390f02daae3c43acdea1256617d72eb","datavalue":{"value":"10.2168/LMCS-7(1:3)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003304$39138C5D-76C0-4A85-B3A7-FC11FAA71ED9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8e409b4bd2cef152800e753211d297de864b62d","datavalue":{"value":{"entity-type":"item","numeric-id":2209543,"id":"Q2209543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003304$EE431BF7-9C26-4A34-BBBC-7D3D4F4E0EA1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003304$72C2C0AA-668D-48C4-A782-D29AA7B50CAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003304$32787CB1-408D-4539-A421-0A356CF1A641","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003304$A792EF11-7178-4A27-9691-29D8FFD67F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003304$141ED88C-FB95-4A5A-9C35-17B2C35B12BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003304$F59D4C5E-A56C-4DB0-93FA-96FC2DF6C649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003304$40DCBAE5-3AEF-43BD-A689-43726E0943A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003304$36FEAF9A-AB28-4BD5-82B3-D3C78157996C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b487792577fd0e9535b97c697c27027a211f9b4","datavalue":{"value":"5900057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003304$399A16FE-2A89-4F1A-BF8B-771E2088D336","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003304$A170D3E7-2860-4DBE-A947-5E7C8384F700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003304$9329CD5D-0AB3-4619-B55B-B64FDC2542BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"908a412ea1d66c8c3e12f690543d47d72647ae57","datavalue":{"value":"deduction modulo","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003304$FF7FA482-6234-4F00-B465-C8D4BDFBCCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003304$70926496-0E3A-49BF-9A93-F72AF8E9DB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a326a2256f9ffc4c270815dbf5ff0b5650e791bf","datavalue":{"value":"proof-length speed-ups","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003304$09B9B544-06E7-48D6-BB6E-F2AE42558895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003304$2451ECAD-B1B8-4E1B-AEF7-6126CED2502B","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":"Q3003304$0FC25EED-BDEB-4AE0-A9F8-B3B1C2BE4422","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"397f77ecb21e6a4af19f8509000ab88d84821a84","datavalue":{"value":{"entity-type":"item","numeric-id":3434489,"id":"Q3434489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"630ec22bcca99918410c9ccf543b5b7a6fcefd77","datavalue":{"value":{"amount":"+0.86115134","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":"Q3003304$2A13DE64-4CD9-4CF1-8333-F07072158AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da600c5ef73eb49cd1aca2d33312234c648c8ed","datavalue":{"value":{"entity-type":"item","numeric-id":5425455,"id":"Q5425455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"087bbe0fe371ff0a8196a87b311daeb16cf3ced8","datavalue":{"value":{"amount":"+0.8545438","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":"Q3003304$2A61AAE5-1192-4E61-B86C-B51811D6DFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"863a0e2edc23cf07ffe006345bb9f548fe07a187","datavalue":{"value":{"entity-type":"item","numeric-id":3172895,"id":"Q3172895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f9abb5427859541aa03705c45fa3c3c24d2cd4","datavalue":{"value":{"amount":"+0.85348165","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":"Q3003304$15CB442B-E941-472B-8828-C8F358E03A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a8ff6dd9f7b74dbb0061121bbe0892a508c64d","datavalue":{"value":{"entity-type":"item","numeric-id":5055764,"id":"Q5055764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06f54a2ea406a17bae15c594a9b7bc9bf15a3a41","datavalue":{"value":{"amount":"+0.84971154","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":"Q3003304$21838C8E-6B7D-46F9-82C8-185B5C648B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f72eaf64504f2ccdb990ca833e860e59816256","datavalue":{"value":{"entity-type":"item","numeric-id":5194955,"id":"Q5194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f89177b29da3c73031d10cd7e76506614b92345","datavalue":{"value":{"amount":"+0.84851986","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":"Q3003304$37862A4C-087B-46A4-8ADF-46FD5510E906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81902c7e3b10892a3d4d50dd99785140e273d0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2786906,"id":"Q2786906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57afaa893495fa212b7307bb8d7e656217cddcb1","datavalue":{"value":{"amount":"+0.84289765","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":"Q3003304$5D6FD245-CD27-4D10-A342-B07BF520EE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb0319a6cc2b45e865a36a0cf7bf6198343d66f","datavalue":{"value":{"entity-type":"item","numeric-id":3199395,"id":"Q3199395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd66cb271fc5843448d7003587bd55c8b94eb69b","datavalue":{"value":{"amount":"+0.8372564","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":"Q3003304$57005B20-25C4-4F4E-90E8-D010884C08D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd7b1bb33deff1ee6e6b03ff2f0cbb063657f548","datavalue":{"value":{"entity-type":"item","numeric-id":4910414,"id":"Q4910414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"977d17269b9fa2da86a46f7dea28bdb90b6f2275","datavalue":{"value":{"amount":"+0.83651793","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":"Q3003304$038677E6-8970-4558-A662-D0275BD073E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc92364d956c5e7fffaa04b715e3bf9b79dd6e34","datavalue":{"value":{"entity-type":"item","numeric-id":3645583,"id":"Q3645583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10dde688a4ca8d4ac730e60e1fde7eb161fe242d","datavalue":{"value":{"amount":"+0.8358238","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":"Q3003304$42FAE36A-2DAC-4E5E-B5A7-1F7BA7320E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3862a28893d39da92d9fb6a089884e0c6abe3fb","datavalue":{"value":{"entity-type":"item","numeric-id":2949452,"id":"Q2949452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b459e9ad666a62c0cce5ba8733645cee72e9095","datavalue":{"value":{"amount":"+0.83577055","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":"Q3003304$0A6E8F11-C74D-428E-9921-05E83A380549","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003304"}}}}}