{"entities":{"Q6132570":{"pageid":13266877,"ns":120,"title":"Item:Q6132570","lastrevid":55476007,"modified":"2026-02-17T17:17:06Z","type":"item","id":"Q6132570","labels":{"en":{"language":"en","value":"Multiple-valued semantics for metric temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728691"}},"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":"Q6132570$091A9C65-3733-4D3A-817D-E05536AE6542","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6dc1d276770873317412bf1926e617dabc12368f","datavalue":{"value":{"text":"Multiple-valued semantics for metric temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6132570$AC099CD0-7A4D-4926-92A7-6D523CD5AF92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02f407b623f83bc9a498a9f18512c409dc86086d","datavalue":{"value":"10.1007/978-3-031-26689-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132570$5DBD314E-5969-40EA-80BF-0A077E096873","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9b4b47a702f8e68990c215e7a5831c3f9b62a12","datavalue":{"value":{"entity-type":"item","numeric-id":2003163,"id":"Q2003163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132570$986476F2-9761-4850-AC61-1982326740AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8b4386c0d5d83f8302e271c05e50f8370fd57881","datavalue":{"value":{"entity-type":"item","numeric-id":2936224,"id":"Q2936224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132570$67B27A60-E9D1-4216-A062-82A51BE095BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6132570$D06E6F3A-B64A-48DF-AF1E-0882AB246208","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132570$B6D6FA62-D079-4738-90B6-D7716A6D593E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132570$D567349B-7F1B-47F2-90A8-5E83D12DE787","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a94d7a5ea6623c36210b1aa0ca42e132dc5b5ce2","datavalue":{"value":"7728691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6132570$061FAD13-5107-47C2-B6B6-3331A9888225","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132570$0758E5A5-F1B2-4A26-AB83-82B1034332B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db53d9df666e5d6b0ce662a702e88d27b58727e0","datavalue":{"value":"multiple-valued semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132570$9EAA8B2B-700C-44EB-9601-8EE7BDC81385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132570$64B7A421-7369-40DA-A67F-256467FDE445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6132570$6B0CC454-7F3F-4EAF-8FEA-CBA90B0A555A","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":"Q6132570$06588A5F-073B-4F4B-AF89-480F3860B730","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132570$DF7E555F-5958-4023-9BB7-B19C37285B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132570$91EBEF6C-79D2-4E37-8EB2-17FD7D3314C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f931fcc2f67a5e217cecfd4eacebde0ca9e7951","datavalue":{"value":{"entity-type":"item","numeric-id":1777641,"id":"Q1777641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132570$52F7CD46-8891-4BEC-84EC-FBE1D407F47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132570$36607887-FD7A-493F-928E-5C6FD2EF2BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16ab0d2b6f4f188fc4037eb8f2287cf5a655ae7","datavalue":{"value":{"entity-type":"item","numeric-id":3543284,"id":"Q3543284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132570$B8E42774-6EE1-4ED1-8101-5DB9340F1EBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6132570$6DED9045-1712-41C2-9626-2D1E72FB7899","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":"Q6132570$E6197BC5-1734-4948-BCBE-3F2A24F3809F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4162a08dd879d64bd045b3b8efba28d20ca0f15d","datavalue":{"value":{"entity-type":"item","numeric-id":1391098,"id":"Q1391098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d264b32e21c45dd97af800862440d2eb26f33c6c","datavalue":{"value":{"amount":"+0.7854739427566528","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":"Q6132570$76E7B146-0C36-4BB4-82F0-451A00BC5C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"472e2390860ce0843a5faf10aa4ef23ded5b0577","datavalue":{"value":{"entity-type":"item","numeric-id":999264,"id":"Q999264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26dc66c82852c2b19c25f30151a73fb00254be38","datavalue":{"value":{"amount":"+0.7854148149490356","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":"Q6132570$7827F846-0096-4436-BA78-77A1CBC1203A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8efac84cdddcb1f59b44ef35df78fe97b0f9d77","datavalue":{"value":{"entity-type":"item","numeric-id":4938638,"id":"Q4938638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d70beb4fe4d462245d66ea5bd73611ffa1c5e1a","datavalue":{"value":{"amount":"+0.7836456298828125","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":"Q6132570$50C8EB2C-131D-466D-80A4-C31C7FE736E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49fbe6b5f79d5efbc9e6099b0fd347ee4db460da","datavalue":{"value":{"entity-type":"item","numeric-id":5112385,"id":"Q5112385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1ee147af176861ae05de97b7c3e26b6e4bd5ca1","datavalue":{"value":{"amount":"+0.7830284833908081","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":"Q6132570$58E1AB6D-0B85-4ECB-9975-BFFE2B2F68C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c32eaa50c13863f7dcee28e8f2f8b44fc578258","datavalue":{"value":{"entity-type":"item","numeric-id":1780454,"id":"Q1780454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deecefc8e077fd888b6b7f3a54b69e89e5165455","datavalue":{"value":{"amount":"+0.7830063700675964","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":"Q6132570$C0A8EA06-EE09-4A37-BD0D-BCD2BACEBF12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6132570","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6132570"}}}}}