{"entities":{"Q3687682":{"pageid":5717588,"ns":120,"title":"Item:Q3687682","lastrevid":50220344,"modified":"2026-01-13T13:42:31Z","type":"item","id":"Q3687682","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3911678"}},"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":"Q3687682$8DCC5E3C-9CDC-4BEA-B519-421DEC58DE0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a292141f8980b2e92c1a9f9ffc3ca9e75302eed9","datavalue":{"value":"0571.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3687682$51EF6743-A68A-44E9-9778-4DF7C96CB402","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf6a7a1c9196a5f7809540273123101467b92071","datavalue":{"value":{"entity-type":"item","numeric-id":1060832,"id":"Q1060832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3687682$6B10DAC4-01EA-4F51-9F11-CD57198BB461","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3687682$DBC37BBE-EFFD-42F1-BEE6-B0843A343582","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3687682$9A95E30C-A597-43A3-A2D6-966F4D6256AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba0d627ef4aa3ebe5ef0896783dc0cac7737a112","datavalue":{"value":"3911678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3687682$E3E3A4C3-90F5-42B8-B8EE-16B8CA4442D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1822908772b9d803c1818559cae76f9c47f42784","datavalue":{"value":"Automatic computer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687682$A62ABBCA-D5F4-47D4-8351-14C42555FB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687682$D676E08C-A5B0-4837-A911-FD4E6962B76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7ac263324871a44dcbba67d80bbe91e299cc16","datavalue":{"value":"formal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687682$D70B11F0-DFC5-4F7E-9646-ACFF951AD715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeec79cb030f515f61b4624dd9f88df1f4204c38","datavalue":{"value":"program inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687682$64FA5B4C-00D1-4AD4-AD46-6D5CDFEDA44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f01310ab455fe44dc40e9960945d83b45749c964","datavalue":{"value":"formal methodologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687682$96ABC36B-64AE-46CA-8011-8807B9651D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ee6b34a4bec7ee71224172741ee0d90e4eb944c","datavalue":{"value":"automatic construction of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3687682$126D2776-194B-473E-B77B-E2D3C219510D","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":"Q3687682$8B37F88D-AC25-42B9-A4C9-A648A8083855","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc359892322b66d622b4eafc9c8d8866ad99d65","datavalue":{"value":{"entity-type":"item","numeric-id":3731007,"id":"Q3731007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e14bae4a500a2b9467380c3a69c559d4c77bec","datavalue":{"value":{"amount":"+0.91571814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3687682$939D377C-DE8D-4D6B-9B6B-80583B6D3D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a525bcad49d557ac47069815ab3489cd2b912b1","datavalue":{"value":{"entity-type":"item","numeric-id":1060833,"id":"Q1060833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a79d66ce3b974a6a5a86e7242849db5f00ee34b8","datavalue":{"value":{"amount":"+0.89074713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3687682$15FF7AE7-DD83-4147-A9F8-4C18E1171C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79f7bee57f691842da45d6b5a8fdd4de9aaaeabf","datavalue":{"value":{"entity-type":"item","numeric-id":5013045,"id":"Q5013045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba63c733d18ff9d4e99a67336e099921853fcd8b","datavalue":{"value":{"amount":"+0.8835227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3687682$57E7057D-E00D-4A6E-8408-8AD990776165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf15563105d4ad85d0501988063639e6a909039","datavalue":{"value":{"entity-type":"item","numeric-id":4028371,"id":"Q4028371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"969e2ea3eac05ecba4fae61ae47ffce9e40767af","datavalue":{"value":{"amount":"+0.8676459","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3687682$CCE85F12-8746-49A9-B538-E7F2B879D7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"985027e373752da86ff0eae52b8968db4bc761a9","datavalue":{"value":{"entity-type":"item","numeric-id":5514107,"id":"Q5514107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe1bdee04a60e144e53827d976b31be2c54e2b9f","datavalue":{"value":{"amount":"+0.8654976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3687682$50CDB6F1-67C8-4E9A-A576-CA81C0A401E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f71a7e54a010502549b8d97bdf660597e265e5","datavalue":{"value":{"entity-type":"item","numeric-id":5596183,"id":"Q5596183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"290b770580330becc2c993ff2072b69900bb28ab","datavalue":{"value":{"amount":"+0.86549413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3687682$4D60FAE3-27B5-4FF1-BBCD-F6FB5559FB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d23a6f713380009ce7176c34cc062d6ca4ec244a","datavalue":{"value":{"entity-type":"item","numeric-id":4861677,"id":"Q4861677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ef18084de294295f75e3f6e3929ebd5b659282","datavalue":{"value":{"amount":"+0.85902756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3687682$CCE5A715-644A-40BF-AC64-E786DA34FECD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3687682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3687682"}}}}}