{"entities":{"Q549178":{"pageid":550945,"ns":120,"title":"Item:Q549178","lastrevid":62671713,"modified":"2026-04-11T07:40:22Z","type":"item","id":"Q549178","labels":{"en":{"language":"en","value":"A calculus for four-valued sequential logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918230"}},"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":"Q549178$FEF5E8B9-44B2-4C34-8E44-671BBC851462","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ed91b57d4a16d3c0ba54a9a3be5986cc83e79e9","datavalue":{"value":{"text":"A calculus for four-valued sequential logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549178$0622E32D-777E-4E2C-AD14-D9848AF3371E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3ad085f66d9d4076342c19c415abf37dc6d3f06","datavalue":{"value":"1227.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549178$59B0E78F-C6D7-42FE-86A7-2D3E5A963451","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549178$DBFB5F85-3665-4470-974F-8DFE710394D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a469e1856598e76c0542f05574b54b053e1e517a","datavalue":{"value":{"entity-type":"item","numeric-id":507380,"id":"Q507380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549178$DD73BED8-6FA9-4F42-A064-2716EA8342F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549178$7E65BD0D-D29D-4C67-985D-69CD3A55EC2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q549178$2AA81209-CBC2-453B-A411-A2A2FF66F249","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8fd55120c2107e725f207880a9b57ba3e6cdea2","datavalue":{"value":"https://research.utwente.nl/en/publications/a-calculus-for-fourvalued-sequential-logic(cc7a0320-5be0-416a-a89d-7cf89e0ff39b).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q549178$98854F62-1236-411D-9562-A329CA360EC0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"25ded992fa748fc23fb71880f05db7bc1b5088ee","datavalue":{"value":"In [``A propositional logic with 4 values: true, false, divergent and meaningless'', J. Appl. Non-Class. Log. 5, No. 2, 199--217 (1995; Zbl 0843.03012)], \\textit{J. A. Bergstra, I. Bethke} and \\textit{P. Rodenburg} introduced a four-valued logic to deal with the distinction between computation errors (e.g., divergence versus mistakes) in specification and programming. The current paper presents a complete finite equational axiomatisation of a sequential logic with four values based on that logic. Thereby ``sequential'' means that arguments are evaluated from left to right, until an answer is obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q549178$F0048EF0-2EE3-4C52-92A8-1EFD55D9C6F0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a70eb255db58b1b2b90f33f4fe4a154901c6aeb8","datavalue":{"value":{"entity-type":"item","numeric-id":590723,"id":"Q590723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549178$4A1B4D5B-689C-4192-82E6-1960F506F87D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549178$A1A3A83E-37D4-428A-A839-55831BEAAFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549178$9FFBC567-2452-40D3-AFDA-CF2DC0E5C68E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"211ffd3d229234f0566a1ca099870329c8cd55a1","datavalue":{"value":"5918230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549178$0BD1AB3C-1F9D-47BD-8015-0E76C675D0AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q549178$AEA67FB2-E471-4B87-A7E4-0471BF899660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9db4be20647e9159a9631c367d8dc94143508a","datavalue":{"value":"four-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q549178$C6BF8A34-9384-404F-8597-8C64E53B3432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8749e0764565851c2d5dbfc09cd4f93093de5d46","datavalue":{"value":"sequential logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q549178$FABDD37A-63DE-438A-878E-7949B45852BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eded367bdebd97b9871d91467f331a629411f0c","datavalue":{"value":"complete axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q549178$6486D464-59C3-4CAA-8ACC-0B62F5E09FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2af3a72e10471202f512b7da39a1ea20e9a44d","datavalue":{"value":"finite basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q549178$A0FB6501-7F96-45E6-A245-70DAEB218E85","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4e7d5fafde84fc7f4547c01c405221b4710eae56","datavalue":{"value":"Q62047456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549178$90BF6ACF-7F77-4D41-AED9-D3B7E07831E6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549178$0D32B982-C787-4B75-9575-C55606AB55C1","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":"Q549178$E4D574CC-835D-4F36-A69D-E00C02BDCF11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a938033d43f2fd9ff3759ba4c341f23a1bfd01d8","datavalue":{"value":"W2141989433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549178$81984751-42A9-4B47-98E4-F7A9D6EDD0E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549178$701C4E57-055D-47BA-8928-64B44DD88C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce3671c1e58c5f8f5eb1f61752eb867b0a63344","datavalue":{"value":{"entity-type":"item","numeric-id":1274293,"id":"Q1274293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549178$F9B79395-A012-479A-8DFD-3F4F9C43B22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6415481719fb829e4fdb1a0fc45c0b74c74c88f","datavalue":{"value":{"entity-type":"item","numeric-id":3305607,"id":"Q3305607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549178$1887F0F4-F636-4E3D-9011-BEFF5F88D45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94a5630615c5bfcd88c3388bd81dc58f309f56c","datavalue":{"value":{"entity-type":"item","numeric-id":4868228,"id":"Q4868228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549178$C115F87C-7849-4365-95D1-2D5F75993979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09041749d2ab5531fddfd279ab58c42a5fde95ff","datavalue":{"value":{"entity-type":"item","numeric-id":913791,"id":"Q913791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549178$31619F45-5EDB-40DB-A2E7-B0C14587FE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85334d5fa602c8a27f43e2d3492162d906c6be8b","datavalue":{"value":{"entity-type":"item","numeric-id":1084849,"id":"Q1084849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549178$1A75233E-FD44-42A6-8D63-59671B039E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"466be3c62d075f8dd9bd7a67ff8112de4aecc6ff","datavalue":{"value":{"entity-type":"item","numeric-id":5772803,"id":"Q5772803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549178$0ACCA9DA-9B0A-4080-979F-F0ADDA0AD75B","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":"Q549178$6FE5A3C7-8E08-4539-B7DC-06F4479620A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b5c28f16a28d7cadd8c3cbefe46afc336a5126","datavalue":{"value":{"entity-type":"item","numeric-id":4443015,"id":"Q4443015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549178$740D0ECA-01AE-4564-A5E7-139B98C29364","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e5941b39f14a3667af5618826f8310c89470846","datavalue":{"value":"10.1016/J.TCS.2011.02.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549178$3BE9F9EA-2276-4ED0-827F-FBBD9D378239","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ddac170f8e2f58b6ce45045fe6bd8f7dbbe32b5","datavalue":{"value":{"entity-type":"item","numeric-id":4443015,"id":"Q4443015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9373d6a81364444694db814dfefc1f81170ef5de","datavalue":{"value":{"amount":"+0.8226603865623474","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":"Q549178$776B9C85-6DEF-460D-A91D-3770199C61CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9892893909a3eca6094acb24a7da2003296c9dd9","datavalue":{"value":{"entity-type":"item","numeric-id":4868228,"id":"Q4868228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9373d6a81364444694db814dfefc1f81170ef5de","datavalue":{"value":{"amount":"+0.8226603865623474","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":"Q549178$D6CF4747-CD07-4C3C-9ECC-4074B817B0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b1afc192203ebb6a519b9c94a5975a5d206a87","datavalue":{"value":{"entity-type":"item","numeric-id":4443421,"id":"Q4443421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96d3a9e9c6e474029700451d6dd8b4b68a892cf3","datavalue":{"value":{"amount":"+0.7897385358810425","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":"Q549178$5812776F-A68D-48B1-9558-1B726E383E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c42531e30d15e32f97ac2467ac0cc5bf160ea3f7","datavalue":{"value":{"entity-type":"item","numeric-id":3837022,"id":"Q3837022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2181d2d58fc2daca6f81f1f349df3b389c780786","datavalue":{"value":{"amount":"+0.7714638710021973","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":"Q549178$B8A2D01D-1F2E-4B30-819C-FCB903E21E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da6547329f19894ebdc40fad38987278a2fc5f5e","datavalue":{"value":{"entity-type":"item","numeric-id":4443411,"id":"Q4443411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3858b40cadb9e36cf29a249a52003fb210bcf454","datavalue":{"value":{"amount":"+0.7675784230232239","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":"Q549178$1E5DEE94-32E5-4F17-8BA6-10712B38B6B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A calculus for four-valued sequential logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_calculus_for_four-valued_sequential_logic"}}}}}