{"entities":{"Q1758668":{"pageid":1769410,"ns":120,"title":"Item:Q1758668","lastrevid":70839882,"modified":"2026-04-13T17:36:57Z","type":"item","id":"Q1758668","labels":{"en":{"language":"en","value":"A polymorphic type dependency analysis for logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6107865"}},"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":"Q1758668$88DEFD62-6B6D-495E-8656-71B6AF425DB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49a235e84cabb6270beb9139c208f55b8c6921f7","datavalue":{"value":{"text":"A polymorphic type dependency analysis for logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1758668$B67BB188-5FBD-41AD-9304-6939DE65BEC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f83417666f6e4bea2db627805c4e3d7a6dc26699","datavalue":{"value":"1251.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758668$FCA6CB19-F1B5-4CFD-9FCC-4F0BEA9C0128","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc2863c41e44fb76b9a7066a084c23d0dfbbd3f","datavalue":{"value":{"entity-type":"item","numeric-id":1426865,"id":"Q1426865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758668$3A4720EB-A34C-4E94-80E3-5F223EC639AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758668$8E399159-ABDB-46A1-903A-4F899CA3E970","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16d9ed1da0749c54273c05a4ba5499c71e474aeb","datavalue":{"value":{"time":"+2012-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1758668$46BB337C-3E13-449C-9E05-26D3B1A43E32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758668$B1B5A2E9-F28D-48C9-B3FF-5DF101628039","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38164dced707e50ec4055584d26eef3bfbbfebb3","datavalue":{"value":"6107865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758668$2634913D-7680-4254-8DA3-3177BDA0AEE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758668$454B0C9D-A27A-4139-909D-1804165DBD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a0f3d133c074e7fa8f63aa233ab0a4ec1faf488","datavalue":{"value":"polymorphic type dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758668$1D408C69-7240-4C83-9E01-A9C7BE3C7CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758668$B325CE59-79DA-4CD9-9A7B-FD432488829C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f118c9045585d13708c19633e7353737dad6da","datavalue":{"value":"non-deterministic type definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758668$ECD77E20-F959-48B5-ACFF-2E6821D6470D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758668$95A85175-4DD9-4053-AEB3-6A90C7E21F14","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf05a0fe8c67d4d8f396d444a59573c809b42e38","datavalue":{"value":{"entity-type":"item","numeric-id":24023,"id":"Q24023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758668$528CED2C-23FB-4736-9B8A-7AEFB0048145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cff6794623cf5d8528667b5f3c64c252856fc71","datavalue":{"value":{"entity-type":"item","numeric-id":24022,"id":"Q24022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758668$BF888E86-7D24-44E9-97AA-FF8451967DF4","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":"Q1758668$7CF0223B-4139-4553-ADE8-F4A67CCD2203","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"243e1c03c04c2eb5f9d6dcf5a2b51c05a07fe30a","datavalue":{"value":"https://doi.org/10.1007/s00354-009-0117-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1758668$C615A44F-8067-4851-93E1-EC51DC8A37FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"852d83af2cb558c69a8db4d69b9a1a5e63faca4e","datavalue":{"value":"W1986950325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758668$1FE861F9-61BE-4C14-8848-2FFF7FD8990A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f0b89fb8046251479dbfa0d82eaca0e0872cd2","datavalue":{"value":{"entity-type":"item","numeric-id":3400961,"id":"Q3400961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758668$4379C252-D420-47FD-B650-75A839CF2259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07709ad83c4cde14d48459b0e20bad4b14e3e47c","datavalue":{"value":{"entity-type":"item","numeric-id":1208426,"id":"Q1208426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758668$87575D97-A8CD-4E10-B237-FB45B1E29A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5382661bc98927f3e7272f3a7e5c556ae94b246b","datavalue":{"value":{"entity-type":"item","numeric-id":4305626,"id":"Q4305626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758668$C5BC3DE4-CDB0-426B-98F2-4B1A66B938AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"033821806b42c31e0937f2d1fea5163b7f5b3630","datavalue":{"value":{"entity-type":"item","numeric-id":5897427,"id":"Q5897427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758668$03521DD9-B4CF-401A-BB04-99AD08CCCC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"debff53cb3c75d78ad8e73a54904022beacec86c","datavalue":{"value":{"entity-type":"item","numeric-id":4217932,"id":"Q4217932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758668$D2AB2258-2796-405D-9B5D-9FCA835E0413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed0f7bd2aa3a1854a6a62dafc5812f99b70b449","datavalue":{"value":{"entity-type":"item","numeric-id":1575243,"id":"Q1575243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758668$493D6FB0-B5CA-4310-99F0-05826A2E56DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758668$A16D89AC-4985-4C39-82E6-B6B466F0E099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c2b7fb3b5dbc3348fa37c766d0de3dcb7f2bcb","datavalue":{"value":{"entity-type":"item","numeric-id":4015951,"id":"Q4015951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758668$4D1E6D3B-D5C5-429B-9D01-8E897193A1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa0f50f9e079e80672ae8d0c1e92d01238bcc7e","datavalue":{"value":{"entity-type":"item","numeric-id":2568449,"id":"Q2568449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758668$DA2CD5A1-5FAB-4E6F-8637-F77CE6B46453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de383c3f01de18ac64540bc12e03d44225b34bc","datavalue":{"value":{"entity-type":"item","numeric-id":4542943,"id":"Q4542943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758668$A3E72E3D-03A2-4A91-967D-DDDEC7F20A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98a7bf3444de81da284a25edfa4984e9e5cd7eb5","datavalue":{"value":{"entity-type":"item","numeric-id":3795272,"id":"Q3795272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758668$E5E2C5B8-5C15-4B10-84C5-7696DBDD18C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4845322588cac6eb562d0660ffc26031e66a1b35","datavalue":{"value":{"entity-type":"item","numeric-id":4036279,"id":"Q4036279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758668$7CFA57CC-2C93-4AAE-9738-0397D07E5D91","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":"Q1758668$D2BD54E0-7E9C-4499-B2B5-5B99F0A90990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579155a55f6e9a74d70dc76913d2b4aae53ffe93","datavalue":{"value":{"entity-type":"item","numeric-id":4208863,"id":"Q4208863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758668$C32895CF-1587-4EF4-9F8C-1D40F66F08D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34f7be85e9757905aff7ff0f8410ce32c306984f","datavalue":{"value":{"entity-type":"item","numeric-id":5437649,"id":"Q5437649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758668$5EC54B14-0996-4EEF-A184-6D5747A6415A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c07b9a7d6269bd5673d7478851e868fdca08fea1","datavalue":{"value":{"entity-type":"item","numeric-id":5748874,"id":"Q5748874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758668$26C23040-ED89-4ECD-ADD1-3F3BF00A4101","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c738c33a78a4787d6feff1012960818f41c8c955","datavalue":{"value":"10.1007/S00354-009-0117-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758668$CD53D325-BEA1-4496-9227-29BEB059E02F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b7052710a176120962489394c3c3476134c89eb","datavalue":{"value":{"entity-type":"item","numeric-id":4475099,"id":"Q4475099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"655d925bb3d5d54be53ee3febf38989102e4ea04","datavalue":{"value":{"amount":"+0.8613433241844177","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":"Q1758668$ADBE2071-3FCD-46CD-9455-EDBA7D3E99ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a6b7de8c9ad0dc6c2d68ec5c7827d4d180f9483","datavalue":{"value":{"entity-type":"item","numeric-id":4208863,"id":"Q4208863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5afd6320b8d71b87533f7dcd6ff464dcf55f887e","datavalue":{"value":{"amount":"+0.8411200642585754","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":"Q1758668$CA9A92DC-C1F6-44A7-865D-0AE9A92BC738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62f1244d78a5efe20bb6804ce2227abe3a0de76","datavalue":{"value":{"entity-type":"item","numeric-id":1208426,"id":"Q1208426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26665ac2a284ec53d83dbb91cf897f351c75ea9","datavalue":{"value":{"amount":"+0.8182533383369446","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":"Q1758668$8EB7135E-DFB6-45EA-B20D-DE23D51142F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412828f35f04ed447f7b7be24fad5f0987f1c0d9","datavalue":{"value":{"entity-type":"item","numeric-id":3617436,"id":"Q3617436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"340b187b4da1a63e3f6cd7fd8c4074611717ca0d","datavalue":{"value":{"amount":"+0.7941097021102905","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":"Q1758668$1E29914D-9081-48CC-A73C-D4486F509874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d52463851021da6cc78864cd0661faacbfe458ed","datavalue":{"value":{"entity-type":"item","numeric-id":3795272,"id":"Q3795272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f6e303397b69f3f92763dda51431e757ca568b","datavalue":{"value":{"amount":"+0.7895691394805908","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":"Q1758668$E57F7425-1AF0-4796-A7E2-45C3B95A4549","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A polymorphic type dependency analysis for logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_polymorphic_type_dependency_analysis_for_logic_programs"}}}}}