{"entities":{"Q1093365":{"pageid":1104117,"ns":120,"title":"Item:Q1093365","lastrevid":66117576,"modified":"2026-04-12T07:40:03Z","type":"item","id":"Q1093365","labels":{"en":{"language":"en","value":"A note on undefined expression values in programming logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4022617"}},"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":"Q1093365$F337BC50-45D7-44F9-80FA-D5CC57BAAB21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93564c92892d25784bc3d9109d71c3a92840fdb2","datavalue":{"value":{"text":"A note on undefined expression values in programming logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1093365$3EC32BA0-6C51-44D3-91D2-CDE69E29DBFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7590a3b5d90c3b66cf120aad10041e232386d2e8","datavalue":{"value":"0628.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093365$CDDE941F-341E-4CA1-AD20-1268B3C4901A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1714874a4e8143cbc898eb278f2c95b64b029ff4","datavalue":{"value":"10.1016/0020-0190(87)90158-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093365$00AA656B-BE4A-422A-B850-F513EC3FB213","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093365$245042C1-E9AD-46D7-8185-3A49994E5B0D","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":"Q1093365$7BE85BE1-43B1-4A71-B8D6-25F7875EEA5C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2e37f91352152172854ca3f53204208423863812","datavalue":{"value":"In many programming logics, expressions of programming language are used as assertions of the formal system. The problem is that it is normally assumed in mathematical logic that the values of terms and formulas are always defined. This short note describes an approach whose main advantage is that verifications are almost identical to those that can be used when undefinedness cannot occur. The author says that it seems possible to allow undefinedness of expression values in program verification logics without resorting to unfamiliar formal systems, and further it is possible to transform the assertions that arise in the presence of undefinedness into formulas that are almost identical to those conventionally used.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093365$1FC9FF41-5D61-41DC-B507-5F63600C932E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093365$CEFAD606-5C50-437E-BB8A-4FB8CF255DFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12544f47bdf43338127ef970674e968f2c13ba7e","datavalue":{"value":"4022617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093365$46D9E92D-F5A6-4CF7-9ABF-267C188B116C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b6d645c45f0a8bf710d638ba22831599423f9c0","datavalue":{"value":"free logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093365$1FD985DC-CD81-40A1-82BF-9028AAC36561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c996370c0387428a853f39eeb89fc349f339f572","datavalue":{"value":"undefinedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1093365$31A62204-3C46-4462-85F0-F881B7C19564","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"482a4cb474e5ce23a1233ad885cb07253d993741","datavalue":{"value":{"entity-type":"item","numeric-id":418808,"id":"Q418808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093365$5F015055-1364-4D90-A582-2B4A8F637A8B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a99cc43754442bd871d0e4e19845916a0a9ba924","datavalue":{"value":{"entity-type":"item","numeric-id":1230772,"id":"Q1230772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093365$D3FE5EBE-4225-4BF4-AF6E-2A0E5E79E47E","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":"Q1093365$67CB55DB-2010-463F-8769-1414AC545171","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f474b409a8f3415f67c4fa840940f857e860d83","datavalue":{"value":{"entity-type":"item","numeric-id":790610,"id":"Q790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093365$9ADCE88B-0FC3-49C5-BEF0-888D0AAC7835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4034822acc63800394b0379ba785a0d97ba23cf","datavalue":{"value":{"entity-type":"item","numeric-id":3890667,"id":"Q3890667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093365$E5FA5D1D-DBC3-4385-973C-D79EA2447CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093365$6E251B28-1270-4FD2-8519-439C4D09651C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340b1a67b2cb88bc1a79812f682d43444abf5b93","datavalue":{"value":{"entity-type":"item","numeric-id":3932278,"id":"Q3932278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093365$ED246231-10FF-4F49-B6E0-D1C03223B8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b47e427b41b4173e50108f0857c520d19a8b62","datavalue":{"value":{"entity-type":"item","numeric-id":3208629,"id":"Q3208629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1093365$9E6F6D9A-DA0E-4B24-9879-8D54F4354770","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"44f7852ab32f0aaf4b480b3706280e30a790a26f","datavalue":{"value":"https://doi.org/10.1016/0020-0190(87)90158-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1093365$8A90CB67-A0FC-4DD6-BE63-9F1766818F2F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c6045fea265befd5a3fc3c5a16d66b4b5affa10","datavalue":{"value":"W1972221707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1093365$B3A31C61-F963-4550-B2C5-719B8D40F2C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19682237f5a87ef8e27d9fc3230804b28d67d4c9","datavalue":{"value":{"entity-type":"item","numeric-id":790610,"id":"Q790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f48c1c8313887288f95575f9f355c07672b6b88","datavalue":{"value":{"amount":"+0.7988379001617432","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":"Q1093365$29D92F73-6322-48FD-91BB-E761D6BF536A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf843841cb0df9d160e31d2390de843ee9c192be","datavalue":{"value":{"entity-type":"item","numeric-id":3067545,"id":"Q3067545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d2ea9594fcf5790f0d024031ea63f9122ddc267","datavalue":{"value":{"amount":"+0.7354980707168579","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":"Q1093365$F772A9DB-E1DC-403C-BFBE-5CE5861E4574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d6ca5739e7d6f37ef245087738885fa64635f79","datavalue":{"value":{"entity-type":"item","numeric-id":2366071,"id":"Q2366071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44800f2f20d52606a07e3ec9c4dd0a0c68d9c63f","datavalue":{"value":{"amount":"+0.7177587747573853","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":"Q1093365$F5462D4D-75EE-459E-800C-3125403B500C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d1de08f49ae4c079effd53b637234320fc4fa5","datavalue":{"value":{"entity-type":"item","numeric-id":1079560,"id":"Q1079560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db8f06238ff2866a24c7d3330e3a9bd3e5133423","datavalue":{"value":{"amount":"+0.7143058180809021","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":"Q1093365$5A768321-04BE-4D7E-B2B3-824671EE4575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2af0d8b4e7b2d46baed24deb26a7bae58ee1c4a0","datavalue":{"value":{"entity-type":"item","numeric-id":4793394,"id":"Q4793394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e2a3074ed3b8ef49848aa683c2091b38efa31d0","datavalue":{"value":{"amount":"+0.7102890014648438","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":"Q1093365$6539CC60-5C1E-4F0D-964F-6D6FDF6B7CFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on undefined expression values in programming logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_undefined_expression_values_in_programming_logics"}}}}}