{"entities":{"Q1822987":{"pageid":1833729,"ns":120,"title":"Item:Q1822987","lastrevid":71370222,"modified":"2026-04-13T21:48:29Z","type":"item","id":"Q1822987","labels":{"en":{"language":"en","value":"Bisimulation of automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4114035"}},"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":"Q1822987$40F42BBE-C5DD-477C-B2A9-5E432C902823","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a110b482ac2b0c6fb72282bbc276d38e38a2d904","datavalue":{"value":{"text":"Bisimulation of automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1822987$AA542F1E-A5E2-4AEE-916E-FF8F3CDB110A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0694954aa5f0e659b6d27ab057c5c4bf343fd17","datavalue":{"value":"0679.68111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822987$DD43D1DF-5234-47FE-A610-C8712BD14D34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c3cdf213fd02801ac9f972a72f48b995f1869c2","datavalue":{"value":"10.1016/0890-5401(88)90017-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822987$0919072D-FD2B-44B5-BB42-05ECC30EA54C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f9007d07ab954fc61394bb80b532af63dfe5081","datavalue":{"value":{"entity-type":"item","numeric-id":595764,"id":"Q595764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$4A1CDDA1-44DB-46BE-9E4C-D276AD036830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce46e04eb55b54ee9e1dbdee6e18964ce3382c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1822986,"id":"Q1822986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$1F5CA8B1-92A5-45DA-BBAF-87712B7AA904","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$10070318-EE3E-4B80-9C68-B168A4AFC1CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1822987$354AD226-2DA0-4557-9791-73EE0AC34AC0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4e9681fa6c59196bbb012ef3250d2b66ba759599","datavalue":{"value":"The authors give an algebraic characterization of automata and discuss various types of simulation between them. Their environment is the category PureAut whose objects are so-called incompletely-specified nondeterministic input-only automata with a set of pure states, and whose morphisms are given by certain maps between the sets of pure states. Thus PureAut may be viewed as a non-full subcategory of Set which is shown to be cocomplete and to have epi-mono factorizations.    \\{The authors do not always use categorical terminology consequently. For instance, they define pure epimorphisms to be those morphisms which are induced by surjections, without clarifying that these are the epimorphisms in PureAut. But this very fact is used when they claim that pure epimorphisms are stable under pushout.\\}","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822987$A09C9530-E1B0-48D1-93D1-B3A25922F8B1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7f78b4cfd7a9c75e2b530969fc99d3d222123e1b","datavalue":{"value":{"entity-type":"item","numeric-id":173922,"id":"Q173922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$5B5C6F76-3C1E-4F8F-97A6-D5BA6C3F64E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822987$6B2A7093-118D-4899-9A73-A97D4F6C43F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822987$8612BAA7-253E-4C5C-B2EC-6DC0A24CD28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822987$4AB2A399-14B4-4391-92F4-3E3D3D9CF152","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d707d45d4ee77d524b642b3162e19a249a1494fc","datavalue":{"value":"4114035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822987$372646AA-2D34-41EE-84D8-9ABF758BF48B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b628ee37bb1de264bc13811ff0dbdcc706e2c5eb","datavalue":{"value":"automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822987$6E4B11B0-F96E-47F2-83E1-E9A24C1D5A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66ec97ad2a6b890237388e6a081194bf6511dbb2","datavalue":{"value":"pure epimorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822987$10FA10DB-1D40-4376-8CA6-D8EEC075A1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c960d457a3e4b415a36a3cb47c7c5b3d0b83364e","datavalue":{"value":"(weak) bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822987$ECD64E6D-4832-4870-AE74-B74168AC018E","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":"Q1822987$2E44C041-CB85-42C5-9305-5BE2B82F59E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a39f1076682fc9a7565e3e6c0179916a85a5324","datavalue":{"value":{"entity-type":"item","numeric-id":4776013,"id":"Q4776013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$79933861-DABE-4591-AA52-686443E0FEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e2b2ed5e7029fde31958b9f79e4ea6f26bdc46","datavalue":{"value":{"entity-type":"item","numeric-id":2561969,"id":"Q2561969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$40C4C400-D8BA-47E1-8CE1-40B8B0D7BB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f06c3146f318eddd4170419dc0d4f0982f29ab6","datavalue":{"value":{"entity-type":"item","numeric-id":800396,"id":"Q800396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$1342DAC6-053B-4DF0-96BC-2E86C4E10E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0a480e4260b0d70e58a7e89b09a366460763b3","datavalue":{"value":{"entity-type":"item","numeric-id":1822946,"id":"Q1822946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$9EFDB90B-FC0E-4BE2-87FE-76859493D71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0223e77bbb63d3c4a170868420904ca6d59df30","datavalue":{"value":{"entity-type":"item","numeric-id":3731022,"id":"Q3731022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$C692ECB4-9A0C-496D-BBD4-CE45045FC921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$41DE0356-033A-460D-8986-324B7CE9CAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8acecb45d527064474401487c6d252f74914ae2a","datavalue":{"value":{"entity-type":"item","numeric-id":3742698,"id":"Q3742698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$2223DC36-EE16-4CAD-A595-FAF978906364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb8d5e06882c433853d7ee2893203e268f644ef","datavalue":{"value":{"entity-type":"item","numeric-id":3677164,"id":"Q3677164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$2A1CF03D-5E26-4FB0-8CDF-54AA9DF6C3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95d3292b27a58d0b09f55078766693ae9a3314a","datavalue":{"value":{"entity-type":"item","numeric-id":5549068,"id":"Q5549068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$551CC03B-6BA0-4629-9D2B-915DD3EAA765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9840d437537733033ac55143f6f9d18f14922ac3","datavalue":{"value":{"entity-type":"item","numeric-id":5662078,"id":"Q5662078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$15272637-9179-4781-A7AF-A50776F97871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f325c977c21595a567edfd399ff116dce390cad0","datavalue":{"value":{"entity-type":"item","numeric-id":3956373,"id":"Q3956373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$531D2564-EC3B-47D8-B5DC-29DD838ECF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$902E3E3B-5433-413E-8365-AD4D8C7235C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaac25eeccd58250a87d5fd5e22310b759650ab","datavalue":{"value":{"entity-type":"item","numeric-id":3877831,"id":"Q3877831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$99787F95-11C4-4C3E-99CA-A00A45D4809C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$9F5E3F70-EB63-4A75-8BC7-896DC699C544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbef57cbe8c15dd793b26a85da7c2693b27faf59","datavalue":{"value":{"entity-type":"item","numeric-id":2546376,"id":"Q2546376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$ED8EC6A2-7001-4B19-92D7-998692DCC2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$988A56B6-9E30-456F-A164-0784762529A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280cd3d0a555d23ad4c1f097024c9591f5a09ab","datavalue":{"value":{"entity-type":"item","numeric-id":4123496,"id":"Q4123496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$F72C43A5-E51D-4709-AFC6-7E0EEF946040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13a54578fafcd0538c3a8132c8a2d61907ec390c","datavalue":{"value":{"entity-type":"item","numeric-id":3719800,"id":"Q3719800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$18187F59-B2A4-4EF8-AEE2-80FE727EC643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f170d1bf622491cb6b4b793c7af31a789e14e59","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$58033DF3-96A9-4952-8AED-F7348B885A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca20c563515966657b960d7413b129e6140ceeb","datavalue":{"value":{"entity-type":"item","numeric-id":4065458,"id":"Q4065458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$B2FE6A07-577B-421D-B6A1-407A9B8C07CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$04995217-91FF-4BBA-9C73-78C3783A2249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822987$F0D8917B-F449-4CD2-9670-5FF8A206EC7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667ccd1e9d3f9460033ac65546ef03a27df98f88","datavalue":{"value":{"entity-type":"item","numeric-id":4896928,"id":"Q4896928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb17a187cf84d86595e49c4225f70ece6004cf7a","datavalue":{"value":{"amount":"+0.7859205603599548","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":"Q1822987$23C094AF-9041-486D-9344-FC753062EB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93e853f06e4b0b52c71817079c949b16807e6f1","datavalue":{"value":{"entity-type":"item","numeric-id":2708951,"id":"Q2708951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb2cc53674f96c7560a99458b93a90643ca61f7f","datavalue":{"value":{"amount":"+0.772578239440918","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":"Q1822987$C865EF72-7E88-4312-91CE-94E2A5B11E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb36327b19e2de87448d0b99c90a7a4959155fe","datavalue":{"value":{"entity-type":"item","numeric-id":3507553,"id":"Q3507553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7d96539fc37cade8057821a5fc0b564283b35e","datavalue":{"value":{"amount":"+0.7513210773468018","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":"Q1822987$F0C916DF-0D49-42C8-9BE4-375C6F217169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6337a461b509d6b31fe5dea096c2530f9f773c4","datavalue":{"value":{"entity-type":"item","numeric-id":3677164,"id":"Q3677164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8901f32c0ff7ca5189b903f86b409d3dda4b1aab","datavalue":{"value":{"amount":"+0.7497499585151672","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":"Q1822987$D3F35778-8DBD-46CE-AB14-24188BDFF8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e850e799d86e031a95a8801dc00497e33acf0d5","datavalue":{"value":{"entity-type":"item","numeric-id":5307950,"id":"Q5307950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"172a4810b5300f7bd77db3e085c889e80487bc17","datavalue":{"value":{"amount":"+0.747606635093689","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":"Q1822987$3250152A-9C24-41E8-8822-6BABE6207BC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bisimulation of automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bisimulation_of_automata"}}}}}