{"entities":{"Q5941202":{"pageid":8118004,"ns":120,"title":"Item:Q5941202","lastrevid":47658574,"modified":"2026-01-02T08:54:01Z","type":"item","id":"Q5941202","labels":{"en":{"language":"en","value":"Deciding bisimulation-like equivalences with finite-state processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635367"}},"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":"Q5941202$8025A107-3741-4F33-ADA9-874120F383E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e7313d83f285380c5c2240438480e9001fb75d6","datavalue":{"value":{"text":"Deciding bisimulation-like equivalences with finite-state processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941202$7F4B2AEC-F5E0-4AA4-9BDA-80B820621639","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"820673ed98e7aa8697dd09b0c806f634e09721a3","datavalue":{"value":"0974.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941202$E8BE5ED3-9AE7-4FA2-8C30-F9559A47B483","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eac2d61e258b0907c137fd819382a54a245f9a52","datavalue":{"value":"10.1016/S0304-3975(00)00027-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941202$2393C426-64F6-46D7-A0F7-44618CA110E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b34490b42e542c961f98f9ba6d799768378b70","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$891C60DA-E8F0-41A8-A244-6193070A180E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3e518c334d462c26c60c459e716d0942607e70d","datavalue":{"value":{"entity-type":"item","numeric-id":235697,"id":"Q235697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$1A9E8D93-55DF-414B-B1C3-C8E54CCC20D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3cd4b1159a8981549ca62e4788b4aa9a743defb","datavalue":{"value":{"entity-type":"item","numeric-id":235698,"id":"Q235698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$DE0DDEE2-08E6-41CE-9D01-776CD0833775","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":"Q5941202$23C0BCA6-F495-4455-9D2C-CCEE9494ACC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941202$874BBAFD-4781-487C-AB18-AB7261414391","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941202$153BD073-D252-440B-9ADB-97099179FB48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ff30b00ef9275996adcaadc5305c0873b1589c2","datavalue":{"value":"1635367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941202$5C79BB1E-8F52-47AB-BFDA-E6811D793B11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941202$0EB5FF35-2AD0-4ADF-B66B-4C553A1832E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941202$B150EA3E-CA82-432C-8D9C-AD644A7176EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"700191a5597813ab50ec33e35d92eab1d742dffc","datavalue":{"value":"characteristic formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941202$8413CA2D-40B2-4242-80FE-6CB224F83E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941202$3F4C856E-A51F-4FAE-837D-4F12DF369957","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":"Q5941202$5EF40BE9-82DA-41E2-97CA-8CC1E67269B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd94c9f885ba3e6669741eb6ab6af5cb1cb9582","datavalue":{"value":{"entity-type":"item","numeric-id":3140021,"id":"Q3140021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$0DC9DAB7-628B-4E3B-B948-6CA85BD44DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$19FBE8E7-7335-4B22-8FBF-5D85F3BC0F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$7AED6355-AF79-459E-BE1F-8AED8050E361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de77900b6ca5ecc880ae38be55173559bdc08936","datavalue":{"value":{"entity-type":"item","numeric-id":685354,"id":"Q685354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$ADA39752-472E-49BC-8849-0D18DCF423C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5d55f1f9a169acb115e2fa3ba231f124954adb","datavalue":{"value":{"entity-type":"item","numeric-id":1306565,"id":"Q1306565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$561F1BF1-C18E-45C9-9D65-0B23B5BBF2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5142c6ec67e82aa4ab1465a9835a95c76bf8758","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$9253D15E-3872-4986-AC70-3DEE9CCC0382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7f6243e8c1e019fa7573e1043f7114ec98acef","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$21E50229-7D88-40A6-A0C0-DC52D860C778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa1f134c73b422f11b474e2bf47d3773c6d2eb9","datavalue":{"value":{"entity-type":"item","numeric-id":914407,"id":"Q914407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$D5DF6B2E-9B43-4E07-829A-B58924DD6945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93452c09e5c135449e27e64c08e7156c299cc1ca","datavalue":{"value":{"entity-type":"item","numeric-id":672326,"id":"Q672326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$282D111B-A97E-4493-B9A0-733DA31CD5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a615d5d538f119a019c6c84160d61e40af07ca4","datavalue":{"value":{"entity-type":"item","numeric-id":4818859,"id":"Q4818859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$6EBBD7C7-1A8B-4580-95EF-7E4B12650706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"040e53fd587c8d9dfac6a0bf659f59e7bffa9161","datavalue":{"value":{"entity-type":"item","numeric-id":1575536,"id":"Q1575536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$F0C58ACC-2E1E-4DAB-A7DE-00815F32280C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a54bacda2d9f2b500cddca31513983069c70d4","datavalue":{"value":{"entity-type":"item","numeric-id":4270070,"id":"Q4270070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$130FEC55-A107-40CD-A093-2811B58524A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e648db17a739894d37b270641fb26bfce3cd003","datavalue":{"value":{"entity-type":"item","numeric-id":4251913,"id":"Q4251913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$96AF0325-8821-476E-A33C-DE062840E113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea66879d47e2f317ce50f7998b7fe6ec5a9a3907","datavalue":{"value":{"entity-type":"item","numeric-id":6044127,"id":"Q6044127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$6D484E7B-C07B-4DEC-935E-4F0B6ABE1954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30dfa4da1d23fed8a93ada825dde4d5a2e1a064a","datavalue":{"value":{"entity-type":"item","numeric-id":4234763,"id":"Q4234763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$28D5C464-A9ED-4D4B-85D5-36C2255F2053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c60ed09b0c0ca1a96c7e00714b2bd4f9551134bb","datavalue":{"value":{"entity-type":"item","numeric-id":5941100,"id":"Q5941100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$813DD9BD-6494-4967-82D0-D80237E67062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e98f322680a32cb9958826de3f407d1215106b","datavalue":{"value":{"entity-type":"item","numeric-id":1854328,"id":"Q1854328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$4652EB21-88AF-43AC-80BE-62D57E1881B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$4BD38D1C-3683-4AED-A8E9-1995A203EEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$BAC2A2FA-5360-4298-83E0-1E93884276E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d7d93a9512ab236f4772935e1df8ec2aa25fe5","datavalue":{"value":{"entity-type":"item","numeric-id":6104374,"id":"Q6104374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$FFBEC92B-7B9E-4353-92B6-4AD10B2881FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd06688d0a2118d72cedd0d86de5ca69bef5bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1084096,"id":"Q1084096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$A6C4A935-0C6E-4F59-AEB4-A5387B0C3693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$D7193AD4-D377-4CC2-82FE-B737624B7567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$5E5527B1-E680-4745-8763-A717CFC855FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5735069a83c3299190a155d1f226c5bb8283daf","datavalue":{"value":{"entity-type":"item","numeric-id":1322469,"id":"Q1322469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$198D150E-34C4-418B-9D15-399BD7C9A116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91aa03382e6ad7454b01b97ce6d4242efdf5ba6c","datavalue":{"value":{"entity-type":"item","numeric-id":1276237,"id":"Q1276237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$BCF037B5-EF75-4F9C-B9A9-0F480466CF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$DD117189-3240-4BC4-A6B3-2478C9804AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6370bd33e7f017efeca0457a1c3162548686d69","datavalue":{"value":{"entity-type":"item","numeric-id":4218096,"id":"Q4218096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$041C15E0-DD49-4C1F-A74C-8202C1383F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d656fd977434c5cc9c5eee96756a0a1ee7a004f2","datavalue":{"value":{"entity-type":"item","numeric-id":5044763,"id":"Q5044763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941202$919A3BB5-7AEF-446C-AB2C-1A9EAE305A78","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"34b7e2543fb37171d7e1c5dbcafd3c074aa70a6a","datavalue":{"value":"Q127740450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941202$34C01520-6A5D-4913-B434-DF31EA106E0A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c752fc7fee9cf5deb866cc3cdeae53abc036d0f","datavalue":{"value":{"entity-type":"item","numeric-id":4223069,"id":"Q4223069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e83d4e282b877fadb9fd652365b7d3b6d0c9f653","datavalue":{"value":{"amount":"+0.8619540929794312","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":"Q5941202$0442C6E4-C6DB-4F22-A719-E8CFDF1E9D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530a0c6fdd318b80ed0243c9a8a81e3518f24473","datavalue":{"value":{"entity-type":"item","numeric-id":1899906,"id":"Q1899906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e3eca4c6413dfc325d6cfb2c2468cb655707f47","datavalue":{"value":{"amount":"+0.8228073716163635","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":"Q5941202$FBD54F10-73A9-4E6A-880A-EA1D097CCE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12c324753cd6f7fa675eae4f95207dd45d9b2748","datavalue":{"value":{"entity-type":"item","numeric-id":1854513,"id":"Q1854513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e3eca4c6413dfc325d6cfb2c2468cb655707f47","datavalue":{"value":{"amount":"+0.8228073716163635","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":"Q5941202$ECC32305-7DBB-4F17-B7E0-AEA02C9DDE0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"257987e34364cf11b26966c06937096e645f0419","datavalue":{"value":{"entity-type":"item","numeric-id":5958326,"id":"Q5958326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"907b8710006f8d9413392d5dcc8cea5787d83c43","datavalue":{"value":{"amount":"+0.8126549124717712","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":"Q5941202$C1D6B69D-A3D4-48CD-B197-C9117E853129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2172453b0f0616f70f41b79c28f005384726eca3","datavalue":{"value":{"entity-type":"item","numeric-id":1854338,"id":"Q1854338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78c29466447a0d5cd6ee00e06c70ede3186a00b5","datavalue":{"value":{"amount":"+0.8072110414505005","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":"Q5941202$5C4FA0BD-5E20-4E06-9D5B-D99667EE63D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941202"}}}}}