{"entities":{"Q4593054":{"pageid":6622639,"ns":120,"title":"Item:Q4593054","lastrevid":58286424,"modified":"2026-04-04T14:00:31Z","type":"item","id":"Q4593054","labels":{"en":{"language":"en","value":"Semantic code browsing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804607"}},"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":"Q4593054$60017BEA-9312-4F96-BCDA-27B98C489B67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5ec07dc206ce9f04dfb94e51d20c247a941f012","datavalue":{"value":{"text":"Semantic code browsing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593054$18828C02-6362-45F0-9EE6-BA055B7F44DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b36fe097126295beadeac45452ee1a3c2e233e2a","datavalue":{"value":"1379.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593054$C3520955-059A-4501-A052-705915DD3089","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e798a8f05098a258535c70d026a2d377bb26528","datavalue":{"value":"10.1017/S1471068416000417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593054$AFAF24BF-77F8-46A4-BF68-C15D0066791D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91ad0640b381063880ef2051bf9aeeeb65f0aad0","datavalue":{"value":{"entity-type":"item","numeric-id":4593053,"id":"Q4593053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593054$9072F82E-3043-4C23-AF34-D7877DF15D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fdc9da9080ec9c8e10fd6ecc20006e9734d7d9e","datavalue":{"value":{"entity-type":"item","numeric-id":488323,"id":"Q488323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593054$7BA9D412-A646-4AD4-AEFA-3515B4F9F203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"379177518bf56ec7a1b993b30de89b6a25bfe955","datavalue":{"value":{"entity-type":"item","numeric-id":737625,"id":"Q737625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593054$E740C9A1-886D-483C-8C89-5B1540F4D7A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593054$0C0D9E27-838B-4971-8C69-6944D1FC989C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4593054$0C005E3E-C08A-4E44-91FA-669D8A97F186","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6717d7ccca09f867168d6fc1897e32fcc2003b8a","datavalue":{"value":"https://arxiv.org/abs/1608.02565","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593054$1D00700D-A4F0-4A0D-AB84-64B1A2A1BDBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593054$357884CD-EFE1-40CB-8A3B-56E0CABB606D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"217e0044a8d6109d242a3ebe810cdc647bee4b7e","datavalue":{"value":"6804607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593054$B35DFDA9-F3F7-40B3-A683-67AE39712121","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59dd97a50bafdc84a41c95d9a261f59e8ba5b78d","datavalue":{"value":"semantic code search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593054$DB842C80-7E7E-4EC8-976B-3C09F93EBCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593054$C8C60056-3115-4AC0-BF31-FB58CEBC0BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929e026e26211c638e0e626dd465559c0f18106c","datavalue":{"value":"assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593054$36C37AA5-B698-45CB-A495-10A81B03BB43","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf05a0fe8c67d4d8f396d444a59573c809b42e38","datavalue":{"value":{"entity-type":"item","numeric-id":24023,"id":"Q24023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593054$BB6BEA94-D4C2-4B80-AD7C-521BD317F305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cff6794623cf5d8528667b5f3c64c252856fc71","datavalue":{"value":{"entity-type":"item","numeric-id":24022,"id":"Q24022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593054$9117B1D4-0EA5-4CF2-8E38-164DDD8A4C54","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":"Q4593054$F990E759-BB41-4A62-8B4A-C217A0C16305","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"feccb3c5400245c95f52ccbdc01d37348d2ee730","datavalue":{"value":{"entity-type":"item","numeric-id":5748872,"id":"Q5748872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593054$C6BDF4C9-1904-44F5-AB8A-1CF62AF13C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443a0b4a957dc939400dc29c94a169a52a38b510","datavalue":{"value":{"entity-type":"item","numeric-id":2767050,"id":"Q2767050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593054$ACF8C123-019C-46DF-A8A0-1A37DD1F1D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa0f50f9e079e80672ae8d0c1e92d01238bcc7e","datavalue":{"value":{"entity-type":"item","numeric-id":2568449,"id":"Q2568449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593054$ABEEF1EB-DE43-4CC4-965E-CFAF264135F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445ffe708f46664a7fb3c95abfc0aea70b84e1a2","datavalue":{"value":{"entity-type":"item","numeric-id":2893101,"id":"Q2893101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593054$A13ADCE2-9A49-440C-B063-80EA37B56BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e078bc054dd2f0127f472b04229eee817bcda4","datavalue":{"value":{"entity-type":"item","numeric-id":4012713,"id":"Q4012713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593054$F34C4807-E27A-449F-BE79-DAF9EA79FDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef435db185a1a8a8686ac2c0b46ac5df2578467","datavalue":{"value":{"entity-type":"item","numeric-id":2723933,"id":"Q2723933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593054$7FAE5004-B604-4284-8E47-F3B43CC6F0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f0857d339bb1cee96a6d5cbdcf7ca9ff46d64ca","datavalue":{"value":{"entity-type":"item","numeric-id":4939539,"id":"Q4939539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593054$EFA16400-CC49-4AE1-B17D-DFFFEA29D550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0877ba4aca119dec904804ed9ebcc5ae4702de24","datavalue":{"value":{"entity-type":"item","numeric-id":4411953,"id":"Q4411953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593054$56745FB3-498D-4096-B00B-34138D0D592C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a40cd8d5600e7a66b0a35aaeedb3260db48296c","datavalue":{"value":"W2520809601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593054$2659BF4F-802C-46D2-8EE9-B7E1525F0609","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b8378ffa2a0cf3d5073eb795691569969bd0c2","datavalue":{"value":{"entity-type":"item","numeric-id":3776599,"id":"Q3776599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ee9a8fd352b01b69666b0d0784b0626fa335b7e","datavalue":{"value":{"amount":"+0.81203413","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":"Q4593054$7E4C8E4B-960D-41B7-873E-808E3D67DF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16547f2aaf339343e11f4e5c165818530f13bbe2","datavalue":{"value":{"entity-type":"item","numeric-id":3745249,"id":"Q3745249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ee9a8fd352b01b69666b0d0784b0626fa335b7e","datavalue":{"value":{"amount":"+0.81203413","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":"Q4593054$02F3639A-9B47-4D9E-8F96-5A75D3F4FFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae841d7963bfc5154f38486618aaf431ceccad1","datavalue":{"value":{"entity-type":"item","numeric-id":5458790,"id":"Q5458790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9ad8da363a85dc53cc02eb46b0d81b4bd557d0a","datavalue":{"value":{"amount":"+0.8098985","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":"Q4593054$439CFB26-C137-4AC3-9043-103187171914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d495abf0fd94a464017e3dc35324ee50983ae9a","datavalue":{"value":{"entity-type":"item","numeric-id":5851857,"id":"Q5851857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c089e7bf5fb5811de86bd6734600322c983416a7","datavalue":{"value":{"amount":"+0.8080465","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":"Q4593054$E56D0A08-80A5-4FCE-86C0-BC4D826C3BAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4593054","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4593054"}}}}}