{"entities":{"Q1095141":{"pageid":1105893,"ns":120,"title":"Item:Q1095141","lastrevid":69942582,"modified":"2026-04-13T11:22:49Z","type":"item","id":"Q1095141","labels":{"en":{"language":"en","value":"Dynamic algebras with test"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4027465"}},"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":"Q1095141$4A0599AB-5C61-454A-8199-C687417B6290","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed35932ddf7dbc674ea5b5e3333cd5b784786965","datavalue":{"value":{"text":"Dynamic algebras with test","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095141$DDFC51B1-668B-4522-AA7A-F3BD763FB7C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b53f62d857cd9ba9cd08ca12ffb7fdd9bd92e7e8","datavalue":{"value":"0632.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095141$27E47FD1-39AF-4852-857E-2DB581B43973","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9dedb211e491aecf068706414cab7988547c48e9","datavalue":{"value":"10.1016/0022-0000(87)90014-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095141$CEAAD0AF-6A4E-4906-B0BD-35350163D403","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8124976778a8742ad47f4813c985423b0264ec9","datavalue":{"value":{"entity-type":"item","numeric-id":409254,"id":"Q409254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095141$A87AC1DE-403B-4CA7-90F2-4B1346F44EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df3dd90bf8150cc86ec6cf068d061afde632f05e","datavalue":{"value":{"entity-type":"item","numeric-id":913813,"id":"Q913813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095141$5264C478-5A78-4889-B492-38FB92CD31FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095141$8749F011-710A-468B-A850-39BB3FCBB8B8","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":"Q1095141$50F33B1D-B130-447A-B54E-9220B197B71E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5b64d809d4cb20ac99780b224dacd961049f3d0b","datavalue":{"value":"The paper contributes to the so far developed theory of regular dynamic algebras [for a survey see, e.g., \\textit{D. Kozen}, Lect. Notes Comput. Sci. 125, 1-11 (1981; Zbl 0482.03008)]. Test algebras provide an algebraic abstraction capturing logical aspects of if-then-else and while-do like programming constructs. Most results on dynamic algebras extend directly to test algebras. The paper investigates results which require more subtle argumentation and results which do not hold in the case of dynamic algebras. The following main results are proven: every free algebra in the equational class generated by separable test algebras is isomorphic to a Kripke test structure; free separable test algebras over finitely many generators do not exist; epimorphisms in the equational class generated by separable dynamic or test algebras are not necessarily surjective.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095141$12397A9E-F251-46A2-BDD1-4F94B0D3AC2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095141$19D85B5B-567B-4B7A-B30E-DCCAFEFF85B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095141$7722A17B-B66F-44EE-AFE8-F6E72C9FEE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095141$D49921E5-CA55-4031-85ED-0B0353E7E391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095141$F4C81203-A92A-47CD-AAA1-540208ED3407","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9efbeaf2a8d7a8dbcdaf2f9dc51d016d3eb9ec8","datavalue":{"value":"4027465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095141$DED3EA66-BBCB-44CC-A639-C78AE830829D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6b056b636dd229f9969ba2d075544de1538f007","datavalue":{"value":"regular dynamic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095141$53801158-F153-427B-97CC-BBCAE9111930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1f0d27252943c69918255fb4a5432c37fe30788","datavalue":{"value":"test algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095141$2B09BFFA-0AC6-4A51-9E6F-8C88D53A7D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bed6424e7393b5315d1052f6a7f2b3b32091e4ce","datavalue":{"value":"Kripke test structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095141$DB393674-21B2-401F-BC6B-6C2EE47889B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea719b363176bc9a50fff27fab38bff9497aa667","datavalue":{"value":"equational class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095141$80888067-7752-4BC8-B0A1-C84717FF5234","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"25306ed43a658ea19c64035347a11c5c173761c0","datavalue":{"value":{"entity-type":"item","numeric-id":282093,"id":"Q282093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095141$98749CDC-772A-4993-8BF4-E9C8A6FC2DBC","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":"Q1095141$AC384017-9652-4342-83AD-AE43589EB907","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4c536533f24694787de60c4baf48deaf52faa5a","datavalue":{"value":"https://doi.org/10.1016/0022-0000(87)90014-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095141$0D8A3334-750E-41A5-9BEB-92301D570A54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6fbc609e455f88e665839cf4560faf116371ff9","datavalue":{"value":"W2032659576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095141$D3B32385-44B4-4A90-9FDD-B48528CA282F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b841da3570a2253ba9589e479204b535c84283","datavalue":{"value":{"entity-type":"item","numeric-id":3719823,"id":"Q3719823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095141$13C3E725-321E-4D22-B1D5-C58514FC1563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095141$16A8F41C-D1B3-4DEF-ABCB-154488342A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2335bf2bde2a86df144c16c9f5c4df96c861134","datavalue":{"value":{"entity-type":"item","numeric-id":3958436,"id":"Q3958436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095141$E53D3CD4-EF5A-4533-8884-AFBD58E84300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d69fa1db138cbdf5ce996203cc7917ef58acdd29","datavalue":{"value":{"entity-type":"item","numeric-id":3939782,"id":"Q3939782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095141$96DA78C9-F2C6-4712-80A7-27A65F3095DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11015c2590743aa394d6a0295baf2497e9c917c4","datavalue":{"value":{"entity-type":"item","numeric-id":4749182,"id":"Q4749182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095141$F92714B7-ECC1-4D30-9147-F444B309C038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53fadb7754b86468d6c41a14430fbc2c9afe14b9","datavalue":{"value":{"entity-type":"item","numeric-id":3674662,"id":"Q3674662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095141$9610DB6B-2387-44A2-AA33-FAE8DB530E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6abd6fa0724a721a45064182135f912040b33032","datavalue":{"value":{"entity-type":"item","numeric-id":1167197,"id":"Q1167197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095141$DFF05E19-1118-4BD4-A1FF-7B67E83BA50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c39bb82c7ad8619c4db44c4fbacd33c61294433","datavalue":{"value":{"entity-type":"item","numeric-id":3897034,"id":"Q3897034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095141$3B5B2A58-5EEE-4DDB-94C7-D7547E271962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d5b0a4e488b925bdb1571de4e9ed2da0f1f72bf","datavalue":{"value":{"entity-type":"item","numeric-id":3919711,"id":"Q3919711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095141$A5CECF57-6902-4A2F-96A8-75638A2D0322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e54f9f66b1c3de59cfed3242148b97dbfbc948","datavalue":{"value":{"entity-type":"item","numeric-id":3343429,"id":"Q3343429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095141$B5CCC67C-680E-4C53-B30E-B27968D180E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b7839dd5720f80ed036e7f5ab5e93a46fff994b","datavalue":{"value":{"entity-type":"item","numeric-id":3343429,"id":"Q3343429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ce56a182f11b1cae45585c8598da331c758f04","datavalue":{"value":{"amount":"+0.9582504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095141$CE24E974-7785-451A-9F24-354903D9070A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7939eae48f32b34c98cd1a2c79d70d31a4b83510","datavalue":{"value":{"entity-type":"item","numeric-id":1341742,"id":"Q1341742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0e465f8ae6b2895fef916ec327b7ec05367e62","datavalue":{"value":{"amount":"+0.886635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095141$55343B2D-1E73-460A-941C-1132593EE151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a773c3ff664cae401b7aaee67df5350cd40fc8","datavalue":{"value":{"entity-type":"item","numeric-id":3318100,"id":"Q3318100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a22ff14411dec240648829f89b0e74e584108f97","datavalue":{"value":{"amount":"+0.8725483","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095141$54F7E387-CFCB-42F0-A97A-E78A6EC44CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ee4ce52b71ca8f6a929824f6cd15595d7bcc33","datavalue":{"value":{"entity-type":"item","numeric-id":1189900,"id":"Q1189900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a271bc886ede39c407c8567358c7c314e9a82a1","datavalue":{"value":{"amount":"+0.86717755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095141$DCBADE80-FD7A-46F5-854B-A2C802477A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e99e0d70a5136e991e1f59721e7845c443b73266","datavalue":{"value":{"entity-type":"item","numeric-id":3735895,"id":"Q3735895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80e6472f3bdb22fd11594001a5350015a17aced","datavalue":{"value":{"amount":"+0.85957044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095141$BA25BA19-2DA5-467A-8ECE-DC31C462C30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58bc9c2d4a7a2679894970db6bcebe56194ffbc0","datavalue":{"value":{"entity-type":"item","numeric-id":3140277,"id":"Q3140277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39348e30d1b36af42103374e29d7b54b597e0204","datavalue":{"value":{"amount":"+0.85798496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095141$D0596527-B13D-4009-BC87-DF1046E11964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d47b8cf280e43654c6d700fec8c975ce5f84e75","datavalue":{"value":{"entity-type":"item","numeric-id":3750107,"id":"Q3750107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c095dc9fe0f5e821db78cf1c92e9b096a06a88","datavalue":{"value":{"amount":"+0.8536658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095141$C0E513DF-E193-4815-AE83-339CD7762A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e29f9fa6ffe387567304027df3d9a31e162cae9","datavalue":{"value":{"entity-type":"item","numeric-id":5469106,"id":"Q5469106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"288795146bf5f5480196891874f1f878b6b2ca2c","datavalue":{"value":{"amount":"+0.84757966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095141$979EBF03-2C63-4B4C-9E28-0B7BFE339DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4511baccb6882fb5c1aea53968957726cfbbc2a","datavalue":{"value":{"entity-type":"item","numeric-id":4218938,"id":"Q4218938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da6022281491dcaf6db8d4ad161f9da346ab92b4","datavalue":{"value":{"amount":"+0.84636873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095141$7C18FD43-96BE-4175-8C0B-95DC3B5F60BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic algebras with test","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dynamic_algebras_with_test"}}}}}