{"entities":{"Q3457205":{"pageid":5236605,"ns":120,"title":"Item:Q3457205","lastrevid":58180590,"modified":"2026-04-04T03:21:41Z","type":"item","id":"Q3457205","labels":{"en":{"language":"en","value":"Verification of description logic knowledge and action bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6519585"}},"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":"Q3457205$C82F297B-C49F-4725-88B0-9F752F27C8FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7ab5943d1560f6ee7e19424f0f70eccc5575550","datavalue":{"value":"1327.68272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457205$43E05F6B-F952-4D1C-BB86-AD7DD37938E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f41a9bac9949ecb1ccf42bd0362d150202b9ee81","datavalue":{"value":{"entity-type":"item","numeric-id":3457203,"id":"Q3457203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457205$B5C12A6B-CA94-48D0-8568-509795226DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68917332de83c1094eea5c37873949ca8bca3c10","datavalue":{"value":{"entity-type":"item","numeric-id":309908,"id":"Q309908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457205$F7009BF4-724F-41FE-8464-C93BF413903F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2099869b514aeb1a2ed840658681e19bf61d79e","datavalue":{"value":{"entity-type":"item","numeric-id":286404,"id":"Q286404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457205$73033947-1AAE-4451-81CF-DF04AEA0637A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3589c6bd4f7cbef5f8402fb04e69d65bf48406e6","datavalue":{"value":{"entity-type":"item","numeric-id":3457204,"id":"Q3457204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457205$A11597B9-1EC1-4732-82F7-BFA396F8EB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c33a0c1c63a546b886c299a97fb8cba0ab5909","datavalue":{"value":{"entity-type":"item","numeric-id":2060722,"id":"Q2060722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457205$B1D2E264-F55C-4D5B-94D8-D02FC962A473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2438f2b6b194cb9371720fd634318f5f271f2f6","datavalue":{"value":{"entity-type":"item","numeric-id":315289,"id":"Q315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457205$2EFEC886-2917-4D91-B648-C06D6F528A45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3457205$361DA293-D9BB-41F6-A806-5C6C784B00AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5ec69be0aced80d59ae137af22589ff85a86b3e","datavalue":{"value":"https://arxiv.org/abs/1402.0569","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457205$1115567E-CAF2-4C0B-ABB1-21A912E9A7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"c119a0b7e52d4df1a8d63ec4c058b0eca339f297","datavalue":{"value":"http://ebooks.iospress.nl/volumearticle/6956","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457205$0233A7E2-B79D-42D8-BDC2-6D321C57A90C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457205$2A23DFE2-E65E-4C82-A089-16597A21B91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457205$DEBA9856-DDA2-4FD0-A535-2053BB155A69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2ba81cc2e080b40011c00d3eab27f9b9349c3f1","datavalue":{"value":"6519585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457205$8B42B08B-617B-4390-9366-3BF747AC439C","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":"Q3457205$80237779-4352-4FF3-AD01-174988DCDF87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72edfbadf17d190d565f20d6c588bcb311be0a04","datavalue":{"value":{"entity-type":"item","numeric-id":4917617,"id":"Q4917617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8236340170ea55151a0880a99b2112cdf5684dbf","datavalue":{"value":{"amount":"+0.9584373235702516","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":"Q3457205$0CFB91B6-3D73-4A56-88FF-67ECAE1E00BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"999ef1e86e738196c3b710def534e84528a1f608","datavalue":{"value":{"entity-type":"item","numeric-id":2938518,"id":"Q2938518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b0b903efabb13f491718498347df2853b11e43","datavalue":{"value":{"amount":"+0.8721957802772522","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":"Q3457205$A2A7B082-CAAB-4AB7-8659-A5FDDB9A0245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5228db7ab2ea33a78e3be2b5161bf51ec516187b","datavalue":{"value":{"entity-type":"item","numeric-id":5740438,"id":"Q5740438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aaed051503effbbc76984d3081184f1f394f203","datavalue":{"value":{"amount":"+0.7856115102767944","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":"Q3457205$14DFC52C-DE5A-4D05-9CDF-39ED8E496A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed5bf3bc70bd1b35f6270c077fcb7735ba7139a7","datavalue":{"value":{"entity-type":"item","numeric-id":3533138,"id":"Q3533138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da8a47aa04c636052a75f4bbeaca81573861ee48","datavalue":{"value":{"amount":"+0.7787154316902161","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":"Q3457205$9D5B5475-F915-4D88-95C6-909C26BC536C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14f1b02de7529e52af294073ad0e83d67b88bf7","datavalue":{"value":{"entity-type":"item","numeric-id":2999106,"id":"Q2999106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb6bf8f02dfbcaa2f62e0437259cf361c821db1","datavalue":{"value":{"amount":"+0.7749252319335938","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":"Q3457205$97F8BED9-DA65-4C3B-99D6-3FEB7C938D3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3457205","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3457205"}}}}}