{"entities":{"Q4247084":{"pageid":6276685,"ns":120,"title":"Item:Q4247084","lastrevid":46824333,"modified":"2025-12-25T16:18:20Z","type":"item","id":"Q4247084","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301860"}},"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":"Q4247084$D5E91B67-7813-46B1-A042-EAD74FBBEA20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e11ee15bd11a19b4b56982734bc3dd4e33df47c","datavalue":{"value":"0927.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247084$BDC53EA3-28F6-46EA-849C-28DDBBC7F46A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3f42b216e0d3ab5f30593682d16d2019aada673","datavalue":{"value":{"entity-type":"item","numeric-id":1961916,"id":"Q1961916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247084$245ED7FE-79D6-438F-AB49-F56B7C3D14D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"877cdd48b78659fb34c7540ccd4a9d80f4f6eaf8","datavalue":{"value":{"entity-type":"item","numeric-id":1600085,"id":"Q1600085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247084$32C3D24E-4021-4F0D-AA82-A450F60069E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"841fe5311f2c240dc5e1c4c4e1cd6d6c518533ed","datavalue":{"value":{"time":"+1999-09-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247084$8726BBAA-FE3F-4089-9002-3411D9C7B20A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247084$78948287-D2EA-467D-9674-3E2723D7467E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247084$269B0831-F075-4553-BFAF-88947BAB4340","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66cec8277d439869967d29de3b9031bd3353b384","datavalue":{"value":"1301860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247084$443F3482-0588-4753-84B8-6A14652C6E98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247084$A59D0A76-39A6-4E3B-98CB-25D3199D1136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55479ec8d99eb3895642a22e0dea8f69464ee09e","datavalue":{"value":"extensible records","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247084$16384DE7-E9D3-4AB0-90C5-58818ED2BF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b046fc467c869e2b659f2ebc338b53aa0db391ea","datavalue":{"value":"structural subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247084$20C44CD1-3193-45C1-BC9F-05917498066C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658b900684683a841bc471a204ddeb78a040d114","datavalue":{"value":"parametric polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247084$2B284FA7-3854-48F0-8F1C-2368873DF1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4915c6be5376db3d07b7bc6e21c64cd876614e46","datavalue":{"value":"object-oriented specification and verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247084$60874B98-8366-49FB-B269-8E579C77775E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247084$3FBA2009-ED88-4349-976E-B14B3609D352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247084$0359A6CE-B788-470B-B0A3-02418AA3195C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247084$E6712388-CAAB-45F1-8EFD-2868374182F0","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":"Q4247084$ED9CEC42-1F0F-418A-BB10-17721DD64C8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7fede0260bfe60265e257dd0d249030ee6bee6","datavalue":{"value":{"entity-type":"item","numeric-id":1040775,"id":"Q1040775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52dec4a8de5d287d8629b90b6f777faa292b02e0","datavalue":{"value":{"amount":"+0.7837594747543335","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":"Q4247084$4B6BB050-0CBE-47F1-BB1C-4596125FDC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cefe555784c5f1553df3c5919dd131f0c4485e28","datavalue":{"value":{"entity-type":"item","numeric-id":5395123,"id":"Q5395123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089a0340000788e811b7dd1bd9b41c6698b1a0eb","datavalue":{"value":{"amount":"+0.7416154742240906","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":"Q4247084$61C3D236-85A7-477B-BBE8-8F69B44A5564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a171bec68d208d15815f3809936897a4bb95b8","datavalue":{"value":{"entity-type":"item","numeric-id":2754051,"id":"Q2754051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5320a4ecd64d4befd6c249049584d6a945d86b48","datavalue":{"value":{"amount":"+0.736637532711029","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":"Q4247084$FA6CA465-A693-41BC-B284-1213F2B22080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f7a7ce1a7f13252635e130300201eb7250a573","datavalue":{"value":{"entity-type":"item","numeric-id":1902305,"id":"Q1902305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518f9dfb7036434b2f4e6924acad6fc30c4f3974","datavalue":{"value":{"amount":"+0.7358148694038391","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":"Q4247084$8EDEFA0F-441F-4EDC-B1F9-83D9D7D1018E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247084","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247084"}}}}}