{"entities":{"Q2225472":{"pageid":2236215,"ns":120,"title":"Item:Q2225472","lastrevid":71606670,"modified":"2026-04-13T23:21:51Z","type":"item","id":"Q2225472","labels":{"en":{"language":"en","value":"First-order temporal logic monitoring with BDDs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307312"}},"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":"Q2225472$61AE4BC3-0F5F-402D-89D1-6BAF0191B861","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"236fa976c5ce7686eb4113ba6f537e14a1f1cd36","datavalue":{"value":{"text":"First-order temporal logic monitoring with BDDs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225472$3AA224B6-D4CF-49BF-B2FB-7DB886CBA7AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10e8c31b026b180eeda9ea0ea6a887d467bba961","datavalue":{"value":"1506.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225472$76A79C48-955C-4CD0-9B78-44E38AF99E73","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":"Q2225472$76F90B08-7AF7-401C-A142-E5889FE50FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b4879a1efc503e096242b7b74b6872d483906a1","datavalue":{"value":{"entity-type":"item","numeric-id":832024,"id":"Q832024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225472$78BDF7DB-E006-4552-B7E2-F5537BF28447","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":"Q2225472$64B0FA60-2914-484F-9492-6A54605E9250","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":"Q2225472$1822C3A6-053C-4ADE-A20F-6CCD5068278B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3972cc89c33d20406d53dd6cfa3d6bd85b48f15b","datavalue":{"value":{"time":"+2021-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225472$9FA6F84C-F195-42E7-9BCE-6594CF57581C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225472$7962F41A-BE61-433C-9AEF-AD0E00777BF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05a697ac67a7c965fb612e2a9c414024d0b17b07","datavalue":{"value":"7307312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225472$2229CDF4-154A-47E4-AE69-5500032D7BF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0e42b837f773513db99b316c2071f73f5c1bab3","datavalue":{"value":"past-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225472$E550295B-41E1-4EC6-96DD-F737FB6ACD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6abb1b9a63c426626d135d93465eb57a61adb2a9","datavalue":{"value":"data","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225472$69E9237C-1C2E-4F66-A847-89571782A7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f376b4cab41b5aaffe2e0559d180ac7d09f1764","datavalue":{"value":"BDDs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225472$F4C20C0F-78FE-4F97-9B19-494AA865017A","rank":"normal"}],"P1463":[{"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":"Q2225472$DD45E266-A1D4-4DF3-933A-037C990CF030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"df9c94f12057c0c6160ea6018d14bce3bf87d339","datavalue":{"value":{"entity-type":"item","numeric-id":5973440,"id":"Q5973440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225472$62103715-79A7-4EAE-A322-A135BEC62D3E","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":"Q2225472$5CA82DAC-6C42-4F58-A7BC-4A83F934551A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"817cb896f35f89cc5542ec75908314ecafeda59f","datavalue":{"value":{"entity-type":"item","numeric-id":20918,"id":"Q20918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225472$5DEB7E57-6DF7-46E1-8767-25F01A234EAB","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":"Q2225472$303442A2-2963-42EE-A553-69BBFD8A0C36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e86a6b7ee618a5bd0860f7588b1a0cc24f9a3556","datavalue":{"value":"https://doi.org/10.1007/s10703-018-00327-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225472$BC530294-D1DB-461F-BF43-A6707F090520","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95cebe330ab9e51dcb0a895237b729dec9d61fb7","datavalue":{"value":"W2911015216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225472$73677566-8A1D-45A8-AE7C-B341D1E87C65","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df773a70d69fa5f0dffe0a4089f06a72cdc850ad","datavalue":{"value":{"entity-type":"item","numeric-id":3634749,"id":"Q3634749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225472$E208791A-2746-447C-9510-327128375BAD","rank":"normal"},{"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":"Q2225472$C81D7244-157B-4BE7-A76F-89B66E1162A9","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":"Q2225472$B27C4E1A-DE1D-4176-81C0-ED1BC8106DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57152626eccdef04f7485d19a54e1d3df61b2f69","datavalue":{"value":{"entity-type":"item","numeric-id":3569196,"id":"Q3569196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225472$6CE297F7-5590-4E1B-8C3B-7CC81ECAFBFC","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":"Q2225472$0F70B93D-34D6-4A51-85CA-223B3D693709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9d760b56e81829535236b574ab4988cdae3b4b","datavalue":{"value":{"entity-type":"item","numeric-id":3417010,"id":"Q3417010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225472$BD10C630-0495-4C44-A345-48A02D05FB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225472$0BC2CAAA-338E-48EB-A73B-C0C152790DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7446cb86d9bb02f596016fd3f30d4c9c5629c1d4","datavalue":{"value":{"entity-type":"item","numeric-id":5716567,"id":"Q5716567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225472$9A151D18-4EFE-4C40-8E4D-085C76B0983F","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":"Q2225472$1F2F6107-8A51-4654-97F8-63841FCAB7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c5875eaa6f93bfeaac4d0fab2d77ff3c0870d4","datavalue":{"value":{"entity-type":"item","numeric-id":1878917,"id":"Q1878917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225472$46B81794-6436-4336-BDAE-0815D8ABB482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225472$1270AB4F-2092-4CBA-BD27-930663A531F7","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":"Q2225472$FAB5E0DC-9339-4E4A-9668-548C3FE80BE5","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":"Q2225472$3BFA8680-974D-4F74-8751-E2007323620A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ad3607e9422b9cec9103a23d6e8c2a8a6bd12b7","datavalue":{"value":"10.1007/S10703-018-00327-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225472$BEE4322F-33BC-4F4C-B57B-545BA3EFABF7","rank":"normal"}],"P1643":[{"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":"3e66d1161a2d091d4f88f505acb2457e57c0f711","datavalue":{"value":{"amount":"+0.8635562658309937","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":"Q2225472$E99793C0-0C84-4B08-859C-23782CDF447D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c8b93cf06e23afd41706f95736fc258357f4fc","datavalue":{"value":{"entity-type":"item","numeric-id":5883570,"id":"Q5883570"},"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":"Q2225472$21AA1546-33AE-4E67-A073-6F19EBEF5A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16f01043b665ddadba0148fba0205ba9076e86c9","datavalue":{"value":{"entity-type":"item","numeric-id":4647831,"id":"Q4647831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"052da44124e607980a113dd84612f1feb9334d2b","datavalue":{"value":{"amount":"+0.7983978390693665","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":"Q2225472$ADF7ACE2-DAB4-43D4-B7D7-6BBAD2C142D0","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":"62cd5f1548cc0eb0616f4af7305779f7596a9b62","datavalue":{"value":{"amount":"+0.787525475025177","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":"Q2225472$5DEC7D12-6A48-4D52-B230-2E86E204426F","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":"c63dc3db85603179af06e49024fc185d7f717a7e","datavalue":{"value":{"amount":"+0.7864450216293335","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":"Q2225472$8D48208F-C55C-41B6-99CF-B890B3101BFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order temporal logic monitoring with BDDs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-order_temporal_logic_monitoring_with_BDDs"}}}}}