{"entities":{"Q4617969":{"pageid":6647552,"ns":120,"title":"Item:Q4617969","lastrevid":40707485,"modified":"2025-04-04T10:31:52Z","type":"item","id":"Q4617969","labels":{"en":{"language":"en","value":"A Modular Type Reconstruction Algorithm"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7014558"}},"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":"Q4617969$5B3CCF89-CFBD-4711-8327-3C43CD9DB42D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b311d3130c19252de691632988cd2f91b91b8330","datavalue":{"value":{"text":"A Modular Type Reconstruction Algorithm","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4617969$63EFEA5E-1008-43C5-B837-F7DC3CCB4887","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63455e9eaf04e81ef5b9e54e33d26bd80a343636","datavalue":{"value":"1407.68440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617969$17666F25-F97E-4907-BD76-82E1DDE74740","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30687ae03bef6ce221dfe12433b0533db75c4944","datavalue":{"value":"10.1145/3234693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617969$F64E27FF-BD44-45C5-9C1B-974ACEA6C517","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc5ea7724245f13d1458583f67e1c62f50c4bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":263102,"id":"Q263102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617969$1CEE4137-2AEB-45D6-B079-DBF6FF395DF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617969$6B94ED62-73C9-4494-ABA6-9F784FA30A27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1e8b10b8228a853731f31266f45b016182aec93","datavalue":{"value":{"time":"+2019-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4617969$B9ED494B-10C1-44AB-AD2D-EF4033B47339","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617969$139096C1-BB5A-4825-A59B-9F913F0B9F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617969$B866BDFE-DF46-432D-97F3-02DDDA1A3CCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e95b54e67320ced9c86c518edfa1bc4da492369c","datavalue":{"value":"7014558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617969$6F25A646-BCBE-4D6A-B1F5-D178BA91D172","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66c194d8f3384a93362192b0d91808df4a109ef8","datavalue":{"value":"Mmt","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617969$4AF0C6E5-7E03-4F9A-B54E-13A05DD88154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"648a8b1a4ff287794c82684371a13fd38f951633","datavalue":{"value":"type reconstruction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617969$4B048740-C17F-4901-96B1-D329DD00F4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617969$D4011A42-3E9E-4C2C-83B2-3FE90685DFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95c030d9a0c4c312aef7a319ac8b5849913b2040","datavalue":{"value":"logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617969$E7EE5E66-6C70-45F4-9260-15C3036BF64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4617969$F788FE9F-653C-4551-84B4-9B641A89333B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617969$E9CB65F9-49B3-4187-8150-ECDE21925496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617969$880EB5BD-4A7D-4E9F-8171-D2AFD87E273F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617969$BB3B4C09-39E2-4856-9EEC-155AAD8B9EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"be9a1fdbfd35f7a816de32e6d9d9a2a21796c942","datavalue":{"value":{"entity-type":"item","numeric-id":14061,"id":"Q14061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617969$1C905143-6C46-4DD6-8512-06699DB6D334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617969$CC208668-53A5-43FE-8B37-3F6DBC1DFDDC","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":"Q4617969$17592001-AEAD-4D23-94B1-FC9424DC7FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b3d79b8b392d9701f6cbf0671ff230a2010e255a","datavalue":{"value":{"entity-type":"item","numeric-id":19191,"id":"Q19191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617969$3A5F1926-04A2-4125-A022-B37A484F5EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617969$014C5A74-1A08-4FFD-97A3-67B1DCAB9838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"23f1d4970d4f2ba01b8146500b5c1a10ed17d235","datavalue":{"value":{"entity-type":"item","numeric-id":23493,"id":"Q23493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617969$E1CE88B7-7CBF-45A1-B036-34FF9078E865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"205d869fa000d5392cc92b69ce8e6b60676d4e85","datavalue":{"value":{"entity-type":"item","numeric-id":31524,"id":"Q31524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617969$B7876F5E-E1B1-435E-A3F5-8B1419CD2731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"11da79b81a11a302513c219a597904a636b21394","datavalue":{"value":{"entity-type":"item","numeric-id":32680,"id":"Q32680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617969$20FF3A6A-4057-45CA-8D39-95B433B0975A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86fd017762a2cc84520acf70ff19531594c257aa","datavalue":{"value":{"entity-type":"item","numeric-id":33173,"id":"Q33173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617969$BFF54782-C51A-44FC-BCF5-6B96AB9A2F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cfc4b80b3c48044062741dc3f6116ad79929c84e","datavalue":{"value":{"entity-type":"item","numeric-id":40235,"id":"Q40235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4617969$F52B3684-9117-4438-AD6A-BFAF61EB78FD","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":"Q4617969$CBED6508-F52E-47CE-A25C-E67BE2607DC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b14e2e278bd679da14e8ce8e926058e865a80f0","datavalue":{"value":"https://doi.org/10.1145/3234693","type":"string"},"datatype":"url"},"type":"statement","id":"Q4617969$429194D9-AEC2-490D-8B83-29C87AEEB901","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f2ddbd9b059edaa4f9b25a98b06dea0cf41b086","datavalue":{"value":"W2903910822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617969$6AF49308-FAAA-44D4-83D7-D6D3D2A7FF43","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f68b9b269f7c9b3fbf0e158b9973affe1a8b508a","datavalue":{"value":"Q128703535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4617969$D6F1B834-D1CD-45C9-AE75-F11E545ABA1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0805e9ba1d87120caefaafb8bf345dd63dc71dc9","datavalue":{"value":{"entity-type":"item","numeric-id":4850163,"id":"Q4850163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55be65fb0bbf863eb35f20a2f664d3c2cd8a1d34","datavalue":{"value":{"amount":"+0.8807931","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4617969$E239CE64-D2E7-4091-8226-953B586D5F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f79f76cb55d35e431fdf335c047591e7d9ee2eff","datavalue":{"value":{"entity-type":"item","numeric-id":5168934,"id":"Q5168934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f96bede311d043be1bdafae5d3abb1989e6b2f","datavalue":{"value":{"amount":"+0.8762259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4617969$3530A182-D498-4506-B073-BBE976513348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"144aa62bf893e875f3d00be45522fa8b9d5225ca","datavalue":{"value":{"entity-type":"item","numeric-id":5466588,"id":"Q5466588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56446892d06c99358e8685af4f93d650d84658a3","datavalue":{"value":{"amount":"+0.8687013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4617969$AB129F01-4018-4640-80F8-5D5291BF01D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424262529f81eeb155bdc89bc6d20c7b54b2fffb","datavalue":{"value":{"entity-type":"item","numeric-id":4645803,"id":"Q4645803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec87002fbafaa735a2b709efc8a990e981d33c2c","datavalue":{"value":{"amount":"+0.86465335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4617969$346D8BF2-E296-4AF8-AB93-FF9513164E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ba36fde3d46f584cd2580b22efabfed2b1db2a0","datavalue":{"value":{"entity-type":"item","numeric-id":5044773,"id":"Q5044773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e3cd5ba05be54c7f8a4dd8444c41d84af1ed70f","datavalue":{"value":{"amount":"+0.8634489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4617969$F7B002D6-8C2F-4DA9-9741-904CAA5E46F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afbaafc7ab4be82fbef5a7586e0d9634c0f5f977","datavalue":{"value":{"entity-type":"item","numeric-id":5756517,"id":"Q5756517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d9e237f93211137fcb338cae6d55d5f104b23f8","datavalue":{"value":{"amount":"+0.8629315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4617969$AD47C56D-6D37-4CF1-8CB8-FF244D1F8B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c62c088cec7687b1ce357dc6e45c09b92cc3a17","datavalue":{"value":{"entity-type":"item","numeric-id":5883738,"id":"Q5883738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399b714edb9d58631ce05bcd2562afccb4c1cac9","datavalue":{"value":{"amount":"+0.8578583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4617969$45969D67-29A5-4E56-B1EB-7EB55B63602D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1353e3c27eae3af22a7c38fd4bb96406db83f2ae","datavalue":{"value":{"entity-type":"item","numeric-id":840093,"id":"Q840093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad4816c196a3484a4c40a5bc9714f65e12de007","datavalue":{"value":{"amount":"+0.8576106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4617969$B9436CC7-A104-4D9B-8C9C-40D72FAB029E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa95a76da18aefbe59498be52f6c121ba2a8737","datavalue":{"value":{"entity-type":"item","numeric-id":3024903,"id":"Q3024903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f4472b23a451d876a4acdce8d609b54c9666cd","datavalue":{"value":{"amount":"+0.8460189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4617969$57CC09D5-2125-4D86-95DC-A37222351146","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4617969","badges":[]}}}}}