{"entities":{"Q1400054":{"pageid":1410794,"ns":120,"title":"Item:Q1400054","lastrevid":70334469,"modified":"2026-04-13T14:04:39Z","type":"item","id":"Q1400054","labels":{"en":{"language":"en","value":"A programmable approach to maintenance of a finite knowledge base"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1963348"}},"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":"Q1400054$BC51CEEF-E727-4500-82D0-D7819F035755","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db0d31ef2bf87c3509d393514b3473d9c9648f3c","datavalue":{"value":{"text":"A programmable approach to maintenance of a finite knowledge base","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1400054$A488754F-198E-4330-BF1B-338E8662F319","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47b407fb33d66766f4f4336b1b6d385f7f28269f","datavalue":{"value":"1025.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400054$74884512-C95A-441E-9944-DA9E732F85E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a19e8dc7fce972d08e2f60199e19f62d2deea5eb","datavalue":{"value":"10.1007/BF02946657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400054$ED91996F-9D19-486E-BF5B-E90CF27921A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7b3ebf4ac97b0d8d1ac329b9977e8a8c87c3ce5","datavalue":{"value":{"entity-type":"item","numeric-id":351017,"id":"Q351017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400054$160DF648-BE00-432E-8FBF-E0B2B12FA94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01526c02f28b41b9f3a3d1a59e1a780221c30cdd","datavalue":{"value":{"entity-type":"item","numeric-id":866188,"id":"Q866188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400054$5D706908-BA14-4B3D-8F1D-78D1ECADC293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bf4b1bf94036b5252d1b8d5cd4b3a1ff96c3d77","datavalue":{"value":{"entity-type":"item","numeric-id":866189,"id":"Q866189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400054$ADE073F7-B37B-4B83-AC14-A73E979D06F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400054$32636058-C135-47ED-AF79-8B8ABC276BD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8cb865adec83a83fbad4bf48440b81dd66fe0c6","datavalue":{"value":{"time":"+2003-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1400054$C23C3F99-90C3-4715-BDB0-3BA822A11F1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400054$C6E4EACC-1353-4C98-9805-29736A7E2308","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2920968b98e64ea5eeedf241200aecf8f3daf40f","datavalue":{"value":"1963348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1400054$5FE71A87-4646-4136-9ED1-FA6A6CD1FE06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"583935ab44f622bea2c94a4b33e576e16dc5e00a","datavalue":{"value":"knowledge base maintenance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400054$585972F3-4834-452B-A900-1B13CBC93D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400054$A3C709F8-9E26-41BE-B92E-9376327E24F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400054$1B22529D-7E84-454F-A60E-F26ADF69FD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b10f6744ff4fab2aa2deec668f67bc72c0b30df","datavalue":{"value":"clause set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1400054$C1A408A0-4423-4FA0-AC01-C45F7FE06D87","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":"Q1400054$90F9B310-D62C-42F3-919F-530E14F67BCE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64400c8a21f954d4d1e64a4e4ad36dc3d3174f52","datavalue":{"value":{"entity-type":"item","numeric-id":1103419,"id":"Q1103419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400054$4704109B-18E2-4316-A629-8960DBF63573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d4601a7a68daa38eb0a1fd1c184b4a6ff2bc10","datavalue":{"value":{"entity-type":"item","numeric-id":5750466,"id":"Q5750466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400054$1435E8C3-ECE7-4539-82AB-DEFBB9397294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400054$B81CB60A-5AF9-40FF-A5B1-12D03B4A6AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17346a948e93ca0127d7c9f941e453c6f4645fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1399119,"id":"Q1399119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400054$5080867C-61E9-43E5-8D2C-EEB1ED05AA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1400054$7ADF1DE3-E6CA-4394-B102-643E1453AC29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43e3647417e57a23045db5321fc213aee2b6ae7a","datavalue":{"value":{"entity-type":"item","numeric-id":866190,"id":"Q866190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a44433c57653302389fa578cc19b46f8bbb6e23b","datavalue":{"value":{"amount":"+0.91923165","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":"Q1400054$E50D6585-7C89-43EC-A803-3F5FD253A256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4296697b1ebd8412dc125e2089c4038f7beeb29","datavalue":{"value":{"entity-type":"item","numeric-id":4450849,"id":"Q4450849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25b07620f056b4878f912a56b0269b634ac2f912","datavalue":{"value":{"amount":"+0.90536636","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":"Q1400054$C6D3FF48-5FF3-4181-B39E-904C350C6AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ee122cb757a95a6b2d405c0c04c4062fdff7263","datavalue":{"value":{"entity-type":"item","numeric-id":1894319,"id":"Q1894319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c9a24d000d14959740c5f8395739e09a59b8cb7","datavalue":{"value":{"amount":"+0.8958471","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":"Q1400054$A6825B74-6172-4A96-ADBF-3E11E4D6E571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8c304e954cb99e5951e1c48dbbcb1a8ffdefe35","datavalue":{"value":{"entity-type":"item","numeric-id":4535502,"id":"Q4535502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"523b9a7350ddf60170f0bf8657624ca2a83c74b3","datavalue":{"value":{"amount":"+0.8849258","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":"Q1400054$C978E77A-4E44-48EF-9E47-AACD17AA9EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe0c3a381c041fbe2eae2b39a48dd6b99033b8bd","datavalue":{"value":{"entity-type":"item","numeric-id":4287508,"id":"Q4287508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af16ee2bf0307b2b6ffe6b2a97edd5359c9018fb","datavalue":{"value":{"amount":"+0.8528189","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":"Q1400054$EC249204-D8E6-48E3-8DCE-7384266DD3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad52147376918f5c2cec1f25480cd6cfb416a5dd","datavalue":{"value":{"entity-type":"item","numeric-id":702532,"id":"Q702532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58c7d4b2a38a7abd102983a2e1dca4b24b2a10d","datavalue":{"value":{"amount":"+0.84970796","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":"Q1400054$565D4B56-E3B3-4924-A0BE-4E3FE3B692A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a3c572c593efd2a88f8d89d9c807808c5d9b86b","datavalue":{"value":{"entity-type":"item","numeric-id":5137901,"id":"Q5137901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14c0ce5ea2877748a9f8ea69bbd8984fe0ce8d77","datavalue":{"value":{"amount":"+0.8477239","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":"Q1400054$8B323380-55D9-469D-9AE9-22ACCA0D0EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa1d51ca7789620f02180f770d057c49bb603cb","datavalue":{"value":{"entity-type":"item","numeric-id":4835515,"id":"Q4835515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8461318685b331f90460151a5a692bea49413fd3","datavalue":{"value":{"amount":"+0.8468402","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":"Q1400054$52278259-ABB8-4F9B-A32E-49D9AD83FA47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68ad931628fa50c70b30e922abc60d9274e98a8","datavalue":{"value":{"entity-type":"item","numeric-id":1331921,"id":"Q1331921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29b3e2a26b1ab111df589a4ac76bd14e4ecdd161","datavalue":{"value":{"amount":"+0.8463148","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":"Q1400054$B443DAC5-AD78-4679-BD28-65932B2F34C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A programmable approach to maintenance of a finite knowledge base","badges":[]}}}}}