{"entities":{"Q681469":{"pageid":683318,"ns":120,"title":"Item:Q681469","lastrevid":42639174,"modified":"2025-07-07T14:24:31Z","type":"item","id":"Q681469","labels":{"en":{"language":"en","value":"Scalable offline monitoring of temporal specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6837201"}},"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":"Q681469$8DDA3C13-C390-4B73-82CE-94A121687991","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22e226e0bd30b2f3f74cd8beb237778095b3a282","datavalue":{"value":{"text":"Scalable offline monitoring of temporal specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q681469$BF81B587-3FCC-4613-8A85-1CB677F41D24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"040941d4c30c5918f0ba862c45b1d036d329c209","datavalue":{"value":"1380.68268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681469$3A84B476-E5CC-4318-876B-F85BF5264681","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"062abb9ef385bc9e410083dcf0eb04dbf0fce438","datavalue":{"value":{"entity-type":"item","numeric-id":681466,"id":"Q681466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681469$A0EC9C39-6D53-4072-982D-5F7ADF234126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c96ba1581ccde3093e3ccbd99f253fcd2d116ad","datavalue":{"value":{"entity-type":"item","numeric-id":381133,"id":"Q381133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681469$93B3DB7B-58EE-450F-9513-A8CE0C7D677A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4247d658f88d09e4c7ffa50b8f2e75074b20b04","datavalue":{"value":{"entity-type":"item","numeric-id":681467,"id":"Q681467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681469$5B42B92D-5029-4C8A-A672-F33E0A80E66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b5808f251c37bb2de69a0629c5cb8c741b5006","datavalue":{"value":{"entity-type":"item","numeric-id":402358,"id":"Q402358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681469$F98670C8-CBCB-4FB8-AED1-D72C24F6CD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f59f2b238bcce2cb167eae8f1644fc8816001400","datavalue":{"value":{"entity-type":"item","numeric-id":681468,"id":"Q681468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681469$9745EE8E-B2DC-4F50-9238-260C9B467FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69ad79c07c2956f1777e7c914202daf6884a50fe","datavalue":{"value":{"entity-type":"item","numeric-id":1332774,"id":"Q1332774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681469$9F67E15E-846C-4076-BB7B-B33B5B099021","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681469$562DA502-60BF-4ECE-B90E-2248A9BAE000","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37dc8ae22dcec2d49b93f95859fca43d86658768","datavalue":{"value":{"time":"+2018-02-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":"Q681469$AB26EB0D-212D-4E43-9F03-C7D3297C2ADE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681469$3022DA57-2B71-41EE-A743-CB9A99DD4B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681469$B95284E3-B918-4114-80B3-107803F8B1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681469$0597900E-B854-4418-9F13-7188E6BB9DA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce21a3f9d2d0c25821bcc73f43af30782063e716","datavalue":{"value":"6837201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681469$526883B9-D539-4AE9-8DC5-46153CC70695","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q681469$125D825B-C5F9-4ACB-AED4-9AC36EE820C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0cdf1c1bb0c34455c38efcaa0f48c4ee2183838","datavalue":{"value":"monitoring","type":"string"},"datatype":"string"},"type":"statement","id":"Q681469$51268739-2445-4466-B4C7-76AECD4F5CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q681469$3D0A1005-686C-4D7F-B978-B8BB6FE13464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea04d4b2e21b95f4639157110a5599ad33ca570e","datavalue":{"value":"MapReduce","type":"string"},"datatype":"string"},"type":"statement","id":"Q681469$2CEAF096-47C4-49F9-B57B-D60BAB3C116F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8bcb656a5c41032de9aff1f1735a8c0efcf6476","datavalue":{"value":{"entity-type":"item","numeric-id":54933,"id":"Q54933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681469$696DFDB4-BA61-4FAC-81D0-E54D9BB7AE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"642fa6b12a1740e18dec1e8d721c352aa004a291","datavalue":{"value":{"entity-type":"item","numeric-id":46486,"id":"Q46486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681469$6C88FFDC-0610-414A-A493-832586B0E2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87fd21075dd2ef46d7e34c0ce531522806e90c67","datavalue":{"value":{"entity-type":"item","numeric-id":13301,"id":"Q13301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681469$6BBAD5A7-FAA5-4C08-B375-D92E18BC29A0","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":"Q681469$0724BA88-A1FD-4863-80C2-C9C3D45F83DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"860f12d825fd931f5fc28a8b655ccd7bb7f7d02d","datavalue":{"value":"https://doi.org/10.1007/s10703-016-0242-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q681469$5B69EB18-EE9E-4834-A79E-4E0986B57C01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5b42bafaa6da2b62657926b993143af96b35d3c","datavalue":{"value":"W2296683979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681469$B4B56868-34CB-479F-A318-0C9BAEEC7EF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681469$0C140AEC-D3A7-4FD3-825C-A07E936F5C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53bbc31a445e987f53c0841acd693d68b85167b","datavalue":{"value":{"entity-type":"item","numeric-id":5901902,"id":"Q5901902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681469$7D2E6D00-DDE2-48DA-A42F-9BDCDA520A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc80de5e893a5b77080b572ca974b996f9dabf8e","datavalue":{"value":{"entity-type":"item","numeric-id":681469,"id":"Q681469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681469$C75573C9-ACA8-4209-94A4-72D3123E3C87","rank":"normal"},{"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":"Q681469$5531439D-52E2-4097-A97E-3A3EF8F8E611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85ecd98f5d243736a2e1b95f9e782939f4aca028","datavalue":{"value":{"entity-type":"item","numeric-id":3393401,"id":"Q3393401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681469$3DD2A039-E1E8-402F-92E3-D00DF8A19B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681469$469AD5A9-7A40-4BDB-B537-76D010B8F409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ccd5671af76a05e7a7d9fc2f2febc066ff0b125","datavalue":{"value":{"entity-type":"item","numeric-id":2881076,"id":"Q2881076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681469$0342BC26-E52A-41CE-B6F6-FCB23A4772CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9caffe1dd928fd694f312104c70411673096b7","datavalue":{"value":{"entity-type":"item","numeric-id":1953245,"id":"Q1953245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q681469$1FF4CBCD-ACA8-4D5B-A74E-DDF02BEB0766","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"882622e17b82326ff54629ccb73a429f821196b6","datavalue":{"value":"10.1007/S10703-016-0242-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q681469$7450DE00-6A92-4B41-B503-18FCE4F2D3A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f29beb760a00a011e630f15a8a126bf9b5836a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2112101,"id":"Q2112101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed152d7995160639cf425548f1a708d5ab3840e6","datavalue":{"value":{"amount":"+0.84569776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q681469$D59E5F48-AAE0-41DC-ABAC-421F8338BC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6ce02468e347759e866781c1c1d3d60fccc4b9","datavalue":{"value":{"entity-type":"item","numeric-id":3165946,"id":"Q3165946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ef49dd582ddb3805cae247775f5f7eff2c0b8e8","datavalue":{"value":{"amount":"+0.8452403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q681469$101AA289-7147-4E49-9328-7EC1202DE91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"840dda3bb951aefa986a164e604ba0ccf782c70b","datavalue":{"value":{"entity-type":"item","numeric-id":2938076,"id":"Q2938076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c78ee7a85d2ba113a35cab43e55802ef78237a0","datavalue":{"value":{"amount":"+0.84281087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q681469$69A31A5B-5B43-479D-9EE7-48735377722A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041c160c0d6a58c5d05e8ec831700795e7309a4d","datavalue":{"value":{"entity-type":"item","numeric-id":1631217,"id":"Q1631217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5d99ed4d7e9ce0b08661de93313e0746fc94791","datavalue":{"value":{"amount":"+0.83919156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q681469$4C5B215F-8174-459A-9F2F-8EDBE7136AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9137adc8876aff50fc67d9e5f37cc8f3bcce6110","datavalue":{"value":{"entity-type":"item","numeric-id":2044210,"id":"Q2044210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d097bf9da29248e03e5d11a6bb40ca34c112e8c","datavalue":{"value":{"amount":"+0.8370474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q681469$E302C51B-B472-481E-9661-1F2C249576C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:681469","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:681469"}}}}}