{"entities":{"Q2759366":{"pageid":2770105,"ns":120,"title":"Item:Q2759366","lastrevid":83120228,"modified":"2026-05-07T06:11:49Z","type":"item","id":"Q2759366","labels":{"en":{"language":"en","value":"Application of modal logics to the specification and verification of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1681778"}},"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":"Q2759366$C1526072-AECD-4F4C-936C-0F9D3BDC7BA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b7cf0ce95c6330d2b55e8036b6bce0ebc12cebe","datavalue":{"value":"0978.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759366$E5FA5F3F-D49B-419C-A9B4-D63D43120FBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"886e600b188552472a78a1b19f831ddfbf23a081","datavalue":{"value":{"entity-type":"item","numeric-id":1359294,"id":"Q1359294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759366$F4533AD1-CBD1-46BA-8298-CBAE53D5F70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1987e57e1630d77aa99e978f08f0b8ded9dc87f3","datavalue":{"value":{"entity-type":"item","numeric-id":2759365,"id":"Q2759365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759366$424E58C7-1226-43BE-B4B4-E5ED4E3E972C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"408eb3d0a8bde1b6548751830aa0104743940db4","datavalue":{"value":{"time":"+2001-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2759366$70F32A1B-848B-437E-A9A8-5550DA999E4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759366$F75FAE7B-67CD-4F7A-9881-7C2629AA0997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759366$773CFD5F-E882-4446-922F-C04E20DBE742","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61813377a1425f64978993f19533ee50ca67ccaa","datavalue":{"value":"1681778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2759366$8F5420DE-083C-494D-9557-FFD4CF6AD0A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759366$1834AFCA-E75E-4086-8986-0BBB52142967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c123212aa79a8c6aa156264be1012ed5853d996c","datavalue":{"value":"program","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759366$914225D1-25B2-46E7-8764-9D611A1F97B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759366$60DDF2C6-2734-4009-81ED-A722E87532E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc5b21b38b1325aa39c9c09202aefd8445dee6e3","datavalue":{"value":"semantic tables","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759366$0D94A11D-B3BC-4347-84B9-DB94C16125E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759366$E7B6E317-8182-44C6-95A3-BAF7A3618EF1","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":"Q2759366$D8C8A2ED-B84E-476E-9BDF-B00E0D7B5E18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"016c6c66155fdbeefceb8a02cc8f446910dc35c5","datavalue":{"value":{"text":"Application of modal logics to the specification and verification of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2759366$9FE810E5-308C-4EF8-A62B-7747A7938E8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e717a51fef33470ca4db970cbb9cf1410a806cc4","datavalue":{"value":{"entity-type":"item","numeric-id":6769872,"id":"Q6769872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2759366$F2115A68-80E7-47A1-B18A-04153CA0D382","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"04eb8f39ca241abb146b53f80fed2ee2e2b7dc12","datavalue":{"value":"Results of using the methods and algorithms of temporal logics for program verification are presented. The method of temporal semantic tables for investigation of the properties of dynamic processes is presented. The aim of investigations is to transfer the sequential calculation strategies to the regions of the output strategies in the modal logics, particularly, in the temporal logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2759366$412BE20D-80DD-4128-B1FB-AA66A8CE616E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2afa8a8b8ab30110e5749895017a16fbc7603f","datavalue":{"value":{"entity-type":"item","numeric-id":3746877,"id":"Q3746877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"584e4ec6f5453988dc4906a182d074f183b58bf6","datavalue":{"value":{"amount":"+0.8751307129859924","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":"Q2759366$D2839057-CBF0-48D8-AFF0-AFE499125837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"902a986642b6518bd3e07925a8b892e2d8f24f8c","datavalue":{"value":{"entity-type":"item","numeric-id":3791122,"id":"Q3791122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fec7319f54d23a185b382d71a6c0f510b4aa178","datavalue":{"value":{"amount":"+0.8520286679267883","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":"Q2759366$7709CE33-83EF-41E4-9C6C-1C2D55E66A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d885a6b1bd128d2ae79869745e4b7954534fe14","datavalue":{"value":{"entity-type":"item","numeric-id":5930938,"id":"Q5930938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3bcf5e3ddddd8750a8f7914bd4ecce990ec8ea","datavalue":{"value":{"amount":"+0.81634122133255","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":"Q2759366$FC113264-E69E-4BB4-96AA-F50F6D7A4D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf40a6eb611a651bf861eae9f9561109e61a6d15","datavalue":{"value":{"entity-type":"item","numeric-id":3998525,"id":"Q3998525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad7c5220ed2483aad7dbe1c88e05e3058c583c9","datavalue":{"value":{"amount":"+0.8108257055282593","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":"Q2759366$13CE12D2-9AA4-4591-ACE2-D25307A89C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d2235f5043c5c02ba72156c260d6b677974f5e4","datavalue":{"value":{"entity-type":"item","numeric-id":3698302,"id":"Q3698302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd8b23dc19058c3bf8513d90522b80b322a0c51a","datavalue":{"value":{"amount":"+0.8040099740028381","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":"Q2759366$18CBDA56-B944-4E10-9AD7-0BFF5054F478","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Application of modal logics to the specification and verification of programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Application_of_modal_logics_to_the_specification_and_verification_of_programs"}}}}}