{"entities":{"Q4421942":{"pageid":6451541,"ns":120,"title":"Item:Q4421942","lastrevid":48165697,"modified":"2026-01-03T20:25:42Z","type":"item","id":"Q4421942","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1973864"}},"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":"Q4421942$3E876A59-970C-41D7-8131-DBE505243795","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c5626400d30100789390a53884531ec84168204","datavalue":{"value":"1037.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4421942$560B12A4-4C72-4573-990A-17821A783F07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d90531b27d0b0f5d792d93b849c2580d3174577a","datavalue":{"value":{"entity-type":"item","numeric-id":4225084,"id":"Q4225084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4421942$C2F5B0EB-9397-4D90-9765-BC5597F84140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44cae58b7b1ebd97a8ba1cdb3090f9e875e9f030","datavalue":{"value":{"entity-type":"item","numeric-id":1607555,"id":"Q1607555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4421942$8A0AFA70-D42C-4181-A4A1-DE1B1F3D6946","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c29a0672291b7a6649e122aabeda90cb99d35de","datavalue":{"value":{"time":"+2003-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4421942$F35A1BE0-72E8-487C-8961-34B31476AA97","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4421942$F38D26D6-F846-4881-9595-9C582F3A540D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4421942$5240F614-8F82-417B-ADED-6F4C267BBFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4421942$5D234848-C48E-49E5-BBCC-B9A7E9ED6E7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df141cda91eb4a43fe322f958013e9fcfb2f1703","datavalue":{"value":"1973864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4421942$672CAA6B-DFC6-4B34-A28B-8CB174965E1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f802f3e8569c8814279d27422c34b41eaa5f1e34","datavalue":{"value":"program construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4421942$921AA91E-552A-40B4-B9C2-66B7C379C0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db680b593ef23b191035c8b26fb2e9e150ede189","datavalue":{"value":"proof search strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4421942$E4928216-628A-49BF-A48C-FD8C597D4AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8becbc074010de5f449ec69b6882c4b7218f6219","datavalue":{"value":"structural synthesis of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4421942$70CAA88C-A632-4754-8495-BC76C165F512","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":"Q4421942$84EE908C-8B1D-4B63-8F04-C588724DA117","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91e3fd4ab259e200b91287ebadad2a84be9bc0fe","datavalue":{"value":{"entity-type":"item","numeric-id":4372941,"id":"Q4372941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d794a9a203aacfc6eaaec0918b8ce1b0331f940c","datavalue":{"value":{"amount":"+0.8453930020332336","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":"Q4421942$9AF8F273-F003-4FA1-BE7D-AFC83EB7D00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"003e1b828cba2f17bbd1982673e086ad8f3b6c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3706480,"id":"Q3706480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935b588d305830247b02907b7822288c69f485a1","datavalue":{"value":{"amount":"+0.8206900954246521","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":"Q4421942$BF7DFED6-9CC0-4F54-8D33-10479DC784A0","rank":"normal"},{"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":"5a686a0a1f17770b58fbf6e9b601398fd8e6519c","datavalue":{"value":{"amount":"+0.7616588473320007","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":"Q4421942$BFE1D9AD-34C8-45EF-84A3-63A10B3F79EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf0f16f9bd2a779f2f0fde3110857be40584aed","datavalue":{"value":{"entity-type":"item","numeric-id":1322836,"id":"Q1322836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f77bb2e3c05ebbd35dc609db7ca78eb8083d778","datavalue":{"value":{"amount":"+0.7557997703552246","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":"Q4421942$D9161284-8632-4FD2-AC3C-C0796A334D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"620dc478aba2d0a7349eb85b9fd811aa5113bc8b","datavalue":{"value":{"entity-type":"item","numeric-id":1091120,"id":"Q1091120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bbd21755f23c7eb4e3f913a8d2742819e393f6e","datavalue":{"value":{"amount":"+0.7499898672103882","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":"Q4421942$E759F048-26C8-4BBF-B4E5-F6FD2A06E815","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4421942","badges":[]}}}}}