{"entities":{"Q5100739":{"pageid":7130315,"ns":120,"title":"Item:Q5100739","lastrevid":54393614,"modified":"2026-01-26T18:15:18Z","type":"item","id":"Q5100739","labels":{"en":{"language":"en","value":"Optimistic and pessimistic on-the-fly analysis for metric temporal graph logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7580891"}},"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":"Q5100739$F9030429-8E17-47F6-9102-7189DFAC0CDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63230eed3918bebe9c09734cbd6314876e119fce","datavalue":{"value":{"text":"Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5100739$FB44467A-A8D6-4B25-B0FA-5B33E10FBF5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05ce9df18bbb0743a6c850ded5a26182ac5d933e","datavalue":{"value":"1502.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100739$811488F7-871B-4EF4-943A-76657420308F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c44339eabfd1d80dff849bc35c801e109c823a1","datavalue":{"value":"10.1007/978-3-030-51372-6_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100739$6DB2CAB9-C9D0-45BB-A499-E84849EB542C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6bf8ee6ddc27826d6acbe2c0246439943dd26d","datavalue":{"value":{"entity-type":"item","numeric-id":262424,"id":"Q262424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100739$AFB05BA6-DA04-4DDD-B5D1-A11CA4B5BE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a5d7d9016ac96aff3eeecf092d1c89865a0b3a5","datavalue":{"value":{"entity-type":"item","numeric-id":5100738,"id":"Q5100738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100739$29B3AB8E-D204-4EA8-9C09-BF2CBBB8E40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26f3285f467d4cd73b9a6baa7211736ce6be49a2","datavalue":{"value":{"entity-type":"item","numeric-id":1994362,"id":"Q1994362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100739$79A7A689-3ABB-48EF-8C08-E2561922968B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b1e95151c3b93dc349aa8f2ac290fc35019ee7a","datavalue":{"value":{"entity-type":"item","numeric-id":780063,"id":"Q780063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100739$2C253A82-6AB3-4473-83C3-C9163C2417D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4316a4201538b627be4269e54b0d61e5b9d0c800","datavalue":{"value":{"entity-type":"item","numeric-id":2947206,"id":"Q2947206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100739$4D47C6D9-BF0F-4C83-9AD7-81085BB8A244","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f8103c39d04c6902efbf808a8b0b8b468836cc5","datavalue":{"value":{"time":"+2022-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5100739$FF484E07-3E6C-45F1-B162-29A40D3EFEA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100739$C12DF967-7BA2-43BF-AAE4-C0E265D7B4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100739$88E674CE-11E7-49C5-8918-5027EF79F95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100739$BB52BD40-F2BC-474F-8ACB-AF14C0FD7FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100739$68984233-0565-443D-8EF3-40C86747BA7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfba8bad975d5f67baf22a2b909f4a2941298556","datavalue":{"value":"7580891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100739$DED9DD68-2FDE-45BF-B8D0-67B6DC43F987","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6255ddfcdaf7379760b4eb3d3db0f38daed95cc1","datavalue":{"value":"graph logic with binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100739$9F28252A-3C9A-4C27-A6FB-1DB61A21FE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"776dea57d39b1c28b2c83263db7310738fdbe5a2","datavalue":{"value":"nonpropositional metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100739$47D3A56E-D69E-4922-9384-8CBCCD272334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2f739b0407fd13fed79d64400bfb99b8621bd54","datavalue":{"value":"runtime monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100739$CE106A66-EEFC-44AD-B197-4B636A0FA860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe9774c3f67d416a6c8463ab2f991bf6eb18e479","datavalue":{"value":"three-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100739$87BC4005-DEFA-4EF7-8E6F-453589603B27","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":"Q5100739$CCAB6069-CED6-4D05-BE44-5D7A9BAC160E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76dea30d3346c83ae60ae17b6fadb347e7f51baf","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51372-6_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5100739$BAA0D6E9-88B8-4380-9396-CBFFCF28C5AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f32176ce708472dab08a9314ec5e57cd53624c8","datavalue":{"value":"W3037345683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100739$63425385-A8D5-4993-B32B-63F0781E1503","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb54f812ef30b83f85808d0cc5b4cec2e5e0d69a","datavalue":{"value":{"entity-type":"item","numeric-id":2796403,"id":"Q2796403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100739$685A0653-BE5E-42FB-8289-DBC30F59098C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7712506fca4fce4a2f09ed8c71df72c28bf9c419","datavalue":{"value":{"entity-type":"item","numeric-id":4972013,"id":"Q4972013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100739$9BB0FF44-ED7E-4D86-99AE-3CA76DAC2AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d2a5930b67fedf7ddfefc5427ba29961082dee","datavalue":{"value":{"entity-type":"item","numeric-id":2491953,"id":"Q2491953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100739$68D50424-DAD3-4045-B504-BEBF2799ED0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548acb24d75419e124fb7d477c7572e13a585136","datavalue":{"value":{"entity-type":"item","numeric-id":3625675,"id":"Q3625675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100739$B884121F-7996-402C-878D-CE891459A203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e138b2bac58849ac46cc7863364d2fd0407cf49e","datavalue":{"value":{"entity-type":"item","numeric-id":2633618,"id":"Q2633618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100739$4A09B15E-6956-47D6-BE5E-C5306F4C7941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fba557860f1c8d4e1a333ea395d8ad34a998cdea","datavalue":{"value":{"entity-type":"item","numeric-id":2390027,"id":"Q2390027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100739$FAC0E723-1E8D-4A85-8F81-13A5136435BE","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":"Q5100739$A754CD74-B7F5-4E9B-A906-1D6E75527343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5fb9aa61bc89b65af337ec3f8516a6861d53e37","datavalue":{"value":{"entity-type":"item","numeric-id":1994363,"id":"Q1994363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100739$7C840700-8282-49C7-ADED-037C05CD91EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485b2ca58fe443a242e28d1ff7d495fdee437cdc","datavalue":{"value":{"entity-type":"item","numeric-id":631573,"id":"Q631573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100739$4DBC339B-EAF1-469B-A4C3-EA783D5463C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05ffa0756173cd6f495b88cfa65f26cd95ed1a1","datavalue":{"value":{"entity-type":"item","numeric-id":4931303,"id":"Q4931303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100739$7AE10B3E-6711-42CB-9793-E725A31B253F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc7f0cbc92a85a177974cfc33bbe1f9290b78ca","datavalue":{"value":{"entity-type":"item","numeric-id":2898464,"id":"Q2898464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100739$400F8D75-E749-4CD9-B54A-EDF9567CCA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6923475fcd7d1761e3d9d6caae56adf647db689c","datavalue":{"value":{"entity-type":"item","numeric-id":5100737,"id":"Q5100737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100739$3DAB39D5-9017-4B14-BFEC-801622BA1CD4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100739$1E47D9B7-1E4D-4DAD-93CA-D4BAF9D715D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3705be283738544936c8cabafb806e2e5d599d","datavalue":{"value":{"entity-type":"item","numeric-id":6487306,"id":"Q6487306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92eb319e11017ef4ed961b45c2b7a15a3342ac46","datavalue":{"value":{"amount":"+0.7688440680503845","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":"Q5100739$870A19D4-90C1-43CC-B37E-39C2C0E49282","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":"4f1f91f6ff054f6a470919a40779d2ba90a8d544","datavalue":{"value":{"amount":"+0.7179787755012512","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":"Q5100739$F397787F-D73A-4980-8C7B-39B06744ADF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b0021a1bcbe21978fbc0e474af4266624ab558","datavalue":{"value":{"entity-type":"item","numeric-id":3297591,"id":"Q3297591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02be2a213d5fbe68e02fe168d492b354467004ff","datavalue":{"value":{"amount":"+0.7015918493270874","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":"Q5100739$573912DC-90C1-4CD6-8B5E-7A2A0ECF2F94","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":"9e7fc390832edaf6592d15b10eb7db4096210ab7","datavalue":{"value":{"amount":"+0.7011187076568604","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":"Q5100739$75110541-B35F-4A64-913A-E4E36EE371A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03b7fbaa496dba24857d14ec9985e2c6fbfc731","datavalue":{"value":{"entity-type":"item","numeric-id":5190786,"id":"Q5190786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0745b004170ff011224ebb5f3f50b74a7a0ebede","datavalue":{"value":{"amount":"+0.6989914178848267","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":"Q5100739$054F8E2A-9D20-4504-8591-761B01A586F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5100739","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5100739"}}}}}