{"entities":{"Q1595925":{"pageid":1606665,"ns":120,"title":"Item:Q1595925","lastrevid":81542069,"modified":"2026-05-06T18:45:42Z","type":"item","id":"Q1595925","labels":{"en":{"language":"en","value":"Parallelization of a hyper-linking-based theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1565453"}},"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":"Q1595925$8618BDAC-2E0C-48EC-9487-8301BC6874F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"257e2666641bf28e7ac4b6aa7464f7f4c2eca3e6","datavalue":{"value":{"text":"Parallelization of a hyper-linking-based theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1595925$D9E20048-A517-44C7-9C62-3EBD884DC0DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93b93b25862f6dc4b8b054965ff4589aa73029d2","datavalue":{"value":"0958.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595925$0813AA1D-CB2F-407E-A862-86696714E74D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b18fd57968999fba1f6ff648486fe098fa71742d","datavalue":{"value":"10.1023/A:1006469202251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595925$4736C21A-E4C7-4471-807B-309A57D2951E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af11810e9f7655231439ca333f95de5ae32b176a","datavalue":{"value":{"entity-type":"item","numeric-id":543852,"id":"Q543852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1595925$8415D48E-1FF3-49C7-A81F-F366CBBFB50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5f8c560f95a3a7e60d41630a8b70745f361623","datavalue":{"value":{"entity-type":"item","numeric-id":528695,"id":"Q528695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1595925$72890DAC-0A36-454F-92C5-BB599015E077","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":"Q1595925$DA3422CE-99C1-4E7B-AA0C-FF5FFB3B4204","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8d78bbdd3da8fc3032632626b45818e0358b86b","datavalue":{"value":{"time":"+2001-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1595925$DD53B16C-2AF6-45CB-8124-B96B3A38461C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595925$3895DC5A-66C0-4B27-B701-FDFD626EFBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595925$4DB11CBA-2E40-4F16-BFF5-50E81AEF1BA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0adfdc22a435fbc0e95e52bb6343813d4a386d9a","datavalue":{"value":"1565453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595925$987A4353-78F1-45D0-9F00-C223B70DAD0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595925$49A65FCD-E106-4BF4-9005-426BB8BE8D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595925$9D86293A-2B8D-4719-A15F-98A7603E225A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e2e9b14ef71212abfd1ad382ee0a9b0310368c","datavalue":{"value":"hyper-linking strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595925$9C36504A-6802-4EDE-8823-3D16DB9DC6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea02bbbac25591bff112851b39f602517780e488","datavalue":{"value":"logic deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595925$5749A489-9D90-4518-AA9A-17B5E3D23824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5e0888fa9957c443e210eb3c88f717e276ae13","datavalue":{"value":"parallel processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595925$F7B7D17A-92E0-4420-93A6-5A85EDCA7DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2e5b69ec7a610a633f8c630801231eb2a3e5afb","datavalue":{"value":"parallel architecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595925$D6C7649C-B491-42DD-B7F0-2739B76C69D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1eaabc0e561dc484a85bd72ad458c9fb5f2683d3","datavalue":{"value":{"entity-type":"item","numeric-id":15174,"id":"Q15174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1595925$43471EAE-AE0A-480D-A9EC-F84F255B7A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1595925$5D8CD11E-0AE4-4AA3-95E7-0AC2C93E9F32","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":"Q1595925$2DDF4143-AA51-4942-8779-F0E4800529E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e361f1e4044d63116eed34f6573871e3d30be69c","datavalue":{"value":"https://doi.org/10.1023/a:1006469202251","type":"string"},"datatype":"url"},"type":"statement","id":"Q1595925$DC4ED15D-E1C6-4AAC-93E5-84FAE4B91D76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"205edb2211d47d11fc6545af06ce6e8ffd6ab571","datavalue":{"value":"W1604233443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595925$8491E94D-9667-42ED-A3B1-D410E25C1569","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f90d48d690e48fdf321ee2d3a912ecd028d2da3f","datavalue":{"value":{"entity-type":"item","numeric-id":5327362,"id":"Q5327362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6580c2b537e7ef5a9c7e76f0009bd1a7e4f86b36","datavalue":{"value":{"amount":"+0.92794156","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":"Q1595925$36125F35-8D88-429E-BCFB-B05A7DD283C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fad1674c6d83dc31194cbf0f096419a4ed6ac1f","datavalue":{"value":{"entity-type":"item","numeric-id":1102766,"id":"Q1102766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74d12d963076a2dc93410cc5a6cea008421be055","datavalue":{"value":{"amount":"+0.917231","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":"Q1595925$B4354F2A-56F7-4F8F-9B23-9938B41BDA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acc0626cd3fa6a38cbe12563c26e9aa91bb99318","datavalue":{"value":{"entity-type":"item","numeric-id":4524776,"id":"Q4524776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877acee7f5c300b05efd50344117ce15ebc39233","datavalue":{"value":{"amount":"+0.91009885","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":"Q1595925$FF8A23A7-81E5-400B-BC5E-81D47582742E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e5c4de3682dd0d7ed6433442c7ef8e31d27133","datavalue":{"value":{"entity-type":"item","numeric-id":3783626,"id":"Q3783626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37b55776eba3f68f0a53e53c3540d452b5ca7c56","datavalue":{"value":{"amount":"+0.9032477","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":"Q1595925$71790C24-2D3B-4603-B2B7-929A537B0537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e17781bce1ee102887185e1b39d38b59fe7e87","datavalue":{"value":{"entity-type":"item","numeric-id":6488521,"id":"Q6488521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae95b7f90f98f7fa21096fa133b6281e5d2df7be","datavalue":{"value":{"amount":"+0.89860183","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":"Q1595925$24071D6C-6616-401D-83DB-F54EB3263AF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d75b0de3eaf6679dda011cd141a8b7574811f0db","datavalue":{"value":{"entity-type":"item","numeric-id":3491009,"id":"Q3491009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae95b7f90f98f7fa21096fa133b6281e5d2df7be","datavalue":{"value":{"amount":"+0.89860183","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":"Q1595925$383C9CC1-AC07-43CE-9F73-3783CA8AF990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc202638374ea772190b3e3d3f5d32f56840118","datavalue":{"value":{"entity-type":"item","numeric-id":1978017,"id":"Q1978017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1afcabf64d762634ed350f42e83a081b80f18184","datavalue":{"value":{"amount":"+0.88721967","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":"Q1595925$C02FB17C-395F-49B8-A927-CF8FE928D0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f7fea11c08b2ce75f95a2d9cb2f09c04fcd228","datavalue":{"value":{"entity-type":"item","numeric-id":1340966,"id":"Q1340966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"741d2f45268fb481a1cd197e24629d8be2507977","datavalue":{"value":{"amount":"+0.88602966","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":"Q1595925$1B2B0E04-B817-468A-B6C7-44CDEF891CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaa4472f6b180b98ec9f6af2764d50b483f899c9","datavalue":{"value":{"entity-type":"item","numeric-id":4823345,"id":"Q4823345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b06ed202e93b572e30ae6ba2fe493149a95e65","datavalue":{"value":{"amount":"+0.88546723","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":"Q1595925$00218EE6-5850-498A-8E39-A40FE77CDD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef987661b418b289e2924d474c61a925bb8556a0","datavalue":{"value":{"entity-type":"item","numeric-id":2843039,"id":"Q2843039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"470348bcdd1b8d89082340d0d07271b4c03bcd9a","datavalue":{"value":{"amount":"+0.88342476","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":"Q1595925$6918B572-DEA1-4FCA-9408-27505AC3BE1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parallelization of a hyper-linking-based theorem prover","badges":[]}}}}}