{"entities":{"Q1380407":{"pageid":1391147,"ns":120,"title":"Item:Q1380407","lastrevid":46960284,"modified":"2025-12-25T22:43:38Z","type":"item","id":"Q1380407","labels":{"en":{"language":"en","value":"Consistency checking reduced to satisfiability of concepts in terminological systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1123683"}},"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":"Q1380407$802C6BDF-873D-445F-AEED-C6A46F61222C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16da11adf31161c969f15c0eacdb205dd29d0eff","datavalue":{"value":{"text":"Consistency checking reduced to satisfiability of concepts in terminological systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1380407$53BE306C-6454-4E8B-BB06-88A65481546B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a303bda8147ee6eedc51f3433e2546516e41efe","datavalue":{"value":"0892.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380407$89501917-2F6B-462E-A74E-132CEF52DDA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9abd54886f225fdee8d65f0205fc9f22f7ada086","datavalue":{"value":"10.1007/BF02127745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380407$375981D8-4D94-4673-906A-A7A08F7CA026","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70712101ba28c2e9d3294cd1fcc7f603a01e3064","datavalue":{"value":{"entity-type":"item","numeric-id":989169,"id":"Q989169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380407$52F94C52-7B86-4C05-8C4A-BFAB2DD99C37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380407$75722286-D360-4848-AA79-716DB3A5BAA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50be06f6d092f252de9c2eaf3f0ef4dc9d82808c","datavalue":{"value":{"time":"+1998-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1380407$EE128E5F-FF95-4933-B169-A9BFACFF5388","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380407$D61CFCB2-AC27-47F2-A942-1D35DC6F4B30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90c64875673a18c602ce50004ea83894d142eee7","datavalue":{"value":"1123683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1380407$2DDC3097-EDD1-4C1D-846C-447A1F289D2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12f6a00eba1a46bcec75d7ac0212de7845fcd922","datavalue":{"value":"inference problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380407$B02DA7EE-AC84-43B6-BD2F-9F82253C43CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2864d1b6870ef2699e5e1958be36cb181ba7244","datavalue":{"value":"knowledge representation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1380407$B4287EA2-B242-4A32-8EC8-8BEE8300EE4D","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":"Q1380407$8126CBBF-9015-40D8-9600-C9C3FC9898BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"327a189a3a4dd20b1eeabae77cd3ca357f06161c","datavalue":{"value":{"entity-type":"item","numeric-id":989170,"id":"Q989170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380407$A4825467-3BEF-4668-8CF7-F3C1FA6D9ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61d3ce48e7d77ecfa87abeda8a08d36489d987a","datavalue":{"value":{"entity-type":"item","numeric-id":4028788,"id":"Q4028788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380407$C00A9BEF-F6E9-4031-AAC6-08E154F88FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff657c8eb0a0f51a9cac1878fc9d3b1b7b43ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4305351,"id":"Q4305351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380407$1135AB58-8830-49D0-8056-465BBCBF8875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063e7e857c48cc1eb631926e98563605e4f4c2cd","datavalue":{"value":{"entity-type":"item","numeric-id":4028805,"id":"Q4028805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380407$3CAFC3DE-53EC-4E46-9C62-8F226DB79EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0438a5bdbbcc507f5e0e924c0d9f63e96e8480","datavalue":{"value":{"entity-type":"item","numeric-id":5740435,"id":"Q5740435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380407$37A8E788-9CD6-4C87-A181-D806F5F727AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb49e3dd1819a074fe65ada398ab3d73a669dcd7","datavalue":{"value":{"entity-type":"item","numeric-id":1188644,"id":"Q1188644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380407$C196A034-507C-4316-921A-B0E39BA3E3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4269cc2603fa09c659096d281ccf8413d4ba0983","datavalue":{"value":{"entity-type":"item","numeric-id":2638816,"id":"Q2638816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380407$6C17657D-D822-4ACF-A116-B97B31310985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd51f1c6280ee563c7d7711ba8b53a0f27185742","datavalue":{"value":{"entity-type":"item","numeric-id":749235,"id":"Q749235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1380407$0BB4FC6E-5995-448A-820E-C4B571CED09A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f44092a0cd202ffed376edb3ac8351bafb1c9bd","datavalue":{"value":{"entity-type":"item","numeric-id":1363785,"id":"Q1363785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8654f3707ed93d8e41ddc946464288378be259a0","datavalue":{"value":{"amount":"+0.8065549731254578","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":"Q1380407$E521657C-89C4-4E93-938F-955D8968154F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"051b3b7e3c4eebe35edf414675e752b3b47a1bb0","datavalue":{"value":{"entity-type":"item","numeric-id":4028788,"id":"Q4028788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbaa539df36d247d961d5b184954473cf338cf26","datavalue":{"value":{"amount":"+0.786747932434082","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":"Q1380407$E74A88D0-D7A6-4CE2-A5D8-208089EEC1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61545a961d772736d31e220bbce38e1f6580006e","datavalue":{"value":{"entity-type":"item","numeric-id":4428317,"id":"Q4428317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf0af229a18c66d517c6f325c4a0a387a4fe8d3f","datavalue":{"value":{"amount":"+0.762014627456665","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":"Q1380407$A1EC0CAD-5EFA-4A64-AE64-5D3AC682D921","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1380407","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1380407"}}}}}