{"entities":{"Q4699287":{"pageid":6728864,"ns":120,"title":"Item:Q4699287","lastrevid":28848431,"modified":"2024-03-05T15:59:52Z","type":"item","id":"Q4699287","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1361469"}},"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":"Q4699287$F593CB40-7148-430B-8B14-F3114091EAC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb5ba3971b2abc9549905988b6582994253469b3","datavalue":{"value":"0935.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699287$3D768372-3868-43DD-90B9-4204A977B51F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4699287$E201756F-8D2F-4787-8ACF-04C5F6F62FCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f85394037e304830a2de23d467ba1be222952a75","datavalue":{"value":{"time":"+1999-11-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":"Q4699287$4C1E89F8-9943-4356-982E-B88ADE425898","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699287$62699AEC-A977-43EE-BE59-4F8BB5ED2348","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01c29198ff67b3765f41adc610fb8e80881fe377","datavalue":{"value":"1361469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4699287$68C2C025-D88B-4F11-8C1B-93C557D21551","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699287$9639A4B0-2E89-4521-9A7C-15A6117D0ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699287$4DCE2A2E-47FC-41C9-97FA-B891F85A1820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ddbc7ec557fe492dfe6ae199c73a6bae3b0ce5c","datavalue":{"value":"exponential speed-up","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699287$23BF2419-0939-4A6E-A791-525D1C54B24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211f3c345d1c27387d231726f7e79d65298863cc","datavalue":{"value":"polynomial calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699287$A9CC2AC8-5002-4987-8E1E-3508E534A447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4699287$E7D7E734-6A43-4126-94B9-09E50671C64E","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":"Q4699287$E63D8AD6-7E6C-42A9-92D3-264CD6F1D328","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4699287","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4699287"}}}}}