{"entities":{"Q1208426":{"pageid":1219175,"ns":120,"title":"Item:Q1208426","lastrevid":67060305,"modified":"2026-04-12T14:41:59Z","type":"item","id":"Q1208426","labels":{"en":{"language":"en","value":"A bottom-up polymorphic type inference in logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 166436"}},"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":"Q1208426$B08845DE-C40B-42F0-9C22-E3FB2FCD6546","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d6d42717933dc01243d6416013b064a502d91f3","datavalue":{"value":{"text":"A bottom-up polymorphic type inference in logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1208426$97A83496-7979-4BCE-AB3F-AAF64B9F503E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06d93eb582025e8ccae45f9749267514d2d3eec6","datavalue":{"value":"0774.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208426$74925194-F4A6-49B4-850F-2F3343603E8A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2946dd761978798ae42d6a8f60d245c9fc9eae7e","datavalue":{"value":"10.1016/0167-6423(92)90038-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208426$306BA5A5-F6CC-4EDE-A084-017180C1EE5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ede3fafe483c29884e9afb23f7dfc1d9bca1147","datavalue":{"value":{"entity-type":"item","numeric-id":264545,"id":"Q264545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208426$E6303A11-F9D3-4B3B-BCD2-564241F716EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208426$A73EDE16-F268-404D-96A6-72AE96DCE0EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208426$46274C07-9B03-450D-BFE6-702A1A1D4906","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-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":"Q1208426$4BBBCE3A-54DD-4093-B172-15560A197522","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208426$88B0A901-9297-4ABA-81D6-9C01DB039781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208426$EBE57069-CFE6-4E98-90EC-D9FF42677B9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"520aeb3086bf6638fa27b35ef965f3657dff9fdd","datavalue":{"value":"166436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208426$81A55F0E-802B-427B-AC16-EBC9744CDED5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e836154f2441e63688c3561fc296fc4fee0262f5","datavalue":{"value":"type inference system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208426$3D8470A5-9797-4243-B3E8-802A1764CB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11661a45c9ce707d777af7d718cf471c14098ee","datavalue":{"value":"Horn clause logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208426$1C27E0F6-1C50-4BFA-96C1-D2D9BF46EF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208426$2AD7D6DC-3B57-4095-9A3B-E75A7712CC1D","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":"Q1208426$55FE33EA-9216-4B2A-A081-46389AD8264C","rank":"normal"}],"P1643":[{"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":"f9e40846d541f94567beeab41398894eb3d5536b","datavalue":{"value":{"amount":"+0.832187831401825","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":"Q1208426$2261B41F-B49A-42E5-8BD7-638E5E575AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"148266ff4e0b442c3f261f3074a1b4783bbee6e6","datavalue":{"value":{"entity-type":"item","numeric-id":1758668,"id":"Q1758668"},"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":"Q1208426$6A061A49-1DB2-4C2D-8BC1-35985B895094","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":"cb378c5eface699ecffa61db54ba1ab0d69d90a3","datavalue":{"value":{"amount":"+0.817453920841217","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":"Q1208426$19373389-D119-41F8-9AA2-1F9A054A03E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773e18b76a101c6dbfc76c76bb758165e02c5166","datavalue":{"value":{"entity-type":"item","numeric-id":4411953,"id":"Q4411953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34cc354c9cacd36822b27fa4848c973969d91a19","datavalue":{"value":{"amount":"+0.796635627746582","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":"Q1208426$15FFE168-A55F-485F-8AF1-A4B4B3446BD0","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":"76bd16d3d55059730200435520714ead7eb0a705","datavalue":{"value":{"amount":"+0.79315584897995","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":"Q1208426$D3CFEA42-AF6C-40F7-8296-4593F10B7FAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A bottom-up polymorphic type inference in logic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_bottom-up_polymorphic_type_inference_in_logic_programming"}}}}}