{"entities":{"Q796313":{"pageid":798161,"ns":120,"title":"Item:Q796313","lastrevid":48724837,"modified":"2026-01-05T17:32:55Z","type":"item","id":"Q796313","labels":{"en":{"language":"en","value":"A polymorphic type system for Prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3864541"}},"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":"Q796313$5B7E9FEE-50DE-4527-8F7E-08CC44509417","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f9514f95b0b154b63043831165becbd70278cd4","datavalue":{"value":{"text":"A polymorphic type system for Prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q796313$3201DD65-B842-4283-AA9E-03DFB4C9FD29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f6bb7c26926a6a3c59ab88f662513f9776ad87b","datavalue":{"value":"0543.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796313$946439D4-C222-4734-AF90-59BFC70536E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bee8eb08684075440ff435858a5afdccc97e4cac","datavalue":{"value":"10.1016/0004-3702(84)90017-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796313$66397C32-D074-449B-ACCD-B0D649F685CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd9eeea77fa294e9bccf24578b7f90fc51f99d2d","datavalue":{"value":{"entity-type":"item","numeric-id":796311,"id":"Q796311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796313$DAB4D0BD-6502-4B6A-BA14-5F12D3B336DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1c0d65db2946348dd3debaf90c86d92acf11546","datavalue":{"value":{"entity-type":"item","numeric-id":796312,"id":"Q796312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796313$37F84BE6-765D-4C2E-A60A-68E3B6317E0C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796313$DBEE6822-9A17-414C-877E-E42D1520C298","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q796313$F0864123-E901-423C-BE16-FE5BDDA9452A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796313$F5A17792-A7FA-4FF9-88D4-C2EADE747037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796313$0F5BFA0A-6878-4675-BC60-28438175E9E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27c3188b28fd50ec24923b09b6c0540d43a5d7d8","datavalue":{"value":"3864541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796313$105E7B87-37F3-42C1-B784-8F430D48D1B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78d095ef6aa028050d89bb45d971b00d241d5c1c","datavalue":{"value":"polymorphic type scheme for Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q796313$569A6935-5DE2-4282-BA3F-C9734208B3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18769a7305b55fba81edfa9373c2eedcf6f6b7c3","datavalue":{"value":"type declarations","type":"string"},"datatype":"string"},"type":"statement","id":"Q796313$EF3364C6-DB67-4B86-B428-3DDD2D0F337F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2631ff8f6c09d09106ba66f8054dde2bcaf5621","datavalue":{"value":"type resolution problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q796313$C79C5942-C1CE-422D-9444-088B20997F32","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":"Q796313$6D89C2EE-84DD-4D56-85EE-68AF60AB51EE","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":"Q796313$6A411294-9EDD-4B4F-9163-B7F48DAE9421","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7ab261a3f062d1b3e7b6f55b6f090602a78ac0d","datavalue":{"value":"https://doi.org/10.1016/0004-3702(84)90017-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q796313$AFA5CAEE-6549-4B0D-AE9F-6F4779789392","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74903dab3dded132ec6bef1bf22fcfbdc7ecfb44","datavalue":{"value":"W2038037493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796313$EC6A92F1-8A78-44DA-AC12-7572A53E3984","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d5f3d692a247da36ca4537c14349c1c23a3fd51d","datavalue":{"value":"Q56059065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q796313$FF676388-36A7-4C02-9FAC-CDF93A79DE1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796313$8D2FC0FA-A016-4C81-922C-EFEF9CDD9E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6bd0c9b8460476a33d0caed8446ab092c9997e4","datavalue":{"value":{"entity-type":"item","numeric-id":3904064,"id":"Q3904064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796313$D43CB0F9-A71D-4FF6-A1C2-9CD3DA1D74D6","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":"Q796313$A55D2C6E-FC33-4808-AE67-7B438B8EFDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15073390dd1260ee5e167563f0e9c459c4436960","datavalue":{"value":{"entity-type":"item","numeric-id":796313,"id":"Q796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q796313$2D49A074-0B90-420D-BE16-C00439B8FFF4","rank":"normal"}],"P1643":[{"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":"eef12e23ee29574d503b8b04b7f1687a93199f83","datavalue":{"value":{"amount":"+0.8481907844543457","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":"Q796313$F01E7EA3-1C8E-4074-B6C4-9C40A12EB00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d227f64e0d0a4e289ce57afa5a423b8d9c0e8e0f","datavalue":{"value":{"entity-type":"item","numeric-id":5398087,"id":"Q5398087"},"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":"Q796313$158474D8-061B-4866-A9CA-67EB5FE59CE6","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":"925447ccd4d4018cbafd6b9093059e756ce5356b","datavalue":{"value":{"amount":"+0.8421117067337036","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":"Q796313$4D6DC986-4B25-414F-AB6E-BF5D3919DD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a522f1d44e426d1d1deb47ee51959147ccf6c43e","datavalue":{"value":{"entity-type":"item","numeric-id":5881208,"id":"Q5881208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68df78ac727891db0e6d8c7457ecb925b811ffe","datavalue":{"value":{"amount":"+0.833057165145874","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":"Q796313$56C20F30-B208-4FFB-A30B-DC0B20B801FF","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":"f55dd677c61bdcb4114f3ec0d982c71c28a2dad2","datavalue":{"value":{"amount":"+0.831716775894165","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":"Q796313$292D16C8-3F65-45E1-AC89-AFEEE8340996","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:796313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:796313"}}}}}