{"entities":{"Q911816":{"pageid":913664,"ns":120,"title":"Item:Q911816","lastrevid":65295687,"modified":"2026-04-12T01:36:59Z","type":"item","id":"Q911816","labels":{"en":{"language":"en","value":"Checking functional consistency in deductive databases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4143489"}},"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":"Q911816$4BB77543-7B05-4A83-BDDA-2B2ACDC1ADD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"86a7308cf19e78fcd64bf1c8d71dfec80056a06d","datavalue":{"value":{"text":"Checking functional consistency in deductive databases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q911816$F2A08B02-771A-43A3-AAD9-EEE36182F8EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"655925a3ca919e5d69eb80782a71dc207159bf6b","datavalue":{"value":"0697.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911816$592D44AE-BE55-433B-B94A-691C1490FC6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b3c8e97bdbf79307b098623de518019f3b52830","datavalue":{"value":"10.1016/0020-0190(90)90059-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911816$649125CF-9D80-4CC0-95BF-9F718213E217","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08fbbadb661b26dc73761925d8ae1cf105495bc0","datavalue":{"value":{"entity-type":"item","numeric-id":911812,"id":"Q911812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911816$6CB41828-190C-4A71-B11C-FA51DF5BB6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bfa0b0b2e5c68008fa63c27368f6516b153c4bc","datavalue":{"value":{"entity-type":"item","numeric-id":911813,"id":"Q911813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911816$C14D5C27-DC86-460D-A600-02602547344E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d6254a1ec92b65658007d02d9a6872d9e4e4429","datavalue":{"value":{"entity-type":"item","numeric-id":287752,"id":"Q287752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911816$68377F35-4F79-45A0-8EFC-82D7E8608240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6deef8e8e90af3889d4a2bd75b7e9edc5831d1a3","datavalue":{"value":{"entity-type":"item","numeric-id":911814,"id":"Q911814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911816$12E68CC9-0A49-41F8-8635-5FEC97336D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9150841bdbc9801c5fe90b0810b0c1e77f910c8","datavalue":{"value":{"entity-type":"item","numeric-id":911815,"id":"Q911815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911816$19DB22E5-DF03-4677-A9A0-656E38113002","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911816$27BD0A08-BB73-4A6C-85A8-C23CF62A3E0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q911816$6A6647F1-103F-4A86-BF54-A9FE6C830CBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911816$8D4C4D59-EB2A-4E27-BD2E-E2CDD8581A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911816$C7E136E8-B0FF-45AC-9CF3-293920F248D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911816$9E657F17-F42E-410B-AFB1-1C58D758D36D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a1eb62dbeca36b9069d07ca9303149c77f08548","datavalue":{"value":"4143489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911816$725572CA-6EC6-4A5E-9D0C-DCF106691D7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q911816$4602E2EE-66C7-468D-A86A-1383E96F3F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q911816$58503327-267C-4314-ADC5-FE83FEAF3AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40ac51148a5ff1725b32c3ce34af150283b22afb","datavalue":{"value":"Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q911816$1222A534-CDA4-48E8-8A34-4F161BC5A32B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911816$4A12DD40-82F1-4E74-976C-397757445340","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":"Q911816$EB8BFEF3-00F9-4156-8435-9293F91AE95C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed88ae9a502fb13db4f1ba58e8dac244d2f16f4c","datavalue":{"value":"https://doi.org/10.1016/0020-0190(90)90059-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q911816$96300AD5-BD86-4CC2-B2FB-D3DE6294E3BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fbe2be401e0b14412e5e498c49e5b8a344a23f7","datavalue":{"value":"W2029465798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q911816$C471A93E-B7AC-4D1D-A3F0-450E13B68F3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"223c5ceee549a94a8ba5c26ff64a6da011e42238","datavalue":{"value":{"entity-type":"item","numeric-id":4050122,"id":"Q4050122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911816$25F7C126-782A-487E-B4C5-402BC9F620C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15de68443c6db658394aa43626fb7e4321ee5323","datavalue":{"value":{"entity-type":"item","numeric-id":1978016,"id":"Q1978016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911816$E793D028-B5F1-42AE-A49D-3D0D4050A26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b00c51201f67e59e740260c694a944ba5779880","datavalue":{"value":{"entity-type":"item","numeric-id":5607609,"id":"Q5607609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911816$D459F132-60A9-4B6C-A38C-0B288FC4065D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4018fad7cd0690a6f39ba5ca5807e04b10ff51e7","datavalue":{"value":{"entity-type":"item","numeric-id":911816,"id":"Q911816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911816$D7D1D2E0-F5CA-4043-9307-221181CE33DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q911816$97C0B8E2-CF09-406F-814B-946DE636E5BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2108c9728678c996de8ce9db0c3fddbad25eb48a","datavalue":{"value":{"entity-type":"item","numeric-id":1862647,"id":"Q1862647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e149ce26a7499ae3adfd06fa53ac02f300748eb","datavalue":{"value":{"amount":"+0.7662423849105835","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":"Q911816$AF0746D5-181C-4C8C-AEBF-43EB72442258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f1259e684c25f8e04cd61bede83aaadc09d685","datavalue":{"value":{"entity-type":"item","numeric-id":2982016,"id":"Q2982016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e149ce26a7499ae3adfd06fa53ac02f300748eb","datavalue":{"value":{"amount":"+0.7662423849105835","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":"Q911816$8BC04CF2-42A6-40B4-90B5-009E291449EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de928cb5a9d79115c6b118ff316f0f68671049e","datavalue":{"value":{"entity-type":"item","numeric-id":1208438,"id":"Q1208438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b95784f8e5d92ce1e548e874d26871196e2dcd6d","datavalue":{"value":{"amount":"+0.7572250366210938","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":"Q911816$0463FF0A-0C35-42C5-86B1-21D9EB294583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a8ba472cd0065facc62cca288a82e968fef6ad","datavalue":{"value":{"entity-type":"item","numeric-id":2844062,"id":"Q2844062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a2226a0315f7280aecdf496392fa1fdf18b8394","datavalue":{"value":{"amount":"+0.7546114325523376","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":"Q911816$82766EAB-0921-4BDF-B022-E389B4D0DD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d7204a829a6d3782df49ffa27b01233bb97d324","datavalue":{"value":{"entity-type":"item","numeric-id":1338902,"id":"Q1338902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5426ee52c3740f45b52879fca57d53fd18596516","datavalue":{"value":{"amount":"+0.7474064230918884","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":"Q911816$CAC5694C-F2BF-4D7D-AEA6-3DFDB77C0534","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Checking functional consistency in deductive databases","badges":[]}}}}}