{"entities":{"Q5351946":{"pageid":7381520,"ns":120,"title":"Item:Q5351946","lastrevid":52889627,"modified":"2026-01-23T17:52:24Z","type":"item","id":"Q5351946","labels":{"en":{"language":"en","value":"Temporal logics with local constraints (invited talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767584"}},"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":"Q5351946$47A44BDA-6F4A-43A5-8997-1D14170274E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"011400bd8b839560ba9d30879cb95513a3b9d078","datavalue":{"value":"1373.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351946$3F325909-E0EC-4C64-81C2-C24CDA498FA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0304269a52369b78f1d53e7a704975278af2eeb","datavalue":{"value":{"entity-type":"item","numeric-id":269501,"id":"Q269501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351946$47DB5C60-D8F3-4CCC-AADD-88E012A3C4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db8f30a521e20eb0f40199bc337d407bb71223c1","datavalue":{"value":{"entity-type":"item","numeric-id":269346,"id":"Q269346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351946$F7E565E0-13AC-42AE-B27F-DEFE023A5627","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5351946$887CB6A1-58B9-4863-8AE9-204971B789F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351946$7B96778C-457A-4A07-A972-6C26009D3F56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1cb1a94312b50ef37669204bd46704bf114c899","datavalue":{"value":"6767584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351946$FFB0BAE7-F287-4BFF-819E-FC76A5D7C6BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ea983d6236a941bf107a543e043f23b123ccf31","datavalue":{"value":"temporal logics with constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351946$9B951ADB-4D54-49C7-9041-A7A65F84F82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e491d7320e49654ffdc1da0b880b75ac13c8127b","datavalue":{"value":"concrete domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351946$9AB7A9C1-2967-4721-BED4-F0BC6A5458E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351946$DE47B649-AB85-440C-BB7C-FF395BFCBF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b056b74f1d39746bc732479c376ab68ebba14d7","datavalue":{"value":"CTL*","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351946$758D252B-5E18-467D-9811-D29BA6968034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"977bb48ba8fdd7eec7d52789fddd1272bd7c9922","datavalue":{"value":"ECTL*","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351946$F5DEE520-B4F7-42D0-80ED-1DA5270BAC92","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":"Q5351946$DED6F751-E1B0-4254-9AC5-0033767DF0E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"201c777fc035925e2bd38cea2bdbee50197f8705","datavalue":{"value":"http://dx.doi.org/10.4230/LIPIcs.CSL.2015.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5351946$0AE40F40-4433-4CA3-9784-2CB472200D55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00156ac1339ac32b724446b6a2ac5e70eec3f749","datavalue":{"value":"W2293862394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351946$82180ED4-E28E-487B-B3DF-16A950269EBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"565dcce19200803ac38795cb461d8f3cc51f8a36","datavalue":{"value":{"text":"Temporal Logics with Local Constraints (Invited Talk)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5351946$C9847CFC-E950-45CB-A23B-14B5D3A602FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01cf79e1595b6044ad7a9c6ac748cec6b6dc8077","datavalue":{"value":"10.4230/LIPICS.CSL.2015.2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351946$73B781EE-9C8C-4E95-B2BC-BE906B5B47F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6bfe351a30763e55af7d50da8fc25f116b21827","datavalue":{"value":{"entity-type":"item","numeric-id":269503,"id":"Q269503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55b4f0d9552e7920d10c66ab0d6883b7494a47eb","datavalue":{"value":{"amount":"+0.8269030451774597","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":"Q5351946$CC3F6F0E-40AD-4CDB-B7BB-AFF3BC3B6D17","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":"8f67678a3556f0637b8bc31d534a6e5d192cd6dd","datavalue":{"value":{"amount":"+0.8249130249023438","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":"Q5351946$AF4B46BD-DEF1-49F8-AE2B-0DFE242A0E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f4010920bd191f8a291c27d1d67c30e4dc1c69","datavalue":{"value":{"entity-type":"item","numeric-id":4415249,"id":"Q4415249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c68b650199020088258214701f7d15caa6d123c","datavalue":{"value":{"amount":"+0.8150411248207092","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":"Q5351946$762E866A-71D9-4072-966E-ABA2550F6D11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c68b650199020088258214701f7d15caa6d123c","datavalue":{"value":{"amount":"+0.8150411248207092","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":"Q5351946$E5EDE30B-008F-4837-AEB3-E98BCD1D1A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b232b0c6858756f2d4c0c3d4d97129ff5e42078a","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046983885896268b80a17efa0ed0ab9c0ef5f0fc","datavalue":{"value":{"amount":"+0.8147010803222656","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":"Q5351946$2558BFF1-0AA6-4BA9-938B-18BA8E569786","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5351946","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5351946"}}}}}