{"entities":{"Q4301318":{"pageid":6330919,"ns":120,"title":"Item:Q4301318","lastrevid":96560099,"modified":"2026-06-05T11:36:30Z","type":"item","id":"Q4301318","labels":{"en":{"language":"en","value":"Implementing polymorphic typing in a logic programming language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 609785"}},"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":"Q4301318$44BDA3FD-DF54-4774-9F4C-3F74D782311F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88fd157f9819d16e5398f9693d5af7f02315e067","datavalue":{"value":{"text":"Implementing polymorphic typing in a logic programming language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4301318$C30C9EF2-D75A-4B04-9608-51A5DC75B5EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bba33af04cdb8270a6c1d5bd0719e1e883cde38","datavalue":{"value":"0811.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4301318$1C485E46-82D2-477B-827E-5B3FAE4EDE40","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e5d4d75455750b8e1a152346d60f974a5d2de1e","datavalue":{"value":"10.1016/0096-0551(94)90012-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4301318$26A612F9-D233-4BF5-8148-F4ED8497D0D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1d8af7ffc0f0d19d76a45b36b4f82800166f5b4","datavalue":{"value":{"entity-type":"item","numeric-id":3128623,"id":"Q3128623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4301318$511CDA1D-590D-43C2-B699-097C6C84074E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ecd7a1ce09de973ac2a089dc3090ce1b049c899","datavalue":{"value":{"entity-type":"item","numeric-id":617714,"id":"Q617714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4301318$20BFAA46-ADE6-446E-9624-FA7AF020AA4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"748f4735956be41f836521377b8fbf9f07dbf792","datavalue":{"value":{"entity-type":"item","numeric-id":1129256,"id":"Q1129256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4301318$5813587F-9ED5-43A1-9560-A7D60A7DD198","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"303dafedc014c0fcf8bea9a3d20c503df66dd865","datavalue":{"value":{"entity-type":"item","numeric-id":2713369,"id":"Q2713369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4301318$537126C4-AF1B-4D05-9A8C-3ABF0017E8E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71edc96fcbd008bfd3061c3ff4af97a6b34cf242","datavalue":{"value":{"time":"+1994-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4301318$A23B71E0-2AE1-4E49-B744-D6360659D298","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4301318$DED2F574-2911-4F15-9C87-3A4865DBCEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a949d7a6e72784eb53409e2ff8b59f49fe4f062","datavalue":{"value":"68U15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4301318$DD774CCD-076B-44D8-8E64-207CD780ADDC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"479d69ca239f28260c7dbfd1ae4881906f8355b5","datavalue":{"value":"609785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4301318$49EDF906-C5A2-4A8F-9A4B-B298ABD9B21A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c63183b5a50fbb111e527114dc0f05f4173caae","datavalue":{"value":"Warren abstract machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4301318$F2B0ADF7-0B65-4075-8DED-4B6AA209D621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f64ed19e9e90b01770d75ebad9ea244f0b6481","datavalue":{"value":"\\(\\lambda\\) Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4301318$D0277BCE-5B09-4F0D-AED8-0BAD4F5EB6BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abcb8a5b3af8770f764873d0eafebd3c934a879d","datavalue":{"value":"typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4301318$4AEFBE84-6B32-4D4D-AB8E-4AD774848270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6105f0bcbfc453824d1a7cacc90b426395720792","datavalue":{"value":"run-time type checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4301318$D4376CF4-2D88-4153-B9F8-0743BD649B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab85d384ef69d7e37066179f6af5f817410fe04c","datavalue":{"value":"logic programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4301318$4336BD22-A67E-4736-A5EC-B9AFD87D2736","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":"Q4301318$1D874C4A-9CFE-45CF-AC98-39EBA026DA06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"223eea38b547a7dbbfacf3f0ae8e89f5f46007e5","datavalue":{"value":"https://doi.org/10.1016/0096-0551(94)90012-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4301318$581DCF29-6EC0-4E49-96FE-82C5F7C06A17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5d6f05d5caf3b27d8442694f3d812fdf3166753","datavalue":{"value":"W2061392495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4301318$AE812D15-2E69-4C78-B660-0BD496591A1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0672489602917b84ce6fa08e433d1325cbf601c","datavalue":{"value":{"entity-type":"item","numeric-id":3370572,"id":"Q3370572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff90e8e6872b74b1ec244e8382be8c9365c095f3","datavalue":{"value":{"amount":"+0.8021479249000549","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":"Q4301318$D0026123-A2BB-4CDD-A375-CF833EE718F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b0809e54fed160fe114b2ccd9aad791a79fe2a","datavalue":{"value":{"entity-type":"item","numeric-id":4285642,"id":"Q4285642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be7c46e447ab812e4e59c5482d2e57a2117969b","datavalue":{"value":{"amount":"+0.7992002367973328","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":"Q4301318$D8CBDD10-E39B-4910-BB65-CBA120ADEAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"893d1c72a530eb02d90b63d27f336b6eac18ea4e","datavalue":{"value":{"entity-type":"item","numeric-id":1186105,"id":"Q1186105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0808e50a22ebbffc6bde4750f1947d5cb90551b4","datavalue":{"value":{"amount":"+0.7857341766357422","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":"Q4301318$FB40C84D-4C55-43C8-8E52-887CF16BFDEE","rank":"normal"},{"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":"42cc0f5661f9a927d8b7fa7adef0a053ce6171bc","datavalue":{"value":{"amount":"+0.7845432758331299","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":"Q4301318$842CF4A3-4503-4168-AEA4-26B735D73CB6","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":"e8a623bf8ccf47891b1c5342e4d25df9748b5704","datavalue":{"value":{"amount":"+0.784419596195221","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":"Q4301318$57CDBC94-AF76-4F2F-9DA6-437F300D3CA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implementing polymorphic typing in a logic programming language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implementing_polymorphic_typing_in_a_logic_programming_language"}}}}}