{"entities":{"Q2767918":{"pageid":2778657,"ns":120,"title":"Item:Q2767918","lastrevid":83156027,"modified":"2026-05-07T06:21:22Z","type":"item","id":"Q2767918","labels":{"en":{"language":"en","value":"Digital look up tables and real number theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1698750"}},"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":"Q2767918$0791950E-3BC8-4608-8F75-C8E08AEDBA8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7cd6ba97e9180d76f4c1a730e23deffd5dde4cf","datavalue":{"value":"0982.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767918$48062CC5-41D8-44CF-99E6-DD42117A6F05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3284ca1bff8df867ebfe9cbdfa155072f0ae36a3","datavalue":{"value":{"entity-type":"item","numeric-id":2751531,"id":"Q2751531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767918$1DA34AAA-1B59-4495-9354-F2947170CE64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1de092f67946937b91df34e98936fba6ee61917","datavalue":{"value":{"time":"+2002-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2767918$1228E798-2120-4F21-B5C9-BEFEFEC58B9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3cb87c4347a9f976343116156958c10e5c05b23","datavalue":{"value":"http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/Proceedings/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2767918$937CB381-DA2E-4F28-99B7-E23319A72A28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767918$6355153E-2D4E-4A87-8A29-04B7867E08C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767918$658F57E8-D816-4205-833D-AE526EBBC890","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f73f9244078897eecf908142d9890857a5af7c1","datavalue":{"value":"1698750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767918$697D83F6-61AF-48C6-9B7A-76943AD048AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d17109e875f62271267ba944e1d111a7f52ed69f","datavalue":{"value":"computer algebra system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767918$6CA0F392-D90F-46B8-8889-8DD9693B4E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767918$CA0345F1-FEFC-4142-8474-8A89617C02BA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767918$71C2BE6B-02C3-45AC-83FB-E698962DC820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767918$F711630F-32B7-4B67-9712-C3568F130AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ac15ee65d13845f30d32328a0a6e9e525328e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":20725,"id":"Q20725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767918$AE170E47-CC48-4995-B43A-0C4E1FD6146A","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":"Q2767918$CF4BE7BB-4346-4865-BFCD-E3A8A8B9D04B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11bdae9f731c0e1145ebd1c0e2604117a0993d0f","datavalue":{"value":{"entity-type":"item","numeric-id":5477656,"id":"Q5477656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a0f42f0428123857063782166460fd515eacc6","datavalue":{"value":{"amount":"+0.8760025","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":"Q2767918$480D27A3-0AB2-4F87-A58D-46B40B500468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8648fefe25b990ca49378b9d175a37f95f66e4e9","datavalue":{"value":{"entity-type":"item","numeric-id":3543660,"id":"Q3543660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a718855656afc38fce60fe3519405c91c78fa32","datavalue":{"value":{"amount":"+0.873226","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":"Q2767918$01417805-E4F3-4857-811F-EE42994D3DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e13f94efa5a180ee860e2173b41929c73d33793f","datavalue":{"value":{"entity-type":"item","numeric-id":4231030,"id":"Q4231030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd98539198e52cea038cd083bba2a58a665dcd9b","datavalue":{"value":{"amount":"+0.8544585","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":"Q2767918$D3B09E78-FFBE-4E1E-8E67-1C2074A7C4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb87a3d52470e3ae3666dc84ea14d15aba611ead","datavalue":{"value":{"entity-type":"item","numeric-id":1279561,"id":"Q1279561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02ca69988559a143142c9939aa697b7a47a1a85d","datavalue":{"value":{"amount":"+0.83497","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":"Q2767918$9A72533C-76CE-477A-A614-DC49B9EFCFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29b3d1a356e9abe34e2234c96f043750479a326a","datavalue":{"value":{"entity-type":"item","numeric-id":5302475,"id":"Q5302475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e791f66e57b6c7243e9c657d7fa6300257e7b177","datavalue":{"value":{"amount":"+0.82496643","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":"Q2767918$CEE5D18B-CAE1-4063-A6A3-FDED6CAFB6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54b3e8e31cba0f9ff8f31c3d001e9faf05c47897","datavalue":{"value":{"entity-type":"item","numeric-id":2015130,"id":"Q2015130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3851148e5d8f76a3761ae84341b43fb0a2ea17","datavalue":{"value":{"amount":"+0.82205456","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":"Q2767918$C081A10D-9988-4773-9B9B-A0E426E0E2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed5909ab4bc0f417761c8d645b48e08e0bc6d0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3262547,"id":"Q3262547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68e10424571311d6c49b22fd367950212840b60a","datavalue":{"value":{"amount":"+0.82190835","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":"Q2767918$2F236CD9-0EBC-48C3-BCEB-7C90D68942BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0346771393f7bdbe4fd27add89c0b45c651fc37","datavalue":{"value":{"entity-type":"item","numeric-id":3181683,"id":"Q3181683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f03858894d12bf9074cb6d976ac1317dd8fb526d","datavalue":{"value":{"amount":"+0.8213717","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":"Q2767918$16E8F7E4-EA67-403D-9992-61514D921250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29573a45fd51ab9921cc3a5b2491bdab28f2a7be","datavalue":{"value":{"entity-type":"item","numeric-id":4058713,"id":"Q4058713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"444423591e8e03eaf275a2c9903444bb1e63e786","datavalue":{"value":{"amount":"+0.82103425","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":"Q2767918$C0662A30-C00B-4018-8578-1811F4345F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b3a15c2172804b58f936dc5c09fe82c3982160c","datavalue":{"value":{"entity-type":"item","numeric-id":3985777,"id":"Q3985777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"398a476d071ce5fe472a55ad273cbf0bba475dcc","datavalue":{"value":{"amount":"+0.82043874","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":"Q2767918$62E83112-278D-4923-BDCE-80DA129C854B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c64c538b5bd1cd9db75ec0e4c61492171f40e02","datavalue":{"value":{"text":"Digital look up tables and real number theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2767918$F4F25357-E8CA-42D9-91CC-5931D6ACEFDC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Digital look up tables and real number theorem proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Digital_look_up_tables_and_real_number_theorem_proving"}}}}}