{"entities":{"Q4845025":{"pageid":6874605,"ns":120,"title":"Item:Q4845025","lastrevid":47348794,"modified":"2026-01-01T11:30:29Z","type":"item","id":"Q4845025","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 792049"}},"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":"Q4845025$0CB3B804-FDE0-43BA-87DA-8FFB7674236C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1343a4a060d6215fd9855138efac94d8d1f33182","datavalue":{"value":"0835.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4845025$B350A9D3-D48E-4EF6-97DD-04DB76136DAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d929e499819f5cdd992aa8413d5dd647386b14f5","datavalue":{"value":{"entity-type":"item","numeric-id":334806,"id":"Q334806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4845025$958D789A-0B3E-4809-954E-380074CD7375","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e213b3502a34a3c7033d8c8acb551872d893fe4d","datavalue":{"value":{"time":"+1995-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4845025$3B3413B1-4478-426E-8066-FDF644D619BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4845025$3931B639-DC27-4E9F-8E5B-4081E98B60C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4845025$255CC3F2-7DDB-46E5-8472-F20FA710075C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26ad4651f8f308e9ab8d484ad1760a8734b5a095","datavalue":{"value":"792049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4845025$3C8AE92E-0941-42A4-B764-EF7A7B1641A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4845025$DA7E678E-DFDF-4A15-B410-953D7C53994C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4845025$1B03C613-09AF-46C5-AD6A-39F7586A21A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07d49173cf701c96b3c418249b6ae3a88862c41e","datavalue":{"value":"deductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4845025$D425F84E-3D7C-4CD6-B71E-55B2EA9E3F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ef74820ec3f29beca85f99198f676c2e27ce060","datavalue":{"value":"inductive synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4845025$6B521DE0-E9F8-4557-B222-A485001A9215","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":"Q4845025$2F5CFFF2-EF94-47E4-A148-EE8CDB3CDF08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cee7b2ffed13a96ddaf64b8c6127ce6da215851","datavalue":{"value":{"entity-type":"item","numeric-id":1322854,"id":"Q1322854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"304ee00aad8055338b6474fde795d053567b885d","datavalue":{"value":{"amount":"+0.8703802824020386","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":"Q4845025$9442B9AE-5143-4A2C-A980-B56BA9421F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0404daef136179bd30c308b4c1f85f7c822c38ee","datavalue":{"value":{"entity-type":"item","numeric-id":4935596,"id":"Q4935596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da4a0add9708c438d3d6b02359cf641a6a59caa","datavalue":{"value":{"amount":"+0.869676411151886","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":"Q4845025$C207D835-0A17-443E-8D01-06BA6D959E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c27dfb183a9baf5d44f4286c172ea94fd80aff52","datavalue":{"value":{"entity-type":"item","numeric-id":1128483,"id":"Q1128483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04992f4c56dd92853a8979a7133c56aff081fafb","datavalue":{"value":{"amount":"+0.8240256309509277","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":"Q4845025$6E9DFD67-BFC1-4B4E-BFBB-DF55D7BD8D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a36e285e30b4c09659636e601b8aaee581ccf333","datavalue":{"value":{"entity-type":"item","numeric-id":4939536,"id":"Q4939536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fa42e6f9a31ae4fa36f99d7d734ef63d98e1f04","datavalue":{"value":{"amount":"+0.8195422887802124","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":"Q4845025$7E305DE9-2AA4-4DC4-A48C-7780572021B9","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":"6054281b3173cd03d0f3c2dcb2de577d12c93ca9","datavalue":{"value":{"amount":"+0.8087390065193176","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":"Q4845025$DF494169-694D-45C2-8C86-620EE1607620","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4845025","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4845025"}}}}}