{"entities":{"Q673880":{"pageid":675729,"ns":120,"title":"Item:Q673880","lastrevid":63720882,"modified":"2026-04-11T15:06:05Z","type":"item","id":"Q673880","labels":{"en":{"language":"en","value":"Metric temporal logic with durations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985812"}},"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":"Q673880$9DC155F3-E6A9-474C-96D2-9C7B358245CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69b1c55eeb84a2f2efeddc8a62d960578df59025","datavalue":{"value":{"text":"Metric temporal logic with durations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673880$BC9006C7-1402-406C-AD0F-581F20BB48E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a223a3e66aecc24f276ed7f431967441caddd62","datavalue":{"value":"0874.68270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673880$38A8774A-0699-4F45-A0E5-F90EC341D4DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a55c039ddb5ab2011823ed736dbdcb27258a01b5","datavalue":{"value":"10.1016/0304-3975(94)00151-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673880$2F97DB3B-5A32-4525-A7FD-64156FB2AD6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf61e1c28cd3e26b0b006a26cc0e8ae38b4ee613","datavalue":{"value":{"entity-type":"item","numeric-id":673879,"id":"Q673879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673880$05073FE4-EA1C-4254-8776-C63B1DC52E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"655b272f9711e4d9ee9172807da80e0536e6347a","datavalue":{"value":{"entity-type":"item","numeric-id":229991,"id":"Q229991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673880$C07ED65C-5A60-4ECA-95D1-6844D9C87619","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673880$CB06E608-6F4B-412B-B6EB-70CE1961725A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673880$47625D6E-781F-4C88-8C30-55A8C1B9A450","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673880$7D286374-367E-4765-B74C-98CE85AA9291","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc6e68b4eb4e7f76256565fb5c563026f518eaa1","datavalue":{"value":"985812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673880$8490400C-E350-4535-B8D3-F1E210D227F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q673880$7DA4145E-51D3-4455-8229-A86E14B97195","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":"Q673880$83EA6210-23EF-4498-BFEE-3B40EFA50721","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d150211087a6be9be296be761c1f9655f0a11a01","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00151-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q673880$4B67F3FA-5295-4601-820F-6FA220D37770","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3cdb06f95e8949a5d472f06c9fb58a6dd74a6b67","datavalue":{"value":"W2049387852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673880$10CD3A41-994F-432D-A093-B927317D8D55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673880$1E77985D-19B3-41E0-97BF-02D4F47A36B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5501613cddf33b1396dc7f1668c6f3991128201","datavalue":{"value":{"entity-type":"item","numeric-id":3999206,"id":"Q3999206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673880$AF4BC453-E7FE-4226-A81C-03CC9F4CBB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065cbfd8d2e30d24608e3b760a808df8f0c584bf","datavalue":{"value":{"entity-type":"item","numeric-id":4333507,"id":"Q4333507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673880$F64E7ABE-08F0-4B2A-8E61-26676542B8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673880$AF8F997D-0D28-46B6-9F5F-97461A00E04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"855be14fb53cf1655d81fe8552b83c8c97789269","datavalue":{"value":{"entity-type":"item","numeric-id":396986,"id":"Q396986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673880$0B518B22-391F-4B40-BF90-C4D685807483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba87e9300083b4ca6be646359146e5b487f59235","datavalue":{"value":{"entity-type":"item","numeric-id":684564,"id":"Q684564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673880$9FCC37C0-EA30-4AB3-A2A3-314BA2E84C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7919eed50aa7e0862444199698a05262d0b45b91","datavalue":{"value":{"entity-type":"item","numeric-id":3763581,"id":"Q3763581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673880$3FE3E00D-DC0D-44AD-B4C4-4692CD867D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb546abd67bf6e86ebd0867fded79221f1363869","datavalue":{"value":{"entity-type":"item","numeric-id":690305,"id":"Q690305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673880$11184845-C1BB-4590-97B7-0E7BC4000BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96046d8590b6002eeffff55a627d504cd040d9f3","datavalue":{"value":{"entity-type":"item","numeric-id":3482822,"id":"Q3482822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673880$43E33EEA-B3B6-4107-BD8F-3FACF6456B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5007ab9c32bf580f8fd9174eb22767a4264f2f9b","datavalue":{"value":{"entity-type":"item","numeric-id":3988797,"id":"Q3988797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673880$96DB1A66-C206-4DA8-B2D6-15F28FE125FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6677ff68ddafeb7a383b19df7a9fd04197d4eef","datavalue":{"value":{"entity-type":"item","numeric-id":4256654,"id":"Q4256654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673880$53E9C685-B5EB-4ED8-92EF-E73605047903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673880$5C6D6925-F16B-4B58-B2DC-32C0246565D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b26b0af57155dcaea044679cb317cf5529a987","datavalue":{"value":{"entity-type":"item","numeric-id":3985545,"id":"Q3985545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673880$DF18DB51-B385-47BF-872A-F585CCE5D486","rank":"normal"}],"P1643":[{"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":"c7a7acc3678e26ae052803ed0d98dfb6d213374b","datavalue":{"value":{"amount":"+0.8196739554405212","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":"Q673880$35D26627-CFFA-4851-A0BD-4FAB541BF258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3926ac6a5eeea9808a972afe7ad9bd3a840d3b9","datavalue":{"value":{"entity-type":"item","numeric-id":266865,"id":"Q266865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ceca1d1e2218f101d2b2d22198062751718fdf2","datavalue":{"value":{"amount":"+0.8195222020149231","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":"Q673880$FEDFD9E3-C615-4FAA-974A-8CA870E4085A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e135b85d9571533658b21536299101dcb0e701","datavalue":{"value":{"entity-type":"item","numeric-id":1377324,"id":"Q1377324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d4401dc2c57ecd64451de7a0a752cf347c6af9d","datavalue":{"value":{"amount":"+0.8077057600021362","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":"Q673880$67533891-3793-407A-98DC-29FEF5020C50","rank":"normal"},{"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":"89cb6ed193f26c1035b00764ee57bdb41d588953","datavalue":{"value":{"amount":"+0.8005265593528748","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":"Q673880$76EE294B-D3D2-49D5-94AC-9FAA45DB3A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5201a4e8294b81478660c00b347822c5f5b5960a","datavalue":{"value":{"entity-type":"item","numeric-id":1346770,"id":"Q1346770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ed43f08ef6aea12ac9ed89bad1fc50fa7bc60a","datavalue":{"value":{"amount":"+0.7950592041015625","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":"Q673880$FA021299-9B0C-43DA-9856-CB0D64243AAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Metric temporal logic with durations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Metric_temporal_logic_with_durations"}}}}}