{"entities":{"Q2023240":{"pageid":2033982,"ns":120,"title":"Item:Q2023240","lastrevid":57672546,"modified":"2026-03-31T21:02:26Z","type":"item","id":"Q2023240","labels":{"en":{"language":"en","value":"Verification of C-detectability using Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7341960"}},"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":"Q2023240$2C550FB6-0EE6-4BE2-9324-05B27C241A5C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a85fbad24800ca2abfdb1c7ac5072209a3d3deaa","datavalue":{"value":{"text":"Verification of C-detectability using Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2023240$7978C9F1-5FD6-4DED-B6FE-1B874F8EEE09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25fa88f9ab939b097410af2a2b71075cd79f05bd","datavalue":{"value":"1459.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2023240$FEEEDA41-91B6-4A2F-B51C-C950CCA6DC99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"220621e10c323d31c5b0b0433fd4e7d436e0461a","datavalue":{"value":{"entity-type":"item","numeric-id":2023239,"id":"Q2023239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$650B9DB4-FA19-44E2-B033-076F622386D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"590214d1199f9d7a391b3df6956ae7e3c3ab16ea","datavalue":{"value":{"entity-type":"item","numeric-id":255527,"id":"Q255527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$7EB2CE0C-A241-41CE-9094-99262DED66A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"086bbf01ff69010a0815bc4af16ffbb9167e5cc9","datavalue":{"value":{"entity-type":"item","numeric-id":394373,"id":"Q394373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$11B47918-C056-4DC6-A9AE-7EEB2DF5EBE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df19460f1c0c60639299e2b3cc257130afa31af5","datavalue":{"value":{"entity-type":"item","numeric-id":172785,"id":"Q172785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$E31DDDCE-FD49-4E27-906C-127A2F929017","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$1ACD937C-5D92-4F56-B426-9C8AFFAA0C7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"960dc4bf51b8f5076beb0d650fe9e65aae11ca84","datavalue":{"value":{"time":"+2021-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2023240$395359F2-7B26-4657-9D0C-20F52870A29A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e2bebae1ff8df42bb87061e21e7bfa7b096c337","datavalue":{"value":"https://arxiv.org/abs/1903.07827","type":"string"},"datatype":"url"},"type":"statement","id":"Q2023240$441E4677-8AEF-4C21-B2A2-1D1501D168DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2023240$49C84FA6-956C-4732-88A7-2F51DF959F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2023240$BF605C56-5352-41B9-A5F4-407CEF6CB9D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32b286ec07cbb7125214686b72672d8217066a6b","datavalue":{"value":"7341960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2023240$8267ED1F-EB4C-407D-8715-F5BEE6208F55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a1a6ccbfbc13a722785d5993c91fe2ec136f217","datavalue":{"value":"detectability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2023240$5685D048-D308-4D0D-88A4-70140186E042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2023240$66495A06-9232-4DBD-A251-2446CDC88AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1760212da73e27b886ddacff18ea1d33e2f31fe5","datavalue":{"value":"discrete-event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2023240$6E130836-4299-4417-88D0-15AF68B0E0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31017a2c3b098372f149724ca00c3018ff8602d5","datavalue":{"value":"state estimation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2023240$27BDBBC9-1836-44F6-AF7B-39861CCCF623","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$401BC6D1-D40F-4605-B1D8-4C98E0EFE4D4","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":"Q2023240$14589056-F088-44B2-B97B-5A286597A92B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cb476d57a5f18fb9d782e0e83ac2cd998dddc9e","datavalue":{"value":"W2921227100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2023240$57929808-FCEF-430E-ABAB-802B8268B9B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$D757A1B9-BBF1-463C-945D-FF37E9A4D78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db03ae23b54f74c437ab68d89cbbad8954a9c93f","datavalue":{"value":{"entity-type":"item","numeric-id":1102899,"id":"Q1102899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$CDFA4FCC-84ED-4091-A667-30CF48F62633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00bd7129f38d194cdcd23f8a5c5d0549588d5e29","datavalue":{"value":{"entity-type":"item","numeric-id":5282320,"id":"Q5282320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$8B9AA42F-E8A3-4B51-8FA7-493E3E4BEB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64c92fedabc88b70cdf8f87988d63e7b658d5e3","datavalue":{"value":{"entity-type":"item","numeric-id":373013,"id":"Q373013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$26B2942F-A254-4981-BD47-F64A22F65568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bb5a998b63191dc8483b56807c759ad55c1c68","datavalue":{"value":{"entity-type":"item","numeric-id":710706,"id":"Q710706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$FCE3BE01-9418-4D43-BEC8-E626C797B2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d77f77e1dd2abf219695bdabceee846370e368","datavalue":{"value":{"entity-type":"item","numeric-id":5273656,"id":"Q5273656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$8D8F2D77-2319-4A74-973D-3CB89E327EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e8a53da7781e669cf8902a06caefa80eed520b1","datavalue":{"value":{"entity-type":"item","numeric-id":5352631,"id":"Q5352631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$8EC10B41-2BB8-4005-ABD2-1446C6041CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ce1e8b5acadd7ebeed4cb1a6702c8e01269e4b5","datavalue":{"value":{"entity-type":"item","numeric-id":5282235,"id":"Q5282235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$969831D1-4B63-4BC9-B0CF-068A401A59F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371ac2d9b93588f2f16a984cabf720c7aa8233df","datavalue":{"value":{"entity-type":"item","numeric-id":539906,"id":"Q539906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$4857B5AD-6241-4FF5-BFAF-7DD7FB14401B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e870c0e69fab898cb58d627b017dbf76e883505a","datavalue":{"value":{"entity-type":"item","numeric-id":2409237,"id":"Q2409237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$46BE025A-80A7-4861-928C-14F6DAF825BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1911db35be2117477ecacdff3bc4da88e0286943","datavalue":{"value":{"entity-type":"item","numeric-id":5353171,"id":"Q5353171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$EAA03D37-807E-4EF1-AD5F-35C41DC42FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db753e28747214c3aeb02bcfc21e9214bd66a45","datavalue":{"value":{"entity-type":"item","numeric-id":1797011,"id":"Q1797011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$7F363FD0-CBDF-45DA-B7D8-727D122AE7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bbd5b81570141058170ac2c3422bbff3dd3fec3","datavalue":{"value":{"entity-type":"item","numeric-id":1737932,"id":"Q1737932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$C58031F5-581E-4D4F-9052-12720B9F47EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$A6215DAD-23D8-449C-A5E9-4ABA2BB09F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55439dbcc2b9bb19a44ce720b8d50aa4bb6bff0d","datavalue":{"value":{"entity-type":"item","numeric-id":5282361,"id":"Q5282361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$6D6452D8-5057-4E9C-BF64-6AA28549AEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b3a4455a01f695b0b01b5a2eae65b3e1eaa1a40","datavalue":{"value":{"entity-type":"item","numeric-id":5183524,"id":"Q5183524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$E190AD5F-1A72-4C64-AE94-088D1E56E409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b361780de92b5ea43d26093fedf46a8bad47e2","datavalue":{"value":{"entity-type":"item","numeric-id":5353040,"id":"Q5353040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2023240$5155AB05-2807-4E55-BBB1-5DA0851AFCB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c259599730a1eb020bc1202a9db3d99f9b70f50","datavalue":{"value":"10.1016/J.INS.2020.04.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2023240$BA6DED22-2882-433A-B456-98BAAAD96CA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf10953a1a2cccd9198a9ebd71eaa56d9a4dccc","datavalue":{"value":{"entity-type":"item","numeric-id":2060875,"id":"Q2060875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ef5d4f6a3198c185fa58e8d545543f777713a95","datavalue":{"value":{"amount":"+0.9037423729896544","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":"Q2023240$395948A9-82AE-4301-B8E7-948EADD95112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63e1a3f6d3ad075c1bc278c6ef77e168800a4c1f","datavalue":{"value":{"entity-type":"item","numeric-id":2197590,"id":"Q2197590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4396f92ff590cac6e86b2ccde13b5f53cbda2ffc","datavalue":{"value":{"amount":"+0.8876758813858032","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":"Q2023240$364F5F0E-FF52-492E-A47F-D14F7FA968B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0452cdf18f6cf3b4c551a161d7654308ae8b4c0","datavalue":{"value":{"entity-type":"item","numeric-id":1737932,"id":"Q1737932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc7d424e2c6accb6421a0ed0f308966cb105894","datavalue":{"value":{"amount":"+0.8794081807136536","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":"Q2023240$DD76311A-BABD-492F-A7AF-484908D84DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d612e25b25d5b26dd0ad1c905f2b1609c45dea","datavalue":{"value":{"entity-type":"item","numeric-id":2665360,"id":"Q2665360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ed1c700b2f1083be1e20e4d039302781dbb9af","datavalue":{"value":{"amount":"+0.8076078295707703","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":"Q2023240$6192784C-CCBC-4CF8-9777-7D4D8502DCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee4198fe9881653eb5b27084233a27059691161","datavalue":{"value":{"entity-type":"item","numeric-id":2065231,"id":"Q2065231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32701c62cb0cddc548c039ee1237164c3a1bb9f3","datavalue":{"value":{"amount":"+0.8070156574249268","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":"Q2023240$3F6B0F58-DDD4-439B-BE79-A2914BDE4AC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2023240","badges":[]}}}}}