{"entities":{"Q1915139":{"pageid":1925881,"ns":120,"title":"Item:Q1915139","lastrevid":69285423,"modified":"2026-04-13T05:59:48Z","type":"item","id":"Q1915139","labels":{"en":{"language":"en","value":"Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 887168"}},"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":"Q1915139$937AF607-FD18-45F7-8C75-85E7C924C7A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfef1a0cef04bba951576848d6cdc15159e0364f","datavalue":{"value":{"text":"Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1915139$F7B7BDBF-F072-436E-BB06-0E7ADA1E235D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42a38ee0db13493aabf27bb91d4f8ef71330ab3e","datavalue":{"value":"0847.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915139$1E9CE2DA-90CF-432A-A55B-766F512E81D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c877b3bd8ee252c450b82a67483453bfd9c4ae8a","datavalue":{"value":"10.1007/BF00244463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915139$DAED75F7-07E4-4ACD-91F2-D9D4E1E64B2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6bbab2ea230ef82cf7d72bee404dd827d5aaeed","datavalue":{"value":{"entity-type":"item","numeric-id":230814,"id":"Q230814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915139$24D5CCAE-5DE8-44EE-8D18-402EC1D20905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1743d9e0eb85fddb7851b62bbc9f2fb095f7da9","datavalue":{"value":{"entity-type":"item","numeric-id":1915138,"id":"Q1915138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915139$529D7E8D-C671-43E3-A3C0-AEFF0D0E7EBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915139$29CF2702-35DD-4264-A60F-FAAA2B28F5F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88c2210e4885c1985c6e989c6e3d5dfc697aa6d7","datavalue":{"value":{"time":"+1996-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1915139$36F0D74B-6B29-4024-BA03-9A09837ED66D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915139$BB443D2B-0E9C-4EC1-87F6-7A460205249B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f4759108866ba09c3b1ea25d37a6ddae56a6db1","datavalue":{"value":"887168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915139$582E61EF-F052-44EA-9498-C2B3BFDAC9E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67935c9745e86097c5a009e8bb47d5846729f37a","datavalue":{"value":"Boyer-Moore theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1915139$A50EFC28-0FEB-42DB-A90F-16F17FC2F93E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915139$64786FBE-21D6-4ABC-9876-45830D09F58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9d98cd6fe8b5d5dd6b234efad298fe3f54a4c5f0","datavalue":{"value":{"entity-type":"item","numeric-id":14658,"id":"Q14658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915139$AD01C66E-26AD-4B87-88F0-174B19DB12ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915139$0958E7E0-FD39-4A78-90B9-344AD6328D2D","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":"Q1915139$3532F858-DEE0-4C06-8FA0-B2378C528AC5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"804ce03be7531b05346ed40bd30dacbbe0cf6de6","datavalue":{"value":{"entity-type":"item","numeric-id":4012877,"id":"Q4012877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915139$5341AE6E-0946-4FCC-A771-DE01F3DC2F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915139$EEEE0A19-0E76-461B-A9FF-3B558990CA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d430db3bcde2c796ed444f1be78cccda1eaad87","datavalue":{"value":{"entity-type":"item","numeric-id":4028137,"id":"Q4028137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915139$753495AE-B80D-4F19-8160-7615803EC2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce4f5ae886a6add198cde1454a758dfcc3c40fe","datavalue":{"value":{"entity-type":"item","numeric-id":3932277,"id":"Q3932277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915139$BDCC9222-B9E8-43C0-9214-176BBEDC1EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915139$DC1CBE78-C278-4DB9-BD4A-9634DCD2A879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aee5eab43a64fca08e9b406d1260fbaa98433de","datavalue":{"value":{"entity-type":"item","numeric-id":757074,"id":"Q757074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915139$53EDD993-9C44-418A-B047-53AA4F22904D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fb3e8e1bce2eac8344ce1eacc6de3a8144fcba","datavalue":{"value":{"entity-type":"item","numeric-id":688572,"id":"Q688572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915139$73D34CDC-E09B-4FB5-A6FE-29AB0C1D72B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e01e9df42a4c7f9b20a47def9db0414a5756b6d8","datavalue":{"value":{"entity-type":"item","numeric-id":1915139,"id":"Q1915139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1915139$EE0A2065-0311-4E9F-A68E-0D11E5D898BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a26bbc280938c0cb7b63b807d02a37bb21cf4107","datavalue":{"value":"https://doi.org/10.1007/bf00244463","type":"string"},"datatype":"url"},"type":"statement","id":"Q1915139$B04677CA-28B3-4B04-BCB9-29DA232031B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7765c7f2e73f70a7eceb1fb269d368ad2a079fa5","datavalue":{"value":"W4237638612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1915139$C2031046-CFF8-47FC-8EB0-8628BFF7BCA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbd5d69562f578d634c455a50b951c3cba745c07","datavalue":{"value":{"entity-type":"item","numeric-id":3773394,"id":"Q3773394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516e3dec1dd052bdcc9bf35c2ba06ec9bd7ba5bb","datavalue":{"value":{"amount":"+0.84119415","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":"Q1915139$AC7D93EA-DC43-44C3-BBFC-B933D9DBFE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f461c3d35fe74d36eb0c06054a556db0671e822","datavalue":{"value":{"entity-type":"item","numeric-id":1819945,"id":"Q1819945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0db081d25fba0042e483db7494d1c391b13df0","datavalue":{"value":{"amount":"+0.83772373","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":"Q1915139$F25EC432-6CF7-4B48-AE75-E79158C1E4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a3c074ee182c14fb829f48d8ee3067fb50232e8","datavalue":{"value":{"entity-type":"item","numeric-id":3336730,"id":"Q3336730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3b0e5d857bb2d642a7a34a42e1653ebc54c7673","datavalue":{"value":{"amount":"+0.82787013","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":"Q1915139$13998D72-8E28-4B10-B997-F7C827573C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a66faa01dbce681557a69b916ebefc9578b7e4","datavalue":{"value":{"entity-type":"item","numeric-id":6173578,"id":"Q6173578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b43ecfca4479320c378bc17c722bc032e01c2ca","datavalue":{"value":{"amount":"+0.82554513","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":"Q1915139$203FF68C-968F-49E1-892B-8C80C9D99E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a936d133626ea4aea0632a5ece76b255664803e","datavalue":{"value":{"entity-type":"item","numeric-id":287356,"id":"Q287356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0fdabecaa989b80cd8966c17ab06a58e184843e","datavalue":{"value":{"amount":"+0.82467765","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":"Q1915139$130CDC93-7F95-4E29-A928-30B06AB74AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"968c3d1760dae4f8a189f70c4b42728885562412","datavalue":{"value":{"entity-type":"item","numeric-id":4392291,"id":"Q4392291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78c7846645852646d6c555f580c519de0c3f44f4","datavalue":{"value":{"amount":"+0.82188797","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":"Q1915139$9C5F3DEE-CAC3-47E6-B457-87ABD3D777DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f014694f6b46e92fa4ebb6a1f68784e638b36d","datavalue":{"value":{"entity-type":"item","numeric-id":1762353,"id":"Q1762353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e9b70899d969d07179911d306d523d7871b086d","datavalue":{"value":{"amount":"+0.8192185","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":"Q1915139$872B3723-4AE3-475B-B01D-7F8ED5E6AC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c91968143de282fceab03b4acc9077e5f45e98f","datavalue":{"value":{"entity-type":"item","numeric-id":1730305,"id":"Q1730305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa349e78fadcf5fcb1ab91a0577f5172c02ef72","datavalue":{"value":{"amount":"+0.817588","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":"Q1915139$C41255B8-7A8B-4C73-87C3-CB663763BCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e79c846e047eb75a5a9e0d18fec55fb7087fd0b","datavalue":{"value":{"entity-type":"item","numeric-id":5170235,"id":"Q5170235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e67cf1578ee0c658f76c6bbf6c709714c5a767","datavalue":{"value":{"amount":"+0.8148093","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":"Q1915139$8FF7FA74-4DF1-4A40-8B6A-A3D977E83984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afcb2e1fe0672b62e4bf7a3bcda29a663a867226","datavalue":{"value":{"entity-type":"item","numeric-id":4217954,"id":"Q4217954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c88d0d9aed1c25b58683d2dcc5beb24cde2519","datavalue":{"value":{"amount":"+0.81433856","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":"Q1915139$C621ABAC-027A-40D7-8FEE-E7092AA9D1B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interaction_with_the_Boyer-Moore_theorem_prover:_A_tutorial_study_using_the_arithmetic-geometric_mean_theorem"}}}}}