{"entities":{"Q959788":{"pageid":961636,"ns":120,"title":"Item:Q959788","lastrevid":65676465,"modified":"2026-04-12T04:14:06Z","type":"item","id":"Q959788","labels":{"en":{"language":"en","value":"On temporal logic constraint solving for analyzing numerical data time series"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5382263"}},"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":"Q959788$122B82CA-86BF-4116-8816-422A39ED0079","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01a2594eab311b805c59638f36d82a3690d56f56","datavalue":{"value":{"text":"On temporal logic constraint solving for analyzing numerical data time series","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q959788$23E69920-B769-4AA5-9CC2-7B240106C133","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"265e3f128e9cc9e1b6afdc0568e05c7b429877f3","datavalue":{"value":"1160.68545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959788$CFE44977-C33B-4C37-B44F-989359C41A6F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3af5bd70bdf1aab77620ece66f5e40dd3ce66d83","datavalue":{"value":{"entity-type":"item","numeric-id":272012,"id":"Q272012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959788$8202AFE4-4F04-4701-9EF3-813DA58A808A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cec61f43bdf014f6133d4a8941c37764ad1e27e","datavalue":{"value":{"entity-type":"item","numeric-id":533353,"id":"Q533353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959788$A2183F1D-22D1-4924-B589-F86018FC2FED","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":"Q959788$D5540326-2662-4101-9F16-580BDB00EBBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eec8ebf90c9ad0eb1538e15d7020cf737b731dc1","datavalue":{"value":{"time":"+2008-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q959788$225FD8CE-7715-4DA8-BF92-CC803E0A240F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959788$E44B03B7-3C49-4A40-9C7E-5B6161305EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959788$FD62CEBD-9861-470F-867B-EFC28ED857B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959788$8811C9B1-F3D4-4BE5-BE75-34BB3A1C9505","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9803eb057fd547d69054084aac3c74b26cf569f","datavalue":{"value":"5382263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959788$084474BC-1287-453E-BCA5-40276E21D97E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q959788$34AA662A-F232-4B78-9AEC-B6698CD0C079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q959788$A00F3310-1439-4B9E-8ED2-593C9CD78198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q959788$AACCA7BE-2A64-4C0D-BE98-DCDDAB398746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53b1936eee97af0da4308b2e40ba82520ff6ec15","datavalue":{"value":"data time series","type":"string"},"datatype":"string"},"type":"statement","id":"Q959788$6681BADD-32FF-4BD1-B30B-89BC777BEF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71935729bce666d4923eda193cbdcd96dd69ee74","datavalue":{"value":"systems biology","type":"string"},"datatype":"string"},"type":"statement","id":"Q959788$78881C41-B31A-40F7-842F-5C9D0B433A84","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2d9e99ba00e34f37c24789403266fdea35d3843","datavalue":{"value":{"entity-type":"item","numeric-id":53745,"id":"Q53745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959788$4406D376-3FB9-47C5-BBF2-95427D158054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d0c9f773002b18cf1ff08d115d66842d31d72e91","datavalue":{"value":{"entity-type":"item","numeric-id":21906,"id":"Q21906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959788$D471549E-FF71-4048-829E-B68EACE023F5","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":"Q959788$5F65B00E-4139-4C3A-ACC6-4BAA3DBF41C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fbebdb5e2a58ba67a8eb919fbb98b6d09cb7b75","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.07.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q959788$DA6DE859-E2BC-4947-AF1D-90A1D0898DCC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04b6dc32137bd371b60707d1cdd67e82239e3a4d","datavalue":{"value":"W2170592382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959788$EAA459D5-5C83-4AD8-80B0-06F4956D5A3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7748fffe42c3046944050ed4c8856b648d5ccb61","datavalue":{"value":{"entity-type":"item","numeric-id":5308374,"id":"Q5308374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959788$AFEF2EFB-0340-4A25-A005-D7B3B51A48A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f276d939ceb32b424ad2add813b092c06ebe1083","datavalue":{"value":{"entity-type":"item","numeric-id":2189295,"id":"Q2189295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959788$30076EB5-51AF-47B6-A93E-1AF7A04944EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"557c8e6f58a6cf3a18d88c4cab8d603ee71fd1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5712404,"id":"Q5712404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959788$F6F3057C-F18B-445D-A80E-A22D0CD16187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0002858691d36f1151f3c0038479d7be3d0f19f4","datavalue":{"value":{"entity-type":"item","numeric-id":4413225,"id":"Q4413225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959788$87B2396B-F8D1-4EAA-9E77-55218CE108B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986dff955b3323903dc04ef58ae4ff4b0eadf895","datavalue":{"value":{"entity-type":"item","numeric-id":1884862,"id":"Q1884862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959788$FD335420-EBF4-45B8-A097-A862905003E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c49a241346a72d41a7eed6a4ace2f8994bb45cb1","datavalue":{"value":{"entity-type":"item","numeric-id":1884864,"id":"Q1884864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959788$EEC73BB9-9C33-46F3-A68D-A0401EC4DD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8d8970f32a5f5ddc81b18d0d5fd7c48af75062","datavalue":{"value":{"entity-type":"item","numeric-id":5302876,"id":"Q5302876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959788$AD48E91B-192F-4893-BEC6-CAEF502F28F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"404a4c48c7238a7c9dd97729980bc12d97221527","datavalue":{"value":{"entity-type":"item","numeric-id":3642953,"id":"Q3642953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959788$614CE6BE-D881-4521-B924-5759C1631035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f22d3df01326f2e4294447d2bf0677fe3580886","datavalue":{"value":{"entity-type":"item","numeric-id":5464744,"id":"Q5464744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959788$9FF69B07-1F57-41E9-A2FF-5777025C2562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e14f4be5ea10dd4ca1608a944ee645401769bf3","datavalue":{"value":{"entity-type":"item","numeric-id":1884869,"id":"Q1884869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959788$C8DC7B97-9FD8-4B7A-9602-3737CB7825EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"950cc35b4dc54cfa01850d1330acd578719096b2","datavalue":{"value":"10.1016/J.TCS.2008.07.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959788$40ACBCB3-7AEF-44C5-885D-3E2E8318EC5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef83fb9e879e082c2a8be558de74b70b190ade6","datavalue":{"value":{"entity-type":"item","numeric-id":5302876,"id":"Q5302876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"341256eaef093ff3d677a074b1c689d0d06c1199","datavalue":{"value":{"amount":"+0.7735978960990906","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":"Q959788$68A1A3FD-3D08-4E6D-9D4D-19511ED14F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60208c85e554d17d6211608794d6aead0da7c0cf","datavalue":{"value":{"entity-type":"item","numeric-id":548479,"id":"Q548479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b537256d38158d37cfb7d5a474ecdcee4213fb10","datavalue":{"value":{"amount":"+0.7460126876831055","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":"Q959788$9F1B411E-0ED0-457F-822D-33D6D7599748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82343990ffac4cf2f0577d0c6e17647676d9acb3","datavalue":{"value":{"entity-type":"item","numeric-id":5452030,"id":"Q5452030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"846d4880cd0a9426f956aa5c0c1472610df47fbf","datavalue":{"value":{"amount":"+0.7372382879257202","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":"Q959788$BDD432C9-F39D-4451-A4BF-F96DE0C226CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73b150d7ffb2ee0e561246d63e92c3e63aeb71be","datavalue":{"value":{"entity-type":"item","numeric-id":2474436,"id":"Q2474436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54dd0cb04ff44d631e38eb620121c7a4be60813","datavalue":{"value":{"amount":"+0.7326279878616333","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":"Q959788$F6F46216-5F71-4C28-8448-5C8E4F0FDF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a32038638312572aea51b3a77b637bc2399845","datavalue":{"value":{"entity-type":"item","numeric-id":4413225,"id":"Q4413225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c80a1af0de63cba81d7e52e321041f64baa55c44","datavalue":{"value":{"amount":"+0.7254291772842407","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":"Q959788$ADBC3B11-4972-44C0-8CD8-81DFF01BB83A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On temporal logic constraint solving for analyzing numerical data time series","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_temporal_logic_constraint_solving_for_analyzing_numerical_data_time_series"}}}}}