{"entities":{"Q1784050":{"pageid":1794792,"ns":120,"title":"Item:Q1784050","lastrevid":57288384,"modified":"2026-03-27T22:34:26Z","type":"item","id":"Q1784050","labels":{"en":{"language":"en","value":"On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6943860"}},"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":"Q1784050$0E4A7683-4893-4DA0-AB9C-154322C2444E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab2867d06e8687cd47946b1f2bd1631f10f31ba6","datavalue":{"value":{"text":"On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1784050$7B4F517F-9AA9-499C-A5CE-CCB7E2B5CB94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a21d712c0d8078f19153b824bddb48f7ce33f35c","datavalue":{"value":"1396.93090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784050$94865620-26B5-4D93-A6DB-04D0F3CBCF04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89a60a535b30ba57790f4244b1d13e98ea37c226","datavalue":{"value":{"entity-type":"item","numeric-id":1784048,"id":"Q1784048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784050$47CBA41F-A74E-49DC-9C04-7D38D1664A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e6ff800f99d114dbdbd3256c290272d3c2d28cc","datavalue":{"value":{"entity-type":"item","numeric-id":1784049,"id":"Q1784049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784050$B475B405-0146-4989-B8DF-652FA53CBDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aaa29e7030e407be9b06b806822d3bfc5f24eab","datavalue":{"value":{"entity-type":"item","numeric-id":839010,"id":"Q839010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784050$80C06550-0C5E-4BF1-8718-E811D0C63742","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f510c5e690efa669d4d80846fa4397a83b3b4bf6","datavalue":{"value":{"entity-type":"item","numeric-id":285367,"id":"Q285367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784050$5504AC26-2EC4-46D6-8C29-BEBF1AB993EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17910f431f36c918edeee4dc0184510e28acac74","datavalue":{"value":{"time":"+2018-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1784050$B7B22D07-FE52-4A51-92F5-61179214C0B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784050$31B75001-307A-4149-BB8D-9D78CAB7FCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa31302a6315eb00d745d9c7dacf89c33763ee49","datavalue":{"value":"93B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784050$79E53A3D-AD8D-496B-963D-BD583A03FB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784050$F177BC9D-B54E-42B9-BBAF-AE261D164C60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6260535f0d1d70181497e9260efa44ca9c43fb79","datavalue":{"value":"6943860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784050$D678CD2F-3FE0-40F9-B9F2-17A5C76B9747","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40824276f4e3fdfc74ad3f67bd3e49838d9da9b8","datavalue":{"value":"fault diagnosis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784050$93CE7DC5-A645-4299-9771-C41E9BD29C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44b66a5f74a9aa5477ccff291192df44a16b994b","datavalue":{"value":"discrete event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784050$924487B9-A40A-494A-A636-E6B3BC43F64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecf2798a399f9b5828407c14af519ed63947722c","datavalue":{"value":"labeled Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784050$0C006FFC-0D34-4799-BCB5-0A6D07589C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13d630376fe116de415988e57aad6a6322f4fcf1","datavalue":{"value":"on-the-fly diagnosability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784050$6F05718A-CD45-4B6A-B1F5-CB493D516EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07e94a2f29e8985fcce23c3b63626da8c3807bda","datavalue":{"value":"verifier nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784050$B1E05B24-7FA1-4865-802F-AC75F717516F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02168b2dc11ccfbf91fc2eca7fec3a7ba720dda3","datavalue":{"value":{"entity-type":"item","numeric-id":44935,"id":"Q44935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784050$6FB9C134-34C9-47DF-A5D5-77714CEC6BCE","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":"Q1784050$C6DE897D-53E6-4D4C-B5A0-0F2A720E1011","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74dfc087571eeedb75be1b9d2d158fdf213105c9","datavalue":{"value":"https://doi.org/10.2478/amcs-2018-0019","type":"string"},"datatype":"url"},"type":"statement","id":"Q1784050$861C1620-7DA5-4B82-AF6D-84E74E78C90B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e91aebc6ace0022bff056cdcb49bfc5aebf9402c","datavalue":{"value":"W2884111137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784050$3E8B018E-E9B1-4332-AF3F-F4BDA7F6657E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e896381fdd816d2a69de569aa76d0bbce22a5b42","datavalue":{"value":{"entity-type":"item","numeric-id":1937479,"id":"Q1937479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784050$0E9CA916-40AD-4D02-98E5-17DC445DA938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21c0d8fd62ee073217bcfb399945928d5698678","datavalue":{"value":{"entity-type":"item","numeric-id":4974517,"id":"Q4974517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784050$A348EF65-174B-48E2-B9F3-EFCCC365C697","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":"Q1784050$FD536D1A-FAF0-48FD-A079-0C71862FFDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ae08f639f7180832570576232921a26c9740fa","datavalue":{"value":{"entity-type":"item","numeric-id":2982878,"id":"Q2982878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784050$C7A05662-D91A-4E26-B2C0-A4022AE2F861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784050$8669526F-08A1-4212-80F3-593741C93466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c96016133f001299a67548984b80285ad92359b","datavalue":{"value":{"entity-type":"item","numeric-id":4540472,"id":"Q4540472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784050$F2CF3287-B4A3-4AF5-982D-2EBAB15E6550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784050$67B57939-E520-4857-8F2C-B0713A3257AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83961394e025c765559831ccc9cca439070a3d6f","datavalue":{"value":{"entity-type":"item","numeric-id":5347782,"id":"Q5347782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784050$0E8C520A-3761-4F2D-81C9-618D3F43E2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fc9e90c5ee3972a410dc4276a1a88eef0dada4","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784050$4D3D36FD-90B7-4CD8-8132-39052DC4F77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829c2fc52e5b12c8e00ff0f0fcc73378436c283b","datavalue":{"value":{"entity-type":"item","numeric-id":5703757,"id":"Q5703757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784050$98B9D3D5-FAD6-4669-9FE0-47BA3418EEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4e39cac1be71c6762af84fd87f4243af5695b4","datavalue":{"value":{"entity-type":"item","numeric-id":5267079,"id":"Q5267079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784050$EE7E7915-9B47-4B7F-8B79-A9D721B2D4E6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"256ebc6a04e31a987da8f70e4c14663a773de8a5","datavalue":{"value":"Q129498954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784050$2BC2DD3C-94D6-41FB-BAC5-096ED88205F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3ac762c6220a39c110d0af350197d514ed47950","datavalue":{"value":"10.2478/AMCS-2018-0019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784050$8031166C-CF6B-4D59-AF83-77607D1E485C","rank":"normal"}],"P1643":[{"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":"0a6ea832832c4ff111f7da32693cc814b7b7f2c9","datavalue":{"value":{"amount":"+0.8481050729751587","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":"Q1784050$8453F253-44F1-4C42-BD14-C99E05A7BB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1aadffdceec9da6d069816f3f262a77309c744d","datavalue":{"value":{"entity-type":"item","numeric-id":513189,"id":"Q513189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f653f9ae2949372a7897dafcf028395c7cbfac9","datavalue":{"value":{"amount":"+0.8372418880462646","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":"Q1784050$4AEEE779-BE46-4C63-BBD5-291623CC8321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1315d667f045129c24b4f61c2349d8bab22a57","datavalue":{"value":{"entity-type":"item","numeric-id":4597527,"id":"Q4597527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbd77e70b05a91b3f48452cf7329a8bf78e8273","datavalue":{"value":{"amount":"+0.8325982689857483","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":"Q1784050$BF969691-8788-49E5-912B-51BE7B589B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5162b8aedd639e061f14f1525add1990f4f990","datavalue":{"value":{"entity-type":"item","numeric-id":5496932,"id":"Q5496932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7cfd1a49e06bcec84954734036e6c1a1b3c6f96","datavalue":{"value":{"amount":"+0.8195189237594604","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":"Q1784050$95D6C92F-A71B-4A0A-BC61-26C9CD7B4484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6629b780316ccbb39db82af6b22b1604408c0f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2103666,"id":"Q2103666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be54f6905fe4fbd99f3b7f2226102d950e7f1a9","datavalue":{"value":{"amount":"+0.8106979727745056","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":"Q1784050$AE899F84-0747-4638-A618-C39BA4394587","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784050$07CC96BF-68AB-49C2-B26F-5B7EA081795C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1784050","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1784050"}}}}}