{"entities":{"Q4012877":{"pageid":6042673,"ns":120,"title":"Item:Q4012877","lastrevid":55180081,"modified":"2026-02-04T12:17:40Z","type":"item","id":"Q4012877","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65529"}},"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":"Q4012877$B0686B16-6507-448B-B2F0-50C7B6B85461","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"585746e49beb2405c14df62fff4257661f729a73","datavalue":{"value":"0799.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012877$734B1DD4-DD0A-43B3-A603-1961BDD6D3BD","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":"Q4012877$A0505581-8970-4AC0-81E5-4F1320558CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4012877$40908523-1747-43DF-9098-80735CD1912A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4012877$C32BBF3A-1131-4DE3-B94D-A3CC35F8D5F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012877$D9B945EC-1241-4101-8B34-F11F387D78A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012877$6A8A21B8-F541-4A63-9309-48DBB29655E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012877$9BB1DE52-71CD-4399-B6C1-28786323FFB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84139db600339b1f1e9f95ceed2f7b903ecfe562","datavalue":{"value":"65529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4012877$A9D4FAA8-E5B1-4F60-A73D-0C649728922E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67935c9745e86097c5a009e8bb47d5846729f37a","datavalue":{"value":"Boyer-Moore theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012877$A848FCAB-6C13-41AF-8D40-F4BBEFC64B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16122eb8295941a38e44aee0baf82b5aac9659a","datavalue":{"value":"Nuprl proof development system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012877$F7F2A10D-D7EF-4044-981F-E4497B74FE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546f982464ca9e4d7b2d83e5ae55c43306696e3a","datavalue":{"value":"Ramsey's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4012877$66B507C5-E95A-421C-B114-C916938A3018","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":"Q4012877$67D3EE63-A1D9-4489-91B0-7D97F95F114F","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":"Q4012877$3308B307-FC26-471A-ADFE-938C0E817B5F","rank":"normal"}],"P1643":[{"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":"16504e61d7a1b8f0a8bdbd1b1093829b9757d7e4","datavalue":{"value":{"amount":"+0.8843734","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":"Q4012877$4F7E4EB7-ED2A-4B90-BF9C-C34D2324481F","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":"502e8cbcb2846bc23e230fcd97b7b0271319bae0","datavalue":{"value":{"amount":"+0.8842849","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":"Q4012877$5450540D-60E9-4954-89E3-ADD703B7493A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77dd6e8b3716ac8815a409e6de120987392d573d","datavalue":{"value":{"entity-type":"item","numeric-id":688572,"id":"Q688572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cbb4013ea15e51ba1eb945bb0a17cefa3d356ec","datavalue":{"value":{"amount":"+0.8560004","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":"Q4012877$C8D66F2C-74E1-4813-836D-496562B701E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e5d7e7453c38101fbdd643b7946eacbda0be85","datavalue":{"value":{"entity-type":"item","numeric-id":4363124,"id":"Q4363124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e0db22279f40b7459a2cc72852d832e3c454fa","datavalue":{"value":{"amount":"+0.85038924","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":"Q4012877$CE5B8950-E521-41C3-AFFA-55EE2FAE9ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff34c02a8377419aa6bc52038759eaf89019a2d6","datavalue":{"value":{"entity-type":"item","numeric-id":1203115,"id":"Q1203115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8df6392ab2f39a0fa238cca77f6c4cdd99a8940","datavalue":{"value":{"amount":"+0.8438667","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":"Q4012877$B76345B9-C07E-4AD8-97E6-E97563ACF3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd4f4ec85980c8c79a6bf25c0a2a61aeed189f1d","datavalue":{"value":{"entity-type":"item","numeric-id":4443417,"id":"Q4443417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d5bb8a1f3d94eabd525223a54d38f42124e94d0","datavalue":{"value":{"amount":"+0.8437693","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":"Q4012877$76BA1E2C-BA07-498B-8071-6DCEE6C7883C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5abb80aae8d2531ad458e5665836a858b1ccba17","datavalue":{"value":{"entity-type":"item","numeric-id":4028158,"id":"Q4028158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"427ff2705cbe460220172499096b51d54db1d385","datavalue":{"value":{"amount":"+0.83672667","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":"Q4012877$D79147A9-C09A-4870-ABDB-9AC67E6C18FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ffa2d7418e931eb671fcf01954fd4a349e35ca8","datavalue":{"value":{"entity-type":"item","numeric-id":2826389,"id":"Q2826389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ec1d72d6bde26bf8ff259bced7df6ae5985a05","datavalue":{"value":{"amount":"+0.8361375","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":"Q4012877$405CC66D-0323-4D94-81F3-2CF9CA1FAD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"468f7da087c5780388f6f08ecc01b3e3bbd67087","datavalue":{"value":{"entity-type":"item","numeric-id":4489064,"id":"Q4489064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32b2c72bb93623ad49755077c2842e4c7aedbb69","datavalue":{"value":{"amount":"+0.8355533","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":"Q4012877$1806D73B-B889-46F0-AAF1-6545445F5968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117f0f0c21341a5205408d76d47441cbf8c61ace","datavalue":{"value":{"entity-type":"item","numeric-id":1186705,"id":"Q1186705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d05957e1c978354edc6326e14276601356fb696e","datavalue":{"value":{"amount":"+0.83536255","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":"Q4012877$2C089224-9FAE-4014-9451-1C004774414B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4012877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4012877"}}}}}