{"entities":{"Q5326348":{"pageid":7355922,"ns":120,"title":"Item:Q5326348","lastrevid":51790484,"modified":"2026-01-20T01:30:22Z","type":"item","id":"Q5326348","labels":{"en":{"language":"en","value":"Encoding monomorphic and polymorphic types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194855"}},"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":"Q5326348$C0300360-DE4A-468F-A3D7-885D6A01FAA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc1f3d131d7b3d02397c8fffd1dcb7c19ded11af","datavalue":{"value":{"text":"Encoding Monomorphic and Polymorphic Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326348$56A69836-B4E1-4267-BB5E-3340F1DCF1F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90f6282c76ab379980a48b79f1a8374224da872e","datavalue":{"value":"1381.68259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326348$C83A0E7D-B7F7-4881-BFD4-9B8782FB1F73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc5274de1f322f97100a65c986f716b866462bbc","datavalue":{"value":"10.1007/978-3-642-36742-7_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326348$C6E5C1CE-26B2-48BD-9D56-A8D99DB6797A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c29c686dffd678d9f155b05a4a1aa93e85953c","datavalue":{"value":{"entity-type":"item","numeric-id":287335,"id":"Q287335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326348$47AB5FB9-C8FF-4573-9064-3070872DDAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e52ea9fecc32655489a0560f1f3a2c96d34140f0","datavalue":{"value":{"entity-type":"item","numeric-id":287336,"id":"Q287336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326348$EE46F1E3-772D-4631-980A-FD050827FD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ef4ea61388b67726824db4b9b444c6863305920","datavalue":{"value":{"entity-type":"item","numeric-id":817686,"id":"Q817686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326348$F0935320-55AD-4F5F-9BBB-B245F3D8B83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18e49fcbc4c548063a98ad501641ee3ac5ded892","datavalue":{"value":{"entity-type":"item","numeric-id":1799099,"id":"Q1799099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326348$514752E0-4EC2-4869-9295-DFD3E2557856","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326348$4474B718-4560-4043-A127-53821709863B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326348$6F021AC8-931A-4BF6-B75A-23390014D43F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b52b352567f84d3580da01add720d31a630b312","datavalue":{"value":"https://eprints.mdx.ac.uk/15166/1/TACAS2013.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326348$C4D2417B-B640-445F-8B8C-A1718590C081","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326348$0E216140-3829-44AF-B4C4-484F930C0B39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61642a4b288ba9296857a296c8d671f904a00b6c","datavalue":{"value":"6194855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326348$D10B33D4-10B4-4864-9A7D-1291EDE8C0C1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326348$0A562371-F046-4F59-836C-86B643FFE8D3","rank":"normal"},{"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":"Q5326348$E544E49B-114D-4E76-B26B-7DD9DCAE4947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"484f589bd857c6ecd5604196ba88033adb11a795","datavalue":{"value":{"entity-type":"item","numeric-id":15128,"id":"Q15128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326348$9913702A-4776-44F1-9C1B-70FE1852D6B7","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":"Q5326348$2D4C0F0E-BE76-42D0-9A46-0005440F4605","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8b79d58a47abe537ad94542b9be376130cb4fe7","datavalue":{"value":"W1526260483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326348$21BF726F-FBC0-48A8-9D0E-4F7A129B8BD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062a7b7580365074b64d54fe631d8b6c277e8274","datavalue":{"value":{"entity-type":"item","numeric-id":2974796,"id":"Q2974796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d014f15ea3930618c9114c8f278047a5070ec02b","datavalue":{"value":{"amount":"+0.9866780042648317","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":"Q5326348$1EE224CB-3C7D-427F-801A-6CA7185792BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f1db4af125d566e403445f17eafb15b0313b7e9","datavalue":{"value":{"entity-type":"item","numeric-id":4647585,"id":"Q4647585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed437e3091401137d3677bcdaaf8eda24209ab52","datavalue":{"value":{"amount":"+0.807263970375061","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":"Q5326348$F83ABC62-42EF-4731-A15F-3940E2713DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c730fb1a6c15a73165297403d2ae517441a71cb7","datavalue":{"value":{"entity-type":"item","numeric-id":3172884,"id":"Q3172884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5430c8110c50f49f7e5561ae40de33e5fb4113d6","datavalue":{"value":{"amount":"+0.802179217338562","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":"Q5326348$7647870A-9720-4190-A542-FF62A749B4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea000d3615c6b775706e346ed59ee0af8a085d92","datavalue":{"value":{"entity-type":"item","numeric-id":3608778,"id":"Q3608778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1647162c66110eb7337fad64ffb8299c4a2dfa9","datavalue":{"value":{"amount":"+0.7878870964050293","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":"Q5326348$B8021CFC-2F31-4875-84EC-D932F9D2DC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"113e2d1d879d9c142457b829e6b1af5a24f50a97","datavalue":{"value":{"entity-type":"item","numeric-id":4928456,"id":"Q4928456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2645608f01b9ab48f1a9fcbdbf61398e5ee02e57","datavalue":{"value":{"amount":"+0.7391073703765869","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":"Q5326348$1FC39305-73C2-4E90-8D2C-DC0712A1ECBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326348","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326348"}}}}}