{"entities":{"Q4808703":{"pageid":6838283,"ns":120,"title":"Item:Q4808703","lastrevid":74863896,"modified":"2026-04-15T00:43:42Z","type":"item","id":"Q4808703","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2090035"}},"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":"Q4808703$CDC6A4C8-CAEA-4B09-BB48-74571BA850CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b2f6c748bea7bec263c0978e4e4c5a11cf1d1bb","datavalue":{"value":"1072.68525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808703$8E4DB2F0-6A3D-4A4B-84A2-5DC83F52BAB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c95eadbf326d38a14162a8a4e324657a8c33b3d","datavalue":{"value":{"entity-type":"item","numeric-id":2864517,"id":"Q2864517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808703$A06F264E-E5A0-474F-826B-C4F493AA089E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31265a0f61a8db94bd3eccd5a33834c5641878f3","datavalue":{"value":{"entity-type":"item","numeric-id":1405986,"id":"Q1405986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808703$E98886A4-F33E-4359-B373-7885413C97EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2eef7c0356251da60a56f8a0be5c76d74e095f39","datavalue":{"value":{"entity-type":"item","numeric-id":4808702,"id":"Q4808702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808703$51089F9D-5208-49DD-A4FA-71561F46452E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4aef37677d7fe848ec6e0720f36d880005313ba5","datavalue":{"value":{"entity-type":"item","numeric-id":702792,"id":"Q702792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808703$DD3C7D91-2D68-4A6F-9C3D-21D1A3FD7FF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecbb3420f48001697e43edc0b6a7cf0adaddf1ef","datavalue":{"value":{"time":"+2004-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4808703$1104FD7E-A0E6-4D0D-9EA5-1A871F670C7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ea5e3e5bf47469ef0a97a07830b19c3556e7c21","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2385/23850026.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4808703$1801A84B-8845-4C0D-8B94-1C775C2A9A38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808703$EA3EAD6A-5924-450E-8F70-504B706C1EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808703$6C9DD29E-BCCB-4394-879D-F9AABC7821B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808703$81203573-1A03-477F-B4CE-DD6CFF85870C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808703$D5387856-164D-4434-BE90-1AB82CA1FAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808703$CA512D03-FAE6-4B9C-88EA-B4514CD6724A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9986e4da79e1c4c1c3f153f8c9e46b3127120119","datavalue":{"value":"2090035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808703$F46004C6-1BB4-4896-BB1D-9FF1B4FB6F45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ad8eb579c3bc757455f843dc521fafd8dd0604","datavalue":{"value":"inductive program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808703$9CB07AC0-FDA4-4D20-89D8-168C5B1B9954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856d39441439c9ba1a009a39c01f9293685c715f","datavalue":{"value":"folding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808703$4A509D78-2947-4A52-B83C-35BA5F9AD25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d773c9dbefcfee441e11b3927eb483de24f807a1","datavalue":{"value":"recursive program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808703$CEA4FCB4-7B0F-4EAF-B9E5-A0253496940A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808703$D1BE0F35-EB04-4FDD-B6E1-03703609BB7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808703$D45A68BA-39BC-437A-88A4-4CF564289F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808703$266F4DE2-85C4-4284-8CDC-E5ED1C2095D1","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":"Q4808703$D34CCB1F-1B7A-4447-ADDF-AF14DBC47789","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a6177aa920b46e67711b0d857846df95488667","datavalue":{"value":{"entity-type":"item","numeric-id":3093353,"id":"Q3093353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c8077bf1c3fcdac5c67c9502880b4059a8acbc","datavalue":{"value":{"amount":"+0.8322511911392212","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":"Q4808703$7C90A723-BD75-44E9-AA6A-3E4786A01A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3986cdc9327bd39118671b05a250feec1b689ce","datavalue":{"value":{"entity-type":"item","numeric-id":1405987,"id":"Q1405987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03567d8e36353a81fb3184958e04e75e0a9f5f69","datavalue":{"value":{"amount":"+0.8215200304985046","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":"Q4808703$75D5C845-3958-421B-A04C-77FA80FE12CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85823e37809ed4a542ccbab70e666ee626fad42","datavalue":{"value":{"entity-type":"item","numeric-id":4205070,"id":"Q4205070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"586c4ab06a0a0e1df9702de947302ec99b1448e9","datavalue":{"value":{"amount":"+0.8004222512245178","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":"Q4808703$33E1527D-0A9E-4CC0-9B53-F2C1BC2DDA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79fe4d21beeaabbf3f646a78915b0ac8a153ffed","datavalue":{"value":{"entity-type":"item","numeric-id":1822935,"id":"Q1822935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb550f2b1614bf592365ad8d3724c153e5f0283e","datavalue":{"value":{"amount":"+0.7990942001342773","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":"Q4808703$117D5014-8DBD-46C3-B61A-DC7CF062252E","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":"18c387963fbf0ad941c9ecefef19f750ed68b5f0","datavalue":{"value":{"amount":"+0.7904608845710754","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":"Q4808703$38BE3344-5238-4F19-98AF-FFDB1FFA0A32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2090035","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2090035"}}}}}