{"entities":{"Q2500474":{"pageid":2511217,"ns":120,"title":"Item:Q2500474","lastrevid":49896988,"modified":"2026-01-11T19:43:36Z","type":"item","id":"Q2500474","labels":{"en":{"language":"en","value":"Splitting bisimulations and retrospective conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047244"}},"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":"Q2500474$54DBFA06-995A-4B1F-B467-5DEA46226320","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8bdee556dcbdc12abaa1de836640b42fdaedc20","datavalue":{"value":{"text":"Splitting bisimulations and retrospective conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500474$E0D665D0-844F-45D2-BBB5-87AB2A175851","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fec4f3f90c738b10d6cc09fc3cfe08ee13340e3b","datavalue":{"value":"1104.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500474$365D1F31-D272-4DC8-8BA9-0E4917B05EEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb33a3073e5d10e801461d02e59acd59cd450c4","datavalue":{"value":{"entity-type":"item","numeric-id":175864,"id":"Q175864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$5E49067C-CC2A-4F3D-9066-A3C1F23A0067","rank":"normal"},{"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":"Q2500474$7F278ED7-B8D6-4628-9621-E0435AB72DE4","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":"Q2500474$63F88447-0A24-48C2-B440-0085A92A57DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500474$DA20540A-B1D5-4F57-8C20-57B66A002ED6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500474$AD17E027-A01D-471F-AB32-4D3F5062BBE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49c6dce6f1c693e9b711b98f0fd782affabea088","datavalue":{"value":"5047244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500474$8291FFA0-7F37-43B4-9AA3-C41557FBF66D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e1536d57adb37bde2ecde29d2ba53f7a62c502c","datavalue":{"value":"splitting bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500474$5E5F18A7-39CE-4322-B416-18FBDBEA3321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420d6693055c3a1406e8b2fcd2b58a4cb3e4cf4b","datavalue":{"value":"retrospective conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500474$27C833B2-4688-4F77-875B-FC031821936D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99a8139365e9ab64718b15120eaf30a629334b51","datavalue":{"value":"condition evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500474$DD9E82DB-808E-4137-944A-C29A98FF3984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12211ea4db817954f4fa829c0a662ef758764a74","datavalue":{"value":"state operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500474$06C82A16-E9A7-46D9-810D-A329E9D49EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fad435f557b010f728a62b8e6e5a89da04936aff","datavalue":{"value":"signal emission","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500474$C1FB7BB2-27C3-4BA6-A548-B1AFFEDC2985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500474$525C2D6B-65F0-485B-B397-B5581777F7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2500474$08ED569A-5178-4971-B35A-4C8A77A13B74","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":"Q2500474$2019E48F-A020-4A0B-9CAA-C299E3BF05BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"765f7be7326ca124da8ecfc4913eba20ed6da323","datavalue":{"value":"https://doi.org/10.1016/j.ic.2006.03.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500474$C8C00790-6734-4C8A-A297-99ADDAB1B846","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f86aa8e14febf831411d8cf17742d093e10c3ed7","datavalue":{"value":"W2135597391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500474$347ABFE9-BA88-4BD1-A171-4FB8A4F9D855","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$2011B62E-403E-4D01-974E-01605AE70EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a5fb5fbffea037d21a74110d86acc10df1cb367","datavalue":{"value":{"entity-type":"item","numeric-id":1090103,"id":"Q1090103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$1530DA41-3C92-4502-9BFA-131732E0650A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"924f9d45e7c4bf8a47eecb690915286b469226fe","datavalue":{"value":{"entity-type":"item","numeric-id":1106660,"id":"Q1106660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$5E9D89C0-0478-4DEA-9B94-77402371FF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6328f11b87ce3560796f963a4494ff7cdb8b30a7","datavalue":{"value":{"entity-type":"item","numeric-id":1202089,"id":"Q1202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$E5D1263E-21D5-47D7-8E31-56A5CC889246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"284956ad0e926f50140e70cdf061530dbb054fba","datavalue":{"value":{"entity-type":"item","numeric-id":1391792,"id":"Q1391792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$8AF4A134-3FA5-4B30-8234-5B1BF7A19E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d8fde924884844f45b293d89acce0981d24d6b","datavalue":{"value":{"entity-type":"item","numeric-id":4223007,"id":"Q4223007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$C24807C1-3F8F-4818-A9CF-30A64250595D","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":"Q2500474$898ED068-5C03-44EA-8D5C-DD73EEF5CD16","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":"Q2500474$68287E7C-1DD3-4E34-82F8-CE4247F9952E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac46a572157dec25d0cfa968a89b3cfad05605f7","datavalue":{"value":{"entity-type":"item","numeric-id":2760255,"id":"Q2760255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$C648F10C-2279-4A2B-91E3-7ED1CA26E3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d447b36641e55a0af2caf7f8c9e84aa9b1618c1e","datavalue":{"value":{"entity-type":"item","numeric-id":5898166,"id":"Q5898166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$629479BD-921B-4F7D-8225-3D606AF8AD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c773d5ccbf71afa9b886a642149c404394a31d64","datavalue":{"value":{"entity-type":"item","numeric-id":1781998,"id":"Q1781998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$5F1BDB3D-040F-47FB-8871-F88A2884355F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0442b8a3809437983833a1bac40f3cd6b9eac4d4","datavalue":{"value":{"entity-type":"item","numeric-id":5492815,"id":"Q5492815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$3F41BB5E-0E1D-4088-A51E-7A962F4FC7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2712387888da8602c7b647ee8f6052e0f4249a82","datavalue":{"value":{"entity-type":"item","numeric-id":5480652,"id":"Q5480652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$E472A87E-5331-4486-85F1-FC89EC60E575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd26f976908d8bf3f63f8822b15b02aa084beca4","datavalue":{"value":{"entity-type":"item","numeric-id":1607116,"id":"Q1607116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$4D6678ED-9755-4FD7-A6F5-90A5067DB4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$CA99896A-F04B-4D34-9945-D5E982EC08C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$040920A1-AB9E-44E1-A191-DC0368524DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e24fb73f0334e94937043851c5cd1e51e395fccb","datavalue":{"value":{"entity-type":"item","numeric-id":4312484,"id":"Q4312484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$A557A7CC-21BA-430A-BFE2-B87605F0575A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f44b2f48c7558bc7f3a85caf4b8ce4d20efa5a","datavalue":{"value":{"entity-type":"item","numeric-id":5721231,"id":"Q5721231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$7C706DAC-15E1-4541-93F8-AA82B13F9B15","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":"Q2500474$A632C1A9-1685-496C-A4C0-8543A244E5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a51285ecc98c7aa36e85f90f6de1b67d1e1af30","datavalue":{"value":{"entity-type":"item","numeric-id":3766810,"id":"Q3766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$B1CE88CC-C75D-46F6-97CA-226A5691BD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$1EF77B4E-04CC-4D22-B10C-9693214ECF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8459862735a3ec9272090d344676c06d659741b","datavalue":{"value":{"entity-type":"item","numeric-id":3994998,"id":"Q3994998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$C96FBD90-B725-4B86-A8B8-329B1E962A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$012A3154-F4C4-421D-905B-1209C9F4D7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f8da7733f5df652657471b8fc372ee15cfbac5","datavalue":{"value":{"entity-type":"item","numeric-id":5585437,"id":"Q5585437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500474$55FECEBC-4113-401F-BCD9-AA41B1FA1EE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e36045ba00a7da3271da50e9206b22625593880","datavalue":{"value":"10.1016/J.IC.2006.03.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500474$45130B47-B140-4E2D-A8D2-1C292CDFAF3F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad730daded9c693434a3e3ee1e2243b4f05835c7","datavalue":{"value":{"entity-type":"item","numeric-id":5492815,"id":"Q5492815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf014e3f36c1a3b2b30f40173d556ea74a127e7a","datavalue":{"value":{"amount":"+0.8453602194786072","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":"Q2500474$E2694BE6-67AC-4BA8-B73D-466810DD33F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f067e0201290e7db0e0401e89e05171e7a8c4505","datavalue":{"value":{"entity-type":"item","numeric-id":864509,"id":"Q864509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16f4eca17a489712aa3f31130ac57134141e6181","datavalue":{"value":{"amount":"+0.690822422504425","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":"Q2500474$CC69EAC9-AE4A-41FD-B881-CCE1347EC603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698061dc5662a28b57a08d0256fe8b3b969e86c3","datavalue":{"value":{"entity-type":"item","numeric-id":5262974,"id":"Q5262974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f024a5e8309ee57ca755469e0c232ee0890fceb2","datavalue":{"value":{"amount":"+0.6889715790748596","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":"Q2500474$64BD06D5-FBA8-437A-89E0-FCF88FEBDFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e68cf7d2cf746a82c44af83e56b8b12d79064ac","datavalue":{"value":{"entity-type":"item","numeric-id":1708097,"id":"Q1708097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2547e1d5306ab48cf62ce44cb46d5a3d353745","datavalue":{"value":{"amount":"+0.6791300773620605","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":"Q2500474$15871DC2-BCDE-4990-A1A1-DA10F76259E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1795a23a2c5f0b39b390ebbcb9f1b637cd5b11bf","datavalue":{"value":{"entity-type":"item","numeric-id":1854331,"id":"Q1854331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f46b5760c5b3699380be5ced6fdf2f6de4ac13a","datavalue":{"value":{"amount":"+0.6725345849990845","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":"Q2500474$EE54CE4F-0EAC-4C5B-BF48-23ACAC9DAD6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500474","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500474"}}}}}