{"entities":{"Q790610":{"pageid":792458,"ns":120,"title":"Item:Q790610","lastrevid":48687244,"modified":"2026-01-05T15:00:59Z","type":"item","id":"Q790610","labels":{"en":{"language":"en","value":"A logic covering undefinedness in program proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3848603"}},"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":"Q790610$D19B9A27-16D5-4D83-B6AC-8F4362DF232D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b6c65185bc7b5a23ad07c320ef22fb284fdceb4","datavalue":{"value":{"text":"A logic covering undefinedness in program proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q790610$3C36909D-8EA3-4570-B151-5CF417E7725F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c41232fb5f494ebd7c4d773e5e990061c4e057b0","datavalue":{"value":"0534.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790610$98E6EE09-6128-438C-91D5-1AF018905B5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"331f07f72409a12606dd9d6551a4ed57c0599565","datavalue":{"value":"10.1007/BF00264250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790610$0ADA0DAD-24F3-4566-98C5-108A5F0C34E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$224EA6E3-A1CE-45BA-9791-CF714B8CFC0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$8DA75D5F-20F0-46F9-AF4D-0BC75AA44432","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q790610$C29998B0-436B-4E1B-89F9-9CDD929C1808","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5587590368df5054f03e62ab2264bf3d37cb644e","datavalue":{"value":"There is a growing literature on proving that programs satisfy their specifications. Most methods employ propositional and predicate calculus. Such logical systems do not reflect the possibility of ''undefined values''. However, recursive definition often results in partial functions and iteration gives rise to programs that may fail to terminate for some inputs. This paper provides and demonstrates a logic in which the logical operators give defined results even if no value is known for some of their operands. It is claimed that this logical system is useful in program proofs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q790610$6CBF0703-7120-44A3-A21B-15CB658FA5CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790610$F105EFF7-ACC2-4BF0-AF59-9B9D9A12BAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790610$F4A610CC-A7A1-40B6-AAA4-97A3B955FAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790610$8F0B57BD-13A4-4734-8EF3-20644786848C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71713eb6c21de9a12a636eb86ad37770c7f1c04a","datavalue":{"value":"3848603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790610$FD82A489-039D-4573-AB69-69D4FFF5774A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa111b65c577b4ff618e771592a530663c422357","datavalue":{"value":"specifications of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q790610$7C1D6491-D48E-4BA5-A62A-D03CFB0F19A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae9160ab6ebf0e806fbfec0faad1a85a9eca617","datavalue":{"value":"program proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q790610$5926A0AE-FB63-4268-AF98-97553717A5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a95f5fa3ac48a32d078ffe9f396674680a3ebd7b","datavalue":{"value":"undefined values","type":"string"},"datatype":"string"},"type":"statement","id":"Q790610$E3B6DF75-EEDE-4792-9138-A683F0423281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8ffb5ac52300779140a3b04071d4bf08b0b92d9","datavalue":{"value":"logical operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q790610$91C34401-6AA4-45F1-A5AF-B8E154416954","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$591F80DB-B74A-447E-BA80-D2B5281B5289","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":"Q790610$75CE2BFA-C9CD-49E1-AFCD-C1D55C60E7F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2ff25c73f4a555312a382f1c103a698d99948a","datavalue":{"value":{"entity-type":"item","numeric-id":4133082,"id":"Q4133082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$11345B4A-587A-447D-B6D6-3D0D7DB482C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f9e6cf81b9223fc423cae2caf64aee0a427a0c","datavalue":{"value":{"entity-type":"item","numeric-id":3038590,"id":"Q3038590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$B9F270E0-7885-4F05-A642-027931A71E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba598b353df13ba5ae2c7683f441b0dc7d3ee8f","datavalue":{"value":{"entity-type":"item","numeric-id":4342079,"id":"Q4342079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$6D186C40-B267-4F70-9DFA-340E3BF85701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf74703b34de1626ffd3d7ae5025c7b42a757dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1169290,"id":"Q1169290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$EC313D9B-D80B-4ED5-A0F3-E2379AF37DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579a6fe1e5a36f5a952779060268e3364ef7da33","datavalue":{"value":{"entity-type":"item","numeric-id":1170021,"id":"Q1170021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$DB791EEE-149F-44BD-A1A6-8A61CC9281BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ba4ca58c33a4f128e14aad3b25d4624f50e71e3","datavalue":{"value":{"entity-type":"item","numeric-id":4740562,"id":"Q4740562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$DF1A79D4-C269-4FC3-99BE-1FD592BF8203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$FCBA6F5E-744E-46D5-A398-6D0992120E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$739D029F-B7BF-4076-8B4C-D1D3D7EB8AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$DB8EE3FE-C2B3-4F93-864B-837423360D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61abb363158442c870fea6b1033ea07870e02e8b","datavalue":{"value":{"entity-type":"item","numeric-id":4775847,"id":"Q4775847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$D18D34B8-7D4C-49F7-970C-E99995842771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edcd39e54c68c67d7cdb6588eed8f738e835920f","datavalue":{"value":{"entity-type":"item","numeric-id":4328563,"id":"Q4328563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$5652FAC3-BD4A-4BB1-B991-D322D9B62BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49499fa413e0bbb6f66deafc0ad08df89338b209","datavalue":{"value":{"entity-type":"item","numeric-id":3050399,"id":"Q3050399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$D5DACABA-DF07-424F-8A66-D884F40CA5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ac860696e668a9ea3bf009a3485e439b6a4bbd","datavalue":{"value":{"entity-type":"item","numeric-id":3859249,"id":"Q3859249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$81A64E57-6F45-412D-A391-75F1EB6D6783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$75A78C86-E4C1-4590-8A4D-395F17B6D72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c89e08f8e981b15d9e994bd9b66679f47871eb79","datavalue":{"value":{"entity-type":"item","numeric-id":5528627,"id":"Q5528627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$754FB5FE-23A0-4B6F-B182-44126BE5E541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f99474e815e9a58af5ecf38dae1b4c7e0a14b90","datavalue":{"value":{"entity-type":"item","numeric-id":5621937,"id":"Q5621937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$644E8B2E-9B86-4C4F-AFDC-79BE3ECB432D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$2ECC8F08-3713-4CB7-A6DE-EE7F69817D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a9137c4fea3e483c6008982f0a0b0984211925","datavalue":{"value":{"entity-type":"item","numeric-id":3726094,"id":"Q3726094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$B598184E-DFCB-4040-9A09-4EA49C573288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d855aedb6b8689008dfa235ba2981fd83a136c50","datavalue":{"value":{"entity-type":"item","numeric-id":5661846,"id":"Q5661846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$DFD14D64-1354-484B-A419-5E7625CF4671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85c9823713798f462284d18e0098c29f26d98df","datavalue":{"value":{"entity-type":"item","numeric-id":4109651,"id":"Q4109651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$7A0C2793-A069-4795-AE52-366653D00EE1","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":"Q790610$AF71FA18-4670-4FD9-A785-0EFDA33DFB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69717fe24b9ac3f049a2fa297cf24875ca00fcaa","datavalue":{"value":{"entity-type":"item","numeric-id":5328150,"id":"Q5328150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$BFC49B5C-C44D-4DEC-86B5-7655CD186A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e566f28f3e9f075e2cbd713da975867eeaa0795","datavalue":{"value":{"entity-type":"item","numeric-id":5590048,"id":"Q5590048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790610$19FC376E-2205-449B-9796-35B05324C4DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9bef0c5ac5516ffd430f8be552fa2727509075d","datavalue":{"value":"https://doi.org/10.1007/bf00264250","type":"string"},"datatype":"url"},"type":"statement","id":"Q790610$4DC55F90-B9E7-4886-9F01-5B869FF987AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74e946711bcfa6842f907482aa99d19c0cbf1595","datavalue":{"value":"W2089387242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790610$7D5D3E50-939F-4071-A706-3B931AB44CBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e17c23662ba1045eb44ce466bc31999f9046729","datavalue":{"value":{"entity-type":"item","numeric-id":1093365,"id":"Q1093365"},"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":"Q790610$F7344A5C-E5D4-4353-81B0-11E048F4CDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d3a255266f36191915db130af5af18c5f18eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1271855,"id":"Q1271855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"132950c2f01a5d30831bed700fab8431428d7184","datavalue":{"value":{"amount":"+0.7856930494308472","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":"Q790610$017CF2BF-8084-4B88-B877-3214081C8C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d20d0d4adcd2715c3674f405c3014bc934c99ed","datavalue":{"value":{"entity-type":"item","numeric-id":6100982,"id":"Q6100982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"324211e5954d7e91056b92d56505d5908d1695cd","datavalue":{"value":{"amount":"+0.7406210899353027","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":"Q790610$0421FA77-7FA3-4D16-908D-0FBA998E130B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6106ebaa8cee56c1b4cc9f232bc23e40a823120","datavalue":{"value":{"entity-type":"item","numeric-id":4269811,"id":"Q4269811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d8b6ae649156557a4f5faad8f0c59a654fbf8d","datavalue":{"value":{"amount":"+0.7364127039909363","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":"Q790610$1755B256-595D-416E-A801-6BE64D50B239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920a9b4736e3dc9bdd0f1f07e717de567cd54fde","datavalue":{"value":{"entity-type":"item","numeric-id":3678649,"id":"Q3678649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d8b6ae649156557a4f5faad8f0c59a654fbf8d","datavalue":{"value":{"amount":"+0.7364127039909363","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":"Q790610$3082DCF8-C8DE-4F82-BC2E-9D75A7F29DD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:790610","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:790610"}}}}}