{"entities":{"Q5262947":{"pageid":7292523,"ns":120,"title":"Item:Q5262947","lastrevid":52303838,"modified":"2026-01-21T09:46:21Z","type":"item","id":"Q5262947","labels":{"en":{"language":"en","value":"Free theorems and runtime type representations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6457564"}},"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":"Q5262947$DFE427AE-AA61-4FE7-BF80-6F0C44FF05DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1eedcf8df4ed7d9654d8d0d33b9f06f19935aa8","datavalue":{"value":{"text":"Free Theorems and Runtime Type Representations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262947$9A1275FF-9053-45E3-B853-50703A96CC9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb69f855d430f11bd9ce3f5f011d79641aa75afd","datavalue":{"value":"1316.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262947$B8FC4443-F048-4C11-A6E3-1C118CA6AF5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e4ed8098789870ad70d41231e22c66ea8deb02e","datavalue":{"value":{"entity-type":"item","numeric-id":2819689,"id":"Q2819689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$54C207A3-665F-4684-A29A-7F84F3347E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe52ffa1b7468cd548841738a45dc4a65b5c47ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763692,"id":"Q2763692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$C2A51193-D0DC-4DD8-9C7D-3A929462B50E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$EB491AEF-5BE7-4F6C-A45D-43FD2316E4E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9969939bb103ca6857dea96cf377517e2479ab0a","datavalue":{"value":{"time":"+2015-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262947$B2EF068D-2E47-40BC-B06C-520F55309D89","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262947$983A6365-2082-4887-BB19-E5FE8870F1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262947$A5E83C53-2462-414C-AA90-27486AEDB4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262947$F71E5DDB-CF5E-4D60-9015-95D3AF0EF328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262947$321DDB07-F7E4-43D3-98A8-2950437451E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aeed5366e2eead97f454d7fe16a838d8aa43becd","datavalue":{"value":"6457564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262947$A95CA7A7-885C-4D34-9966-11D374F5F64D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262947$CB61D4F7-09E7-441F-B174-02868B711369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262947$7728B31E-3AFC-437E-93FC-08B5535B07C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1819264ef26906c7efdfd0b6fa66078e44e3222","datavalue":{"value":"type representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262947$B7081C23-3749-46E4-93CF-B9055FE8DBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262947$409DE388-A420-46FD-A4D5-F4F2F59AAEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fcb3bff1dcbcf34e0c496835c665383873d52e3","datavalue":{"value":"GADTs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262947$256898C6-1ADC-4218-B87D-94E42029E69D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$78652EC1-D6D8-43DC-9C16-8EB8DF6EBDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$70A2E9BA-2F4E-46E4-9D67-DBAF1E8825B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f4979a5fb75749e85508967d4d7450fcd9288bca","datavalue":{"value":{"entity-type":"item","numeric-id":25219,"id":"Q25219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$05B0C268-0454-4042-8983-52550FD9B7DE","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":"Q5262947$7A0F75CF-4F6E-4341-8D9E-D840D48F908C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5aeac53d021798d2c40e699f985287c78876025e","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.043","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262947$AA9C4A48-B8A8-4CBD-B3A6-0317E83EB502","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a9c3f994b43357a88107c3c3e3cb8b48f829376","datavalue":{"value":"W2131441325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262947$EA9E0C2D-E369-482F-B3F4-2428C85A53A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e540e9037d6b40bc6045b99bb685bc55f586971","datavalue":{"value":{"entity-type":"item","numeric-id":5899009,"id":"Q5899009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$FCD51A1F-FECE-4D6A-8C15-F05DF990E312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79ce8544fc5a0489695eae9a558cb4d34b573281","datavalue":{"value":{"entity-type":"item","numeric-id":5477646,"id":"Q5477646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$67FD451D-EC5F-41A7-A524-E0D554160BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2bb6a70cea43b928242ada2c35a43b79e940172","datavalue":{"value":{"entity-type":"item","numeric-id":4364397,"id":"Q4364397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$24647D0C-E928-4E47-A270-E9276CFAA8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be63c5f271ce7f1f200c26e0ab76283f6d86ebd","datavalue":{"value":{"entity-type":"item","numeric-id":1322473,"id":"Q1322473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$CD9FC0E9-C5A2-4B18-B512-ABF97A610CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3637f322544aae9daf432caf7314a879834a0e","datavalue":{"value":{"entity-type":"item","numeric-id":2864153,"id":"Q2864153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$359283DE-D8CF-4DBD-BC5C-A5B7BE68134A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"799d273207c67ec7b548e88c5034009e9de9bb0a","datavalue":{"value":{"entity-type":"item","numeric-id":4709843,"id":"Q4709843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$678FC8D3-BBB2-465E-A00D-E7841697F8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed29b5bacdadf0aa4d60c6a8d9efaa13fa4ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2871864,"id":"Q2871864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$CB5335EC-6487-4442-B0D2-5EB81C562125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5b3e1d2709e0f5c17896cdfac83364e530049b","datavalue":{"value":{"entity-type":"item","numeric-id":4012883,"id":"Q4012883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$284217DF-B85E-4928-BBCD-6821E6462152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$0F466EFC-DCA2-447E-A91A-C168FDCFC986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc444a1bec4f7c55cbe2eee1d14d89dbf7c1cac8","datavalue":{"value":{"entity-type":"item","numeric-id":3452253,"id":"Q3452253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$F1E7643F-B4F0-445A-B36A-A861AC647C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$46121ABF-872D-4860-B814-22F12AA82FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01ca5b15c47313f7b671862581171333a66b86d","datavalue":{"value":{"entity-type":"item","numeric-id":5713333,"id":"Q5713333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$1B0FFC54-915A-44FF-BF5A-B69A1564516E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15630772414b9154dbd1895ba4270ea1ced69347","datavalue":{"value":{"entity-type":"item","numeric-id":4500171,"id":"Q4500171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$3CC9EF8B-9526-4B1D-86F0-2B592ED63DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"328b4b366cdfa3b558000d01d83573e023c08d2f","datavalue":{"value":{"entity-type":"item","numeric-id":2871838,"id":"Q2871838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$E67FA12E-EB63-42F6-AC1A-9CACA359D331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fbdcfeca765d18f7d3b2cc70ef3d3dbbb4e8aa","datavalue":{"value":{"entity-type":"item","numeric-id":3434624,"id":"Q3434624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$AD7558DA-5FE2-4B50-B6F7-AF0C9FA7837F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813cf1b471912c017fe32b794d4247115b01eb2c","datavalue":{"value":{"entity-type":"item","numeric-id":2763693,"id":"Q2763693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$B04A34D3-E93B-46E0-8AF5-1A2820176AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b8d74eb30783ead52df96f665a06c49d9668e6","datavalue":{"value":{"entity-type":"item","numeric-id":2942928,"id":"Q2942928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262947$F8A22029-8804-4319-89B4-3276F816C9DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2190219c279cdfb1337a2a44689e236e8097c7a5","datavalue":{"value":"10.1016/J.ENTCS.2007.02.043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262947$95D63EE2-BE7A-4870-859B-DEB9CCC9C9E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01626b106d59b5cbcb33fdd24721802e88287238","datavalue":{"value":{"entity-type":"item","numeric-id":3564921,"id":"Q3564921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406653365ba97bb10d6d5fc506fa630324628c09","datavalue":{"value":{"amount":"+0.8135482668876648","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":"Q5262947$FEC0862A-6CD6-4956-9E20-BCAA6FEE595D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d79a01a22b7d3c0c7bdb205141af19f9cd5aed52","datavalue":{"value":{"entity-type":"item","numeric-id":766167,"id":"Q766167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7913a75bd98aeff814f08a0134049b14b027c77f","datavalue":{"value":{"amount":"+0.7707946300506592","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":"Q5262947$4FA14479-A1CE-46ED-84A3-385E695BE69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"932cec585e3aa0ab6d2cef9b15e89d98168f777f","datavalue":{"value":{"entity-type":"item","numeric-id":2936814,"id":"Q2936814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eea7d12c4b8401a19610b1945035d12520eb567","datavalue":{"value":{"amount":"+0.7651624083518982","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":"Q5262947$1AFFF592-957D-4979-ADE2-544D84E92D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3666f5f41a06b204cfac09cd041d4579d9c1848","datavalue":{"value":{"entity-type":"item","numeric-id":3452253,"id":"Q3452253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f86bf149b09153c7b521744380bda18f95850c","datavalue":{"value":{"amount":"+0.7625002861022949","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":"Q5262947$F17FAF0D-D789-49FA-8143-89C9B2AA2B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4116d7bb7083b191bc72e76ece0f0ff01486a31","datavalue":{"value":{"entity-type":"item","numeric-id":1314344,"id":"Q1314344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b078e0deefc034371c4f1ac1b0c334e478d7003e","datavalue":{"value":{"amount":"+0.7530048489570618","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":"Q5262947$2DB5FD35-2DED-4A6A-BF94-4D0A01A6BF12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5262947","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5262947"}}}}}