{"entities":{"Q2827930":{"pageid":2838668,"ns":120,"title":"Item:Q2827930","lastrevid":52654817,"modified":"2026-01-23T05:01:22Z","type":"item","id":"Q2827930","labels":{"en":{"language":"en","value":"Verification of programmable logic controller code using model checking and static analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642417"}},"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":"Q2827930$540A75E5-941A-477A-AC6D-FE244A60DD4D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ce557feab551c2990262b8042466067fa6ba2e5","datavalue":{"value":"1348.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827930$421EDCF3-F202-454F-8599-C94228A80267","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c73f3f69473a439222a8dec4f299d2c253f080ac","datavalue":{"value":{"entity-type":"item","numeric-id":2827929,"id":"Q2827929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827930$B84A4B75-A40B-472F-984A-C455D18D5CCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cfd9a39413360519196116a588605fc66450df0","datavalue":{"value":{"time":"+2016-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2827930$2660865C-FFE7-4391-8DF5-A6E62CDE95B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827930$3BB20C84-218B-4283-9479-55E216A98248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827930$C0CCAB0D-C943-4603-A883-3922818BA939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827930$12960031-DA14-402E-AEF6-08432B9AD971","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"615e6a2c0b1d6bf376c9c067e3444e7e8ed2a627","datavalue":{"value":"6642417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827930$02CB5CE2-E7E7-4063-8DA5-02F86F5D500E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2827930$FC89FD36-C0CC-4D56-8F56-37D4DC5631D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79fd4a267b77df4474085b6b38fe1e35ee767c09","datavalue":{"value":"programmable logic controller","type":"string"},"datatype":"string"},"type":"statement","id":"Q2827930$B55A0745-5F16-4D50-89F5-040B2D355BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2827930$CBD0D5F1-12AB-4FB7-88FF-280320AE0CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2827930$2D598E7A-5CA0-4BA1-AED8-C43A693689F1","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":"Q2827930$262931D7-D2E7-44FC-A86C-BD70E6AD0E06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a7f2d462494f03fc9a39dacda22caebdcd59c3f","datavalue":{"value":{"text":"Verification of programmable logic controller code using model checking and static analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2827930$843FEF99-14A8-4561-ADE2-5307E70E74F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9df7aa313318f9941f46314e3f46d32ff2bc02e","datavalue":{"value":{"entity-type":"item","numeric-id":4782047,"id":"Q4782047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea9fa9b30378816278a9ae63fdfeadd5c98dfdb6","datavalue":{"value":{"amount":"+0.7988899350166321","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":"Q2827930$66F6339F-D848-416C-BCFF-3712163A577E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56089fc8a92b55616eeeb1d2652b3f42a213ee4b","datavalue":{"value":{"entity-type":"item","numeric-id":4782053,"id":"Q4782053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f527dc2137aa583f24dab67fcf303aa93c9ea53","datavalue":{"value":{"amount":"+0.7587359547615051","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":"Q2827930$013438DA-00DB-4A98-96C7-53FE8FD0EFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"440ba43ca4f70972c4016ecc4ca72ed37a214870","datavalue":{"value":{"entity-type":"item","numeric-id":4535176,"id":"Q4535176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c87c2eb4b521ec87f20aac48e6176bde0fe22f90","datavalue":{"value":{"amount":"+0.7434998750686646","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":"Q2827930$D1D6B9ED-B6B3-40D4-9256-C11B0EAD8A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7987f02c3925d6d2cc04d5a882278db24a815a61","datavalue":{"value":{"entity-type":"item","numeric-id":3412594,"id":"Q3412594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af74f7f0526f82555133cda5188c539bbf98892","datavalue":{"value":{"amount":"+0.7382113933563232","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":"Q2827930$7BF44EB4-9C07-464D-A0B1-82BEAAFB2F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789804fee584fea5a77e6f1ed586c9f607bef10a","datavalue":{"value":{"entity-type":"item","numeric-id":3566623,"id":"Q3566623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df17c81fe66641e1446a95156141a168a5b2ebe8","datavalue":{"value":{"amount":"+0.7354776263237","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":"Q2827930$A4D48640-512D-4B6C-BD20-0AAFB426F96D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2827930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2827930"}}}}}