{"entities":{"Q3523171":{"pageid":5553075,"ns":120,"title":"Item:Q3523171","lastrevid":50441465,"modified":"2026-01-14T01:43:44Z","type":"item","id":"Q3523171","labels":{"en":{"language":"en","value":"A Formally Verified Prover for the $\\mathcal{ALC\\,}$ Description Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318940"}},"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":"Q3523171$F7767C6F-1A77-4455-BC08-62F5E82B6BD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34c99ca6f3e8fad64152a38306a49aee71c68f2e","datavalue":{"value":{"text":"A Formally Verified Prover for the $\\mathcal{ALC\\,}$ Description Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523171$8BB267D4-4958-4003-BA2F-4F8F18A4F818","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed23a5b3662ba8ddbf0453002ee4217b11eff9e4","datavalue":{"value":"1144.68350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523171$2F838277-4890-461C-969D-84E617286338","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6264d1b80740135dc32c2816b78203848ad8482","datavalue":{"value":"10.1007/978-3-540-74591-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523171$18415CD3-DAE8-4244-BC20-32F1429F7687","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc442b6d258731aa6f56db3b1030762f889ec8e6","datavalue":{"value":{"entity-type":"item","numeric-id":417948,"id":"Q417948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523171$DF3A2F67-2AE0-4F12-A58B-ACC1FD0DCF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"795c45fbb5ad046d671672dce36d0c6ede79a1e3","datavalue":{"value":{"entity-type":"item","numeric-id":394435,"id":"Q394435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523171$C96543FC-2504-4AD2-9B8C-AADE95440BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ab7d4636d237c78cfef4f47fdbac4805f8a7b82","datavalue":{"value":{"entity-type":"item","numeric-id":438549,"id":"Q438549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523171$9E10267B-7F32-4FD9-B654-CCE6B610F6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76b38168777167ff49199bd7f47bfebb8e51e498","datavalue":{"value":{"entity-type":"item","numeric-id":438547,"id":"Q438547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523171$4E26B3B7-B72A-49C9-BEBB-C4CA4BFC527A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c5989ab1028cea7e9ee7fb42127fc02a808a197","datavalue":{"value":{"entity-type":"item","numeric-id":438548,"id":"Q438548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523171$B3D7C90F-19DC-4836-B0BF-298A55DA1988","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523171$C3437440-0079-4DA6-A4DD-9E32934AB6C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523171$D3D3E5AF-5918-41B3-90E6-DA8C40E1FC94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523171$927E63F4-A00A-49AE-87C0-14F6EFEEFA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523171$0342D1B2-1454-44E1-A034-050009FDD81D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6af81972ea942f9ad7d859e3547719a1fc088474","datavalue":{"value":"5318940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523171$E2289BA0-2CCE-412E-A948-227DD1FE7AE8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9dc96d31725a42b8712b814e265dc136a76d4196","datavalue":{"value":{"entity-type":"item","numeric-id":21815,"id":"Q21815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523171$7922BB64-1E2E-42FB-84A8-7E73B818995B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523171$2EE7A97F-1979-4ACE-8130-B8B8B30A308D","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":"Q3523171$771A06C2-E8D1-4783-8D56-ED7B86F42F95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f753c0c8098455062d9d71af37fab4b41592b1ee","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74591-4_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523171$C80507B9-31C2-4F65-A8B4-055EE96070CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db9a0fd1599c4cf37de7902452042b627dc53b9d","datavalue":{"value":"W1929438219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523171$2A742128-9727-49CA-ABD0-DA4ACA40C880","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31681001248c0b55574e0f95a6f392c4e83ef367","datavalue":{"value":{"entity-type":"item","numeric-id":2351147,"id":"Q2351147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4e9104ba6e0f85641a021253a90c15d02d26b2","datavalue":{"value":{"amount":"+0.8791470527648926","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":"Q3523171$9C090BFF-C4DD-468D-9D90-279F48B5B905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c0b2287b6357d6207de98f90dab28e888bc637","datavalue":{"value":{"entity-type":"item","numeric-id":5475763,"id":"Q5475763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55a2866c728fe4f5ae2a87ab3f317542d7ce538","datavalue":{"value":{"amount":"+0.7818559408187866","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":"Q3523171$36B66BCF-01A8-4284-B460-DBF899F36BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8632ebe0ec5d28baaad85d52e2d9f5d382ae472d","datavalue":{"value":{"entity-type":"item","numeric-id":3638996,"id":"Q3638996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f0646c8b4f321719a06953f5862389ed3f6b9e","datavalue":{"value":{"amount":"+0.7731002569198608","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":"Q3523171$18D5231B-8C86-4A9F-927B-C07BB391EFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52fd28bfaf82097668fc1844ac0b57ab206ceb3f","datavalue":{"value":{"entity-type":"item","numeric-id":4809039,"id":"Q4809039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b0790f20dfbdc6af50f64dfd83cc568744f943","datavalue":{"value":{"amount":"+0.7713483572006226","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":"Q3523171$C8D83E8A-54A6-4805-8F63-01CD5153D9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ec1a54469d6f14e1f1fe29e595dc2322b0661b2","datavalue":{"value":{"entity-type":"item","numeric-id":5479264,"id":"Q5479264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38aef45a456a8b229610ff32276c2ee0082ae03b","datavalue":{"value":{"amount":"+0.7668953537940979","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":"Q3523171$2472C209-5C10-4DD3-AC44-8270256E7A6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3523171","badges":[]}}}}}