{"entities":{"Q3821629":{"pageid":5851535,"ns":120,"title":"Item:Q3821629","lastrevid":53962889,"modified":"2026-01-26T00:13:23Z","type":"item","id":"Q3821629","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4094866"}},"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":"Q3821629$2221B008-C46E-4167-B8F7-F218C96E14C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5403c3131beb7252acd592cd063197b8fd2021c5","datavalue":{"value":"0668.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821629$5B71B1EC-5D5B-41A9-9984-8B7CB5008C4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6859b6e4f77acb935d0adf2cd83cfcd295691de8","datavalue":{"value":{"entity-type":"item","numeric-id":3817017,"id":"Q3817017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3821629$C5EB0720-34A0-49AE-BE16-02C52C0ED374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"108d5b9d05cf97834387b26de87409dc747dc933","datavalue":{"value":{"entity-type":"item","numeric-id":226999,"id":"Q226999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3821629$9D98C9C9-AE27-4D02-900D-FF935DCC4D8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3821629$097FF47F-9115-4103-BD11-88675A5D3E5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821629$CD4CBF61-D99A-4D68-8452-89AA60EC0346","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8290cd55785d2ee51e4db5e7a228f2a9f0961269","datavalue":{"value":"4094866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3821629$BF884218-C37F-43FB-9F37-7FEA69788098","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62599c43957b049b3f28184d4238f49232971926","datavalue":{"value":"function-free problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821629$515D5543-8BA2-4AA8-AA9C-FB9F20F96EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ffcc3545bd7b0f94969c35c641231860a38c51","datavalue":{"value":"heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821629$C7B12C79-A741-4901-84A2-97CD1EBEF0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821629$192F004E-6BC6-4446-9590-924710A7A1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821629$6545F746-5735-4848-B982-F6785E7BCF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7849cf4967868e1682e85fd08af647be01332b1a","datavalue":{"value":"speed-up","type":"string"},"datatype":"string"},"type":"statement","id":"Q3821629$8192E8CE-92EF-4FB7-9362-656D45D59FED","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":"Q3821629$EDF1F95F-E2F6-478C-8C65-449377DB8C74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a6304270c2bf4f17207eb0a8fefd9c3b7ff402","datavalue":{"value":{"entity-type":"item","numeric-id":1199932,"id":"Q1199932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eba3109ff4359730890a93de630958ae08fd5aa4","datavalue":{"value":{"amount":"+0.8833827","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":"Q3821629$7455BCCF-F7EF-48D1-A844-EA4320475F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31b4a3d39713dc06eab1bc4b2bfc3409fd333dd","datavalue":{"value":{"entity-type":"item","numeric-id":1114446,"id":"Q1114446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"323f082832f29e9d5314c7f6b2e63f8f070cd474","datavalue":{"value":{"amount":"+0.87752545","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":"Q3821629$2429C095-1FD6-411F-9632-CB3DA12A19E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0456405130c3ea41f3a066f024f9d673ca3d1ec2","datavalue":{"value":{"entity-type":"item","numeric-id":3750142,"id":"Q3750142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"323f082832f29e9d5314c7f6b2e63f8f070cd474","datavalue":{"value":{"amount":"+0.87752545","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":"Q3821629$4E04FF7F-F151-4CAF-B169-F29BFFEE902E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66a676533dcd495b9a796a7f6bbde83344fee32","datavalue":{"value":{"entity-type":"item","numeric-id":2908482,"id":"Q2908482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71383fdb096b20f3be7ed1d46ee93db3a3bc947b","datavalue":{"value":{"amount":"+0.87627083","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":"Q3821629$C9D3292D-8F3F-42D3-AE2E-21A7476254DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8aa88f960b08160c56495dd31aafe873551353","datavalue":{"value":{"entity-type":"item","numeric-id":3732983,"id":"Q3732983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25040687518b9761ac56ade82ed493ada2d9914","datavalue":{"value":{"amount":"+0.8682649","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":"Q3821629$108FFA1B-C1DA-4C92-A22D-43AFF1593685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0070f198188188a05d47f95f4d06f1e231693ba5","datavalue":{"value":{"entity-type":"item","numeric-id":4539633,"id":"Q4539633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f34459a0ccee2244c5d895e2c42ad6a2cf713b","datavalue":{"value":{"amount":"+0.8679724","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":"Q3821629$693A80FB-6101-4A70-B11F-3BEDE6D3BE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a9141fd77a8408f053fef282549cb9dda2c1d8","datavalue":{"value":{"entity-type":"item","numeric-id":428887,"id":"Q428887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d34a19fe1478acd26cd21242464a6959ea87833","datavalue":{"value":{"amount":"+0.86715585","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":"Q3821629$2694FC31-1EA4-414C-83BD-7F1D0ACB1353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02875efcda45dd6c3450fa983afbefd43cb26b91","datavalue":{"value":{"entity-type":"item","numeric-id":5285991,"id":"Q5285991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b0b98f6d2cc3cf337bc4ceb0b2133e954adda2","datavalue":{"value":{"amount":"+0.8651181","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":"Q3821629$FB3CFEC4-C3FF-45AC-BB7A-EA052AB6A13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eca4c5397ac75c297bba98c0970ca3735dafbdf","datavalue":{"value":{"entity-type":"item","numeric-id":2104497,"id":"Q2104497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eaaa4cb673d0050f3c5a7af5ff917df277ae508","datavalue":{"value":{"amount":"+0.8599168","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":"Q3821629$952DF115-9AF9-4297-B2DB-B6F7A29DE8C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3821629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3821629"}}}}}