{"entities":{"Q3490989":{"pageid":5520889,"ns":120,"title":"Item:Q3490989","lastrevid":49416523,"modified":"2026-01-07T03:11:33Z","type":"item","id":"Q3490989","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164171"}},"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":"Q3490989$F23F3F44-AD80-4977-8278-38FC7BC7DB88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5385fd6233e6205e3e4fc126767aa1da9f1d785f","datavalue":{"value":"0708.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490989$860B0BB0-5075-41D2-865A-3EE48DD31792","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43c80439908def1f47a2850b299ced02bb922e89","datavalue":{"value":{"entity-type":"item","numeric-id":861688,"id":"Q861688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3490989$9E562AE3-C1F4-4208-8979-C55D13608A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0d384413a2d1b8185eb46b74e5b2c74244e0aac","datavalue":{"value":{"entity-type":"item","numeric-id":928667,"id":"Q928667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3490989$C13F668D-43E0-4F88-A6E4-D373C343B7A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3490989$E9465770-6E01-4F8B-A568-0B25D1219022","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490989$5ED0E74E-F755-4100-BF16-A05D6C09190E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"933bff5d3a2bd8353afdeb20eececf6bc92a8a5c","datavalue":{"value":"4164171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3490989$B7FD937B-DA31-4FA8-BD91-505596BEA0F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67935c9745e86097c5a009e8bb47d5846729f37a","datavalue":{"value":"Boyer-Moore theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3490989$AD25811E-5310-43D7-91B4-B263290DA6F7","rank":"normal"}],"P1463":[{"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":"Q3490989$8C83E560-3EA3-4ABB-8E79-C4F792738CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8f057223c758d6b8295ecbdef4842faac2ccb72","datavalue":{"value":{"entity-type":"item","numeric-id":19253,"id":"Q19253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3490989$4A018E14-4A5E-4E2F-A047-4B4FAA2D8E9C","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":"Q3490989$900ED923-27B1-4B19-A150-36DADAD08042","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cda481b541398e1a99f4b5d3ef12a328b1ce13e","datavalue":{"value":{"entity-type":"item","numeric-id":6488518,"id":"Q6488518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce93bdfcbf21a89a711d951bfedff22718c8fba","datavalue":{"value":{"amount":"+0.7927299737930298","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3490989$17531EEC-7CA9-421D-88C1-57EA65D3B734","rank":"normal"},{"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":"a23abd59accfdb2f224d2214cee58d98262b5d35","datavalue":{"value":{"amount":"+0.7419775128364563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3490989$261BF9B9-B6C4-42FE-8157-F156879BCE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c464355e162bb39742d35675ae4f88b3e02fa0d","datavalue":{"value":{"entity-type":"item","numeric-id":4370791,"id":"Q4370791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fd4ae1a37badd4aab0e21c178a689419865b817","datavalue":{"value":{"amount":"+0.7401385307312012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3490989$0AC364D4-2C9C-4961-9082-4957D12B26C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2565d9e77d9b51b905daa5bfbb63ce859f62d93b","datavalue":{"value":{"entity-type":"item","numeric-id":3345811,"id":"Q3345811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b803d7e9fe1574a293b216a14ce147fbf3af0c22","datavalue":{"value":{"amount":"+0.7371503710746765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3490989$08C538AE-C9D6-4BCF-A41E-0BF612E56936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2edf7a3370731cd9f51a6356849119e9d04b7298","datavalue":{"value":{"entity-type":"item","numeric-id":4012877,"id":"Q4012877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a59cfd039f497c54918da38a9f46e1c37949d68a","datavalue":{"value":{"amount":"+0.7311632633209229","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3490989$0B902FDC-2485-46C9-BE9A-3E11170AB312","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3490989","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3490989"}}}}}