{"entities":{"Q3406686":{"pageid":3417389,"ns":120,"title":"Item:Q3406686","lastrevid":80404865,"modified":"2026-05-06T16:07:13Z","type":"item","id":"Q3406686","labels":{"en":{"language":"en","value":"Model checking using description logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5673418"}},"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":"Q3406686$B322F56B-D1EA-4CA0-AEC4-780184A96B7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89e135511b95b5c9e9fc72befac98821d490d747","datavalue":{"value":{"text":"Model Checking Using Description Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3406686$E3A6CBD6-567E-4C2A-832E-B48818ABD37A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6366c3889f520a56e39beee2ffa9712ebf877977","datavalue":{"value":"1191.68408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406686$624B2E95-4979-49BB-AD25-9C392EF96AC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a222b4bdb24a66472f749f6e714791fe85ebf5e2","datavalue":{"value":{"entity-type":"item","numeric-id":202472,"id":"Q202472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406686$C67CBB2F-C2B5-48FC-B71D-637195AE63FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5550b21aee483dbb24692a75c93bc496cb05eeac","datavalue":{"value":{"entity-type":"item","numeric-id":453515,"id":"Q453515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406686$40C9FAFB-2DB7-4022-BE89-5C60A9257D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9349158f4d9152c6d618bc99955c708601e9d593","datavalue":{"value":{"entity-type":"item","numeric-id":1342867,"id":"Q1342867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406686$14EB0EA2-C1BD-4E16-9DC8-3CF9F15A0238","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2009cf31b04258b52435dca8e437f90280925b0","datavalue":{"value":{"time":"+2010-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3406686$AA59D57F-1824-4714-BFFD-49E6CA769EB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406686$FE104FDC-4077-42ED-9052-8C5CC7FF837A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406686$BE6527B9-6BC8-4279-BBDC-279C040BA34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406686$871D6A83-65DF-4253-B341-0F5453A31C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406686$ABE48BC1-C5AA-4696-ADC8-FEBBDC7BABB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34dbb94e1afe9c9cf0c4782800ed6eaac68ca449","datavalue":{"value":"5673418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406686$392B98F1-1677-4370-B07A-74F4787C3CD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406686$D7B279E7-948B-4380-ABEF-D760151BE49E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406686$1C32BBAF-364A-4171-BF17-3FBC6EAAA645","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":"Q3406686$E0E22FDE-F88A-40AC-935F-805CD5AD3EBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d05b16d0a30c58d6a441d56b3b898f5884661b88","datavalue":{"value":"https://doi.org/10.1093/logcom/exn062","type":"string"},"datatype":"url"},"type":"statement","id":"Q3406686$DE2A1854-089B-428D-A6DE-8F2660F3B5A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b3d9230f8c69337b4a82d049d40176c9c246186","datavalue":{"value":"W2034609074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406686$3DEEEFBE-3CD8-4DF7-99A3-3B09912A663A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3261f251c37e49a7e32822c6e64259108ec290fd","datavalue":{"value":"10.1093/LOGCOM/EXN062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406686$0EDB80E7-2683-4648-A00A-49152DF13112","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406686$87C0FE28-5BCE-4861-8C91-6F15D0143F5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b019f5a5e69f2f99d4f021c202692243f5e20c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5434479,"id":"Q5434479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5a1b4771dd2ca80660d121a9600580bb81a2851","datavalue":{"value":{"amount":"+0.9137790203094482","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":"Q3406686$9A5AF6E2-596C-411E-B567-5BA7792026FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e9f3ef35e99eb67ae355651a6667f06c7d6246","datavalue":{"value":{"amount":"+0.7839389443397522","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":"Q3406686$7EDE0156-0C21-4213-9F5E-CAF25331A0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ca58fba2f3f6c452d2fc675d43a44bd6661103","datavalue":{"value":{"entity-type":"item","numeric-id":3146278,"id":"Q3146278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e9f3ef35e99eb67ae355651a6667f06c7d6246","datavalue":{"value":{"amount":"+0.7839389443397522","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":"Q3406686$48CD703A-1E89-49E5-897C-166FF05F9315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7143ee151dba9462ec01595aed23567cde2f9b00","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2510c4b25b5a0ce8889bce9f833e1f2bbf59768c","datavalue":{"value":{"amount":"+0.776092529296875","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":"Q3406686$975A99E5-6365-494A-92C8-CDF12190740B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04bdf0742bdd522dee8d4e004977de201c067fa6","datavalue":{"value":{"entity-type":"item","numeric-id":2369883,"id":"Q2369883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2510c4b25b5a0ce8889bce9f833e1f2bbf59768c","datavalue":{"value":{"amount":"+0.776092529296875","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":"Q3406686$109961D2-1EA0-4A40-BC2C-DD5B6897AFC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking using description logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_using_description_logic"}}}}}