{"entities":{"Q6044107":{"pageid":13178263,"ns":120,"title":"Item:Q6044107","lastrevid":47851483,"modified":"2026-01-02T21:22:09Z","type":"item","id":"Q6044107","labels":{"en":{"language":"en","value":"A product version of dynamic linear time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7686612"}},"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":"Q6044107$7AC1544F-DD7A-4520-AF19-D009E72F293E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdfd65695469f70a07904593ef8636e9b3e9e9f9","datavalue":{"value":{"text":"A product version of dynamic linear time temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6044107$B756D3D2-8421-4F6D-B7EC-3FD1CC9E3405","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37eed2ac74df5b8aff9857eae2e687c231723d9a","datavalue":{"value":"1512.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044107$20B5EDF9-D750-405F-9651-44797D26FFBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14d1fefe83cf7de409f4c15da7aded6f90f98da7","datavalue":{"value":"10.1007/3-540-63141-0_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044107$567504E6-0E96-444C-B7CE-E96B8B5902A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe8d5d010225bc2d5b1fd2cc1c54e8ed2764d9db","datavalue":{"value":{"entity-type":"item","numeric-id":1295430,"id":"Q1295430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044107$3558E029-3439-429B-B5E4-66B55B4F7623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8392ad3e919ceda3cd16f19f1268cacb9704ba7b","datavalue":{"value":{"entity-type":"item","numeric-id":229998,"id":"Q229998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044107$9846666A-BBB6-4A81-8C9A-B32CE28479FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2119d755bd5d418a3808091d51c0bc708f312de4","datavalue":{"value":{"entity-type":"item","numeric-id":6044104,"id":"Q6044104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044107$9DB2AEBA-DDC8-47EC-B57E-9FA22CDE88F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e173d8a6d5fd8f9048a4897c8fc35d9b27bdc36c","datavalue":{"value":{"time":"+2023-05-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":"Q6044107$D38AFEF0-1983-420E-81A4-49987D958EF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044107$CB961DA4-DF91-4213-B031-BB8A50BD60C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044107$7669C0B9-3A03-4378-A17A-48F8A7C7F7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044107$31492E4B-D950-44BC-8FD1-F3BA6EA6F123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044107$4B0FA53B-28D3-48E9-A71C-7D1F22EDFDE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a7cbc4892c98ef86091dc1fe9be4ee07f3ba97e","datavalue":{"value":"7686612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044107$1E53219A-5768-4D64-8F30-85A0FD6EB8D0","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":"Q6044107$E9FFB00A-213E-426F-87B3-9EA623BB6CCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e1c23ba30a4bcce09f1a4649d388e385c0b9a20","datavalue":{"value":"https://doi.org/10.1007/3-540-63141-0_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q6044107$DAB4C995-F766-4C66-80B2-F3A156EE27A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efe026d5f8fc5b7b46bad60513a4cba013928401","datavalue":{"value":"W1485520530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6044107$5328F2A4-0C71-4435-AD29-17A13A87C428","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044107$FFB6BCBA-BEA6-4B4D-8A5F-08C45108E1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044107$61C883EA-8284-42F0-ADC6-1A5DA7FDE391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044107$7BACBBAC-E6D4-4261-9FDB-BA62BFF66640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2e4b21c372c2b904df58e25dc95afd9c8f8a06","datavalue":{"value":{"entity-type":"item","numeric-id":5047159,"id":"Q5047159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044107$54F3BEB7-4B22-4A64-8AF9-7A88D03861A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044107$FBD14545-5CD5-4093-8141-965593D4A1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7492b50c2c62ca06bcef461e4c0f10be464157","datavalue":{"value":{"entity-type":"item","numeric-id":4375802,"id":"Q4375802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044107$FDD1F46F-6580-4A4B-B8B1-5A90D0AADA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044107$A79B305D-9530-466A-AED6-9796199B2360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff1910bb3c0241d98d0996e4c11f3e32a28400","datavalue":{"value":{"entity-type":"item","numeric-id":3761703,"id":"Q3761703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6044107$EAD3E19A-1E79-41B7-9FA8-1B558C3D466C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e131c2fbebbb292aa23cc4ad528fa65713be0e","datavalue":{"value":{"entity-type":"item","numeric-id":1295431,"id":"Q1295431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a0486a1767368819cc515402fbecd81d1e54dfa","datavalue":{"value":{"amount":"+0.8965227007865906","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":"Q6044107$71221226-4348-40C5-97F2-26BF634DE484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dcfa39d761eeb07ec648b44b4d9fb89d5c86c8a","datavalue":{"value":{"entity-type":"item","numeric-id":4247293,"id":"Q4247293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec7bf8e2763befcbd063af9237c42d0e990c11f","datavalue":{"value":{"amount":"+0.8142584562301636","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":"Q6044107$655C97E7-6EBA-4011-BC36-7372CEC8036F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4ce4b3d63fd0d43ead3834e5f12d0c5f419cda3","datavalue":{"value":{"entity-type":"item","numeric-id":5224785,"id":"Q5224785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec7bf8e2763befcbd063af9237c42d0e990c11f","datavalue":{"value":{"amount":"+0.8142584562301636","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":"Q6044107$74EFF2A0-690E-4860-90B2-D1053C641ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96960112e498526eaaa39fc571da46f77d2fb146","datavalue":{"value":{"entity-type":"item","numeric-id":4737220,"id":"Q4737220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"396a1d9086f4d6330b57dd8cec3fb73c2b05e304","datavalue":{"value":{"amount":"+0.7733747363090515","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":"Q6044107$0228E0B6-6F74-4C5F-81BE-74C1A50C6446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c407890860efae23b3223165cac9e39a7f1c330","datavalue":{"value":{"entity-type":"item","numeric-id":3525092,"id":"Q3525092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c14183377250932ea37b1d1e5b2386e8ef5627e","datavalue":{"value":{"amount":"+0.7717123031616211","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":"Q6044107$C1B70F9E-0DA1-4F21-9DE1-ADA70DDEA2BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6044107","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6044107"}}}}}