{"entities":{"Q5111294":{"pageid":7140868,"ns":120,"title":"Item:Q5111294","lastrevid":58425414,"modified":"2026-04-05T04:13:49Z","type":"item","id":"Q5111294","labels":{"en":{"language":"en","value":"Making Metric Temporal Logic Rational"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204411"}},"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":"Q5111294$607B55AC-1D96-4A2D-A747-CC05C9BBC490","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff20f9e25e27b285fe7d8b36851c7a9ebfc6dc10","datavalue":{"value":"1441.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111294$93540649-F423-4D4A-88F8-F64CD69EB1F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6807c838a0c13cc8536b7508e779053a5949ccae","datavalue":{"value":{"entity-type":"item","numeric-id":537906,"id":"Q537906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111294$07DFA37B-7797-4A27-A5C4-8D723B9F04CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2befac9be21de5c2b1388ac40e909911e3ed99ab","datavalue":{"value":{"entity-type":"item","numeric-id":2811350,"id":"Q2811350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111294$C30D6133-A354-43CC-9306-FA6B87AD76A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebecdc8963b6629e72067e9f36e75100892dbdd","datavalue":{"value":{"entity-type":"item","numeric-id":673874,"id":"Q673874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111294$5E922ED2-DD07-4223-A331-113783D90642","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111294$4F0A38AE-6440-4BCC-BC21-33AF0828D273","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"955defc1ad11ea08fc9d54854c1b1a82d8dcf01e","datavalue":{"value":"https://arxiv.org/abs/1705.01501","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111294$DE1BF967-9D23-4E6D-8686-0BFD7901EE42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111294$B3F3BA14-8A45-4E63-8D97-85FA8A8807A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111294$DB328873-4360-4903-AC30-FD2A20BFCAD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"daa0c1b99170f9dd493ddd7a3cc2e7703f22a9be","datavalue":{"value":"7204411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111294$D13F85A4-80DE-4487-AFD7-DF6E890D2A22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111294$C5BBF913-DBB0-4DE5-9BBE-DA66A6FA2954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111294$96310C40-DAFB-4A9E-8D07-EB51C6997C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4369065edf6d8d2db82064ebbf82bc692ed5b6f","datavalue":{"value":"regular expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111294$B30FF1A2-D8F6-4E8E-B8D9-0A11D4127E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77b68a3963334780ce17762e18379352f547f1e1","datavalue":{"value":"equisatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111294$C65E26B4-0A25-40CA-B3E3-B8E842EBA505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111294$0A911FC9-77CA-4A74-964A-E0ED8AC7E75D","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":"Q5111294$AB19221E-CE58-4931-A6DD-9AAF3DB91888","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111294$6773BC43-33BC-4370-979D-019D434F1CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c7f8b3f1ff6940d5ec48ef42f10efe12dcb747","datavalue":{"value":{"entity-type":"item","numeric-id":689093,"id":"Q689093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111294$03E01D08-C4E3-4268-B176-97B800F253F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d72c197e3f29ab967906174be198c67b7201d31a","datavalue":{"value":{"entity-type":"item","numeric-id":3196640,"id":"Q3196640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111294$9FC2F5FD-DB37-4BBD-B0FB-9ADBEF57FF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dac790e62b172c6d0243b477cf163852ec811c8","datavalue":{"value":{"entity-type":"item","numeric-id":5897789,"id":"Q5897789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111294$C3C3631A-7E90-4DDB-8F61-9D382A7463E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeef71248f78202e8b556e925fa4ba06a69bd162","datavalue":{"value":{"entity-type":"item","numeric-id":5177218,"id":"Q5177218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111294$ED2AB0FE-AE11-4F60-A53B-9FF79D3900C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a61cdaa469b53d71144c66713ed5cb34575b94","datavalue":{"value":{"entity-type":"item","numeric-id":1295431,"id":"Q1295431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111294$059B64D9-59DF-40A1-BDB8-A02408F712C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b00a60c512e342d0acde61ff0fd38d73663ffd","datavalue":{"value":{"entity-type":"item","numeric-id":4501663,"id":"Q4501663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111294$67FCAD7A-BECD-4F04-B4D3-CAAD56562D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869841cbce01d6540ea738f7cdb730e35417c12c","datavalue":{"value":{"entity-type":"item","numeric-id":2958534,"id":"Q2958534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111294$B600F37F-3891-42CE-A199-9A605630F722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"229e2d10162be383c6a8558a938c1b227f2cdc3a","datavalue":{"value":{"entity-type":"item","numeric-id":2811351,"id":"Q2811351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111294$846003AA-A63D-41F7-AE2F-94CE3D2C6A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d7089c778924b926311d003b673769dcd2480a","datavalue":{"value":{"entity-type":"item","numeric-id":3557853,"id":"Q3557853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111294$5611D4F1-1AF7-431C-99B1-09A9148B674C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e0fe9fbbf6330031327bc0f4d20acdc321526b","datavalue":{"value":{"entity-type":"item","numeric-id":4931296,"id":"Q4931296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111294$BC16F5ED-1900-4B36-AD8F-9A034BA645CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b05b18de27616ff2350cf767a17b5adca2f692b4","datavalue":{"value":{"entity-type":"item","numeric-id":3543292,"id":"Q3543292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111294$79FF203D-6806-44CF-91F7-41615E980199","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"accd0d4d8e51df2c4bc4a51fa6a7bec8713897c7","datavalue":{"value":"W2964305133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111294$1515E1B0-D56F-4CDC-B046-FB0473D857E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4f8566e76206856af921bea7d14b620604a4661","datavalue":{"value":{"text":"Making Metric Temporal Logic Rational","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111294$551CAD83-2FB3-4D9B-8F69-9E8DA855AAB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea6cc505ec2a714ddfe18ff49cb56e0edaaf0650","datavalue":{"value":"10.4230/LIPICS.MFCS.2017.77","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111294$6ACE4A08-233D-4E90-8A92-27C5DDBB985E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b622d28cdc99702e9c59a8c5757277fab5f3b7a","datavalue":{"value":{"entity-type":"item","numeric-id":5376664,"id":"Q5376664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1252dc64ebd85f6b1c1f4057f009f95c67ac930","datavalue":{"value":{"amount":"+0.8381016850471497","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":"Q5111294$A0DCA0C3-CB51-401A-B647-B4E56059A758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91c7b0f995cf94f20d7f89bf33f8e1f57d3c21b","datavalue":{"value":{"entity-type":"item","numeric-id":5271072,"id":"Q5271072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba2fff8c540d2488e83215355955681ea49d426","datavalue":{"value":{"amount":"+0.8261192440986633","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":"Q5111294$8C6FE4BD-C6E7-42B7-9F5D-69C2DA22D7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5333daa6ee3d5bbc4159c6fd02b57d57fc7c2b06","datavalue":{"value":{"entity-type":"item","numeric-id":3447701,"id":"Q3447701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"852f4c7ae9156bf358eca08eedcde35db65c76e1","datavalue":{"value":{"amount":"+0.8255396485328674","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":"Q5111294$B5DA83BC-89B0-437C-B0C9-7AB444FE68EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297b25bccde6f2f1817b0a35340eb145f622532b","datavalue":{"value":{"entity-type":"item","numeric-id":2958534,"id":"Q2958534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dda5972944cf78cf86a76d27e362a53c752cf04","datavalue":{"value":{"amount":"+0.824492871761322","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":"Q5111294$29DD52B3-4C58-47A6-8BB2-CA87E288F7D5","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":"b6a0dd3ee06bb26009a18be8df3a9dbb678027e6","datavalue":{"value":{"amount":"+0.8238658308982849","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":"Q5111294$EDB5A5DC-85BC-48B3-81FA-0581C99F6066","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111294"}}}}}