{"entities":{"Q5881208":{"pageid":7910759,"ns":120,"title":"Item:Q5881208","lastrevid":47823805,"modified":"2026-01-02T19:22:26Z","type":"item","id":"Q5881208","labels":{"en":{"language":"en","value":"Logic programs with polymorphic types: A condition for static type checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661569"}},"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":"Q5881208$4F34CFFD-E274-4DEB-8A10-CC3287EAA474","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff8bcd74a46b4411d0eb5bd7258782fda77aa46e","datavalue":{"value":{"text":"Logic programs with polymorphic types: A condition for static type checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881208$AD4C66CD-478A-476C-B9BD-71D5E42018C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5729509a032c7d5af4e8a0250f4e6ee08a8cc1e4","datavalue":{"value":"10.1007/3-540-56393-8_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881208$34A33422-6CBB-485D-805B-A3F335132165","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"614865c792fc9cc5e0ae3df80f199328e64cdbf2","datavalue":{"value":{"entity-type":"item","numeric-id":1097681,"id":"Q1097681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881208$F1CB51E0-9C8F-46A4-8A00-DED338027FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a979a34611660198d78b7a0c14122f82bb2cb38b","datavalue":{"value":{"entity-type":"item","numeric-id":5881207,"id":"Q5881207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881208$C96AD188-BBE3-4BF3-B3FA-A1F9B2FA89A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00eb62236e33a5483cf4681f1956ae601238d263","datavalue":{"value":{"entity-type":"item","numeric-id":5881171,"id":"Q5881171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881208$FF72EDAF-B013-42BF-A306-24FF6296C8CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5881208$0D49ACE4-700F-4E0D-9AA0-360DA618A68D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881208$E8460D03-7EB2-447F-A2D6-910AA3416D7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e6b186a6f795c32ef92830b5b0b1758a0461bef","datavalue":{"value":"7661569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881208$A3CD65F7-0A76-49E8-A6B3-5B42E3ED5735","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":"Q5881208$7C01C27B-D58C-4A3D-808A-935D6E4F27C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b6c480a175fff14347113fc48d6c4edaf7fcd29","datavalue":{"value":"https://doi.org/10.1007/3-540-56393-8_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881208$101F209B-9FBE-4B97-9799-252A9893CB83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d794f87529ae214d48d93f174b95cd6941c546a0","datavalue":{"value":"W1492234234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881208$7ECDC880-325C-42E2-80F7-1B7B1FDF1A15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bcb10b2d0dc49c441c3a076bc96fb28fb02c90c","datavalue":{"value":{"entity-type":"item","numeric-id":1177936,"id":"Q1177936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881208$0FC8E055-A359-4C46-AE79-9C89FA6A952C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881208$E26B1165-2254-4FDD-BA5E-BF943F63D349","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":"Q5881208$F0FB0ACA-406A-4FDC-9D94-1835071CD6CF","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":"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":"Q5881208$131339A5-38A1-4137-906A-A42647261628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e78376902b3e7b02d2c80b765b954fcb85c79b7","datavalue":{"value":{"entity-type":"item","numeric-id":5748874,"id":"Q5748874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70cfb967ae5017189de83eaeec7578269456e5b4","datavalue":{"value":{"amount":"+0.8247160315513611","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":"Q5881208$060DB2CD-08E6-45D2-87AC-D8B4CE0A3F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"824f6dafbb9cbb041dd76d97b7a18cdacf2253d0","datavalue":{"value":{"entity-type":"item","numeric-id":1177936,"id":"Q1177936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98eb380c056940ae6e104100979a409bdf335cfc","datavalue":{"value":{"amount":"+0.7978838682174683","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":"Q5881208$03F570D6-EA81-415D-B5A9-B726D6EEFD71","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":"08b6e09e2d9c6a6e50d165bec563247f3e42bde4","datavalue":{"value":{"amount":"+0.7944113612174988","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":"Q5881208$27641630-72CA-408B-886C-E9A064D3ACE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273c788b26b1eb428da763bad76238155055783e","datavalue":{"value":{"entity-type":"item","numeric-id":2763644,"id":"Q2763644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0f1d59d9f6f922ff1990ce87e5595561e8a8bd","datavalue":{"value":{"amount":"+0.789487361907959","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":"Q5881208$DE724F6C-BC86-40FC-B0FD-545803CE37EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5881208","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5881208"}}}}}