{"entities":{"Q2492956":{"pageid":2503699,"ns":120,"title":"Item:Q2492956","lastrevid":49849717,"modified":"2026-01-11T07:16:41Z","type":"item","id":"Q2492956","labels":{"en":{"language":"en","value":"Documenting software systems using types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5030792"}},"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":"Q2492956$C3565731-9819-4491-A84C-F68BD37D7316","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d8ce4fe19e243b6cc53af662e88439ad1dc4663","datavalue":{"value":{"text":"Documenting software systems using types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2492956$B0370157-604D-4196-9AE5-CB77CBA775B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1f970af98096e06060a2c97354ed0d86b97aa68","datavalue":{"value":"1092.68569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492956$FA2EFE72-9080-4FD1-B1F6-B34153DD3F67","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67aec2698fa0df8f8dd61e8392ea7ca536af9afa","datavalue":{"value":{"entity-type":"item","numeric-id":202071,"id":"Q202071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492956$FE46300E-0C7C-42C9-80DD-52716C74A046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f651e748264ec362af2d068eac590794df099327","datavalue":{"value":{"entity-type":"item","numeric-id":202070,"id":"Q202070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492956$8A481B2D-87E3-4568-9874-2CCAE070F178","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492956$3C30792E-34C2-4D19-BF4D-68050EB40C85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"21437c544db1978eeec04a4cbdd682f98ee3c97e","datavalue":{"value":{"time":"+2006-06-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":"Q2492956$AE9392E6-7633-4CAF-ACFD-54C6D04DEEE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492956$796D1168-7210-4090-A50A-22ADC83A7CF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c78c6ad80e3f3d22b00ca24fc23e5ae204331887","datavalue":{"value":"5030792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492956$39EB759A-0890-4B27-9873-B072396717EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32b481354c9dffb9fcbbc93adc5b7cec0aca2296","datavalue":{"value":"software maintenance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492956$7BC63866-B150-4637-8646-472198CA100C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90fa896853c55bfb3a4a98fb49f421b1168a1bff","datavalue":{"value":"software exploration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492956$05CC1767-59C0-4B5F-A42E-4ED1D91E8443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"023ad06534de7f65805f904e4ba3c86967734b51","datavalue":{"value":"program understanding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492956$302F976C-3732-4A56-9DDE-44D683E9B08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492956$9E2FF9D1-FE4F-4906-8B0A-41F2EA14F181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492956$7F491143-9AE2-4F22-B7D5-D3B55AA4B7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eb8c608cef5cc3a7a156af9f069377f8825dfa7","datavalue":{"value":"documentation generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492956$3EAA5CED-EE97-4840-B415-2B5F92B6A891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dede167cce8620c0b84271c34b3aef95dd2d018","datavalue":{"value":"variable usage","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492956$E33B054A-7C82-47CF-8008-63075B1DED0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"051332dc702c578f529b2cdae93c8682058527df","datavalue":{"value":"hypertext","type":"string"},"datatype":"string"},"type":"statement","id":"Q2492956$E86AB910-C264-4850-9B03-DD70A6E4F9DA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b22996344f8a2caeca9e080cf8c10edbaba3067b","datavalue":{"value":{"entity-type":"item","numeric-id":20935,"id":"Q20935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492956$2E6D43A6-61CF-4814-BB0F-E219E78C1702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e210680acb977ae8ff53ceec1b4141c05d5770e","datavalue":{"value":{"entity-type":"item","numeric-id":13968,"id":"Q13968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2492956$70DC6F9B-7904-4237-B988-0A533356CD2A","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":"Q2492956$27484D0E-DA46-4BF5-BA7A-F9A44192238A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13b28d78dfe015d0bd5d3ad91ec901a968fff618","datavalue":{"value":"https://doi.org/10.1016/j.scico.2005.10.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2492956$F097F805-F4AD-4EC2-99FB-CFCBB1DD5382","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f148406af50b39d920aed0f9112c309b3e56230","datavalue":{"value":"W2135681092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492956$A3833F81-CA6F-431C-ABA1-4C5E5A88B22F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"96367c74698bad58417a5894d991115909af7bf5","datavalue":{"value":"Q57908851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492956$943EECC2-031E-45D3-A89C-9080EC4664B0","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"48c352581d6627f39830435e2fd437b96ebd76e8","datavalue":{"value":"journals/scp/DeursenM06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492956$4434C222-4DC4-4382-A4F6-999EBCDCF99A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2cf2175f551edd7811cec7504a28c6333843dac","datavalue":{"value":"10.1016/J.SCICO.2005.10.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2492956$948559C4-5B92-4743-8CE1-A973C6B3E887","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4246eaf4aeb7ee18b6fadc7db2ccfc3206320db","datavalue":{"value":{"entity-type":"item","numeric-id":5703756,"id":"Q5703756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b8ad98031a6952b3920e0659634d0e1470d2b4c","datavalue":{"value":{"amount":"+0.7335758805274963","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":"Q2492956$2C469F97-A90E-4881-84E5-5A98A0DC28C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b0882d108dd88c7f4de8493463687d6248d2810","datavalue":{"value":{"entity-type":"item","numeric-id":4930287,"id":"Q4930287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"921eb8da5d63675ecaf2a1a4a508836061a57850","datavalue":{"value":{"amount":"+0.6947473287582397","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":"Q2492956$9DF26A8E-F0DC-43AA-A1EA-428110B73CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4849cac7f892e3ef3992fccde1c43f4006bf4e","datavalue":{"value":{"entity-type":"item","numeric-id":4886731,"id":"Q4886731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ef74cccc848fbc7cc7edc8b18504d9abf2062a3","datavalue":{"value":{"amount":"+0.6746867299079895","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":"Q2492956$5F78CA34-98C7-4572-B753-C27E1AAE1CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02bf3828ac32796b3903183c7173bf49ecceaae","datavalue":{"value":{"entity-type":"item","numeric-id":3316551,"id":"Q3316551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b634a5613c5c614797637437cdfa2d9a2b4072e5","datavalue":{"value":{"amount":"+0.6705715656280518","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":"Q2492956$15D326E8-C5EF-4C63-9352-FDB91382BC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f88d7ae6ae1d5859c29359bb05d4a4c73a63d1","datavalue":{"value":{"entity-type":"item","numeric-id":3742772,"id":"Q3742772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7606091fecfe4d5e927953e97fc231b236ce6e8","datavalue":{"value":{"amount":"+0.6593446731567383","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":"Q2492956$104004E8-645F-489C-8891-0AA2C3FF42D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2492956","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2492956"}}}}}