{"entities":{"Q2946670":{"pageid":2957390,"ns":120,"title":"Item:Q2946670","lastrevid":85390277,"modified":"2026-06-03T07:43:45Z","type":"item","id":"Q2946670","labels":{"en":{"language":"en","value":"LTL over description logic axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483175"}},"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":"Q2946670$B7117198-AA5E-47B8-88EC-08749FDAE0DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3787e5f35423d6788ca4e1cdcefb1170fca5f3b","datavalue":{"value":{"text":"LTL over description logic axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946670$35C92EC6-B7AE-45E7-A62C-66F0114136DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e08aa6bdf1a2ac51c421638a42030c39f665352e","datavalue":{"value":"1351.68260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946670$6E15D139-704A-43DB-946D-6E32854FE44B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"830f51cc9a76a3a9fdd4b91cf6aa4121612df4da","datavalue":{"value":"10.1145/2287718.2287721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946670$B1C6CC3E-59FF-4236-9933-ABEB1C196468","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":"Q2946670$DF553C23-73F3-4CCD-B735-F390532E9CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946670$E4B3AAFE-B77A-4DC6-BECE-4D91C015CDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22db3ca50466332b07467138807079dd11905aeb","datavalue":{"value":{"entity-type":"item","numeric-id":420807,"id":"Q420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946670$7A6F8E38-DC32-414E-8CF7-E03787CFBE90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946670$97BE250F-0922-4EBE-9FE7-DBBDCCC531B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946670$6D25AF10-4E52-46F0-A312-BC4DB87D17EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946670$E6B575B4-3B64-4E35-B81F-3F658C21DE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946670$513E6119-7143-42B4-A8A3-D78E1D37F46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946670$FEDC95F9-B01C-46E1-852A-719E15A6B4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946670$4E5DF7D0-AA91-44DE-9B57-DC6E82ADE6F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"318cab8afb61fb413e02b1f9d192c3c9830df413","datavalue":{"value":"6483175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946670$CACC3275-FC45-4D98-9C37-602FA6B8931D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946670$828A0668-A275-4BB3-BE54-218114F62F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946670$2C66DDF5-3FB9-4606-812B-D3CB2EC8B766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ffcd6fd1b69e2ba55e26f146b61c6b3304d32d0","datavalue":{"value":"description logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946670$F7EA874F-6FDA-4DFF-BE9B-F31422EA6938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67458d2c0355aadf5d01ffd82cc9d1905d4fc952","datavalue":{"value":"temporal extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946670$2C3DF5A6-9B86-4DF5-AFB5-C3B19F185664","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"02dc3e66a020c346398efdb2a5313b8991ebb288","datavalue":{"value":"Q57383685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946670$768E0B7B-7CA3-47D5-89CA-4256373A1159","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":"Q2946670$FEA52B3C-CCAF-44D4-8D18-AB03DF231CAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24189eba8ef4cda030a491058569841621f84121","datavalue":{"value":"https://doi.org/10.1145/2287718.2287721","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946670$9A9209C9-8F4C-4822-8AA2-27F05887EE24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6272f58678cf5682404ccfed72285ee64ad19cf1","datavalue":{"value":"W2026807253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946670$1FBD4A6E-34E7-49B8-86DC-B6796B5701B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f8297a774f258b8028c4fa375e2203499490dc","datavalue":{"value":{"entity-type":"item","numeric-id":3655196,"id":"Q3655196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc330f4ebcdaa7c29e1f7d33d7c2b7fa4165a95","datavalue":{"value":{"amount":"+0.8669456839561462","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":"Q2946670$642C8EBF-39D0-4B36-A1A8-C63D4654B640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b609fdc695b0f2fc41c64fe0f91ee42c13cc61","datavalue":{"value":{"entity-type":"item","numeric-id":2946734,"id":"Q2946734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13e03a908e9108547938a83d4ccaae6dacd696b","datavalue":{"value":{"amount":"+0.8424251079559326","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":"Q2946670$A4DE2724-CB10-45DF-8FB4-A1F27BD0E0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f097a4710bcc0ee2c77e430778aa88380e069433","datavalue":{"value":{"entity-type":"item","numeric-id":3172878,"id":"Q3172878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175ff01466c7cae01c857cf8caa0793e0d85b36f","datavalue":{"value":{"amount":"+0.8092403411865234","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":"Q2946670$906A4A45-8EB4-428D-9573-17C945C3E4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff414ebb83d1b67b1234686c91106bed9b201d3","datavalue":{"value":{"entity-type":"item","numeric-id":814545,"id":"Q814545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cbc10eb2f746440268b5f0a77b8f4301c7b7a42","datavalue":{"value":{"amount":"+0.8031430840492249","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":"Q2946670$AAFF703B-F48E-449A-98C3-20B5C0280C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df55487b719d865e0e3d97db68c902a5f675baa3","datavalue":{"value":{"entity-type":"item","numeric-id":3069418,"id":"Q3069418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"630ea987c1950cea89b14a60e09829ff2400fef1","datavalue":{"value":{"amount":"+0.8019036054611206","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":"Q2946670$5832EFB4-1CC5-41AD-BA28-5539670D67FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"LTL over description logic axioms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/LTL_over_description_logic_axioms"}}}}}