{"entities":{"Q733569":{"pageid":735418,"ns":120,"title":"Item:Q733569","lastrevid":63928191,"modified":"2026-04-11T16:29:46Z","type":"item","id":"Q733569","labels":{"en":{"language":"en","value":"Methods and algorithms for verification of knowledge bases in integrated expert systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5617143"}},"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":"Q733569$4B871B64-F7F3-4A4E-A549-7A3766427DC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58b8c441cb049f0fe1b015ab2e6c29c1f4b6f2a7","datavalue":{"value":{"text":"Methods and algorithms for verification of knowledge bases in integrated expert systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q733569$0E0317F1-3B08-4A6E-A56D-61D4E33C5BF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b0c87955f8df0be406acea0d508f056e985d5fd","datavalue":{"value":"1176.68209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q733569$5174D07B-45A3-469C-B6A7-9D60121FF274","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"895b2fb9c8a1f65edfcfd477de756c0ad021c207","datavalue":{"value":"10.1134/S1064230707040090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q733569$89CD56BA-7B0C-4EFF-8AE5-738B3B9BCDE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"547a70f32038f5698afdc474eeef7f9e925fba61","datavalue":{"value":{"entity-type":"item","numeric-id":699184,"id":"Q699184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733569$BB8AE5BC-4811-47AC-B5B1-4C3EAF276927","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cf25ce818b85bb8b10c5d233e02ea9e0a830581b","datavalue":{"value":{"entity-type":"item","numeric-id":295575,"id":"Q295575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733569$2F0F507C-FB6A-4DBF-A9A0-26E93491AE46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6aa0081561418a11d17268add21f5937b0595c","datavalue":{"value":{"time":"+2009-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q733569$BBC3A4BA-C625-4A4E-9088-0BCF7BDD53B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q733569$31BBD126-11FF-4022-ABA0-B9C981103DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q733569$788D4951-D73B-426A-8944-3EFB95411677","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee56565f9347e2e528fe31dff843f960e531425c","datavalue":{"value":"5617143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q733569$878EBBB8-F5B2-46A7-8217-ABEFB4CC8D62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea3d929d06bed1d2f17aab1dfdbd462ad30bada5","datavalue":{"value":"anomalies in the knowledge field","type":"string"},"datatype":"string"},"type":"statement","id":"Q733569$2470BD58-F80D-4045-8D56-BAD42187F3B2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c0a6e66f1c7f968a4db7fede9c8a4dbc6f57e5f6","datavalue":{"value":{"entity-type":"item","numeric-id":14237,"id":"Q14237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733569$AC259186-EDB2-4E60-8553-0DA97142AA42","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":"Q733569$5A45F8BA-04B0-4932-8815-4804FD7C9B5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ead758fab9eddcb7838886b0a22675e4de6bfe6","datavalue":{"value":{"entity-type":"item","numeric-id":1387048,"id":"Q1387048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733569$692D10E8-12B5-4591-BC35-277A25153D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a18bb026bbd31d5ce10498e13675868b55f5ea3","datavalue":{"value":{"entity-type":"item","numeric-id":2566415,"id":"Q2566415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733569$4A2178B4-B33E-4F59-8C35-3320F950886C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1677f99b5e8e976bc06c6c67fe9d193ac2825401","datavalue":{"value":{"entity-type":"item","numeric-id":1900815,"id":"Q1900815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733569$28C6EA9D-3EDC-4E19-B7E5-E21EB9149C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2afb02f5245ca473f5b73d854ecd0e4362e6fd0","datavalue":{"value":{"entity-type":"item","numeric-id":3805953,"id":"Q3805953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733569$0867E3A4-2564-4D22-B45F-00CE22CF2301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9c6e16b6800c67acc3e26463a588d9636f58157","datavalue":{"value":{"entity-type":"item","numeric-id":5687953,"id":"Q5687953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733569$7979B341-4608-45A3-8ADD-81147B949B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70ed332040370268ba96bc06a719e6ca017f728","datavalue":{"value":{"entity-type":"item","numeric-id":1274681,"id":"Q1274681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733569$10163594-6405-4C54-A6BD-5103C92CEBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee600e1037bcafdd41a97848009cecbb20963319","datavalue":{"value":{"entity-type":"item","numeric-id":2488168,"id":"Q2488168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q733569$462EBFEA-DA3E-4930-8FE7-F8B9BB8E41AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0369e9463dfcd68627a76c0b4fb3fc11f11f3dd3","datavalue":{"value":{"entity-type":"item","numeric-id":3623852,"id":"Q3623852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3092c6ca027c14a5eb2d05d1fa4942d23bc641d9","datavalue":{"value":{"amount":"+0.8023864030838013","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":"Q733569$94CAC121-DEDC-455A-B200-ADAC1FF07E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fe5c2c2935b2ac904c280ef20c43f0cfd36493b","datavalue":{"value":{"entity-type":"item","numeric-id":2729698,"id":"Q2729698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"880d49b0794ed68adaabae72b5fdb096c34d1cd5","datavalue":{"value":{"amount":"+0.7847434878349304","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":"Q733569$2824758B-5DE8-4F6F-A88C-3BAAA2D8C0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"725df4647d3cffc85c4a0488e24432dd8dad8b12","datavalue":{"value":{"entity-type":"item","numeric-id":2739003,"id":"Q2739003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105bd9655b4b0f77c937a51a2513df062b4d0c14","datavalue":{"value":{"amount":"+0.764237105846405","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":"Q733569$D7CA0A15-BC28-4517-BB8B-63AD8AEFBE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"610965b7807636e70f24cbe261e4450070b4a3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3126787,"id":"Q3126787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f2f2cb3df5358210037ae30da741fa0edc746d","datavalue":{"value":{"amount":"+0.7578538060188293","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":"Q733569$7B284FD0-7559-4C25-AA45-256A5CFB1FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81edcbe5b597922a71f0525584e5af205e50f134","datavalue":{"value":{"entity-type":"item","numeric-id":5938761,"id":"Q5938761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f2f2cb3df5358210037ae30da741fa0edc746d","datavalue":{"value":{"amount":"+0.7578538060188293","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":"Q733569$C79A82B6-029A-4B06-888E-4C4147559037","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Methods and algorithms for verification of knowledge bases in integrated expert systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Methods_and_algorithms_for_verification_of_knowledge_bases_in_integrated_expert_systems"}}}}}