{"entities":{"Q1111014":{"pageid":1121763,"ns":120,"title":"Item:Q1111014","lastrevid":69666828,"modified":"2026-04-13T08:34:32Z","type":"item","id":"Q1111014","labels":{"en":{"language":"en","value":"Verifying the correctness of parallel logical control algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4074469"}},"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":"Q1111014$BF82B78C-4DED-44CD-AEA0-98BC5A964AEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8c9b9fdda9027be3b6a754a93fad3039e81919b","datavalue":{"value":{"text":"Verifying the correctness of parallel logical control algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1111014$7704C20C-C31B-45B7-934F-49E44C499394","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f1535b4d2765ef77b6c58630250d78e5e4b153e","datavalue":{"value":"0657.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111014$7A8D8680-4EB7-4E89-B227-897DE6BD05E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bc4b03e016b1c1ba687bfbbc73598f86e419140","datavalue":{"value":{"entity-type":"item","numeric-id":595364,"id":"Q595364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111014$859CC117-88EB-4266-BDCC-426191E24EB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111014$121B8697-1B43-425F-916C-CFC8F18E83DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1111014$6E79028B-B5B3-435C-9B48-1EAFD3EE0DAC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b8a3df625209e88d299ffb1ccb7e9bc5de6a7dc","datavalue":{"value":"An algorithm of the type examined in the article is termed correct if it is compact, restorable, noncontradictory, stable, and self-consistent. Formal methods are proposed for verifying these properties, including Petri nets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111014$A32989E0-96E6-417A-BBB7-8CFEAE12C29A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111014$28853666-4889-44DC-BCFB-918FA73BE567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111014$B5D7B140-8313-4517-B610-A2806212225C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd9e2c577a3547ed3f70c31ec7589c04cb1745e3","datavalue":{"value":"4074469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111014$CB99B701-C965-4FE0-AF26-0083837BD66D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111014$49D338ED-8AD9-4E3C-976F-B494F1FD6882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14e8a77d759082965e7fc891ff9f8abdf093fe2a","datavalue":{"value":"parallel logical control algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111014$000E9737-4C5F-412B-84B6-6E33E659DD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111014$912241A6-6E84-4789-B214-93712A7C7E52","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":"Q1111014$E7D36559-AF42-4F15-B26C-E56EA8FFBAC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b38f533a8e2c62dd6c6523b8d3936f0dc7ad73","datavalue":{"value":{"entity-type":"item","numeric-id":3034805,"id":"Q3034805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75a197ce9e34d085bc26d7629079a38b829c391a","datavalue":{"value":{"amount":"+0.968914","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":"Q1111014$C7F40A86-D32E-426E-A59D-0A5998B16630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68c66d29b35b797864b994f8683e38c1603613b","datavalue":{"value":{"entity-type":"item","numeric-id":1388090,"id":"Q1388090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd2cb1cd2c89bae2ce5a12139d1c00617cc6771","datavalue":{"value":{"amount":"+0.9449988","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":"Q1111014$CBA660DF-9D1C-4DD7-92ED-930A7F6229D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e06a2b290037b865103d120edd03431e6446a2","datavalue":{"value":{"entity-type":"item","numeric-id":4609778,"id":"Q4609778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f7f69966be77e553a99ded0512ee5054ca8fda4","datavalue":{"value":{"amount":"+0.9210049","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":"Q1111014$36F2FDBB-DBD9-4F48-BA00-8CD54E48300E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cd3879500c0883f46e829203cab396209fe8891","datavalue":{"value":{"entity-type":"item","numeric-id":4533007,"id":"Q4533007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e52a917eb16a5f66235d443294865837af0df7e","datavalue":{"value":{"amount":"+0.90060216","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":"Q1111014$A906D032-4575-4E58-96DA-391F379AA338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"218d194edf17b5f341b08645a92ce117e45529c7","datavalue":{"value":{"entity-type":"item","numeric-id":1276521,"id":"Q1276521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c77e348f7b8657c8f03d9794465968d1696fdb5","datavalue":{"value":{"amount":"+0.891414","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":"Q1111014$1D36B643-446B-4AF6-B8A4-42A11D887888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d13d0356133a0244fa0313c0138d1701b208a204","datavalue":{"value":{"entity-type":"item","numeric-id":3347266,"id":"Q3347266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b69cdf932d13f7a6c3691839a935935b4215c5e","datavalue":{"value":{"amount":"+0.8903386","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":"Q1111014$60451A9C-D8A0-4D3E-A289-F671C48A6043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d3ba2e6e5e1361ace684e95aec0deebe8844a28","datavalue":{"value":{"entity-type":"item","numeric-id":1059388,"id":"Q1059388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5149fd4fd1ed460b469b10164444947367fb4a07","datavalue":{"value":{"amount":"+0.89030015","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":"Q1111014$11CA83D3-EE97-46D7-B3D2-82747C0CB9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae4ab984705ebfdb1d48d0a9ac0e0c6059e49ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4441511,"id":"Q4441511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f6832769a8d9394a2a119209184af2ceb2fe06e","datavalue":{"value":{"amount":"+0.88929474","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":"Q1111014$5431AEF3-88C9-4302-AECB-7964D406777B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying the correctness of parallel logical control algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_the_correctness_of_parallel_logical_control_algorithms"}}}}}