{"entities":{"Q685411":{"pageid":687260,"ns":120,"title":"Item:Q685411","lastrevid":63459951,"modified":"2026-04-11T13:18:23Z","type":"item","id":"Q685411","labels":{"en":{"language":"en","value":"Universal axioms for bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417351"}},"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":"Q685411$0043B0B2-6501-4ABC-8DB4-D1DD41FC2295","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a625394b6ef1056984e755d3ca3f20d2c564f1aa","datavalue":{"value":{"text":"Universal axioms for bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685411$F5996913-79EE-4BDA-9287-6BD57CECF88D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"792cec2024b2cf2e56c59cc7a5d6fd3c44671d8c","datavalue":{"value":"0782.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685411$C659954B-0533-4C4B-85A9-D60DBC028AA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa827a724d7a2ad88849bfaf85cbf01310ec4e3a","datavalue":{"value":"10.1016/0304-3975(93)90153-K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685411$89A43353-3EBE-411B-883B-A22A027213B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95d56fa69daeb841762fcc163127358c82f6b275","datavalue":{"value":{"entity-type":"item","numeric-id":530215,"id":"Q530215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$1633568B-3C58-49F4-A6BE-535E8F044742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"467355300579464725662c12a473c283bc71860e","datavalue":{"value":{"entity-type":"item","numeric-id":384931,"id":"Q384931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$35E4825D-FCB6-4422-97ED-9674D662CAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$F683051B-DBE6-4941-8F4E-0A2362214A64","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":"Q685411$C799547C-1BDE-4F4E-8D10-590EA5494231","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d02bde13d622d42f9b76cdf00d7fe9c53527b91","datavalue":{"value":{"time":"+1993-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685411$05E4F444-1AE5-4569-9422-19A448816966","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b985f911004107259cb9b52634b68fba6a2c331a","datavalue":{"value":"Observation structures as a basic model of concurrent distributed systems are introduced. They are graphs with nodes labelled by observations. In the special case of observation trees their nodes represent computations of systems and the label of a node is an encoding of the observation of the corresponding computation performed from the beginning of the experiment. A partial ordering over observations is assumed since as computations grow, so do their observations. A language for denoting observation trees is proposed and congruences over its terms are defined as strong, rooted branching and rooted weak bisimulations. Also a new bisimulation, called jumping bisimulation, which is weaker then weak bisimulation is defined. In the case of finite observation structures sound and complete axiomatizations for all bisimulations are given. It is claimed that most of the bisimulation-based congruences known in the literature can be recast in terms of congruences on observation structures, by carefully choosing both the bisimulation and the observation domain.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685411$D0A46201-D4E7-49CA-9B02-AF35356F0F57","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"14df87f03128769fb7e76235928bf393d9238874","datavalue":{"value":{"entity-type":"item","numeric-id":256972,"id":"Q256972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$C473F49B-CCED-41BC-81C4-40C01A3F6538","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685411$F14C0880-653D-46F3-A2AE-9BF0C91D3EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685411$1851374F-68D0-491A-884D-C211BAC62E46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da4e8e73b89e34155700c61cc55bdd6fe6ee7eb4","datavalue":{"value":"417351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685411$DF9507F9-AAF0-45B0-8D65-0D043F5B16BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd226dbbfb19f19b5a4a1d863056ae4042adcdc3","datavalue":{"value":"concurrency models","type":"string"},"datatype":"string"},"type":"statement","id":"Q685411$C3FAA2F2-7D8C-4D8C-9883-429A2465EF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q685411$9AD56BD5-0F1A-4552-BFC8-F14AC2F750B7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ad18502286cf5d6e2be3a359deed1e11bf25bd93","datavalue":{"value":"Q114683720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685411$4513C0B5-B10B-4B77-A742-DB915E307563","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":"Q685411$F5B634F8-8F73-4F3F-8D46-7237619738AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"547ab9c4e0a855be6c47863416c80a57993c4fa5","datavalue":{"value":{"entity-type":"item","numeric-id":3030238,"id":"Q3030238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$28F41D4D-3212-4803-94D6-A423E75D8FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35e030d299d34323851896cfb85ba05314bc3be","datavalue":{"value":{"entity-type":"item","numeric-id":789894,"id":"Q789894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$FAEDE48E-9FA1-47E3-8D2D-032D29B97C30","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":"Q685411$D9D0EE15-72E3-4D5A-AD25-D8EB25AE7EFF","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":"Q685411$E63248B1-DBF7-43D6-8B92-406FE7714F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"529a94b166b6a1f460cb2dea7df802b6148b50cf","datavalue":{"value":{"entity-type":"item","numeric-id":1124366,"id":"Q1124366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$8D75DC76-6A8D-4E36-B5A1-337B03B07D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60d2a6a92b93d2d5de09540bf32af9e3a8fc35b5","datavalue":{"value":{"entity-type":"item","numeric-id":4035230,"id":"Q4035230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$76075052-A48C-41F7-8C76-677DB4D47377","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":"Q685411$2B3DD59C-9ADC-4EAC-942D-7B1F06AF77F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$AF538E50-1F42-4048-AFB7-5CC58C199A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35fde0a84a4f25daa3e642664f36f975a49d3484","datavalue":{"value":{"entity-type":"item","numeric-id":1089791,"id":"Q1089791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$74B13E17-E669-47CD-9FE4-6A03371AF04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"895f70afc633825f5867fd125355511853784dfc","datavalue":{"value":{"entity-type":"item","numeric-id":3359754,"id":"Q3359754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$2E34C9A2-D633-4571-A173-B705F55F105C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0d2e34aa930e925e375883c6bd748955e5f0c0","datavalue":{"value":{"entity-type":"item","numeric-id":4733427,"id":"Q4733427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$3E43D9DC-F33C-4C27-BDEB-41646D1B36EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952ffa83772f58e853b610fb1b8d330b822f913d","datavalue":{"value":{"entity-type":"item","numeric-id":914400,"id":"Q914400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$AB9B8A66-865E-40ED-8FA4-6FC081E816AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0daf34ff0c38342e10fef42e7b7cde5eeefffab","datavalue":{"value":{"entity-type":"item","numeric-id":1089787,"id":"Q1089787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$9E76EA7A-288B-4F46-AE06-5E47CA3F7862","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":"Q685411$98637C87-1576-4840-A1D4-DD58ADCD49F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$589AD325-49AB-42D5-B8F3-C525BE5061FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b49887873cf1833e3e1d4a2284f84cba89bf03","datavalue":{"value":{"entity-type":"item","numeric-id":2736365,"id":"Q2736365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$B82AFE4A-32D6-4DE0-B569-0D320EEC4BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ed6dae7cc1c8231d4ad6357ee067e883f2b2e0","datavalue":{"value":{"entity-type":"item","numeric-id":2736347,"id":"Q2736347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$C102CD17-31B9-4255-B043-29AB91664F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c9b97325196e15821b091871efdab4e43e1736","datavalue":{"value":{"entity-type":"item","numeric-id":3975146,"id":"Q3975146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$DD09FB6E-F93A-4A5A-AD88-DF0F9E463AA4","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":"Q685411$7A7BFED7-C2FD-4C54-A70C-AD0E8A1D1608","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":"Q685411$7B3CCC92-2EA6-4A89-87A2-3463902B5E95","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":"Q685411$409CA672-B233-4632-9835-CCA7C9E408DA","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":"Q685411$0B3E5A51-29A6-46AC-8A0E-A739E2182DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38fd91746d52c6e95577227ca648026c392e49f2","datavalue":{"value":{"entity-type":"item","numeric-id":752689,"id":"Q752689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$B25E3137-9C1E-471B-99E0-79A1E8877E1A","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":"Q685411$CA8526B1-EAF6-41FB-A34B-CD2088CBF999","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":"Q685411$560AC5AF-3B48-40ED-BECD-A65E41345623","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":"Q685411$B188A50A-385E-4C2C-9C8D-7FE80A602694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a024d6fe2e8f5dc23a3aac7897d4d61e4e233f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4018066,"id":"Q4018066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$8298C36E-4168-4A5A-AC84-DD86AB1CE054","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":"Q685411$4FD0D45E-D0EC-4C24-A9AB-3BEF54862F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"558e06cc3ddebf10ee88da203fbe6115edbd40a7","datavalue":{"value":{"entity-type":"item","numeric-id":3873555,"id":"Q3873555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$ACAA851A-075E-41E4-B729-B0427FD3D1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$232E5F42-412D-45B2-BBEB-F8D17F3B22F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$69CF2650-F9C1-4F2D-90D7-9B9CB25D6D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cac7fbe3edf8dd45e61377edf3265a1c6bdbb5","datavalue":{"value":{"entity-type":"item","numeric-id":3805922,"id":"Q3805922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$EAD71F29-C608-4915-BD2C-5B731731B612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178038c420b9380f89f1a3e49617f7b6840655e2","datavalue":{"value":{"entity-type":"item","numeric-id":3670575,"id":"Q3670575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$277F436E-8429-4C9E-81A5-0655F2CFEB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40cef352b40d156a31ed39445789b3bb718874a5","datavalue":{"value":{"entity-type":"item","numeric-id":3753474,"id":"Q3753474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$7A2D08A9-2B36-4F6D-969D-CF5D0152F3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa63e48ea60905c2e9fe91590040e7c91dcd2ed","datavalue":{"value":{"entity-type":"item","numeric-id":3762243,"id":"Q3762243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685411$44AB7302-6523-41AA-999B-053879A01CE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fa8f34c5c21ae931de7406c8af84422183c2f9a","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90153-k","type":"string"},"datatype":"url"},"type":"statement","id":"Q685411$B3B442ED-E8F8-42C2-95DE-8E11734B1E3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1e4111e295f2e36dac18c090d9fe5bbc3a76654","datavalue":{"value":"W2074117888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685411$2A8A9916-EF45-452E-A8A3-89B73E07267E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34c887dd986c3a1150ead5cca8180a3b0f2f95f4","datavalue":{"value":{"entity-type":"item","numeric-id":1329198,"id":"Q1329198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca848d84e1293c14cba9d0531530275941ac7cd","datavalue":{"value":{"amount":"+0.7943089604377747","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":"Q685411$28F38FCB-5FF5-45B9-9277-905F68CA109B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afcbb6cc2bf3c86e99c08508e4dfbf93875a3d95","datavalue":{"value":{"entity-type":"item","numeric-id":5940918,"id":"Q5940918"},"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":"Q685411$A450E9DA-2CFB-43AB-B959-08DEF56A3B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1057a59817af8d13cd8554d9a1772717b728d1d","datavalue":{"value":{"entity-type":"item","numeric-id":5190789,"id":"Q5190789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5591bae863afc26bb628b4420c10555b8b712537","datavalue":{"value":{"amount":"+0.7702945470809937","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":"Q685411$0E4A76DC-AFD2-4376-826B-F45D4DC1F80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c30e56a722459c83d9a72a334a0afab1a75013c","datavalue":{"value":{"entity-type":"item","numeric-id":3474903,"id":"Q3474903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67fd49af0bf891b953e6ee3a6f51c0d2582c6622","datavalue":{"value":{"amount":"+0.7683485150337219","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":"Q685411$AD1FC29D-6394-4176-B3B5-B3BDE766BBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d71788dc5a4071c048e5d1d812c461674c639db","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60cd4c4e3f1e3f149b145c4a41fd9fc1bd4c389","datavalue":{"value":{"amount":"+0.7639103531837463","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":"Q685411$8DBB1F19-A285-49B0-A865-70C5A525FCE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Universal axioms for bisimulations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Universal_axioms_for_bisimulations"}}}}}