{"entities":{"Q6488465":{"pageid":14067234,"ns":120,"title":"Item:Q6488465","lastrevid":99604685,"modified":"2026-06-05T20:21:41Z","type":"item","id":"Q6488465","labels":{"en":{"language":"en","value":"Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7676982"}},"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":"Q6488465$B82E5EE3-0357-4E96-9B19-A6C59BE7F662","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf4b54c9b9eb2588f7de67a00370909275e08a86","datavalue":{"value":{"text":"Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488465$EEC7ABE8-C720-4B9A-ABDF-585D2683971E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9b64c4ff8088dc4096da2b5a89b4308211604be","datavalue":{"value":"1521.0303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488465$4CB2DA15-2B98-4F8C-A729-0CEE8B47D311","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53338438d59e6907fee062e3229ed73df53f5a6c","datavalue":{"value":"10.1007/978-3-030-90870-6_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488465$874D8524-81D6-4590-A8B7-918A72EB6197","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":"Q6488465$20980497-E15E-4EFA-9902-E7BC8056C686","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":"Q6488465$8AA96614-7BE8-4451-B70C-B1CCAA6F15B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdbde22f209a451ce7b2a032d6fcff9e6eefbc6b","datavalue":{"value":{"entity-type":"item","numeric-id":533798,"id":"Q533798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488465$E97257EF-08F2-4EE7-8DB2-E2557F707B9E","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":"Q6488465$8BC61B63-8F3C-42C6-9353-7BC0D7B08482","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"260332f705ad2e0d1275bea375e8ebc598a68071","datavalue":{"value":{"time":"+2023-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488465$C33C9F73-BB3A-45DA-80D8-3C80B91D012F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488465$C1BF1B8A-732A-4A19-94A6-26D7149A7D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488465$DEA0573E-0E8A-4F55-9CAB-7B94A9943B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488465$7E8C7F09-F50F-434E-9CDB-7F295DFE0EC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70fb980843cde781372510fdf6f3c339e5bf02fa","datavalue":{"value":"7676982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488465$9BDF1A34-B827-472C-BC3D-9659966E7328","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":"Q6488465$3B3C131A-D853-4717-B478-D1DF58CFE15B","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":"Q6488465$7C74F195-3937-4699-899B-CCF504F1D9C8","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":"Q6488465$716FFCD4-AF0D-4292-BF8C-74D3F837E8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488465$79044A4C-65B8-45F2-95C2-F3B574B25F99","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":"Q6488465$AD5A3596-6A5B-4D07-B8D5-DA2308D0EC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0cb74d23b43c669d624e24b067c452169d0ee17","datavalue":{"value":{"entity-type":"item","numeric-id":2024340,"id":"Q2024340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488465$78D1F153-B0FA-4608-AAE6-15575F479E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86cff247738892f2e8be9f3fad6536e34cc42e30","datavalue":{"value":{"entity-type":"item","numeric-id":5431331,"id":"Q5431331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488465$E6A448AE-DBBD-4B1D-9676-CA5CC4D0341C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83b1d8b60bd8b9024eaba5ba2a50043ab2519775","datavalue":{"value":{"entity-type":"item","numeric-id":3163409,"id":"Q3163409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488465$3008A6A6-C9BE-4471-AEDA-10CA1F6C9122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"272609bd8b38f994632dd41505735fd6ac673cfb","datavalue":{"value":{"entity-type":"item","numeric-id":5756667,"id":"Q5756667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488465$FCA77411-C437-480A-9E70-1E96E0CC1B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100de8644e1693e9606eb0290879d3814df3b478","datavalue":{"value":{"entity-type":"item","numeric-id":3434696,"id":"Q3434696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488465$FC58F23C-D41B-466E-9C2A-3FC02718A8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567a1f1ae80696bd53e5c74ccafef7cbad023394","datavalue":{"value":{"entity-type":"item","numeric-id":5111294,"id":"Q5111294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488465$8893AC1D-22D0-4E05-9719-129A144EBA55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28bbce7c6eca35f171f70ee7cda351d22a5fc790","datavalue":{"value":{"entity-type":"item","numeric-id":5009457,"id":"Q5009457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488465$70CE5071-C3DF-403F-88D3-12C4E8ABB4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a585a00ebca9a55e45c13df0fe747cac621ff9d","datavalue":{"value":{"entity-type":"item","numeric-id":3090822,"id":"Q3090822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488465$49CE0CDA-39CE-4074-B0F9-621A05470F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4be9a9b506cb0041ae2198ca04e29b2e4bef29","datavalue":{"value":{"entity-type":"item","numeric-id":3511245,"id":"Q3511245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488465$A95616D0-6FB9-419F-B6E0-F0F62A08942B","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":"Q6488465$71547306-7F40-4B00-9C47-28F1580386CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980b878e989625d882cb488ac4152e9aca1e8752","datavalue":{"value":{"entity-type":"item","numeric-id":974119,"id":"Q974119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488465$6F1CF32A-D2AD-43CE-9093-2E7E9B6AC328","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7933e8cfb16a170ea926bf689f3b2cb827630394","datavalue":{"value":{"entity-type":"item","numeric-id":5404916,"id":"Q5404916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4abeb455eee6c0c571d84b287e6098c3c6c632d1","datavalue":{"value":{"amount":"+0.8393951654434204","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":"Q6488465$32C65D3C-3D42-4284-A057-DE59050D4BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c21fe95a196739d5a21b62fa0a70972db3257d29","datavalue":{"value":{"entity-type":"item","numeric-id":5216144,"id":"Q5216144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"018ffbfbcd8079cc224696255f25e1bdacd76094","datavalue":{"value":{"amount":"+0.8178526759147644","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":"Q6488465$FB99B84C-6146-41F5-B22D-948144432F58","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":"1a7cd7e3f3686c04e6359998703c20389efbd4af","datavalue":{"value":{"amount":"+0.8167518973350525","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":"Q6488465$45A09987-F604-4983-AE60-D8B62D0AB642","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":"225f6f875791bf80a8cd9c5528fc41d89800d274","datavalue":{"value":{"amount":"+0.811863899230957","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":"Q6488465$E77CEA51-1B40-4D32-92B5-F908D8694AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c6e8f2531f7a464ca9c881bebc54ec309d0d8fc","datavalue":{"value":{"entity-type":"item","numeric-id":3090822,"id":"Q3090822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79baf55d65d5d0bb22b9d139fc3eeba93d1d7eb6","datavalue":{"value":{"amount":"+0.803565263748169","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":"Q6488465$CD1D3CE6-7AEB-47D3-BDC7-B4FFC22E066A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalizing_Non-punctuality_for_Timed_Temporal_Logic_with_Freeze_Quantifiers"}}}}}