{"entities":{"Q1565830":{"pageid":1576570,"ns":120,"title":"Item:Q1565830","lastrevid":70897185,"modified":"2026-04-13T18:02:54Z","type":"item","id":"Q1565830","labels":{"en":{"language":"en","value":"Integrating functional programming and symbolic computation."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1920708"}},"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":"Q1565830$3EDD6589-A8B3-4A5E-BE94-B2CF32D3B7EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"928a12986314873935e8f7f4a5f9be30995c30ab","datavalue":{"value":{"text":"Integrating functional programming and symbolic computation.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1565830$6D07A31D-35E9-4841-ACEB-1B0AC05246F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"248fbac375803ba9b631cba2b852cb2f26fd5d4a","datavalue":{"value":"1037.55501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565830$5CF424DC-3872-4AC4-92EB-FAA8F1DC5DA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7ab2bdb2219d3bf885d66262b5c7c1b65f13d37","datavalue":{"value":"10.1016/S0378-4754(96)00022-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565830$D7FCF82E-8EC7-45CF-B13C-D65954AAEAB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2742bc74281e45d5f573cb9dc1b7a4db7f023f65","datavalue":{"value":{"entity-type":"item","numeric-id":1565829,"id":"Q1565829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565830$58D5CE48-9124-4BCA-B4EC-E52A40A3A867","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"682ffaaa57a9a6c995eda9fd368658e7f15570cb","datavalue":{"value":{"entity-type":"item","numeric-id":86161,"id":"Q86161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565830$66BE5BCD-FC35-474F-A953-EF48C314DE01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2b40c08a2730a883022880979a273ca836a2fb3","datavalue":{"value":{"time":"+2003-05-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":"Q1565830$F4CB0195-88CE-4638-A641-CFE5C7684E8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a2c3a267d39cc0a240359433e7798b450888646","datavalue":{"value":"55-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565830$40E40729-78E8-4E6E-A195-3BCFB00687F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565830$CE1B28F4-B805-47B6-B8A3-AC8059DE2742","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69d48c25cd05fbfbdb4b2381a16001764f24246f","datavalue":{"value":"1920708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1565830$26AE7F25-A596-49D7-BB95-3FAE1123C36A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565830$322D0594-B244-4E74-AB25-03C66A98C1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565830$AC0E8148-7D9C-4E24-9C78-B5CFEC5C0834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565830$69362EBE-B998-488B-B5D9-106F0F7C0940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11aacd9305ca98116f4b6fc72e279fc354d59183","datavalue":{"value":"effective homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565830$CDD13FF0-3FF7-47C3-AA70-4AFEFF68B6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf80d9836f8e5cd748d3c1a7657263f15f73d249","datavalue":{"value":"central extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565830$5587BDCE-D65B-446A-8BA5-3420790CC806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de8fd8b218880ef8fbb372c209d815d3685e35a4","datavalue":{"value":"homology of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1565830$25C6000C-6372-452D-9B34-ECE0F440074B","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":"Q1565830$C167ED89-423C-4CAC-8AD1-5F6C3B3A36A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d8e771f49e7c669f74251467edadb5af8cf305","datavalue":{"value":{"entity-type":"item","numeric-id":3708977,"id":"Q3708977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565830$B8A6BF78-2851-462D-A82C-5D3B1ADA9EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5e6142530f5474d91ea3ee6641cdf1cc87de99","datavalue":{"value":{"entity-type":"item","numeric-id":2650931,"id":"Q2650931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565830$C0F2415F-A5AA-4FED-A951-AFC7F8013B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6198da51ec4cbb4b2fc12b3eee6271527ac35d21","datavalue":{"value":{"entity-type":"item","numeric-id":910764,"id":"Q910764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565830$8018029C-F64B-41D4-BC88-49F53A5552A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfe2aa2eb45c32f6591d729758c8dd1af4472ea0","datavalue":{"value":{"entity-type":"item","numeric-id":3985843,"id":"Q3985843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565830$30A270B5-18C9-493F-84A3-F6110C2AFEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb6f764bd06a01010ddd00803c7596763badf00d","datavalue":{"value":{"entity-type":"item","numeric-id":3977013,"id":"Q3977013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565830$8FE6ECA6-C083-4694-A20A-F3DD7FCB7E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff8ba509e37d0e81accfb3af9274786dd9e4547","datavalue":{"value":{"entity-type":"item","numeric-id":5621452,"id":"Q5621452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565830$4B4DA012-0531-4E5A-95FF-D42541540912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50a8569e46b6ebf9bdf790ad48b6a4dab614e1a9","datavalue":{"value":{"entity-type":"item","numeric-id":5550390,"id":"Q5550390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565830$CF6CA7F4-6930-4505-B233-319A5826739F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b6ed1a5766d5cb9d732e2f8c4324ed0c65a46b","datavalue":{"value":{"entity-type":"item","numeric-id":3135181,"id":"Q3135181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565830$E25B4941-BF3C-4225-A87C-693413B0EDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c30cb160d0ee1b3315dd1551dd77050352d5b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3975345,"id":"Q3975345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565830$6F1ABA65-2C38-42F9-98CD-9E6839B0C438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b00764f2554b817f32c18778472c08f20203f31","datavalue":{"value":{"entity-type":"item","numeric-id":1328492,"id":"Q1328492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1565830$A156393B-7865-4928-A6AB-A15EE38DB8F2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e1ef4b8af1ef38d1224e61b63c6fb8a0d183a8","datavalue":{"value":{"entity-type":"item","numeric-id":3545334,"id":"Q3545334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9a1dacf245e0c56025427399ef586f5fdc70f5b","datavalue":{"value":{"amount":"+0.7479050159454346","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":"Q1565830$890E21AD-C5BB-44BA-8D99-781092910ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6dc173fd9aecb5e0d81c0c4ecb3cb4fc19ba52f","datavalue":{"value":{"entity-type":"item","numeric-id":1612751,"id":"Q1612751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33628e02a7fd73764eb707531579dff52a0ecc73","datavalue":{"value":{"amount":"+0.7184095978736877","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":"Q1565830$615AF5C6-17B4-485B-93B3-E9DFF11CF882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54d890a1f056be9db41d798cad0c9e2c79ce856b","datavalue":{"value":{"entity-type":"item","numeric-id":3477948,"id":"Q3477948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da7fae1f8bb7e1bf192a895d2e4ecbd6a3f0ddeb","datavalue":{"value":{"amount":"+0.7056331038475037","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":"Q1565830$D589771A-7526-426A-8B6C-53E3EAAC8E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a03c65b87ea9fd6e5c17f5539e305464bb0dae93","datavalue":{"value":{"entity-type":"item","numeric-id":3975345,"id":"Q3975345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eb665c9d3d16ac7858b57367978bf7be6793241","datavalue":{"value":{"amount":"+0.7000517249107361","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":"Q1565830$97CD4D69-5EF5-4567-AADA-6E5B3C43A3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b06f78bbd21fd32cc6187dba65b730d1d63e6f4","datavalue":{"value":{"entity-type":"item","numeric-id":1798330,"id":"Q1798330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba38bfadba34435b50698c1d91435cb25205119","datavalue":{"value":{"amount":"+0.6999439597129822","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":"Q1565830$47D9842D-E296-4F56-BE50-D49FFE294AB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Integrating functional programming and symbolic computation.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Integrating_functional_programming_and_symbolic_computation."}}}}}