{"entities":{"Q2145270":{"pageid":2156013,"ns":120,"title":"Item:Q2145270","lastrevid":43587574,"modified":"2025-10-27T21:33:48Z","type":"item","id":"Q2145270","labels":{"en":{"language":"en","value":"Event-driven temporal logic pattern for control software requirements specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7543872"}},"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":"Q2145270$2D0B2245-F6ED-4C3A-B7FC-73C64BC0A723","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d9e0974368cd979f1ae3901864f68e4ecbe7f96","datavalue":{"value":{"text":"Event-driven temporal logic pattern for control software requirements specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2145270$A33802B2-0DE1-47BC-B694-3435C5EF53E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2aab8cec20280619091ea863c4218fd8c216051f","datavalue":{"value":"1496.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145270$53B17A08-7B60-43C6-AFB3-FFCBC6F07AD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a659ae5b9aed096534da1035b6edd366b87801c","datavalue":{"value":"10.1007/978-3-030-89247-0_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145270$624D4C97-FD91-44E6-BA4C-2A2408FDC1F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d7ffc98e33b1ad780b8a595a489e5067fda429c","datavalue":{"value":{"entity-type":"item","numeric-id":2145264,"id":"Q2145264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145270$8EE8329D-F722-4D4A-B511-E7B29116D12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0af188f1f71c2fe27b546a4fa0da4c3f7bebfb45","datavalue":{"value":{"entity-type":"item","numeric-id":2145266,"id":"Q2145266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145270$43E4B330-15AD-4574-82CE-E676B9348763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d4ce931db472e0957f696cafffefc28888149b5","datavalue":{"value":{"entity-type":"item","numeric-id":2145267,"id":"Q2145267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145270$56848028-A741-401A-9AB5-DB30EF1BA45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec09d2776fb1f38a02d73da4ad7c37193088cdef","datavalue":{"value":{"entity-type":"item","numeric-id":2145268,"id":"Q2145268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145270$1ECC8A9C-FC39-4249-8540-3F8F1D20770E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1b5fbb02d55c09c7c50b33805c0bb2940a6dc0f","datavalue":{"value":{"entity-type":"item","numeric-id":2145269,"id":"Q2145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145270$72D12B37-BA03-4364-9AD0-4C4964DF7CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"290d425e3723e34b361a9f06680e3fcfb8ef0e3a","datavalue":{"value":{"entity-type":"item","numeric-id":174075,"id":"Q174075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145270$0276E6A2-4B8A-4671-80BF-861187FFC17D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb05ecdd4c1bc9bc017712b48f5ce5d7c83890d5","datavalue":{"value":{"time":"+2022-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2145270$53AB9AA7-0B2F-4398-AF0F-4C4354E91D74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145270$3B30775A-69D4-4AFE-8E6B-70C287BE9060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145270$39922957-F5D6-434C-8519-F54F4A4986F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"366facf70c1cfaa29f1363b1e13f1563678b9f31","datavalue":{"value":"7543872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145270$0DDDE7AE-3495-4B7E-BD95-3C2FB38D5963","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":"Q2145270$35801391-96E3-4C05-B006-2348B90961F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e69f41db75a74ad84a879a5a8b580835f4087f0f","datavalue":{"value":"https://doi.org/10.1007/978-3-030-89247-0_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2145270$7B5B0027-BD98-4D29-AD7A-AF14918C943C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5878cfc6597773abcad785139dc2a2b467b8e57a","datavalue":{"value":"W3206124440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145270$89A2426F-C5C1-4FBC-9B6C-0F6EC6E5B40E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a1aae10da6da0ed92dfd74794f7b9d99f2f2cd","datavalue":{"value":{"entity-type":"item","numeric-id":3605458,"id":"Q3605458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145270$B7819684-5785-4A0C-B98A-C84E09647CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42fb996a4acecd7283dda97dc1d78a9b114a8cc4","datavalue":{"value":{"entity-type":"item","numeric-id":4782045,"id":"Q4782045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145270$67BEC1F9-2E39-486C-AB17-B8B243F71A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145270$9F229835-DEDE-4524-835B-73753EF8FEEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ea4dcea801d82ee17dbe85445e73dd9ee93335a","datavalue":{"value":{"entity-type":"item","numeric-id":4561449,"id":"Q4561449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6101c295411d799234a133a6d51c316f3c7230de","datavalue":{"value":{"amount":"+0.8681465","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":"Q2145270$A33794DD-AD21-43A0-B990-4246D1FD4594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78c49f4b4a66df2586211b7197dd5cb5fe56a26","datavalue":{"value":{"entity-type":"item","numeric-id":4694252,"id":"Q4694252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4169413bf71a15a303afac4bd62462079080f7ac","datavalue":{"value":{"amount":"+0.85947645","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":"Q2145270$EF45C4DE-A0E2-4D12-AA76-2B1D43427A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7af6db943233379bdc17fe306a84901e27a2225","datavalue":{"value":{"entity-type":"item","numeric-id":3832541,"id":"Q3832541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f32ddb273751408b9eb98ac1211405e45ea3d1f5","datavalue":{"value":{"amount":"+0.8594764","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":"Q2145270$004A1F81-FCA8-4170-9F20-FEA5D074FAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d885a6b1bd128d2ae79869745e4b7954534fe14","datavalue":{"value":{"entity-type":"item","numeric-id":5930938,"id":"Q5930938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d7da66a887e8b188d0e7aa60204cfec523bac7","datavalue":{"value":{"amount":"+0.8571096","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":"Q2145270$7C16EF79-5AD1-4F94-9D61-CCD3FB1B10CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da1dc2a274639cde9e8a48505d84d807ede2098","datavalue":{"value":{"entity-type":"item","numeric-id":5703777,"id":"Q5703777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0916fed5a56b1e2db3a83e7be42a960dc8135338","datavalue":{"value":{"amount":"+0.85502607","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":"Q2145270$69DA33CA-DEBB-4667-B103-A57CE472214A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf8a547a05669e0a88913b8edc63e64ac6ef627","datavalue":{"value":{"entity-type":"item","numeric-id":5060076,"id":"Q5060076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad0af277360bfdd9a305ad6daa7b07e0b84f000c","datavalue":{"value":{"amount":"+0.8472628","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":"Q2145270$9DF2EE73-BB88-46B6-BA37-6A3A33E3E95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6223bf91c46c04c0011b1fe68d8bb668a4ff7a46","datavalue":{"value":{"entity-type":"item","numeric-id":4907867,"id":"Q4907867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2cde7f8b732f66d8c58ce6a70ee8424415bcb24","datavalue":{"value":{"amount":"+0.8463531","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":"Q2145270$62342E3F-3FF7-4DDD-9F2B-9A0811336291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3655ddc9825124373c1409c2e1d9bf84caf378f7","datavalue":{"value":{"entity-type":"item","numeric-id":4256654,"id":"Q4256654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d69b98f4a5c26432ac5012bb7449677021e1853","datavalue":{"value":{"amount":"+0.8461649","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":"Q2145270$3490F213-3522-41F6-AEE0-2379E45D0B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a2d919e61b5868396aa0a337ab45e0ed312249","datavalue":{"value":{"entity-type":"item","numeric-id":1951603,"id":"Q1951603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"939439431dbe65431b98405bf122a2dcbac2f7b6","datavalue":{"value":{"amount":"+0.845623","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":"Q2145270$0271926E-B5C2-4A22-9536-77CDA6920B67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2145270","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2145270"}}}}}