{"entities":{"Q5277917":{"pageid":7307492,"ns":120,"title":"Item:Q5277917","lastrevid":52850768,"modified":"2026-01-23T15:42:36Z","type":"item","id":"Q5277917","labels":{"en":{"language":"en","value":"Zeno, Hercules, and the Hydra: safety metric temporal logic is Ackermann-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744235"}},"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":"Q5277917$93FD9177-B642-4F2E-86E1-DC5A1AED7796","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af3dcd1c38fc1993aebe07efec285f0ab7300f87","datavalue":{"value":{"text":"Zeno, Hercules, and the Hydra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277917$2BE7478E-E637-4307-8FB0-C0E8C3BD31EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3faa23f21280794fef0f2ee470342a0d1934c909","datavalue":{"value":"1367.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277917$82BEEE6F-FC80-47C2-A9FE-9A0D6ED6D812","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78b81172c494d16f151dc3c0a817577ace0997d8","datavalue":{"value":"10.1145/2874774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277917$78E9CB50-D1FA-4B2A-B3BF-B55B274F0D80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eacacbbe6e051b16df56b4d3a50a13e6712a6099","datavalue":{"value":{"entity-type":"item","numeric-id":407524,"id":"Q407524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$EEEB90DF-5A81-48FD-8045-4C39C061779B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$54541493-5E7A-40DE-9242-46222B1B3155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$12BF0573-FBCD-4C8E-B193-B776BC6D4C01","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$DC2752FB-C7A6-4C78-A0FB-6E97EDA66064","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277917$FC51AFD1-6A56-426F-A5A7-08F95BD177F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277917$D7CAF205-C282-4624-96FA-17E5BB5E731A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277917$35B20A29-8771-40FA-8949-A448B4E002D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277917$197BE970-5FF9-4222-BEBD-F0A70508C26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277917$C36B268F-DA88-4BEF-90CC-29A7D98B27D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277917$0A5247E4-A2FF-4E5B-BF08-9BC868FA95DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32263d77d5fe11876d603ab15d9cdfeac05870cb","datavalue":{"value":"6744235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277917$67BC3C56-C2A8-417A-B23D-F658D798F3AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277917$02FB9CBF-8ED9-4E45-A3C4-F126B4415E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cacb4a9668932f841bed8e9a6e9471a6f589b589","datavalue":{"value":"channel machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277917$4B70D1FA-2208-43B9-992B-AFA9B8BF8429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0862baf222b28375411460baab4ed12b7671802e","datavalue":{"value":"complexity hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277917$F0345AB7-B59F-433E-B1DC-263102CF9828","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":"Q5277917$2C0DF844-2852-4993-B23C-763688C5716B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fc635b81ed84974fbb50a75da1679d6c573ee15","datavalue":{"value":"https://doi.org/10.1145/2874774","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277917$D39B0A70-F000-49D0-BF9A-D6C19DFCD007","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e6c7c4a67405067090dcd2b0eb0737de6da182f","datavalue":{"value":"W2280377303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277917$3811F13F-CFE5-47F5-B815-B1835AC5B0DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7a03499c973a6a589eb84a1714e84d997be7c4","datavalue":{"value":{"entity-type":"item","numeric-id":1878928,"id":"Q1878928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$8C945B66-10F7-497C-A31E-F605A5F7AE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956690664b3e12f680b0245467bcc703a87c0ae1","datavalue":{"value":{"entity-type":"item","numeric-id":5311492,"id":"Q5311492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$153894B3-4BA5-493C-BAC0-2ED95DDA3ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476b053757dfd493b160f0bd386b81fa8778d445","datavalue":{"value":{"entity-type":"item","numeric-id":4230338,"id":"Q4230338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$8A2611A8-4775-4340-AE52-083850C11718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e0cee5e15079e367eb7d0bd333bdaa9d8c6de0","datavalue":{"value":{"entity-type":"item","numeric-id":1941874,"id":"Q1941874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$542A6704-8D9A-4415-8DDA-BCA0BE817958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1cd4c2e45e61ad45ad2f7a29f6c1dd31ffaa91","datavalue":{"value":{"entity-type":"item","numeric-id":1908353,"id":"Q1908353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$34EF89ED-1AA7-466F-87A4-DEEFB365F0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1a88e1793b677c3bdaf23f60c73e4af53bb964","datavalue":{"value":{"entity-type":"item","numeric-id":5458840,"id":"Q5458840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$D767932E-9D3A-4623-B641-0026D0CE1C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$F63C3AAC-0685-49E9-B7F5-9084DF3E7E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5668f8e51f62d0c3d39af348f0fa92f3b85621d","datavalue":{"value":{"entity-type":"item","numeric-id":5940305,"id":"Q5940305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$7829FCBE-34B4-481A-8323-1E7B2842CBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba489ea7cabc504616468a5357dfbc91243a86d","datavalue":{"value":{"entity-type":"item","numeric-id":1199553,"id":"Q1199553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$75988DB4-02E8-4720-86F5-D608B4764CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd2e069871eb3bf4232917297a8392cabd79fa8","datavalue":{"value":{"entity-type":"item","numeric-id":4251919,"id":"Q4251919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$E20019E1-F191-464F-A0A4-79FAE6C9F213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b693941b0282a18ec5319adc7863a3d5b7404a4d","datavalue":{"value":{"entity-type":"item","numeric-id":4910425,"id":"Q4910425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$E77C8557-69E5-4134-AB46-7CC37B3CD87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81c8a262b904aee920dd09909420810680e3358","datavalue":{"value":{"entity-type":"item","numeric-id":3966112,"id":"Q3966112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$C35ED370-FBBB-4D7A-9325-6A8FC8CEE120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43acf736bb9e2e88e973a86bf50d3ebfbe7f558f","datavalue":{"value":{"entity-type":"item","numeric-id":2849950,"id":"Q2849950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$2868C4E4-2A53-4ABF-AD92-39634CF4BDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30af45ca233c37f8dd2da1d8ff39f5cfcad1bdd0","datavalue":{"value":{"entity-type":"item","numeric-id":4635791,"id":"Q4635791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$891CD1FA-91D8-49D4-84BF-A8D29BBEC9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4fcb498ec76618d6d4f59a39de4f22e52d70c2","datavalue":{"value":{"entity-type":"item","numeric-id":5612466,"id":"Q5612466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$4B3692DF-7166-45F3-B59A-E7927C5BDE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df05e194c3e3ff5678c1caab0669b039135eeb8","datavalue":{"value":{"entity-type":"item","numeric-id":5899090,"id":"Q5899090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$72C8D04A-3047-4F5E-94F0-C931BA4DD7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"357094579c73b50d60f5fd2182ff88b16f7ee167","datavalue":{"value":{"entity-type":"item","numeric-id":5899071,"id":"Q5899071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$73642C30-4D42-481E-A833-D726B2F75EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf8663ee6d45c3185a10176c895ed8d23da520a","datavalue":{"value":{"entity-type":"item","numeric-id":5310684,"id":"Q5310684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$16A1D01D-A2BF-446E-872B-8305BD46FA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ee39b073dbcae23fd86625bc24634b1f64ac38","datavalue":{"value":{"entity-type":"item","numeric-id":3644388,"id":"Q3644388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$729BE5BB-24C8-4945-80D7-125A4B9E89F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f013092dcf4a4c975cb6c3aac949b3d954ccca","datavalue":{"value":{"entity-type":"item","numeric-id":2828216,"id":"Q2828216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$D086AC7B-173C-4CD1-9119-E35A656E6EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3feebf644fbf5979d96664f07d862fbfe8cc287c","datavalue":{"value":{"entity-type":"item","numeric-id":3586117,"id":"Q3586117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277917$E2A90E01-7112-476A-B4DD-03191510F2CD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"82c3cf1a74c83278245f930333756af1c0195eba","datavalue":{"value":"Q130870016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277917$7D6D637D-64FE-4D67-A36A-B6572B4C0663","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4dd0ee9c0dcadad78ee6723971f8aaf4b421e1c","datavalue":{"value":{"entity-type":"item","numeric-id":2849950,"id":"Q2849950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77b3e0babde30e61577c6cc5092fe15a6eaa8e36","datavalue":{"value":{"amount":"+0.958633303642273","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":"Q5277917$93F5C271-33D8-473A-B61D-856EB363188B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c36543351e1869c91cdd9c647bbc3e5e570e5200","datavalue":{"value":{"entity-type":"item","numeric-id":5899071,"id":"Q5899071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44fb52fb4a639d9bf3b642b4fe88488aa8d9481f","datavalue":{"value":{"amount":"+0.8356802463531494","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":"Q5277917$00E4C8C5-3F34-4FB9-8E19-39CFA762E648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c98872f51d1a248b1e766350b8e59e044fa540c","datavalue":{"value":{"entity-type":"item","numeric-id":5310684,"id":"Q5310684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15f75abe25cf408f3212a0fccf795d9170eda01e","datavalue":{"value":{"amount":"+0.8217258453369141","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":"Q5277917$2BA643C1-0F80-4827-893E-BC02B6302A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35c5c2d00b74ef3e1612d418fd0e3525fe319c7","datavalue":{"value":{"entity-type":"item","numeric-id":3543284,"id":"Q3543284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d256cfd6a62107b5c40cfd6f6caa9fbea5bb6e7","datavalue":{"value":{"amount":"+0.8058844208717346","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":"Q5277917$81A0F019-92F9-4534-93EF-E558934B6555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08b9742aed72fccf004aa83edda5ac5afff1dc7","datavalue":{"value":{"entity-type":"item","numeric-id":5899090,"id":"Q5899090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38af71d532b65dea2d754d41e10cdc6873e3b6cf","datavalue":{"value":{"amount":"+0.7877452969551086","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":"Q5277917$29CE8699-1012-4088-ACF3-DC914427BC3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277917","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277917"}}}}}