{"entities":{"Q975873":{"pageid":977721,"ns":120,"title":"Item:Q975873","lastrevid":65790753,"modified":"2026-04-12T05:23:08Z","type":"item","id":"Q975873","labels":{"en":{"language":"en","value":"Reasoning about XML with temporal logics and automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5720208"}},"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":"Q975873$6878C24D-14F8-4E6B-A0C3-A105AC1D638C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3aad8f5406d6e84b1eb2fa9dd54943b30436e10","datavalue":{"value":{"text":"Reasoning about XML with temporal logics and automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q975873$AFCFAD96-32D0-4158-A4AC-B30C77B6BD94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d97b12672e385551f39837e4fca8083edac3165","datavalue":{"value":"1192.68435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975873$7DC07EF2-4B4B-4A2E-B967-1A01B1C5BE55","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":"Q975873$8F5D39C0-5644-4C63-948D-BE45545C7FBF","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":"Q975873$3EEF6062-DEF1-4294-9CAA-2C2B9E80D558","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$5CC7BAC4-FF5A-43B6-8ED4-66131700C6A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8330f0162b04ee97697b5c3b59dea76e14d14e04","datavalue":{"value":{"time":"+2010-06-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":"Q975873$BDA76EE6-7E31-402E-9DCC-1604FF98FE9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"366a938beb324e0a06a94a871dbb7156a9886181","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/17831759/Libkin_Sirangelo_2010_Reasoning_about_XML_with_Temporal_Logics_and_Automata.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q975873$537AB5BA-67C7-4493-A175-616F707ABD9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975873$E8019963-B210-45F4-B78A-E638536B17FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed99d3d5e47ccf6706621c13f0fafba2953465ee","datavalue":{"value":"5720208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975873$1F85DF3A-14A2-48E1-AD9F-9720CF6B8265","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfa844bde4cb98d6efb44c6aba01af8db62c77d4","datavalue":{"value":"query automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q975873$5585A3D1-1369-499F-8AB8-8A6036D58F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q975873$28853372-1E68-4D83-BFE3-7B066E07E875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q975873$9D911115-8492-47C3-82B3-AA5B133842F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"557fc20e1cde6db6856c52912c38558653037ec5","datavalue":{"value":"XML","type":"string"},"datatype":"string"},"type":"statement","id":"Q975873$BB283613-1262-4422-A3AB-4DC1E1111522","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb1fca4ee5c1238a4c8891e4fb1e1d7c9da30b5e","datavalue":{"value":{"entity-type":"item","numeric-id":27652,"id":"Q27652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$2FFA85A4-FD5E-4928-9F6B-C4E18DF592B4","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":"Q975873$2EED132F-7388-45D7-BA0F-2C5364216DCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1df384d914cab4780f66f59d829c6e297aa9cb9","datavalue":{"value":"W2139258089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975873$F370FDDA-4554-4B7D-9539-AAAC1F6DDB13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4043169588cf30d21117bd1365cf198c7d4f605b","datavalue":{"value":{"entity-type":"item","numeric-id":923878,"id":"Q923878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$4B64DD18-2D8B-418F-894C-4D8645EB0587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$450B48C8-2D78-4DE0-AA0C-8DCDB6E880BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41ba2bbea4925951c75b1d9f0375d00ddf2fa7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5464026,"id":"Q5464026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$64392363-9861-42DD-A5EC-F0D0CC3E9C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7497b7be6a57cc6ca47fd3548c963080133926a0","datavalue":{"value":{"entity-type":"item","numeric-id":3546365,"id":"Q3546365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$32B6B7CC-405F-4F8A-B422-6BE40B0C4B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57f27766ef593ce13f71d92678706efd8bd665e","datavalue":{"value":{"entity-type":"item","numeric-id":5493337,"id":"Q5493337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$7FE0B449-EE72-43C4-B749-5A7762F96161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b57d5224096e5b1977c4ed46b0dfb10c94f703d","datavalue":{"value":{"entity-type":"item","numeric-id":3452211,"id":"Q3452211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$6C7750E5-72E9-45A8-B50F-442DFE8D3390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46732076ac0e69dc0a3b3e02c10475185325aad2","datavalue":{"value":{"entity-type":"item","numeric-id":5714249,"id":"Q5714249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$9F79EA98-2D5B-4CA5-B03E-F9CA9A9BFCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27eb369af74c81caf93446c2eac86f4939dec84","datavalue":{"value":{"entity-type":"item","numeric-id":4817549,"id":"Q4817549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$5CF0A207-3866-47E2-9B8B-4C1C1CE68B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8036ca08b863c23ddf593865e2452a13cdb978a9","datavalue":{"value":{"entity-type":"item","numeric-id":5501186,"id":"Q5501186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$5EDC6ACA-B130-477C-A4B7-3F68F6030145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1901ce6381510a7c862c00cad6ae39b661528f81","datavalue":{"value":{"entity-type":"item","numeric-id":439961,"id":"Q439961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$8E9D270F-DD6A-4E29-BFD5-5D8A2F88EF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610aae95183384a106db247ebacea87082ad9f54","datavalue":{"value":{"entity-type":"item","numeric-id":5716799,"id":"Q5716799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$7DAC320A-A28F-4325-873C-604DD70BF06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c43dbef5fc9a4910db6c649cb4f653e9676d94b8","datavalue":{"value":{"entity-type":"item","numeric-id":5505545,"id":"Q5505545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$0D19D3DA-31C7-4D5E-AFAC-0E5EEBD3BA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821a0533f3197970993412f59328a8ec61b2d38c","datavalue":{"value":{"entity-type":"item","numeric-id":1607226,"id":"Q1607226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$874983D7-E3A6-4B56-B56E-8C20A13D66BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2ed9b1523dee5db6b9bf9bae8d86a503b2a11b7","datavalue":{"value":{"entity-type":"item","numeric-id":5310660,"id":"Q5310660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$E020C10E-D81A-4450-AF8E-3D35BE94038C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6bd50789a141df2cf685f4fee8a3a0dbd29020a","datavalue":{"value":{"entity-type":"item","numeric-id":3196635,"id":"Q3196635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$1A749558-CCE5-4D61-8C8B-F314E81F26A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"331cb045abbeeb34a95ffa4d37a8905c84c6bbe7","datavalue":{"value":{"entity-type":"item","numeric-id":5493343,"id":"Q5493343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$59740181-71A5-418D-B43D-9A69FF79027A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a5fbfa2cb235e78a8429ab63afca2e1a813107","datavalue":{"value":{"entity-type":"item","numeric-id":4275690,"id":"Q4275690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$6BF96941-2047-45D7-97E0-E717E8240128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beb27b7af34ab0402f1db377455dec0d9d637933","datavalue":{"value":{"entity-type":"item","numeric-id":878749,"id":"Q878749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$5D137FFA-F359-4858-9B40-FD1463A2D8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$083FB817-ABBC-4236-B137-B7BF2991CBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$8E341877-71B5-491D-9BE1-5033ABE6659A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q975873$815E867E-95D3-45E9-AD85-0195946848B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6a673c2f03ff3c0933967f49e370d1024a6a690","datavalue":{"value":"10.1016/J.JAL.2009.09.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q975873$B852C99C-A8FB-4F8C-8C5A-CA14544E5AF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6843354c422158125506f9f1b0e583dd60b8ecc","datavalue":{"value":{"entity-type":"item","numeric-id":5505545,"id":"Q5505545"},"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":"Q975873$27EDABD7-5B56-4F64-8A3B-60D845497F9F","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":"24a9a71cc865dbada6b9eb79ddc1844b9b2be2f9","datavalue":{"value":{"amount":"+0.7885591387748718","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":"Q975873$94FFCF94-6911-4EBA-893B-B1D4D860EE1C","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":"e3e5d903cda85fac6ce6d483e76920ac7f4466dd","datavalue":{"value":{"amount":"+0.783803403377533","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":"Q975873$91DED7F6-59DD-4424-B3A7-7F360AB8C6B2","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":"84e52cbab6063ad467e129740a4067ea8217fe16","datavalue":{"value":{"amount":"+0.7691960334777832","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":"Q975873$5902B9A1-140E-4E47-B138-AED5B5769371","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":"816fd11d6c168d7d08078b020cd2c7be06f53784","datavalue":{"value":{"amount":"+0.7459030151367188","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":"Q975873$38868E6E-7DC3-4A0D-B5CE-82D1E88DFA7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about XML with temporal logics and automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reasoning_about_XML_with_temporal_logics_and_automata"}}}}}