{"entities":{"Q3820061":{"pageid":5849967,"ns":120,"title":"Item:Q3820061","lastrevid":87743393,"modified":"2026-06-04T12:32:19Z","type":"item","id":"Q3820061","labels":{"en":{"language":"en","value":"Deduction graphs: an algorithm and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4092828"}},"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":"Q3820061$A04ECD5B-D8F8-4634-8DD1-D1D83EB4E4FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7a37f4a77df5bd6cd53cc3bcffc53f3ffdc90a1","datavalue":{"value":{"text":"Deduction graphs: an algorithm and applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3820061$A9C9FBAB-138B-418F-82CF-5C3B90D3BBF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7546891fc25c578175b3c7e7c58c297450f246af","datavalue":{"value":"0667.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820061$39ED9AFB-52E6-4E1E-8BBD-87169F0E5FDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a7424cbed1a00200ed2fa133e19b662e6a39272","datavalue":{"value":"10.1109/32.21726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820061$8DD0EBB6-5E98-47E0-A354-F99B7B575F09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"059df21e7cf8141531910d3976aae45143e8a548","datavalue":{"value":{"entity-type":"item","numeric-id":3682516,"id":"Q3682516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3820061$364740E9-A12F-492F-A5E6-998EF0E2A07A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"220b294d2d3a2e498b04ba0341eb4d18d93bc02f","datavalue":{"value":{"entity-type":"item","numeric-id":150608,"id":"Q150608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3820061$C79E75C1-17A2-4C9B-A13D-242BA4D685AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3820061$0BD18966-0808-4814-9209-0BD6A1E12924","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820061$0FA55F7A-2B3D-4CC8-8845-2A9463774FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820061$1ED6BEF5-52E9-4494-9C45-738CEE8CFCB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820061$563AC4C3-D320-4CDE-B315-C32599854087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820061$3F4BCF3F-E5E8-4FED-B5E5-66D1D10B9551","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f61db481f275a6d8c885c87b9a1cbc2897bb815","datavalue":{"value":"4092828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820061$281A05D3-EA42-4A50-BA6A-939557C09DEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcb37d1ec5d0a150e6a9c3250a074d0703212a62","datavalue":{"value":"resolution-refutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820061$4AF0A669-B537-401E-A995-A36E04E8B21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fefb0a256282830a8f0578e7a1e60e221743807","datavalue":{"value":"deduction graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820061$23070A19-43E1-4972-8EBC-51AD8F2787B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c1cdec68f6f531065eeae64be8360df19d70183","datavalue":{"value":"functional dependency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820061$9A581EB1-5B18-44CE-A3D0-96D6F3C2ECCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820061$F748AE8A-3E66-40AA-81EE-BE8D54B9870C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74473800caa00ca2354e3822045142f9adaae316","datavalue":{"value":"relational database","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820061$D0087AC3-9393-433B-9293-18AEC180E540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"035ab4f7bd2cc0ce30ba1ef510b929a747bde4a7","datavalue":{"value":"expert system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820061$70980826-17E9-49F6-B2E3-BB465DDAC7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820061$43A8F6CC-449A-4AAD-8A52-225B1DCE898D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cbbe3aacb0282d348cb5e7d78e394a1a6097ce","datavalue":{"value":"inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3820061$2AD8663D-EE99-4D3C-BCDE-08E48213D709","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":"Q3820061$178F518A-5798-49C2-8A90-ED8D7BDCACAE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f76bdfefe2d9ee58de4f149d3da8cbfed50d89b","datavalue":{"value":"https://doi.org/10.1109/32.21726","type":"string"},"datatype":"url"},"type":"statement","id":"Q3820061$D1B1DF7A-D9FB-4EA2-83AC-79EF6620CD30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34a95f4a0f897bbe7794035a630db7fc6c1f414b","datavalue":{"value":"W2056901982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3820061$5483DECA-FF8D-4458-9BD3-8589E862FC8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b336881e88a172fe9b20e27081d5cc386900efe","datavalue":{"value":{"entity-type":"item","numeric-id":4302937,"id":"Q4302937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ee5f6e21734145141f61d485494415210fa773","datavalue":{"value":{"amount":"+0.90318847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3820061$F9E2D90E-5C3A-4CA1-BB31-7088B40E4FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d05a4501121dddb9c9da0e51dc951d70bb8957","datavalue":{"value":{"entity-type":"item","numeric-id":5308097,"id":"Q5308097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d9a32ff319e43b7970dacb70fb80aba4cdb28b","datavalue":{"value":{"amount":"+0.89019245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3820061$00A73BD5-6E79-41E2-B4A7-FE7741CF742D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6681b4dffa96da1c38847db027c17144419786a2","datavalue":{"value":{"entity-type":"item","numeric-id":2870317,"id":"Q2870317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab04e583cf725761b19d0ff89d4cee0cc5d06e99","datavalue":{"value":{"amount":"+0.8879188","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3820061$8201B09E-7C6B-4732-9E4D-0E768E79DA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e687553961f2121c52aedafb75ef04d6e47ed27b","datavalue":{"value":{"entity-type":"item","numeric-id":672050,"id":"Q672050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9a8d55fbfdd472171b8a27a4aa532c8136c3b44","datavalue":{"value":{"amount":"+0.88711107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3820061$4F55A798-DE9C-48DB-A172-47BC47DACDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24be2610ba2609058f624d46a50adcac6f74e951","datavalue":{"value":{"entity-type":"item","numeric-id":4868260,"id":"Q4868260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a7695e7769ef546824faa41c0c8ecbb755f579","datavalue":{"value":{"amount":"+0.8783178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3820061$7C85D11C-A5B2-4114-9F04-32153D0BF683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c780fe8c35aab31441914456810cc5bb097a13","datavalue":{"value":{"entity-type":"item","numeric-id":4992401,"id":"Q4992401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820142258c9736004c5e60e772d6297a47397025","datavalue":{"value":{"amount":"+0.87797034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3820061$B37F0EDB-4ACE-446C-85A0-F4357D6EB29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14d2e9b3cab3aa68a9e66ed07aa68f9d45842a71","datavalue":{"value":{"entity-type":"item","numeric-id":4037312,"id":"Q4037312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed9ca5497b6d7087093b7c13278f2d08a9d70fa5","datavalue":{"value":{"amount":"+0.87489974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3820061$0445391C-E475-438F-83CF-61A8ABBC19AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deduction graphs: an algorithm and applications","badges":[]}}}}}