{"entities":{"Q5883570":{"pageid":7913121,"ns":120,"title":"Item:Q5883570","lastrevid":97510610,"modified":"2026-06-05T14:55:34Z","type":"item","id":"Q5883570","labels":{"en":{"language":"en","value":"Efficient Runtime Verification of First-Order Temporal Properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7666541"}},"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":"Q5883570$A7072554-739B-40BB-9D68-CCDB59D6B9D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4eb3db6c3f5f9bcbb60794bb75c5c36822ba2bf7","datavalue":{"value":{"text":"Efficient Runtime Verification of First-Order Temporal Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5883570$5D4381AE-7812-439A-829F-CB92AC92B1FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74ea1dcfcadd243e0e03efc230874ee23ebdd8d0","datavalue":{"value":"10.1007/978-3-319-94111-0_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883570$5F8167EC-B4A1-47C7-B670-125566A88E0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6851b3cbcdf05c70d7cc524c17fd5e0535b0ce27","datavalue":{"value":{"entity-type":"item","numeric-id":457246,"id":"Q457246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883570$E21C8DF4-CB2C-4185-85B9-BA436C32914C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883570$A64062C5-1277-48D9-9C0E-1C78BD33A5F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"522e9e5b50831c9c990a6ebdcfb4c44f217acf10","datavalue":{"value":{"entity-type":"item","numeric-id":2814620,"id":"Q2814620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883570$B5BD694D-7939-4048-A9AB-EA917CD76D0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9db9aab8c47e8de7d6375c30693ffa43d749cd68","datavalue":{"value":{"time":"+2023-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5883570$4682E9F2-C173-4BEE-A6E8-36280F617FCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883570$D738547B-BB7F-4C03-84B3-B5C2131986D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f60609a47387d8662134dafce7de313c4ba3b7d","datavalue":{"value":"7666541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883570$8BDDEF13-A706-49AA-B520-E0694CECC17B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ef95743ea175154cef89deff408347089fc00980","datavalue":{"value":{"entity-type":"item","numeric-id":33215,"id":"Q33215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883570$A1B42D0A-663A-4492-A4D9-5C43B5DE95B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41ca10ca1c83d374e1e50b0265f85d2512ffb015","datavalue":{"value":{"entity-type":"item","numeric-id":25943,"id":"Q25943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883570$E7949472-E81C-47FC-84C2-C0EEFBA8A3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883570$71A13DDE-90EC-48CC-8A6C-E060F272B232","rank":"normal"},{"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":"Q5883570$1DC84FF5-EE6C-419E-B0C9-3857EE69D9C8","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":"Q5883570$3E80D0D9-011F-4B50-A9C7-1A76508580E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b1fbfdac828d43651a7aedf08947b72f2eb1d91","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94111-0_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5883570$DD1F31FA-8E3B-4A1D-9F01-0B0B1EE84422","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"947518a633408b052d79a1a1e27c4c54c370f298","datavalue":{"value":"W2808270794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883570$05154E53-636D-4FA8-A7E6-C52976F5D8EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c57dfd81934c0c76c7925c937211e00638a6bf","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883570$1E33738F-AB07-4E64-ACE3-0AFC431359B9","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":"Q5883570$75B9067D-13FB-42F5-8E0A-74C5C08259C4","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":"Q5883570$A5EEAFCB-7316-4DB3-B148-6EB728733609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a36919fe60b6cd72a4fffe4adeb8fc314f00cf8c","datavalue":{"value":{"entity-type":"item","numeric-id":4472252,"id":"Q4472252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883570$49C0BD85-77F6-4103-AE71-EFF4183E9472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e33b53c9004b61a90401a2052769d8efa2f34a0","datavalue":{"value":{"entity-type":"item","numeric-id":4120115,"id":"Q4120115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883570$E0CE640B-6D24-4CE1-B6A1-A0C0B8BCB5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2b1afdfd50f7f4404e431384ee3957a9cf5c28","datavalue":{"value":{"entity-type":"item","numeric-id":1176248,"id":"Q1176248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883570$8BF2FC6D-0639-45B3-8727-12D5CAA904E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34ee3280a4aba13cdbe3d7d1fc17418bf7b49fc9","datavalue":{"value":{"entity-type":"item","numeric-id":5493378,"id":"Q5493378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883570$AE382E4D-92CD-45EC-901B-4D1ADF09F3D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaeff2ecdf1da84c9a5af01fadf80f473dd0fa5a","datavalue":{"value":{"entity-type":"item","numeric-id":2225472,"id":"Q2225472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a55d13668fc34290c4ad2c46f8f27fda54d7890","datavalue":{"value":{"amount":"+0.8518775701522827","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":"Q5883570$38B970D9-9173-41AB-B3F9-A78C6BF7E866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb56100b956472466b6bec1a446f555971ed2de","datavalue":{"value":{"entity-type":"item","numeric-id":6485851,"id":"Q6485851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2235fdb2b2c9b6be94dfb1c798c5d845be8c99c2","datavalue":{"value":{"amount":"+0.8252449631690979","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":"Q5883570$16E05E43-BC3F-4411-AE5E-9C2C8F6A5955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cec13b3dccc688906439feb72efe0e74a0d31a8","datavalue":{"value":{"entity-type":"item","numeric-id":2796403,"id":"Q2796403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d275b9bbe3633f2f7cd9a4261cb534af6dcfcda","datavalue":{"value":{"amount":"+0.8133853673934937","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":"Q5883570$66B556B7-D405-48B6-8389-EEE1CF3FB95C","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":"ea9d972b668c7a28a0ff8b648b377a4c6286d1f1","datavalue":{"value":{"amount":"+0.8106799721717834","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":"Q5883570$883C5BE5-7382-4BDB-A101-261CBEE0B94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc33dc20f9f51ffc4c4e6975ea09acaa073c3cf","datavalue":{"value":{"entity-type":"item","numeric-id":6041276,"id":"Q6041276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688e66979512df2cba481207420031209683ea48","datavalue":{"value":{"amount":"+0.8096275925636292","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":"Q5883570$98D24BD5-85AC-4C0F-BD34-E816B82E13DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient Runtime Verification of First-Order Temporal Properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_Runtime_Verification_of_First-Order_Temporal_Properties"}}}}}