{"entities":{"Q4877441":{"pageid":6907020,"ns":120,"title":"Item:Q4877441","lastrevid":46427406,"modified":"2025-12-24T18:40:33Z","type":"item","id":"Q4877441","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 877748"}},"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":"Q4877441$91401609-073D-4166-9229-BD059BD2A63B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36c32553c370f1b34686bfd8bc7a11382bfb512e","datavalue":{"value":"0847.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4877441$735703F9-C658-4D83-B6B8-9B1486A646F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5895b753a2581412a8b72570b484e8af47e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":229738,"id":"Q229738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4877441$F9EBE301-301A-4B3C-94BB-0618EE01350B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffb759767da9e25ed180753251b692c5922c1d9d","datavalue":{"value":{"time":"+1996-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":"Q4877441$E1F269B4-C988-4FB6-BF1E-9DEB9B430257","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4877441$1C16D080-829F-4942-9FA1-00AFAB563E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4877441$BCE0F24A-0542-43AE-9EFA-F5DAC35A081B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4877441$3732E2DF-51DB-4826-84DD-FC80FD21FC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4877441$BA628BD1-FE8C-46EC-B44B-5661A0CFB8A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c91bec119e350956caac5e36a9bec497f6ca60bb","datavalue":{"value":"877748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4877441$C942CEEA-C423-44B3-AD1E-C171F69F85A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5761c6c692365142c52baae1bb46875d31be0563","datavalue":{"value":"meta-mathematics of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4877441$889F4C6A-C23A-4E8F-B64B-0A3E1EB07B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4877441$3DC25DCA-B6B9-4313-A603-486DCC801405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67e20ec6afb054a049240872a3d9dccdc97f09e8","datavalue":{"value":"search algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4877441$B1A2F87A-8892-45CD-A182-117E3E22D0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7ac263324871a44dcbba67d80bbe91e299cc16","datavalue":{"value":"formal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4877441$3A366DCD-DF55-4317-B091-1EFC4CC3F9D5","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":"Q4877441$7FD8A2F4-0D80-4E76-A29E-AB8CAB5DC435","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":"Q4877441$5238D79A-426D-49BA-90D2-799C7A53A41B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5ab765d1851261b0bfadc8d534c87a3dcc72","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6cdddc8c73e15d785caf74ac1183b8c4c79bf95","datavalue":{"value":{"amount":"+0.7555479407310486","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":"Q4877441$965F8AD8-3DAD-448F-AB9E-7260C94D7EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a39a2cb9e8db094cb4da26da228b833592e4016","datavalue":{"value":{"entity-type":"item","numeric-id":796289,"id":"Q796289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bb947d3df48d38a3f10a9d6e76fc83294e0fa78","datavalue":{"value":{"amount":"+0.7520440220832825","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":"Q4877441$FC8D0A7E-0D59-49D8-B25B-D1B05B518FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453af8c03d498c8d21ec56b964e9b31f940ab75c","datavalue":{"value":{"entity-type":"item","numeric-id":5751976,"id":"Q5751976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df36d42139471f776339ecba1a620d28d84922f","datavalue":{"value":{"amount":"+0.7491891384124756","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":"Q4877441$4BBD7901-8FCD-4CD5-BB1D-0983D949926F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e55e732d8fb6149c4a2b6a13de3ab42c63ae6d7","datavalue":{"value":{"entity-type":"item","numeric-id":4808843,"id":"Q4808843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ebeb103cd8dc95345b296426c133fbf5a684242","datavalue":{"value":{"amount":"+0.7393215298652649","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":"Q4877441$7DBE9501-5FE1-4FCB-97E7-B56097F00D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7223ea97d0680b121a1433900756e5c525b5f769","datavalue":{"value":{"entity-type":"item","numeric-id":4421867,"id":"Q4421867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1749888cc15ac905fdcfe0e5019981d95f8b458","datavalue":{"value":{"amount":"+0.7284157276153564","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":"Q4877441$A52BAC87-770A-4EF4-8337-C71C505B0C68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4877441","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4877441"}}}}}