{"entities":{"Q1575243":{"pageid":1585983,"ns":120,"title":"Item:Q1575243","lastrevid":72229353,"modified":"2026-04-14T03:29:36Z","type":"item","id":"Q1575243","labels":{"en":{"language":"en","value":"Type dependencies for logic programs using ACI-unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1493196"}},"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":"Q1575243$20C43BC5-FF66-43EF-A57E-67873D2B2EA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2c3410e9d74eb83bed7f1f6ce7b4093466b19e2","datavalue":{"value":{"text":"Type dependencies for logic programs using ACI-unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575243$98ACDED9-CB4F-4AA2-B78F-DB258166BBE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7ecd8878df5630dea2f70e784c3542098d37863","datavalue":{"value":"0944.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575243$A7D37DC7-F5EF-4092-9E15-0891266B81C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d28e3ab786d6db402bf4081efe78897261db497","datavalue":{"value":"10.1016/S0304-3975(98)00122-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575243$BDB6D26B-7EC6-4C93-8EDB-1EBA1E0B66E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f56e5c602b016183d0057e14ebc518ed5ebefb1","datavalue":{"value":{"entity-type":"item","numeric-id":1575242,"id":"Q1575242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575243$D727B377-E4E6-4E3A-88CD-F13114BF76CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575243$F5E36384-9050-4673-9D2C-8A7481E323BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575243$88E2E506-EF7C-460F-952E-A64500A3F075","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3a497233c3b9babc42d370358782cbff338a7a1","datavalue":{"value":{"time":"+2000-08-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":"Q1575243$B7BEA049-991A-4BEF-A758-DBA4B680243B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575243$C61D2185-89C7-41F7-9EDC-F00B22B88CF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa0c193d3e459a43478e20f539b4345f10c9c344","datavalue":{"value":"1493196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575243$592CA12C-E49D-4AB2-9FB3-9C1283863789","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8a15c5e451c2253aec6d991827c8e9bcf386dd7","datavalue":{"value":"ACI unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575243$0424668A-8B59-4366-B3FF-A71368D86B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d95618da530cce536c2b09295791fee071a23807","datavalue":{"value":"type analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575243$BF0304BA-1976-4759-A204-2B0BB680DB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575243$5BC0F209-2007-4FA5-8DDC-A6E03FE6164C","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":"Q1575243$2275751C-D830-470B-AA08-E90905BC2315","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e520ac910e5e7e247de7017e5d4cfab23d4f6a4","datavalue":{"value":{"entity-type":"item","numeric-id":3998976,"id":"Q3998976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575243$CABE027B-2BCE-4175-B7D3-51CB429018CD","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":"Q1575243$8EFA46A7-B06F-4484-8C05-864EC50D95AE","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":"Q1575243$B9EF6B72-218C-4C0F-9D2A-43EF96C11ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56700712d39e9edb58cee423bab0a8db117d8ca6","datavalue":{"value":{"entity-type":"item","numeric-id":1318725,"id":"Q1318725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575243$B4B16302-67B4-46BB-AFB5-04BE9000C020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5168a69757ddd9ac215dbfaba8ad4ea5029d0b7f","datavalue":{"value":{"entity-type":"item","numeric-id":3128619,"id":"Q3128619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575243$B8A8937E-0644-4295-A095-37091417A247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d532860d8f1d85be13e29a95f86194d57325716","datavalue":{"value":{"entity-type":"item","numeric-id":1856181,"id":"Q1856181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575243$17A85E82-FC14-4F86-B01D-3C208B4F7290","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":"Q1575243$D2A94042-A49C-4198-8AAE-367B3806AF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec151268e9d3d28f086a55c22e8ba688de99aad7","datavalue":{"value":{"entity-type":"item","numeric-id":4939543,"id":"Q4939543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575243$56D29C10-6B6E-4F0F-BC75-C11784799946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c01e8e2dbc9c1918b71036fb0d734eaab6816a1","datavalue":{"value":{"entity-type":"item","numeric-id":913530,"id":"Q913530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575243$661D574A-C591-49ED-8A1E-496E09511F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a811245dec6a39fd5ccdfc31835dd157059d9b37","datavalue":{"value":{"entity-type":"item","numeric-id":1803658,"id":"Q1803658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575243$D8A2BC52-903B-4723-9E04-EE46F8D6B3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08660eb960fb992bf546d146b48be64180be461b","datavalue":{"value":{"entity-type":"item","numeric-id":5688900,"id":"Q5688900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575243$B15C523C-E5BC-4A4F-8D89-E841F1E7B74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a61b7701da971a87c154b5ba63697136c95a92","datavalue":{"value":{"entity-type":"item","numeric-id":4385538,"id":"Q4385538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575243$AEE73D02-D226-42BE-A927-76B52DD45D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06edc6e1e80f22819c4056e5a31dfa4de326fc09","datavalue":{"value":{"entity-type":"item","numeric-id":4012712,"id":"Q4012712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575243$79B0CD59-D692-474B-95C7-7A1B2F88FD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c99fa0a7e611b596ab488618416f0f46dc94a1e","datavalue":{"value":{"entity-type":"item","numeric-id":688565,"id":"Q688565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575243$1846CA6F-4245-4CCB-B517-9FF42CFFA587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9c1fe6af1ad9dd1496ee735838fc8664bb26ea","datavalue":{"value":{"entity-type":"item","numeric-id":1262757,"id":"Q1262757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575243$E66C1694-A662-4013-932C-85E6F848138A","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":"Q1575243$4B9399EF-1C67-4823-86FF-AB0164FD7D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1669261077901413d76dc0f7072dfdae93141a3b","datavalue":{"value":{"entity-type":"item","numeric-id":3912070,"id":"Q3912070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575243$F9EC0706-1EEC-42A3-8C26-7346ED7F815F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575243$FA0C190F-A3CF-44F5-9E66-990FA665F6A1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"500f973fdc6e373fafd1ac5bed51f23fe46839bb","datavalue":{"value":"Q126311264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575243$7ABB20C1-2180-4224-93FD-BB8E85BF8B0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebf473f03f0b2d10372d6f99985cb06886022920","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(98)00122-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1575243$A79BC8BB-6AC8-409E-B972-A69FB52E28FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5162222f8a138deae9b81d9cc7e6a5a0c712a374","datavalue":{"value":"W2012397892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575243$1072146A-D43B-4450-9849-6AF3AE55C6BF","rank":"normal"}],"P1643":[{"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":"304059a18ca928a760109437573e9bf6fb5e8dbd","datavalue":{"value":{"amount":"+0.7865331768989563","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":"Q1575243$5D8E46B4-DAF7-4912-B5E2-A291CC8E224E","rank":"normal"},{"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":"6f9c1d22994c48fc0b7b8ac9e4086aa3768a5bbd","datavalue":{"value":{"amount":"+0.7852381467819214","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":"Q1575243$F9A99A52-5174-436E-BE9A-B48E9CE3F2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3613876c541225f4cefbbeaca2f5498b662c07d","datavalue":{"value":{"entity-type":"item","numeric-id":2996168,"id":"Q2996168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b9b3b7cdbcfcc3f1bc2ec172fdd17fb0fbd3ac","datavalue":{"value":{"amount":"+0.7822974324226379","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":"Q1575243$D0DF614A-F84C-4402-902F-64D569283670","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":"c70125c470c2e15f62c410c2474f0c8087f32b65","datavalue":{"value":{"amount":"+0.7536921501159668","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":"Q1575243$ADAD1EEC-ACA4-45DE-92E7-9DE233213FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d834f739162298a43e368127d42975c576527f7","datavalue":{"value":{"entity-type":"item","numeric-id":2763645,"id":"Q2763645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4477cc3f6b0ef74c39805cbfb876bec30388f621","datavalue":{"value":{"amount":"+0.7514042258262634","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":"Q1575243$31170C1E-C564-4C56-8C82-8E8AF44C62DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type dependencies for logic programs using ACI-unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_dependencies_for_logic_programs_using_ACI-unification"}}}}}