{"entities":{"Q5398087":{"pageid":7427661,"ns":120,"title":"Item:Q5398087","lastrevid":51934034,"modified":"2026-01-20T14:03:28Z","type":"item","id":"Q5398087","labels":{"en":{"language":"en","value":"A gradual polymorphic type system with subtyping for Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6261563"}},"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":"Q5398087$6E8FD735-CB85-4A6A-A243-3BDB9468A031","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0e159771d4d223fb173960a49fcbcc4ca6c4160","datavalue":{"value":"1281.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398087$D1974A93-EAC2-4A9F-8DC1-14A4D262C299","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"094ef1394747a924b1953b2a38309dc22665d184","datavalue":{"value":{"entity-type":"item","numeric-id":4583748,"id":"Q4583748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398087$B0669C9F-FF77-4C3B-B837-E3E4ACA800BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"efe2faed09c4ec490640e4d710dd813f29d8297b","datavalue":{"value":{"time":"+2014-02-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5398087$66D790F7-BD14-48BF-BFFE-4053FA0B2D3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398087$16915CED-DB80-482F-ADB0-95510D120ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398087$D7CE6A5F-B0D7-4469-9F9F-F2569C66DD7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"034f61cdf61899947b125b22d85830d8032bc7f9","datavalue":{"value":"6261563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398087$DA872385-7C8A-43D5-A184-FAF003C4C97D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398087$5C63EC9F-720E-49FB-B35C-45C148620332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbcbbe5d9c9f2b1c9f9b16dfe30663715298cdf4","datavalue":{"value":"polymorphic type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398087$92FD08B5-0A29-4B0B-A9EF-8AEE202002F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4e0bc5faffc67d703b6981d666bbf90aefb75a","datavalue":{"value":"gradual typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398087$0E2C85FE-3FFB-4FC6-BAE3-CC4A494E1EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9346bb56bb3794b0907906326af1b37fa16fde55","datavalue":{"value":"tabling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398087$7A9DABC5-6D59-4CE9-A2AA-266134CB3450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddd83bae90edaa4809b14b7da53fadd4073532b1","datavalue":{"value":"answer subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q5398087$EE61AAB1-61F5-4EA1-AC33-E59B7B435494","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1da121714b17d37c0202a580fc288d94b43d180","datavalue":{"value":{"entity-type":"item","numeric-id":25788,"id":"Q25788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5398087$D9E43503-BAE5-48E6-9E24-2D1EBF411A4E","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":"Q5398087$92FBADA6-E925-448D-8F2D-DF7E1F8CAC75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d210b07d920f1f6fed2cb4602eb0b4c2c56076f6","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/iclp/iclp2012.html#Hadjichristodoulou12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5398087$AE91326B-A47E-49C5-AF1B-A18C54C1D438","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b061c3b1aa7f5b6e9df13dc05c99dfd708f7d98","datavalue":{"value":"W2286255795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398087$DB2C9B40-21EB-4AE2-946E-BB4C8603B828","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05c080a19af503a3597f44bfea271900552aac04","datavalue":{"value":{"text":"A Gradual Polymorphic Type System with Subtyping for Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5398087$C73016F3-1E9A-4559-BE3F-0B134C07E2A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71f57314b491121e887bda4c85f4dda67c618ad1","datavalue":{"value":"10.4230/LIPICS.ICLP.2012.451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5398087$15F4A567-C237-4C7D-AE56-A1F6C98433EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228568055ffda0658da0fba8b76aef21d32e22d5","datavalue":{"value":{"entity-type":"item","numeric-id":796313,"id":"Q796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"363189e6d901fad5c4058baadadd26e763473db6","datavalue":{"value":{"amount":"+0.8458110094070435","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":"Q5398087$EDF48D75-18CD-43C6-B150-D371C4A30BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff6a824b96a9f3eb5731f9ac67a9c825d7e16268","datavalue":{"value":{"entity-type":"item","numeric-id":5504693,"id":"Q5504693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da27c32ec8acd01f96effc14c1547e44ea41f120","datavalue":{"value":{"amount":"+0.8384510278701782","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":"Q5398087$7EB47065-2510-4259-8860-6629446B6B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"379dfd03691915d70bae84ad53634a8398273b6a","datavalue":{"value":{"entity-type":"item","numeric-id":4499245,"id":"Q4499245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03970e109238a280f2d55f988da247d00c17d49b","datavalue":{"value":{"amount":"+0.8331580758094788","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":"Q5398087$E0C514D8-013B-4F96-91DF-43802EBA01E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60ef2c3392d4ff25aa252fc9aca6c70a40de4237","datavalue":{"value":{"entity-type":"item","numeric-id":2766785,"id":"Q2766785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70cd649fe9046653aee700459598ce7c8e75f55","datavalue":{"value":{"amount":"+0.779133677482605","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":"Q5398087$40A62E08-7432-4A99-B679-B1357E750702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dcf1f4adeed74f30ff1b5b21251becf517df264","datavalue":{"value":{"entity-type":"item","numeric-id":4301318,"id":"Q4301318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5021ebd83cd1df3d1148c8017eed928f53b09ba0","datavalue":{"value":{"amount":"+0.7750473022460938","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":"Q5398087$BDACDA1C-FDA6-4229-AB30-1D97F0BAF669","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5398087","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5398087"}}}}}