{"entities":{"Q3188252":{"pageid":3198960,"ns":120,"title":"Item:Q3188252","lastrevid":52602962,"modified":"2026-01-23T02:09:44Z","type":"item","id":"Q3188252","labels":{"en":{"language":"en","value":"Types in programming languages, between modelling, abstraction, and correctness (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6617643"}},"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":"Q3188252$0AAE5AFD-72E7-462F-A96E-1ACCB660CC3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88f6d66c490ff972ec72752f636475c99b3b85b8","datavalue":{"value":{"text":"Types in Programming Languages, Between Modelling, Abstraction, and Correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3188252$AC306D31-0A83-43C7-89AB-4CD900D8B08A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e99bf2f2671cbfc4f19a835731b501993eedab45","datavalue":{"value":"1475.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188252$04464E12-BCCE-46D5-BB72-1CFFD648F669","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab08eaeb4da71b2664297c947db087b99449adcd","datavalue":{"value":"10.1007/978-3-319-40189-8_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188252$96C322A6-A502-4C40-A406-6C25C13DF50A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7086b371037f8c6a4118ffbbe29f86ca9e6f2148","datavalue":{"value":{"entity-type":"item","numeric-id":596036,"id":"Q596036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188252$FFBA2216-716C-4963-BDD9-CC3B898DAF0D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1ddae105a08b123877b1ef5d234f0e37711ddc8","datavalue":{"value":{"entity-type":"item","numeric-id":3188234,"id":"Q3188234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188252$DFC71303-77C9-4B56-8DDF-74CEBC809F0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3196c5237bc6566da6820e6255a2cd27163ff7fd","datavalue":{"value":{"time":"+2016-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3188252$016A2B02-89ED-4A0D-85D9-CCC08BAE9A9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188252$BBF9CCCB-8DED-4D08-B4B9-DBF203720B18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64d02ca57bb219ef78af0d600e7e9e621ff9ebe3","datavalue":{"value":"6617643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188252$D4125054-2BCB-4E61-98F0-B438D576CD9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188252$5F2581AC-A01B-4CE9-8CF6-25E0631E3C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188252$1C9EB324-5E09-4EBC-A18E-2BF7CB8BF09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f48e4b64110fce2b08358e0888f7fadce59ece0","datavalue":{"value":"history of computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188252$A3B0FCEE-6014-4A4B-9359-C87559F0B55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4459f4d598fe89a5b27c383a4edc43cde3be67c2","datavalue":{"value":"abstraction mechanisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3188252$220BC697-CADD-4204-B257-4B56C189314A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188252$49CA9F01-4F7A-4425-9FF3-B0BA1CBD7858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5de41cb066f6315975ff165b5ea0132d3a43d75","datavalue":{"value":{"entity-type":"item","numeric-id":33141,"id":"Q33141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188252$4651C127-D450-4D6B-B842-62B4509C5D5E","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":"Q3188252$B0B1A20A-0CFF-448D-8E1A-D862F2FB9A63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34b5527f7284b4686feb20deebdf937e8dd005af","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40189-8_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3188252$62DB3A0B-3E48-4E93-9F6C-FDB1C96C7F42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a6fb5cdf1efbac24038a071cb95a09565611d3c","datavalue":{"value":"W2465440394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188252$AC9D2D66-DFF5-4E15-86C9-A1A8A9B4A42E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5cba2f545e4905805f6fbaec8c0259c28fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4715213,"id":"Q4715213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188252$E0BA38C9-47F3-41CB-9867-1D0A4F5753A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab8ea372caa817f188e4e943a4cbc2ab55cc9d12","datavalue":{"value":{"entity-type":"item","numeric-id":5549412,"id":"Q5549412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188252$B820B3DF-03CD-44CB-9C95-8D7DDBA0AE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8ffb67b00ea8cbeeaf44ae8b6f3bc27fbc2d2b","datavalue":{"value":{"entity-type":"item","numeric-id":5618896,"id":"Q5618896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188252$B9C5721D-15B5-4C8D-8F6C-29700D4C08E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e09beafdc2e25f4b9f00725001e5d303eb139d6e","datavalue":{"value":{"entity-type":"item","numeric-id":4855348,"id":"Q4855348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188252$69FAE1FF-89F9-4EB7-91F8-45F6C60A8C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc936a1eb10b087e9844c9c3b2beea4fe5b96c33","datavalue":{"value":{"entity-type":"item","numeric-id":5514831,"id":"Q5514831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188252$C144C251-C021-44D7-869A-64F6C6DBB634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"429a351ce2b70297852102f47ecdbd9c4cd97d82","datavalue":{"value":{"entity-type":"item","numeric-id":3465045,"id":"Q3465045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188252$1067BD2D-395F-4CE9-A13A-9A0D87A95384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f8f9e6936d35a1914da4c38b4804618b8ed4eb","datavalue":{"value":{"entity-type":"item","numeric-id":1049892,"id":"Q1049892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188252$9B90A71E-3DC3-4D0E-AFA1-868514B021D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188252$9D5C38E6-B903-4681-8CFA-CB38145DD200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5585141e7075b8e821d5d8a53c3a2b2a50ef9a8","datavalue":{"value":{"entity-type":"item","numeric-id":4136503,"id":"Q4136503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188252$ED8C134B-8CE0-408E-BBEE-46BB9A557531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188252$6DC0F00B-5BB2-44A1-8010-DA1D888CA7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eceac35ef1275aac973316779011643ebb4fea7e","datavalue":{"value":{"entity-type":"item","numeric-id":5895725,"id":"Q5895725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188252$43258D8B-034C-4FA0-BABF-B844D6F077EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"244469218da2c6dba3104cfbe08faa9011234f8d","datavalue":{"value":{"entity-type":"item","numeric-id":625111,"id":"Q625111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188252$7C953979-A329-46C8-931A-DDCE0886807C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"425d690071524619d74f82ef2f5eaf8f65e9b01a","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85e0ae3b1eac9cdcd25a8c403a0a1c9faa24756e","datavalue":{"value":{"amount":"+0.7447459697723389","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":"Q3188252$F23BAC2E-8081-4A74-A023-68E2D2EF34A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a91248c07b0bdc65677ff6a629309bc93cc05f","datavalue":{"value":{"entity-type":"item","numeric-id":3975038,"id":"Q3975038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14051e7e350d57a2d377c03612f9cf77bc20818e","datavalue":{"value":{"amount":"+0.7212708592414856","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":"Q3188252$D365685F-5967-4737-8081-9C2D5591C957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09e417b97ef3df9c905b7c5ac6ef40e146222217","datavalue":{"value":{"entity-type":"item","numeric-id":4318862,"id":"Q4318862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14051e7e350d57a2d377c03612f9cf77bc20818e","datavalue":{"value":{"amount":"+0.7212708592414856","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":"Q3188252$8031C9C8-B5F4-4E8C-838F-F23B29E4A11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e26989f699069b557d544e9f6dba96f8a5e3dca5","datavalue":{"value":{"entity-type":"item","numeric-id":4201894,"id":"Q4201894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"254f36d6f4fe895af021971cf62b1217f68f4842","datavalue":{"value":{"amount":"+0.7167841196060181","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":"Q3188252$22CABBFE-6012-43EC-AC94-A0F17E5BAC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08b82dd91c86124531cbeaa176ec78881d3e6c8","datavalue":{"value":{"entity-type":"item","numeric-id":3345748,"id":"Q3345748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4563ed352396c82c47f32d588877ed89083ce3de","datavalue":{"value":{"amount":"+0.7152951955795288","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":"Q3188252$4D36FF57-3938-4317-9669-88D3F130CD2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3188252","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3188252"}}}}}