{"entities":{"Q2999106":{"pageid":3009830,"ns":120,"title":"Item:Q2999106","lastrevid":45228238,"modified":"2025-12-03T13:15:04Z","type":"item","id":"Q2999106","labels":{"en":{"language":"en","value":"Verifying Properties of Infinite Sequences of Description Logic Actions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5887210"}},"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":"Q2999106$DD2D615B-6FC7-48E7-9546-DEB00083A022","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83da5fb51cf54350e6576114a45ad9f97e76cb66","datavalue":{"value":"1211.68394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999106$3E9DF91B-189A-4285-B092-38A8D32448BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5a8cd06a2a97f6c33909be95a526f8c7d066127","datavalue":{"value":"10.3233/978-1-60750-606-5-53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999106$AF5E500B-742F-4E81-8C3F-479A7209ED19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2c4752c8f1e89a2a24fdc7ec884cde4002ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":171404,"id":"Q171404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999106$61FA64C7-23DE-43CF-8A0C-9563097A7EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6221b27c63068bcb1fcf545e66f58e62c71e57a","datavalue":{"value":{"entity-type":"item","numeric-id":420806,"id":"Q420806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999106$27FBB506-710B-4A5F-AB7B-8BC817230D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79e362eca64d3710c5c1ab68a9f3bb84eacb36fb","datavalue":{"value":{"entity-type":"item","numeric-id":2999105,"id":"Q2999105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999106$96BFE62E-0937-4815-BBC6-DA5C720F547D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48dcea6cafeaa3b44f87e092d3e836e753750797","datavalue":{"value":{"time":"+2011-05-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":"Q2999106$9C02CB7C-8D63-4A9C-87D9-56A5F7241CDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999106$D06C29C9-9634-44BB-8A0B-EFB1C59E3682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999106$F479E925-5BCE-496F-835F-5868B12660F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999106$8EE22E11-29FD-4192-BDEA-CE1955A41B6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f27328942f8a0d55449bd04dc72400e5062e65a","datavalue":{"value":"5887210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999106$11BB8E8A-89EE-41B5-827D-E2A664E3021B","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":"Q2999106$BBCA50E7-A7D3-4465-A71B-0D1742F891E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74eb6aed18bab4738158c9b2a6b17e61ec0af5d8","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/ecai/ecai2010.html#BaaderLM10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2999106$43FC7932-0CEC-4013-9D31-BC668ECCDE09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbce49b26606138e7b66296a549d6f160086f1f4","datavalue":{"value":"W1624012751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999106$4A75C0BF-D93A-4E5A-8C6C-4E0FC6DB0D6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18964697726e07dc4f5985ac88ccea23e33cc76e","datavalue":{"value":{"text":"Verifying Properties of Infinite Sequences of Description Logic Actions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2999106$EB7CB77C-5AA1-492B-A8EA-E82B3553E32B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f516b9ed2077971be5570e7fd4db16464339ac29","datavalue":{"value":{"entity-type":"item","numeric-id":3457205,"id":"Q3457205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ed96a21ea23253da956323dea975d2afb0df0ad","datavalue":{"value":{"amount":"+0.8862654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2999106$A5157BFD-968E-4CD8-96F2-A12635B0BA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0143549ab0739cdae5b91cd5d47e09062d0cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4939270,"id":"Q4939270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"090a5e32575a12f245f6c4029302f44e145226b0","datavalue":{"value":{"amount":"+0.8737252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2999106$03CC91C0-A48F-4B68-A2EA-8BBD33410C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63dad31765077dcee8124055ca3cd527caf3a1c8","datavalue":{"value":{"entity-type":"item","numeric-id":2964452,"id":"Q2964452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c1330bd65cb957a17c803e9a5f76802c79508f9","datavalue":{"value":{"amount":"+0.87115806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2999106$7F550B85-EF40-4B2F-B823-71EE6C955134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb974bc2d605da6e61f3a345b56bfa334ee03d2","datavalue":{"value":{"entity-type":"item","numeric-id":3613348,"id":"Q3613348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"179d827503b3cf1cdf474bebb76ef74eb56eec75","datavalue":{"value":{"amount":"+0.8706912","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2999106$AFE8017A-827B-4FDD-BCBC-F1C117969739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bd521e012a6f822bf1bf5982369f28b6830b80f","datavalue":{"value":{"entity-type":"item","numeric-id":2849489,"id":"Q2849489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6fd1516474d86b4cc90da73150f073a8aa2718","datavalue":{"value":{"amount":"+0.87048495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2999106$C021F4C6-2C0D-4CB0-BB74-14DBB6479B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109242f8bc5801b5ea519a072f8a87dc8db781a9","datavalue":{"value":{"entity-type":"item","numeric-id":3400566,"id":"Q3400566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee66a6e1dd9ec72db0ec3eb890cb903c255bbb0c","datavalue":{"value":{"amount":"+0.868774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2999106$C7A1AB64-9081-46AA-A33D-AC076FA6FDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ec3ff0066059bdfdb3fe484a1c20afa5dd11f9a","datavalue":{"value":{"entity-type":"item","numeric-id":518606,"id":"Q518606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcfe00323b75bfd6917a07bb4be4905052b086d3","datavalue":{"value":{"amount":"+0.86537457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2999106$8EC0386C-85FC-4B02-BB94-C4AD7A1720DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b195e4700ba0e889da061083dc46691f604afdbc","datavalue":{"value":{"entity-type":"item","numeric-id":935019,"id":"Q935019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f924978cb5dee9d339a569c79776ebb050bb339","datavalue":{"value":{"amount":"+0.86375964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2999106$089FE4DD-ADE1-4ACE-91C2-7B9EA69925A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beec96db776a089983412407a6acae56aa3f6dc2","datavalue":{"value":{"entity-type":"item","numeric-id":3787447,"id":"Q3787447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79546948316d6d2e391687ab38ac65ff9bda5300","datavalue":{"value":{"amount":"+0.8635698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2999106$E2C56069-A05F-49BE-A486-6BD260632182","rank":"normal"},{"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":"66eb510066594fd1321816a873ae8310425c2e6d","datavalue":{"value":{"amount":"+0.85882163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2999106$819AD17E-84EB-42D3-B827-C67E19019B8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2999106","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2999106"}}}}}