{"entities":{"Q5222965":{"pageid":7252535,"ns":120,"title":"Item:Q5222965","lastrevid":53469737,"modified":"2026-01-25T00:29:11Z","type":"item","id":"Q5222965","labels":{"en":{"language":"en","value":"LTL with arithmetic and its applications in reasoning about hierarchical systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7076877"}},"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":"Q5222965$71E6D27F-7C61-4469-80E6-93CFCD011F23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a790605424ba61164ce8fb6ebdedbb2e913ebd0a","datavalue":{"value":{"text":"LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222965$5DB90DE7-212F-4645-ACE5-4474DA9AACCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74ef71b545cec4ab26ffcf34339714714066f9ef","datavalue":{"value":"1415.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222965$414A54BC-9ED2-4EED-A3A8-FBF6732D4AE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f275657c952801f81f8bc23b250a0ee9816c789","datavalue":{"value":{"entity-type":"item","numeric-id":1629749,"id":"Q1629749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222965$48705B6F-FDD2-499D-A071-D961AD2458FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222965$EBAFA3D3-EF18-460A-8462-5F520EBDC7B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222965$01DFA446-ED70-4FB4-A3FD-F3E8AF5DA2BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311afef0a4b95245df7f6c2908ad6e9d40f3f2be","datavalue":{"value":{"time":"+2019-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222965$23AADFA4-FDDD-4ADE-8A25-427380F0AF49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222965$0E832B51-14CF-4104-9856-AC3DD2E925D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222965$D212DF8C-077C-4B99-9745-64DCA8FE183C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222965$7B1F5EEE-0F62-437F-9F3C-045CAECC3201","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4142b2be0c519ce570ad2fd7df1849eea6d57fcf","datavalue":{"value":"7076877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222965$BF96FF1B-D6CD-4C40-8069-BC65DDDD9C57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"591f8e1adc3c3803f7d7d6082509ba56bda7271c","datavalue":{"value":"hierarchical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222965$05B67661-1446-43F3-B2AB-B593B50BF443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4561d587e504070be053b0022b2bc3a9f1f77417","datavalue":{"value":"infinite alphabets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222965$A6589F50-FC5B-447E-BC14-B3BA630AA197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e87618aee6343e13e99830120698ef319daa4c9","datavalue":{"value":"integer linear programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222965$10A2BEC4-C385-47EB-ADC6-FB3BED18CB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdf431e813854d3b97dbc47df5d7a5c792176ad8","datavalue":{"value":"LTL with arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222965$24C9567E-EECE-4155-9C8E-FABC45D16847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222965$0CD50C9A-3D35-42E1-AF64-D7157DEA381A","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":"Q5222965$BDEE9F87-1E15-4183-8845-45D5401E8FFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3686cf600937ec2c5899e280d974d43d4507be49","datavalue":{"value":"https://doi.org/10.29007/wpg3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222965$2C4C5848-4F43-43F3-AC4A-6002069FCBDF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d6dff54001c9f0afcbb473da060882a2f97d0f4","datavalue":{"value":"W2907493568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222965$7A42F5C3-4AA2-46AE-B82A-D8155A56C446","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99d1280d11bd446ef5ecc370f9eaa6c71951f34f","datavalue":{"value":"10.29007/WPG3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222965$7ADDC7C2-3C88-41FB-A321-D2285CB02FB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4173f84365ce344d5a090a74705bb1387bab809","datavalue":{"value":{"entity-type":"item","numeric-id":3656876,"id":"Q3656876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354c3e2ee89e6db9fe26a0606f7fec2be02d8bf7","datavalue":{"value":{"amount":"+0.7528715133666992","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":"Q5222965$83E4F0CC-14FD-4144-9614-E010079B9D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be1be5a6180e121e914a711dfc54aedbb9e253b","datavalue":{"value":{"entity-type":"item","numeric-id":418123,"id":"Q418123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"752d177616058e7b98468c49260e5c2bc46377d9","datavalue":{"value":{"amount":"+0.7513711452484131","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":"Q5222965$064D1185-68BE-488D-A3B6-5D1847AC866F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66ece97469a3e719d12b9c43c27e1d2a2f71894","datavalue":{"value":{"entity-type":"item","numeric-id":2978518,"id":"Q2978518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efc1faa072cc81646167faec91a4f564dc0321c","datavalue":{"value":{"amount":"+0.7338781952857971","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":"Q5222965$792506A8-BE9D-4ECF-A9D6-484A1781E20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a60713f33a858482cc4bb513268b0f992b076a","datavalue":{"value":{"entity-type":"item","numeric-id":2346416,"id":"Q2346416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00005c3a62c4128d7423b5230a1a061385806a91","datavalue":{"value":{"amount":"+0.7306740283966064","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":"Q5222965$D9A23180-F729-4D2F-B001-822D340A3EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b60cc2292f3f6897bcdcf481e097734ffa100a6","datavalue":{"value":{"entity-type":"item","numeric-id":5387893,"id":"Q5387893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8d8c3bb49c57fafc79e282c2ab062b5c2f3ca8","datavalue":{"value":{"amount":"+0.7287907600402832","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":"Q5222965$D61053CC-6093-4E87-B401-810E1AB5B966","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222965"}}}}}