{"entities":{"Q5940918":{"pageid":8117720,"ns":120,"title":"Item:Q5940918","lastrevid":47657662,"modified":"2026-01-02T08:49:13Z","type":"item","id":"Q5940918","labels":{"en":{"language":"en","value":"Quantales, finite observations and strong bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635069"}},"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":"Q5940918$39F8CA2F-C534-4411-B702-763E245F9A2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98418a95b8b6c2eb21a57ffee82eab9f50e9951d","datavalue":{"value":{"text":"Quantales, finite observations and strong bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5940918$6370BB1C-A9BA-4EBF-9DB2-622123F2C354","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcce81434c0a833e21b3f06678b674210bd6171b","datavalue":{"value":"0972.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940918$035B16BA-7B41-4C59-B4A6-EB8CA43C94AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52f390d77a446eaca80b521b1158df6dea725de0","datavalue":{"value":"10.1016/S0304-3975(99)00123-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940918$B59812DE-F67E-479B-B023-DA88EE0BB4A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e218cc716c0ea95cac5bc203e535266b316ed8d5","datavalue":{"value":{"entity-type":"item","numeric-id":284645,"id":"Q284645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$08EF0E53-F5CF-4344-B019-B562FDC4A0BF","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":"Q5940918$3598045B-A119-4037-B130-A7C418547C85","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":"Q5940918$BC9B3D8C-5E9D-44FA-8268-155541FACE27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940918$04B7359D-A2C9-40BD-A49E-BB9A8366BD0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb49b4b1b87c2e456b36a0337380cd4687ea91db","datavalue":{"value":"1635069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940918$0DB0141E-B10E-4368-B726-7B543A9C92E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b99ae733070d3d1855ae2b169bdb873a71f7e3","datavalue":{"value":"concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940918$D3EB1FD4-ADE9-4ED5-8961-1A44C17387CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07545e3190c10d222c4524317f97cc37cdf2b23f","datavalue":{"value":"behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940918$7F2FBB6E-63D8-46E4-9457-1E0F6E5E4B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6cdcd23245c8696e3ea7b286e9d4a5cee174189","datavalue":{"value":"strong bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940918$963045D0-34AC-4C23-8E55-729B97A8D65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263624e5fe87d6e5ba89b3666695b53659056944","datavalue":{"value":"finite observations and finitely observable properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940918$B6DED115-5BB6-49DB-90E2-1070452E867A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a2757483db7063804eea8277a6e94835ec94f63","datavalue":{"value":"quantales","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940918$996C9B6C-B9D3-48C0-BEC1-EDC63F979C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a8867efbe75046213c2f5df8d1124db8286afbf","datavalue":{"value":"modules and tropological systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940918$BB4E8760-AEA7-4121-836D-98F91E728F28","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":"Q5940918$5FC0760B-B3F2-4669-90C4-02E4B78F5141","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3889c3aaae9df20ce7481b19c53c5a0516bc52f","datavalue":{"value":{"entity-type":"item","numeric-id":580965,"id":"Q580965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$18F0C103-1002-45F5-9A6A-B8E2899B4DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8daf58587decdee95f676a746bd278ed5978d708","datavalue":{"value":{"entity-type":"item","numeric-id":2639646,"id":"Q2639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$25E51115-0615-47D3-A9C5-9D9236C17A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b65e0aba9c9550d09b3aa23b24d834aac779a91","datavalue":{"value":{"entity-type":"item","numeric-id":1174593,"id":"Q1174593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$2DDDDA27-96FB-482F-822E-395ACF73C1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c5d69077a040fca25f8fdb07add276ee88a0b6","datavalue":{"value":{"entity-type":"item","numeric-id":4279244,"id":"Q4279244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$67EAF4F3-FE90-4CE1-A0D4-2CB38817D401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae92a3a6c1f940befb2957ac6445255ea505a797","datavalue":{"value":{"entity-type":"item","numeric-id":5044730,"id":"Q5044730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$2478ECFD-AE34-4DDC-B6F8-63F92823917D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$EEFBEB45-81BA-42F1-83F7-B8423D5D3C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$ABFABDD3-1C10-4838-A289-E7FEABA3B2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f069a555dad2c65107609610875dd9596320e501","datavalue":{"value":{"entity-type":"item","numeric-id":3771632,"id":"Q3771632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$57812AD5-6DEC-401E-B8A6-FA64155A8632","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":"Q5940918$EF4D58DC-43D1-4EA2-8F13-99C019309DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73c058e3df5c701e63f0f6d9f39f2b9e12c36e","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$366AD7B6-DB70-4210-84F2-7550E5F82273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$0E109D64-D8EB-4352-BAE3-07B3B2733AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$63890A18-DC3B-4E13-9246-267A60829895","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":"Q5940918$BF0C4F6F-ACD1-4866-99E7-4872B9AF4E63","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":"Q5940918$23CF8DC6-5AB2-470A-83E3-B280A4DB5EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$3FC29C92-D057-406D-A062-9E7003CFD58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adacb27200b6d178ce5dd4b2a932eaf86fae58b","datavalue":{"value":{"entity-type":"item","numeric-id":3328711,"id":"Q3328711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$8A298862-085B-4C24-94E0-125F6C1CA269","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":"Q5940918$D4BE422B-D819-4213-A5D6-90C4CEE9502D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$DB60C6D3-B6E0-4FF0-93C0-8B7B476094A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$0703ABD1-2798-4593-8995-246DC6EE095E","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":"Q5940918$5332EE1B-D796-4135-A0E6-021E71FB91CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee142d66ff27602731bf8a467335470d11b45593","datavalue":{"value":{"entity-type":"item","numeric-id":3771067,"id":"Q3771067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$09C01C9E-AAB8-40BE-BFE3-5AE3715C38F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$6FA86E51-CEA7-4E47-91D9-BC2E81E1FF58","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":"Q5940918$2A1342B6-EA02-469E-A6B1-185763C7288A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c516c05f43b68537a5c72310725dbfca17470f25","datavalue":{"value":{"entity-type":"item","numeric-id":580961,"id":"Q580961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$916EEB2F-6FF8-4CAB-9D48-6C1D505ADEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$4BE5106F-F403-437B-BAA7-49B448CA9AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$B337D9C3-BA79-4EF4-9A19-0D0350A066C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940918$196FC9D5-B0D4-47F2-9F7C-35DF5EDC9892","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e66147acde31922401ff7d7ba2bc303a9eaecf71","datavalue":{"value":"Q127579878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940918$DF43E5E6-CD14-4B9B-8575-10A862D2CED7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1edb9769746fb42a02708624bdf4fd2c496fcae","datavalue":{"value":{"entity-type":"item","numeric-id":3154151,"id":"Q3154151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7b50e4afc912b1048b9b990cc908d6a685ca046","datavalue":{"value":{"amount":"+0.8695732951164246","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":"Q5940918$5BF30E8E-6702-4CF0-AC84-A1F8A93441BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9729cc7597c4fdb1a94ccc06361d802990aede25","datavalue":{"value":{"entity-type":"item","numeric-id":4279244,"id":"Q4279244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"417115b7fc36f3b1f7b1fbdb60884295f34320b4","datavalue":{"value":{"amount":"+0.7985556721687317","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":"Q5940918$7833E033-34FA-4F16-A76E-1392E4EDD85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73af00b523026f08ada5f20901dfdb484f108cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c315726e026e31a6e51de290532a9227e598f8ef","datavalue":{"value":{"amount":"+0.797759473323822","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":"Q5940918$788F3DFC-F56B-4F28-998A-9C7675F97BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe66d108acf61f4511ad665cf29b91b5ea202b94","datavalue":{"value":{"entity-type":"item","numeric-id":685411,"id":"Q685411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9087b8ff9763176e0b1d215ba9aa2ae40acacfa2","datavalue":{"value":{"amount":"+0.7746697068214417","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":"Q5940918$4D936F82-3EF1-47F1-ADC8-38FDD9D7A03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"873da6f0df033f6b1d0ee216ef6ec9658903e1a8","datavalue":{"value":{"entity-type":"item","numeric-id":4508560,"id":"Q4508560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0dd7e62d3cb196f2625e82618bc59e728249961","datavalue":{"value":{"amount":"+0.7631358504295349","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":"Q5940918$71EB8D79-9AB9-4079-A01A-F14880BA314A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5940918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5940918"}}}}}