{"entities":{"Q3460629":{"pageid":5240029,"ns":120,"title":"Item:Q3460629","lastrevid":52429331,"modified":"2026-01-22T15:17:16Z","type":"item","id":"Q3460629","labels":{"en":{"language":"en","value":"Towards interactive verification of programmable logic controllers using modal Kleene algebra and KIV"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527611"}},"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":"Q3460629$1F942B31-F415-409F-853D-2BECCFC93297","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"539c86df8850459dbd501e184fca182b9fcc76f5","datavalue":{"value":{"text":"Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460629$A43D7A3C-1D93-4BBD-A0AA-D7A09B989D43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62f9a7bcae165ae5aea79c2b70ac615cd0ad3419","datavalue":{"value":"1471.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460629$D07A2D48-812E-400A-8D01-C7FF840BAE5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcc577af3636d1df14d5676f885dbc47a53a640f","datavalue":{"value":"10.1007/978-3-319-24704-5_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460629$31B36CA0-CCCA-41E2-B797-B45E90F2DE5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6603d5a122c81c71a14e46850256e2bf242289da","datavalue":{"value":{"entity-type":"item","numeric-id":406439,"id":"Q406439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460629$C80D276E-6EC3-4539-8FD4-1DFC30E5FEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"418a61a29156a23069a6fc6931e3b565b6f8d4c7","datavalue":{"value":{"entity-type":"item","numeric-id":3460628,"id":"Q3460628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460629$8504D578-4B1D-4F58-9747-BE5B38AF4481","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460629$2656D53A-4FAB-4125-A7A6-76F9CC82FA23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460629$1AF2F322-CAEF-4813-B307-2CF78C17F9E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2410b3e2038ede6d5f303ddfe98bc3a75601518","datavalue":{"value":"https://elib.dlr.de/117312/1/Vortrag_Bern.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460629$46B31296-DB85-486E-8E4F-DD00455A1533","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460629$C8E9020F-717B-4B3E-A0D3-091A3F4B68DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460629$1BF411F4-B108-4F3F-96CC-48C8EE87BD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460629$B56E36DB-D7F9-4C5F-8148-2439437813F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460629$404AB1E1-C070-4B0E-B70D-812DFBE902B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d8816f9bc01dabe80c23334e3bc10d4fd3a564f","datavalue":{"value":"6527611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460629$13DF459A-1F9B-4D6A-8DD9-93953C39C9BB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a1e69db8bdecedd8c8f6a94f6c1377f09281c2b8","datavalue":{"value":"Q62039034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460629$40A07F3E-1888-435C-8426-87E29BE2C0DF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7aa47621b17d0cd88eea4f1397181a4d6b8f672","datavalue":{"value":{"entity-type":"item","numeric-id":22029,"id":"Q22029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460629$284BDE0B-6A26-4CFF-9753-C917EBF7059A","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":"Q3460629$8729D523-30B9-42AE-9430-6B5EF25929B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4153ac936894c411def5e94f2f71eb3ff2175f32","datavalue":{"value":"W2227558586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460629$EFAEA10C-119F-49CA-980E-F769E6C59470","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"482c90a0f449eed4b9ff7644cc18728802f6a3ed","datavalue":{"value":"conf/RelMiCS/GluckK15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460629$44D4C1A6-A9D5-4A67-96A2-BBE06B9B3600","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35521c642e13426dc82fd1ec84ffa70ef0ae3ed9","datavalue":{"value":{"entity-type":"item","numeric-id":1617825,"id":"Q1617825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fac89d0942513871118d419c56800bb2c4ac1f2","datavalue":{"value":{"amount":"+0.7816916108131409","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":"Q3460629$616F7ECA-ACDF-4BC3-8261-E6121054CEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2618efea89b8ac42f420f233d84c1b7796adac0c","datavalue":{"value":{"entity-type":"item","numeric-id":2281640,"id":"Q2281640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f6487987a151d54344dc5aba5af689bbf2a1b2","datavalue":{"value":{"amount":"+0.7710509300231934","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":"Q3460629$F725E13F-4E13-4A36-ABD4-36E78ABCBB5C","rank":"normal"},{"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":"c8ad2a8995b3f6587930b948e42825c115f8b9e8","datavalue":{"value":{"amount":"+0.7475816011428833","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":"Q3460629$F60420D1-785E-4961-8101-9601ECC706FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e010e19271eaa35d8be7d8780b4b556c802b58ef","datavalue":{"value":{"entity-type":"item","numeric-id":1617827,"id":"Q1617827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abaa8d4e135859ebf5474f584238918ce40873d4","datavalue":{"value":{"amount":"+0.7337639331817627","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":"Q3460629$4F6566AB-B08D-4DC6-9F65-23FE442ED96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e01af7911d7707bd27d3e7d3c8388a5e637061","datavalue":{"value":{"entity-type":"item","numeric-id":736461,"id":"Q736461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"820def449338dd7820312c03c3d3eb80e4964ad2","datavalue":{"value":{"amount":"+0.7326753735542297","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":"Q3460629$D0896C83-FBB0-4000-A807-40732825BF05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460629"}}}}}