{"entities":{"Q3746866":{"pageid":5776772,"ns":120,"title":"Item:Q3746866","lastrevid":50990291,"modified":"2026-01-16T02:49:54Z","type":"item","id":"Q3746866","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3982493"}},"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":"Q3746866$69EBF794-0092-4F07-A59E-2F9F5B99626D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bb0ccc74061f6f34fe3ec57c2f4143589797827","datavalue":{"value":"0607.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3746866$5E116D16-60B6-4D0E-8DDB-9B59C63BD717","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41e3810a404524abb9a8149be270f852d90adbf3","datavalue":{"value":{"entity-type":"item","numeric-id":1201294,"id":"Q1201294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3746866$7C2818EF-A3D2-4D37-8D23-1AA706035F60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3746866$730808DF-5E23-4268-91B2-93998C485330","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3746866$BE5708AB-0D7C-477E-89B4-6285E008FF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3746866$27D1A0AE-2207-4107-970B-19DD56D115CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3fb6dabe474a55513016d51ad099b35fedfc657","datavalue":{"value":"3982493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3746866$5E05992C-60CB-45BE-9AB3-F549D82D88B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3746866$B05CE07E-5FAF-46B6-AD44-F74CE220DCD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"544dd6cf222dd3d6adc0310d00b2dfe4a91d88c9","datavalue":{"value":"transformational programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3746866$9283DBDF-E5A5-430C-B400-6E862D5F135E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fc7b655d0aa48fe9211fda0eebbf2f4c234d0a3","datavalue":{"value":"correctness-preserving transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3746866$87F972D9-8AAB-48FF-9DED-4AE2C610E9EE","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":"Q3746866$FD2B149B-4C20-4584-9E48-F544DE0925CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af8c9da0b4f1c75f735985d09f670555d18ea24","datavalue":{"value":{"entity-type":"item","numeric-id":3709853,"id":"Q3709853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e26f6c8a88a60eccc721fedbd17d2da2802e91","datavalue":{"value":{"amount":"+0.7928716540336609","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":"Q3746866$5EF49B66-CF18-48E8-A8EC-D00D7A5464D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42224b3bc999fb2f80ef3cdeac254baa7fc85eb0","datavalue":{"value":{"entity-type":"item","numeric-id":3210885,"id":"Q3210885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66cdebe48383baa28db97d981761ae5a56c91465","datavalue":{"value":{"amount":"+0.7519042491912842","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":"Q3746866$330E444E-CE54-49DC-AD1B-2D6B7904BB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb19e0b91c1ad0f904bc81008118c505fb680dc","datavalue":{"value":{"entity-type":"item","numeric-id":1040396,"id":"Q1040396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c994088f27bf4be77b2b3ff61d9d637855fb644a","datavalue":{"value":{"amount":"+0.7503032088279724","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":"Q3746866$7A0C2247-3F6F-498A-A51D-36700C56EC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f9c717cb8f26b4db87333827f60575560f5df9","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0900b504ec26aacb856fb0f535923098b9f1b77e","datavalue":{"value":{"amount":"+0.7482187747955322","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":"Q3746866$214C6D19-411A-45CE-B9DB-6F09FE02C889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947a2e72ea690199ea0027ef486290925282d471","datavalue":{"value":{"entity-type":"item","numeric-id":3994464,"id":"Q3994464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d036ebf8f1c0725a8ce2b6a8b5c1810a961e6e0f","datavalue":{"value":{"amount":"+0.7447119951248169","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":"Q3746866$9FE8F8EB-F33F-4468-B258-FE0583EEE650","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3746866","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3746866"}}}}}