{"entities":{"Q5168514":{"pageid":7198086,"ns":120,"title":"Item:Q5168514","lastrevid":52036727,"modified":"2026-01-20T19:37:08Z","type":"item","id":"Q5168514","labels":{"en":{"language":"en","value":"Deciding continuous-time metric temporal logic with counting modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6313949"}},"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":"Q5168514$02BD332C-FE6F-479A-B466-611411082991","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b349c63b82585221178e4f85c4e48e6bcb775893","datavalue":{"value":{"text":"Deciding Continuous-Time Metric Temporal Logic with Counting Modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5168514$1A1F009A-552A-4BA8-B8CC-14895DFA1FCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"894aa75ccc4256644b3fa8e782b7220fed3fbef8","datavalue":{"value":"1405.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168514$C8A5C214-164F-402D-A406-D52BB6CC6304","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de95120498c386a455740d9d53276fcecb414b1c","datavalue":{"value":"10.1007/978-3-642-41036-9_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168514$AC486E9F-843A-4810-8523-CBE9DDAA1F27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a0e27373663474dfb6f73cfa90e55043359faa","datavalue":{"value":{"entity-type":"item","numeric-id":262134,"id":"Q262134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168514$18A633BD-52D5-4244-A541-E58766BF5EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"461bf1f4461967ef415175b84a0cc2e94943940b","datavalue":{"value":{"entity-type":"item","numeric-id":262135,"id":"Q262135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168514$C67E00C7-7566-4778-BB52-20E3D7309EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"856e553426bf2fdacc265aabae14211fd962289f","datavalue":{"value":{"entity-type":"item","numeric-id":262136,"id":"Q262136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168514$24D67406-02FD-4A69-B086-2362D26CFB0E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5168514$7434364C-B431-41CD-B1A1-F959BBDE7A2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57d603758fe5a0b1a306672087901c5802a7cd9a","datavalue":{"value":{"time":"+2014-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5168514$BF03255B-5C42-495F-BD22-7A46EBF3AD7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168514$425BF217-7B12-42C0-858F-45AFBFC64175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168514$F30B8D9E-87DA-4266-90C5-CA6FC0D8A8C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6a0dc97803757ca5e8192e1a3a087c6db3bc767","datavalue":{"value":"6313949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168514$6EE88DD0-AFFC-43E0-B638-94A846B34984","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":"Q5168514$4B406E5B-21CA-430D-ADAF-2674DEA89B7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee0c04a4940ca19f5ff79048208814907694de6e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-41036-9_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5168514$03CD7AB6-C9B5-4EA2-8CBD-D297A4A1837B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebebac7d439c7af8f2b2104708f49592b7b9e076","datavalue":{"value":"W192139678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5168514$1D53873D-6718-4738-9633-94E74126B950","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f56e378cd126375a4faed1f9d35cfaa84e354b","datavalue":{"value":{"entity-type":"item","numeric-id":262137,"id":"Q262137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7691155dd84d5bf37e884abdc74592e8cc160ee4","datavalue":{"value":{"amount":"+0.8606359958648682","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":"Q5168514$9A561826-3A7E-4CF5-A1FE-FC30E702BFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35cd83ccafccc2fbcd705a8d6d446c4166c2f692","datavalue":{"value":{"entity-type":"item","numeric-id":418179,"id":"Q418179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082ef7133fc7fb1b934dbe815eed0bbc6bbbba4c","datavalue":{"value":{"amount":"+0.8329156041145325","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":"Q5168514$4CA14B1D-2636-4054-A03C-6F9162DF7244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba14abcaf83459f7ae606f3426b2335e3bd0598","datavalue":{"value":{"entity-type":"item","numeric-id":2811351,"id":"Q2811351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c094126a00602c190360657876b65548ea2d539","datavalue":{"value":{"amount":"+0.8292845487594604","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":"Q5168514$46F01B92-BB9A-473A-B237-B42816C8506B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5d21bc5f5fddcb5d589bce6c36f0cb306f10470","datavalue":{"value":{"entity-type":"item","numeric-id":3543292,"id":"Q3543292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a100d8b002983bf88e423efa510ec99177539f89","datavalue":{"value":{"amount":"+0.7992053031921387","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":"Q5168514$8628CD66-B16D-4ED7-9CED-DC51E3B48245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6eff8910ca6b1cc8dbe85b350ba7ef7d3cf9a3b","datavalue":{"value":{"entity-type":"item","numeric-id":974119,"id":"Q974119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d90596180438fa55001f08a6e9ce6ba153c172","datavalue":{"value":{"amount":"+0.7935594916343689","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":"Q5168514$F525A84C-FE62-465B-9D89-5EE5146DB534","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5168514","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5168514"}}}}}