{"entities":{"Q792750":{"pageid":794598,"ns":120,"title":"Item:Q792750","lastrevid":64375767,"modified":"2026-04-11T19:26:41Z","type":"item","id":"Q792750","labels":{"en":{"language":"en","value":"Nondeterministic three-valued logic: isotonic and guarded truth-functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3854394"}},"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":"Q792750$4DCA4795-1E71-4A2C-91FF-8EAA3A3C7DD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1ad05f71127a90c30e74b8932d0e382d32e88fd","datavalue":{"value":{"text":"Nondeterministic three-valued logic: isotonic and guarded truth-functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q792750$1A5C5C38-027D-49D9-ABF1-C4D5D921173C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39c6d7af5f792a294c71c37642723af44900f1b0","datavalue":{"value":"0537.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792750$2983BAA3-AFA2-45B5-929F-A0D861450893","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1383c932fdd4c26f3edbec29103edb0b4aed58a1","datavalue":{"value":"10.1007/BF01418755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792750$7F9E8619-C918-4751-872F-ACA15A0117E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63343326dc3782dfaf32190a15d54584cc577d5","datavalue":{"value":{"entity-type":"item","numeric-id":541294,"id":"Q541294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792750$776D3660-68B0-41B2-A279-042F8D496B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145d33cdfbbb32da39ed49a171f39072f308ca20","datavalue":{"value":{"entity-type":"item","numeric-id":595647,"id":"Q595647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792750$786A8892-E59B-45B5-9141-51BC50B4929C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792750$C5F227E5-95AD-478B-85A2-3C79E9A3586D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q792750$DEFAFC3A-5F4D-4572-9113-6D76958A9261","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4fafc5ab77356c6cc7c8fe212b56c84d2ff94b7e","datavalue":{"value":"Nondeterministic programs occurring in recently developed programming languages define nondeterminate partial functions. Formulas (Boolean expressions) of such nondeterministic languages are interpreted by a nonempty subset of \\(\\{\\) T (''true''), F (''false''), U (''undefined'')\\(\\}\\). As a semantic basis for the propositional part of a corresponding nondeterministic three-valued logic we study the notion of a truth- function over \\(\\{\\) T,F,\\(U\\}\\) which is computable by a nondeterministic evaluation procedure. The main result is that these truth-functions are precisely the functions satisfying four basic properties, called \\(\\subseteq\\)-isotonic, \\(\\subseteq^-\\)-isotonic, hereditarily guarded, and hereditarily guard-using, and that a function satisfies these properties iff it is explicitly definable (in a certain normal form) from ''if..then..else..fi'', binary choice, and constants.","type":"string"},"datatype":"string"},"type":"statement","id":"Q792750$81ACE5F3-17A9-476A-AA0B-C3BBA6BF1DA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792750$04BCC118-3964-4B95-8A58-CD87763DEFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792750$04CEA370-0335-4E7B-9538-B3CB624CA5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792750$853ABD56-B18C-485E-BDCC-CB652364533E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbdaa8ff5d911e0c6a1511a36fa22d9eff960098","datavalue":{"value":"3854394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792750$0AC68729-C87B-4A66-BD46-5B486EBCC92F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b529547f2354499c8317328364e644f24ca465","datavalue":{"value":"semantics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q792750$61F9EF6B-EF21-4B92-9C30-E1269985C9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q792750$688AE089-E8AF-49C9-8E7B-C5EF3066EA3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q792750$31CFA7DD-469D-42DD-9D81-FF750A100996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ee7fdf2049db9290d38cc9f0709f4ba151de5a1","datavalue":{"value":"guarded commands","type":"string"},"datatype":"string"},"type":"statement","id":"Q792750$C51917D1-0E00-48FE-950B-668AE32F1427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22c560cb4f973316f945a87ed36cd85c7c422c15","datavalue":{"value":"truth functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q792750$FEF640D5-93C4-43E9-B785-DF5DADD9058E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d3574fd71341339ba94723c4042ff80ced2eaa","datavalue":{"value":"program schemata","type":"string"},"datatype":"string"},"type":"statement","id":"Q792750$F35962AA-B2CA-438E-9326-95FB44F54990","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":"Q792750$AF650739-392C-457E-A771-11276594129F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792750$5C1C859D-84A8-4832-B2DD-DBBB52E855CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67dcc2c4572fa2102c218c9860d413453b282542","datavalue":{"value":{"entity-type":"item","numeric-id":4159365,"id":"Q4159365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792750$5596A5D9-8EFA-4710-950E-461E7219D1FC","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":"Q792750$9474A911-DDD6-49E5-98B5-E19B620141E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792750$8D2A07F2-AF08-4C98-8586-C2EDBF59AF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ddb4455e7cfda46f508237aa8760acaf2133498","datavalue":{"value":{"entity-type":"item","numeric-id":3881900,"id":"Q3881900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792750$8BEFD02D-DCFF-490E-BCB1-68CB095BF521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb014dfde891391eb0a6999c342885eb9bc70ccc","datavalue":{"value":{"entity-type":"item","numeric-id":3881901,"id":"Q3881901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792750$4D6989AD-5398-4AFA-B5D7-E4F51012A346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q792750$2A3B256F-BC72-404D-9953-C55A71380FDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bb553241a107ba9c3438e3d68be3522b9a8fe0f","datavalue":{"value":"https://doi.org/10.1007/bf01418755","type":"string"},"datatype":"url"},"type":"statement","id":"Q792750$E2626833-8493-408C-8596-C5863A9B8345","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8364b7dd233f89c1c8535b769c6706ccafbafa3","datavalue":{"value":"W2003530245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q792750$D42F0F42-BF0C-4C80-901E-C2D03CD69047","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52674fa6fe68f2084037b5b78f4e5e5399ac0988","datavalue":{"value":{"entity-type":"item","numeric-id":3336678,"id":"Q3336678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cc1b8ea0db3f7b2c3735a8d1112cd15e86e9200","datavalue":{"value":{"amount":"+0.8029062747955322","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":"Q792750$8BE8C492-A10C-4F6A-AC07-232FC4714272","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":"649bf83e96c0df4f0ec3332f4d3bf32ffa315982","datavalue":{"value":{"amount":"+0.7906913161277771","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":"Q792750$25E5545E-720A-4056-99A5-0AF5E825FF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a6c2b5c7dbf2c0320ccb96a9147c3e9cb2fa32","datavalue":{"value":{"entity-type":"item","numeric-id":3348897,"id":"Q3348897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5fef139032404fa5af786f71563a9ec12e79d04","datavalue":{"value":{"amount":"+0.7716811299324036","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":"Q792750$75EFA470-6456-4502-912C-381935B7E7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0356c80e14b8710a7c22a5ce411c6e66a0499414","datavalue":{"value":{"entity-type":"item","numeric-id":753474,"id":"Q753474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"459962d2ce301f6491443107f5f3bdb9c36719e3","datavalue":{"value":{"amount":"+0.7563917636871338","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":"Q792750$2DE9B2C1-ED10-455B-A758-2B6048D8B66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597d0457517b42418b494156a76d5bb49d8a0ec5","datavalue":{"value":{"entity-type":"item","numeric-id":2933087,"id":"Q2933087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca5154acf186030532750440b0d7dbc3f1725ba","datavalue":{"value":{"amount":"+0.7563609480857849","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":"Q792750$C232A112-D66A-489E-819A-43C97EE2D3B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nondeterministic three-valued logic: isotonic and guarded truth-functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nondeterministic_three-valued_logic:_isotonic_and_guarded_truth-functions"}}}}}