{"entities":{"Q3058231":{"pageid":3068947,"ns":120,"title":"Item:Q3058231","lastrevid":45357793,"modified":"2025-12-06T05:01:07Z","type":"item","id":"Q3058231","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5817498"}},"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":"Q3058231$2A3122C9-A74B-433D-AE14-50E61313E2C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53656953469d69e3952f0cd018abe826a27cc54b","datavalue":{"value":"1229.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058231$B6966FC7-C778-41F0-9699-86008182855E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1a8b0b4410e75478f392738ec80b73d0645c344","datavalue":{"value":{"time":"+2010-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3058231$C5474915-B999-4F6F-B4A9-A63D9A4D9E9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058231$58DFD30B-3D2C-41BD-AC4C-97CBB05087BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058231$5BA2376A-E3FA-4C57-8299-84CF07E5D9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058231$9CC6FD29-CDA9-44A4-A94D-78AF249198F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058231$0ADD2A8A-15FF-4C55-AF91-A63EC2C73C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058231$51BF3060-EA04-4644-B81C-DACFC4DB082C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10aecb0debf26d06bdbe1a76538f7f879653c1e3","datavalue":{"value":"5817498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3058231$13C4F058-6A48-485E-9225-ED82B85F083A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058231$D900914F-9A34-470C-95E6-AAA29471E5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058231$011E82E9-4544-4CC3-9EE8-5350F2669797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"894bd7abe77d37c853350d4c0d38d42ee973593c","datavalue":{"value":"programming pearls","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058231$48B1DB63-4583-4483-84A8-ECB045AEBB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39fd012936264613c1ff43b1087c485b2ab35e3","datavalue":{"value":"program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058231$B1F36F06-ED14-4A6B-A8DE-6E3FF16B016E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cffdc9c7d0f77347224de21ab1124b9091c774c","datavalue":{"value":"Boyer-Moore","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058231$FDB51886-0514-4E08-AAF6-A5CD52382C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e11ec522c7ea987a827a2712a29eac59c93e1398","datavalue":{"value":"Knuth-Morris-Pratt","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058231$F1DDA838-48F0-4312-9254-DD31082B40B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1e51cfd223fb283c8bac98b51341bb5023654dc","datavalue":{"value":"Schorr-Waite","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058231$021C669D-B297-498D-94BF-E82EECE39DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6636619044e622dd73c7d3d042be0321759b4721","datavalue":{"value":"subtle reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3058231$02BA1008-88EC-4CE2-B20D-B26CA44EE1A5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058231$C484BCFE-1C78-47DC-8E1C-1300AFB3F690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3058231$3FAFA407-5FA4-4DD0-94FF-AD93344A1032","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":"Q3058231$B513638E-2E6E-40C0-BB5E-B7101D263ACB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"738e434adb62b3f3f96eabb09a06021696a5254e","datavalue":{"value":{"entity-type":"item","numeric-id":1916357,"id":"Q1916357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c0312cb732411da6ac9c7d0404d3847be62b7e","datavalue":{"value":{"amount":"+0.8960984","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":"Q3058231$B567962A-5A19-4AC6-8D66-7C378F7E8ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a9f819131c7ac0a8836b5119db83d156f3938a","datavalue":{"value":{"entity-type":"item","numeric-id":4912845,"id":"Q4912845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e41cacf7443e00233f2b00b807b797e0be737295","datavalue":{"value":{"amount":"+0.8462079","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":"Q3058231$5D3EA32F-3D89-42FF-8923-E5CA996A230E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60594d7b62203eed3895c9345b7f0b2522f438db","datavalue":{"value":{"entity-type":"item","numeric-id":4445772,"id":"Q4445772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df063263b340366e8396815556b7ea9c2ecc6bdd","datavalue":{"value":{"amount":"+0.84227395","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":"Q3058231$95BD30EB-C57E-4395-8418-6A3960319EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"756f96789122dda0094736e4f600ccb370eff5d0","datavalue":{"value":{"entity-type":"item","numeric-id":4558906,"id":"Q4558906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7244aa58ef4faa76edc278f42d8f332fc6c81e34","datavalue":{"value":{"amount":"+0.83675635","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":"Q3058231$67FE0B41-6335-47EF-8765-C02E92EC67FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a770ac478146b53b539a663e2757d2a84c0593","datavalue":{"value":{"entity-type":"item","numeric-id":3559723,"id":"Q3559723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a492a57fc28076a7762cc6ad2da70ee85d7897","datavalue":{"value":{"amount":"+0.8312004","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":"Q3058231$19DE1109-585B-47EB-97B9-996177389C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b0f7568efc27bb6e8078c47d45781f81ab37a62","datavalue":{"value":{"entity-type":"item","numeric-id":4790401,"id":"Q4790401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cad9633877b5e9b3b920a40b09adc2dd8178e342","datavalue":{"value":{"amount":"+0.8307979","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":"Q3058231$A32A9AE6-4329-4AF3-B2D5-4EA436AECD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217886fd89a5ea01b8f78c9f5fd12f4f9296e448","datavalue":{"value":{"entity-type":"item","numeric-id":4611721,"id":"Q4611721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e362cebacacea61519181bedaa6666c0a9d64e66","datavalue":{"value":{"amount":"+0.82929236","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":"Q3058231$398D435B-7CD2-4FBC-B59C-CFD6E1101568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773c3cb85734c93eb7fb808a464c8fd4d1e1ffab","datavalue":{"value":{"entity-type":"item","numeric-id":3166529,"id":"Q3166529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df666ec126a261b167b3706026ab0d4e2e4432d0","datavalue":{"value":{"amount":"+0.8286991","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":"Q3058231$129C636C-3C49-4FA8-A615-2B8416101756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e2625b80d13aa3a067b062330ac3d6ac9a4b775","datavalue":{"value":{"entity-type":"item","numeric-id":4957017,"id":"Q4957017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d462dbb6b7568c2b29130727ea18f744e2ae1a9a","datavalue":{"value":{"amount":"+0.82744896","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":"Q3058231$FB02AC5E-E9DF-4148-833D-0975D649674D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de3ea4e3f36a955e9b0f71fd138e25263edc68dc","datavalue":{"value":{"entity-type":"item","numeric-id":5400858,"id":"Q5400858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"939930aaee474b4d6987f10354e6c6960fca79df","datavalue":{"value":{"amount":"+0.82685107","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":"Q3058231$F2637D90-C487-4905-8CC1-900659DF7E0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3058231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3058231"}}}}}