{"entities":{"Q3335776":{"pageid":3346484,"ns":120,"title":"Item:Q3335776","lastrevid":48730366,"modified":"2026-01-05T17:50:23Z","type":"item","id":"Q3335776","labels":{"en":{"language":"en","value":"Some results on speed-up"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3867318"}},"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":"Q3335776$FA9E0B87-CCB2-4B75-8045-913CCB5490DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b8cf005eee091115247183b591fd666844ad937","datavalue":{"value":{"text":"Some results on speed-up","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3335776$7CDDFB64-57C5-48F7-9509-F25829CB9E3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cc3b5020cffcc6e08863b53ed818ae1b2243cd0","datavalue":{"value":"0545.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335776$9FC398D2-7148-450B-902F-68CF79713F84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b0df8cc476d314f14ae0e212e63b60a4094122d","datavalue":{"value":{"entity-type":"item","numeric-id":585197,"id":"Q585197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335776$F9BB7371-61D9-491D-81BE-AB36711EE46F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"867ca8ba9c2b21164f93afbfe4c0c7d87d88a038","datavalue":{"value":{"entity-type":"item","numeric-id":2759798,"id":"Q2759798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335776$3AC439CE-B056-4C5E-B65F-C7FF34664AC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3335776$FE3A162D-6F56-4DA4-B128-C156A5F2A40B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335776$5DA570CC-960A-4CCC-8E48-88427F2F8273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335776$92AEBAAE-5AA4-4506-B8F6-5B5151A33626","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"336476c52b7751837d9743aa985916c27dd634bf","datavalue":{"value":"3867318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335776$4ABF3149-230D-41A4-8B04-1425C9D430CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"148cbec86e681f0f3a624bd824528138b3e8a622","datavalue":{"value":"length of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335776$9369F49A-3123-4832-A4E0-E32351F2E8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7849cf4967868e1682e85fd08af647be01332b1a","datavalue":{"value":"speed-up","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335776$CECCB536-5FD9-4792-84F9-49E9218A0614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56766a0bbdd06f79e66d2f027452b7d279a8136f","datavalue":{"value":"Kreisel's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335776$7464FD50-F75E-45A1-B778-5C3AC58D2EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335776$DB179714-E4E2-46C2-A305-0BB746897995","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":"Q3335776$77A7467A-83DB-4724-B549-63C20A063E6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76b42caa43ce9c076e2fb8a4c69166ba8e792055","datavalue":{"value":"https://doi.org/10.4288/jafpos1956.6.195","type":"string"},"datatype":"url"},"type":"statement","id":"Q3335776$726FBEE8-95A2-4207-B1E4-6711DE6915E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d08a02a042e626a48501befef961c5b2b083a58c","datavalue":{"value":"W2021130653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335776$ABA4AA02-48CF-4E10-82D4-3524CC3A9E79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5270150bfe7d5862b2e30662a323344738c0fac2","datavalue":{"value":"10.4288/JAFPOS1956.6.195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335776$C3F50620-A3CD-45C5-9AB1-FC1979AC536B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e250c9950b9fbb4fb32f1056f995f17bc1e86f4","datavalue":{"value":{"entity-type":"item","numeric-id":3788004,"id":"Q3788004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a830dc8acb1aea9302f80a271cc508c1ba7f1e1","datavalue":{"value":{"amount":"+0.8102827668190002","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":"Q3335776$50DC0EAD-98D0-4995-8483-ABE927E48158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b21c589110c68473a92f7abc8e8208c2f9b21f94","datavalue":{"value":{"entity-type":"item","numeric-id":843609,"id":"Q843609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"792ba0695bae0999a3cf62d882fd10b0bfd6d026","datavalue":{"value":{"amount":"+0.7980603575706482","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":"Q3335776$04705129-2DBA-4CE2-9EBB-B713D1BC5F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21473e318044af4735c8f559ea4a6ecae3509f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3773879,"id":"Q3773879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbf6f84089414cbde7103c7641b70aca0b64aebe","datavalue":{"value":{"amount":"+0.7902119159698486","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":"Q3335776$0074CC63-55ED-4505-BF7F-3C6F977D58DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8dd52adf2785a37b3b321e94e4ac5d4d7793a45","datavalue":{"value":{"entity-type":"item","numeric-id":4306545,"id":"Q4306545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8b487cde5d0bfeb931a0295ba78c95d0f79dd5","datavalue":{"value":{"amount":"+0.7885958552360535","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":"Q3335776$512F4014-2A5F-4BB7-AAF1-91AFE38180B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e0285c2b9b616836453597860861d1dfb551356","datavalue":{"value":{"entity-type":"item","numeric-id":3794178,"id":"Q3794178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8abc3e26a9ad4b658605a99de023f3b2ae5ed5b","datavalue":{"value":{"amount":"+0.779900074005127","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":"Q3335776$CCC4497D-4FA9-450A-AFA0-3525C98F2EBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3335776","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3335776"}}}}}