{"entities":{"Q1058847":{"pageid":1060695,"ns":120,"title":"Item:Q1058847","lastrevid":66651465,"modified":"2026-04-12T11:33:57Z","type":"item","id":"Q1058847","labels":{"en":{"language":"en","value":"DAL -- a logic for data analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3902025"}},"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":"Q1058847$395F0C47-9A4B-4913-84B1-66655768A28C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bcaa85f15c8a202f518d913e72f57148d074a43","datavalue":{"value":{"text":"DAL -- a logic for data analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1058847$0FC98CD5-9D59-4525-857E-54177001CE69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b91a90e7e42c2434836931f0d3836195aa6f528","datavalue":{"value":"0565.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058847$052566D1-B01A-4E0E-8598-4210E5CF0F08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf90f44a9795b93a9e1882c84df8344e45df88a0","datavalue":{"value":"10.1016/0304-3975(85)90046-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058847$0E3F0025-F9D2-4A31-81EA-587B2B102552","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":"Q1058847$4D3AC424-5F85-4EBD-BBCD-12570AE541B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1058847$67C6A030-0692-4AD1-8E9B-73DFF03CDAD1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b695fb7a6e3b75066ed472ae641bb12c6d7619a6","datavalue":{"value":"In this paper we present some ideas how to analyse data using logic tools. We define a logic language for expressing data analysis problems and we develop a deductive system for the language to use proof procedures to obtain solutions to these problems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058847$EEAE7E17-20F0-447A-9E01-5FC7338FD5B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058847$2062737A-6FE3-46DB-846E-B207B500063E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b0b26edb1234436f874049cedc423a3d7d71446","datavalue":{"value":"3902025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058847$86DE6FB6-8B5F-4A94-917C-F0FEE0194161","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b29904b42e3d1138919cde0e48d8fd65f6aad46a","datavalue":{"value":"reasoning about data","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058847$F6040FF2-1CBF-4F40-8EF1-EA2C44190CAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5d81225bab06711ff25835b9a7685484694bbb1","datavalue":{"value":{"entity-type":"item","numeric-id":266879,"id":"Q266879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058847$D96A7366-4BAD-47BF-BF3E-D8416D168FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f176c57a4367ad5b382cbda8b83dad6c2cfec594","datavalue":{"value":{"entity-type":"item","numeric-id":213236,"id":"Q213236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058847$A835EC80-1E1B-4395-A436-621CDB3A97CD","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":"Q1058847$F89477CD-9A93-428A-9D84-8131B2C6A157","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"052ed3bcc1c7c1a0d8989560bc9a92371d333085","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90046-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1058847$0FC8717A-F9F0-458F-BD0C-563F79CEC3F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b26e46d4c8ad2c62b0df6341246b2d29e08dead","datavalue":{"value":"W2060671215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058847$F8CB7893-CF68-485C-88AB-2D79213A2954","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e2c4119bc6d57a282f52405ae65410a23c9ee32","datavalue":{"value":{"entity-type":"item","numeric-id":4051417,"id":"Q4051417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058847$CD6CB6D0-586E-4C5E-AF5C-AF8B3E6620F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba65ca8dd2b53fa8b575cc42d2504e6a116befe","datavalue":{"value":{"entity-type":"item","numeric-id":4748126,"id":"Q4748126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058847$0DB1388F-A5FB-459D-824D-AE2DA73CD59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"708c16c992ac9ae913751668c8dfd03823b652a4","datavalue":{"value":{"entity-type":"item","numeric-id":1219553,"id":"Q1219553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058847$A5E0D540-0305-4E77-B94A-74AAFBD624A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058847$B8F6D382-C4D2-4BAA-A80B-9437C05F06C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be7c2d0e757c9f54d53d52bcfc35c2df4a42adc","datavalue":{"value":{"entity-type":"item","numeric-id":3947646,"id":"Q3947646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058847$9FEFD9E7-2AE5-4E84-884C-190E5FB11647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f99ee0e05cafdc6ecbb3b65f4f0eeed921f90c1a","datavalue":{"value":{"entity-type":"item","numeric-id":4749250,"id":"Q4749250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058847$1E873422-CC4F-4F8E-802D-C60A24BC268B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92934696e4e51b6db1fb2cb745450bb12eeb5c51","datavalue":{"value":{"entity-type":"item","numeric-id":1152957,"id":"Q1152957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058847$45807AD5-8B38-400D-A1FE-56BFA0F14F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82bd738f2843188e675b23c6e0f6300cf1c1d2bd","datavalue":{"value":{"entity-type":"item","numeric-id":3967078,"id":"Q3967078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058847$522FE523-512A-459A-BDC6-4403D77D1474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cbf38ff403c9b62276322b1a9d07f2835b04542","datavalue":{"value":{"entity-type":"item","numeric-id":3741404,"id":"Q3741404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058847$383AA97E-D720-43EA-B08E-E9A4D5A38FC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15c16bff5a3147d3177cd67bd5fa73b7e645fbd0","datavalue":{"value":{"entity-type":"item","numeric-id":4713372,"id":"Q4713372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46720cc5379d4329f56046c5deae4950177a975f","datavalue":{"value":{"amount":"+0.7672963738441467","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":"Q1058847$C37230A8-578E-4E0F-9A22-DC1D9B8478FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9276dca6934f62fb2f602c25c1ca7f9e28ca477e","datavalue":{"value":{"entity-type":"item","numeric-id":4845026,"id":"Q4845026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a59b91252ea09687a0907b037cdddfabbe4bce0b","datavalue":{"value":{"amount":"+0.7667868137359619","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":"Q1058847$87B705E7-D604-4EF6-BE70-6C1028BD6B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"884912a7f01f8251e02e172b6e13fb72bfb9d15c","datavalue":{"value":{"entity-type":"item","numeric-id":3340205,"id":"Q3340205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50d39a080eafdab493bf0fca8a0d71e329e2971","datavalue":{"value":{"amount":"+0.7479013800621033","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":"Q1058847$508D8277-4B8F-4E54-8F43-F144D24C34B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc121f362e7cd3d2a7f37f607a0060c5a4212314","datavalue":{"value":{"entity-type":"item","numeric-id":4375804,"id":"Q4375804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"600ad734724198be3e328bf7c393634e8c970cc7","datavalue":{"value":{"amount":"+0.7304759621620178","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":"Q1058847$AA1B6C43-CBC2-402C-AA58-7D4937EC7BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f071d5be6338bff47b41dec3f2bd17c0e9534542","datavalue":{"value":{"entity-type":"item","numeric-id":805610,"id":"Q805610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75bd5c3339fe0267bb1585c1a01d51e43190ce4c","datavalue":{"value":{"amount":"+0.7200596332550049","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":"Q1058847$06FC4EB1-B1F5-4A5C-9E7F-1DC0F658ABC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"DAL -- a logic for data analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/DAL_--_a_logic_for_data_analysis"}}}}}