{"entities":{"Q1079560":{"pageid":1090312,"ns":120,"title":"Item:Q1079560","lastrevid":66260496,"modified":"2026-04-12T08:36:22Z","type":"item","id":"Q1079560","labels":{"en":{"language":"en","value":"Partial-predicate logic in computer science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3963796"}},"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":"Q1079560$0095DEC0-54DC-4CCF-B86B-CE622A37226D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c60ebe87cf8d6be09ca6cede210be6faf557d03e","datavalue":{"value":{"text":"Partial-predicate logic in computer science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1079560$B581DDF4-EBB3-4E47-8F52-552A03244708","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c602a983484e9f03c3ee53e80d14617cc1b7333","datavalue":{"value":"0598.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079560$6BCEF12C-1520-41AA-92D1-4D90ADE65572","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb11261b26f177d829afc5b24df6a84872a72222","datavalue":{"value":"10.1007/BF00292109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079560$5B191DAC-8271-4B9E-8B30-D70341F9DEEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe94c692c76aec569a39b27b55519589f7ac126","datavalue":{"value":{"entity-type":"item","numeric-id":590723,"id":"Q590723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079560$41E616F6-16AA-4C45-A2E7-E669F01A53FA","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":"Q1079560$BB7552A0-B27A-4960-940A-8D2A54A93EB9","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":"Q1079560$6DF66789-D977-4BC6-8177-2291352626EC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"909aa099d388f259253859e5129741691954f677","datavalue":{"value":"In [Acta Inf. 21, 251-269 (1984; Zbl 0534.68024)] \\textit{H. Barringer}, \\textit{J. H. Cheng} and \\textit{C. B. Jones} present a 3-valued logic designed for program verification and computer science applications in general. This paper adds some theoretical background to their arguments for the need for such a system.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079560$9B953F58-38AE-4D7E-9458-350420B635D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079560$72F16D00-5001-48B9-8ADC-CDFF4895A63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079560$5A0F705F-94A9-43BB-8AF0-610A4DF63123","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29670bb38615e3bd03bffd36bb33cb555257cbd5","datavalue":{"value":"3963796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079560$390BE5FB-D1DF-44DE-B079-64A289FD24A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea032f14678abd54b0d55af14fe6fe1fdae52549","datavalue":{"value":"correctness of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079560$B3E4DB77-E5EE-4CBF-A0E0-F9B8D55D0E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edbfb746c95b2692209fe3d542cdc589d335d8f5","datavalue":{"value":"3-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079560$8549874B-F3B8-411F-8998-635B5BA0EC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079560$F499AB8B-F2EC-4CA1-879A-CD39A2D79391","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":"Q1079560$099F90B8-1A68-4439-95F0-919C5C9BA888","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":"Q1079560$32A204F7-F7CD-4C57-95EA-1F8424CFA5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76578b4dfa557ea0fc7d74b3ea4a8a7e7983e576","datavalue":{"value":{"entity-type":"item","numeric-id":2556390,"id":"Q2556390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079560$5B69FFB4-A0FE-4879-96BE-661FA0515EF6","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":"Q1079560$5C924615-D01C-4F58-9DFD-B8C3CE75B96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"107b7ade2e5dee4a5ce02a0c6982bcf823cdb3b4","datavalue":{"value":{"entity-type":"item","numeric-id":3671121,"id":"Q3671121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079560$884F102F-4178-4735-8BD5-D4CCD2611A3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b2295c3212f6e94e6b728364fd7b571316fae5","datavalue":{"value":{"entity-type":"item","numeric-id":4365083,"id":"Q4365083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68bc14c670fd1d891f74769de4672c00994b2a09","datavalue":{"value":{"amount":"+0.91909266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079560$E39A93C8-7EE2-4B42-8DDF-38164AAA3DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a44cc71a8f6423fedcc5f64eff5ac3e9ea30ed","datavalue":{"value":{"entity-type":"item","numeric-id":1094151,"id":"Q1094151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a62bdc7050eeeb83f09f70687ed1bc3c40b99ab8","datavalue":{"value":{"amount":"+0.9188756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079560$CCF5B8BB-8FCB-4CE8-91F7-6C083220B0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5a708bd95fe19950e3ee44ab1250de3085d9f51","datavalue":{"value":{"entity-type":"item","numeric-id":5286918,"id":"Q5286918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"776aba665820d4f81538ceccb3c8fba88a300a6c","datavalue":{"value":{"amount":"+0.9084672","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079560$9E812F58-EC37-4BE2-8971-034B393C1970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07a88b0f27ee9be43ba0164aa75de7214897557","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c211a2fcaa3be1d3b5a8a665416e67c7b100e70d","datavalue":{"value":{"amount":"+0.90272033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079560$9E94D6B2-EAB6-4BDE-A006-8C07E5D0EE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab3a9336d43a0bfe1761560f7d5483275a3e428d","datavalue":{"value":{"entity-type":"item","numeric-id":5411496,"id":"Q5411496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d002557dd5215d54b19d5e12fa034ccbc235b816","datavalue":{"value":{"amount":"+0.8961842","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079560$39214FC4-6991-4D6F-9AC8-5A31C3A15918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"308c0d157a72de3483e467f3c0db9601f44132de","datavalue":{"value":{"entity-type":"item","numeric-id":3988796,"id":"Q3988796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a272489f2c56072313783641ea5c33b9d59791","datavalue":{"value":{"amount":"+0.8953285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079560$D98B8C5D-C1D3-4837-BF4E-ED46311B17F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23278f81be9ed85c87ed155cedaa6c56c3628724","datavalue":{"value":{"entity-type":"item","numeric-id":4347145,"id":"Q4347145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b986aa1fbccf6e321d6a9fca98d2c7c5c1e4e16","datavalue":{"value":{"amount":"+0.89501745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079560$83B7FFC9-C799-4023-B304-B14A677F0763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161118802484d431fcfd10386c29a1c76fdd246c","datavalue":{"value":{"entity-type":"item","numeric-id":549686,"id":"Q549686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cda1e2477d4ae7e9266b7067222fb879371a8330","datavalue":{"value":{"amount":"+0.89319646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079560$F3E07252-0E70-4092-B285-832677137483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06955dffd6e327f4d11c4c479c99ae3ef1bd848","datavalue":{"value":{"entity-type":"item","numeric-id":3605465,"id":"Q3605465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cda1e2477d4ae7e9266b7067222fb879371a8330","datavalue":{"value":{"amount":"+0.89319646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079560$F7804766-AAFF-489D-992B-52814D4CE4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4fb17fed1f57fa7d8432f42bf8d53a43188ca1","datavalue":{"value":{"entity-type":"item","numeric-id":4700442,"id":"Q4700442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e53bc371a458128e08e9b9f99adb865793f5e2","datavalue":{"value":{"amount":"+0.89201134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1079560$AA84D1DD-9754-4CC3-9F28-5395528E57BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial-predicate logic in computer science","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial-predicate_logic_in_computer_science"}}}}}