{"entities":{"Q5505545":{"pageid":7535105,"ns":120,"title":"Item:Q5505545","lastrevid":96531677,"modified":"2026-06-05T11:31:41Z","type":"item","id":"Q5505545","labels":{"en":{"language":"en","value":"Reasoning about XML with Temporal Logics and Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498335"}},"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":"Q5505545$115A1C1F-1772-4E17-80C3-FB6A880526F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a3e147c0b74b3bcab63cca6a94bb88f1ae270b3","datavalue":{"value":{"text":"Reasoning about XML with Temporal Logics and Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505545$97232997-D1F1-481E-BEC2-FADCF04DEA93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef5aeb7051612fbcafe74321514fbfa5ad0e8aa5","datavalue":{"value":"1182.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505545$3274730E-B4C7-4844-B7BE-263BAFC57970","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"efd2f70cf5f5836b0d9c9c05ca742c4fe372ba3b","datavalue":{"value":"10.1007/978-3-540-89439-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505545$5BBEDFEC-7740-4A7C-8C8A-0641D66235BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cb7997696c2a55ce98cc1e675af9a2d3206b12d","datavalue":{"value":{"entity-type":"item","numeric-id":532370,"id":"Q532370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505545$97CF41FD-F280-4FBE-A06E-B15FACFD7479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7031b84dffab1e32107789cd00559636fcfb642e","datavalue":{"value":{"entity-type":"item","numeric-id":923676,"id":"Q923676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505545$AD5459B9-FCDC-4B81-9F46-061A75AD3987","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505545$A36A3061-26DD-48B4-AFE3-3650BC0AEE97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505545$6A688263-CF3B-4199-B04B-31058D207F17","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ca3aa774b5b03e8788c3a093760d95347800823","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/17832666/Libkin_Sirangelo_2008_Reasoning_about_XML_with_Temporal_Logics_and_Automate.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505545$720B5979-AD5E-4C39-A10F-4C28EBB529D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505545$189DB2C6-DF37-45C0-8434-474F5B8364D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505545$19A18B1C-211A-4311-9EDB-994AD5516650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505545$F2E8ED8A-F303-4CB5-9640-8E409F76B842","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23b8856f89b70e4e29dec1a22e32daa9be6c36d1","datavalue":{"value":"5498335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505545$6C1D0DEC-8A1F-4D21-961E-65D33B48202E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfa844bde4cb98d6efb44c6aba01af8db62c77d4","datavalue":{"value":"query automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505545$0D167285-3559-4D26-977D-CB70EB360A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505545$D7433B98-6FE9-4940-8116-E130325A56CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505545$BAA324D5-279C-4712-9D9B-4AFB45241EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"557fc20e1cde6db6856c52912c38558653037ec5","datavalue":{"value":"XML","type":"string"},"datatype":"string"},"type":"statement","id":"Q5505545$30590DCA-E0CF-467F-ABD9-5250ED502388","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":"Q5505545$D10B5896-2B7B-4CD1-BCFC-A8DDF560A6C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eeaa9600244b54fecff7ca657a404f0d8766af67","datavalue":{"value":"W2044461288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505545$C572E034-1CA9-4F5E-9D34-5996778D04E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5742b75fc7248fd6239aa49ad86b122a30433f5f","datavalue":{"value":{"entity-type":"item","numeric-id":975873,"id":"Q975873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76586203ad0aa74e85befcfa78f8bee2ff5531b2","datavalue":{"value":{"amount":"+0.99973326921463","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":"Q5505545$58CB88E0-2E6B-4D45-9326-1A6D46353644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fc2568fd9208ccd2f9f5f7bf180b745179c49c0","datavalue":{"value":{"entity-type":"item","numeric-id":4411812,"id":"Q4411812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b87c2f9dae27d05e34f0d8265cd19c81b01b0876","datavalue":{"value":{"amount":"+0.78818279504776","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":"Q5505545$56616A00-F095-4A88-A5FC-B43A810D95EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61dabf829bef7c7456f34f00db885c42a66cb0ee","datavalue":{"value":{"entity-type":"item","numeric-id":4447237,"id":"Q4447237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e1b93b2de89cae8bf55cab45a6b7a6d82a570b","datavalue":{"value":{"amount":"+0.7851223945617676","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":"Q5505545$6F032A2B-B0DF-474D-A74D-39D13275FB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b3956f0d752ba723481b61caed92e753d865b87","datavalue":{"value":{"entity-type":"item","numeric-id":862561,"id":"Q862561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb978b3ef2c9bc5ea60ef2f9d978c7f3f8bd7fe8","datavalue":{"value":{"amount":"+0.7708051204681396","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":"Q5505545$71AB5533-A383-4A43-A2F9-7C5905078608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"879201a3c5b8f15e6d6c498a400d4ba83068d291","datavalue":{"value":{"entity-type":"item","numeric-id":3452211,"id":"Q3452211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed0db37e6ea314a6199949570e7849186ce051af","datavalue":{"value":{"amount":"+0.7458022832870483","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":"Q5505545$D17CC7B1-C991-4C7B-BD86-C6351C9B5833","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about XML with Temporal Logics and Automata","badges":[]}}}}}