{"entities":{"Q1186105":{"pageid":1196854,"ns":120,"title":"Item:Q1186105","lastrevid":66795240,"modified":"2026-04-12T12:54:35Z","type":"item","id":"Q1186105","labels":{"en":{"language":"en","value":"A typed functional extension of logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 36210"}},"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":"Q1186105$1B4105FA-FC78-493C-B3CF-1601B59B287B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea71c70b2a49acf4b4113a41b64e14e4dae0cce1","datavalue":{"value":{"text":"A typed functional extension of logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1186105$73A43ABA-99AF-486F-9E6D-46E19AAEA90C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a68e41a6404721f921d59d94936bb4dd39e2c809","datavalue":{"value":"0741.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186105$9643501A-672E-4934-9058-F2B21133F89A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f41386bd1c451afbab46a9d01d88e55b4cd360d","datavalue":{"value":"10.1007/BF03037479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186105$5A7D01FC-ACCA-4B29-A7A8-6B674648CE45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b17683dd2eedd3f1d821a1087aa218b2b31d17","datavalue":{"value":{"entity-type":"item","numeric-id":1160451,"id":"Q1160451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186105$38057D8F-FDFC-42E1-81AA-72C0B5601AB9","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":"Q1186105$FE8B09A5-3818-423D-8709-A150B969C7E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1186105$D2F97266-557A-4596-ADDE-87D70E0BB887","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186105$C7AD023F-0024-42D2-9207-F4CDAAA0DBD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bda7f1a9248b20ded9e112282aa003a3fbea48ac","datavalue":{"value":"36210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186105$A0D1BF0B-3901-4B76-B817-4F4B1792292C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea290032d710a04356408d10e3e939703353014e","datavalue":{"value":"functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186105$1C3BAB08-D858-4F8F-8D53-B568C7166045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd60c44fea64e94d6f62ff23492f9ccc7fb09076","datavalue":{"value":"logic language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186105$316FDBCE-CE26-4DAD-A1AA-F60B3DE6DED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302a42c8a61d3660ede2f3a51c558b802f2a3aae","datavalue":{"value":"data abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186105$E979D62C-CC61-4D90-8DC8-F924AEAEE4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f81a4f4e2e082d62d8600422005ffa1905b7ab49","datavalue":{"value":"modularization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186105$DBD8AE86-688D-4B49-A2F3-0855186E10E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6efe014de5570ef6520205f4ce05d63d3137721f","datavalue":{"value":"Warren Abstract Machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1186105$94C834D1-735F-41F7-A048-72F91F19DD3C","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":"Q1186105$4C0A9552-6E2F-46B0-8A0E-350A492FD132","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":"Q1186105$EF8E6A63-5031-45FD-826C-756E896C8A84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"324ce2595faf5ea25442b62f0d3c73ad7829f4de","datavalue":{"value":{"entity-type":"item","numeric-id":5903118,"id":"Q5903118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186105$55866D81-CB30-4D72-99AA-9BB0FEB94BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186105$497B1DF1-9A98-4E8E-9298-0F95554D7F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1186105$04A9A889-9B75-459B-A698-4BB7B57FC718","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":"Q1186105$6A88461E-1FB1-4D6B-B44C-B3BC4848F9C1","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":"Q1186105$CEBBA870-CA38-451E-B98E-C6287610FDF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"890b2d631f8c8fbbadfcf0360aa2f228b3331008","datavalue":{"value":"https://doi.org/10.1007/bf03037479","type":"string"},"datatype":"url"},"type":"statement","id":"Q1186105$4AB9CA5E-DC9D-4726-B971-06A36F95E679","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b77874a4a79293a2020d4bba3463acfd08f79df","datavalue":{"value":"W2072391349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1186105$3588928E-B8B4-47EF-938D-05AE47BFD57F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dcf1f4adeed74f30ff1b5b21251becf517df264","datavalue":{"value":{"entity-type":"item","numeric-id":4301318,"id":"Q4301318"},"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":"Q1186105$947930AF-A5F0-4367-B9A2-787C70A3BFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12632cfab228270d97fb94fd5e39565560f67e60","datavalue":{"value":{"entity-type":"item","numeric-id":3780494,"id":"Q3780494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b99372059fc91ce72c43a56d912745fd010d28c7","datavalue":{"value":{"amount":"+0.7626875042915344","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":"Q1186105$62E2EE44-A820-4B38-A585-5E31CDAE4E05","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":"dff090d2faf4b132f1e176182f3d7105145525f9","datavalue":{"value":{"amount":"+0.7602851390838623","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":"Q1186105$9A60E8F2-E21B-4985-BDAD-AAEB34C505DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14aaa624cda43695ac69765e3142a12477294e58","datavalue":{"value":{"entity-type":"item","numeric-id":3713559,"id":"Q3713559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c95501e6c974b416d026312ea4760f8457c3bf2","datavalue":{"value":{"amount":"+0.7548649907112122","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":"Q1186105$C6AB7BF5-D1A0-4FCE-92A8-BD2DF30260CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A typed functional extension of logic programming","badges":[]}}}}}