{"entities":{"Q3183528":{"pageid":3194236,"ns":120,"title":"Item:Q3183528","lastrevid":80028119,"modified":"2026-05-06T15:16:34Z","type":"item","id":"Q3183528","labels":{"en":{"language":"en","value":"Formalising Observer Theory for Environment-Sensitive Bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5618508"}},"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":"Q3183528$75F8633B-5D1A-492D-87F1-E3EF04E03D36","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d376778171a6c697cd3a39420fc3914eb412f359","datavalue":{"value":{"text":"Formalising Observer Theory for Environment-Sensitive Bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3183528$5084E129-79A3-4789-AE9A-A56DC90B061E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d4fe41c4dd291bf12c1e580ba96751e6b7b9c64","datavalue":{"value":"1252.68251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183528$A46DCB3D-ADCB-4F68-BB6B-CF53F5131459","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"335eccf442bb5b47d03742e2e4f2286b3f72074f","datavalue":{"value":"10.1007/978-3-642-03359-9_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183528$C05752E3-0B46-4CF8-B7FC-599E571DBE59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eef155c744fb52510f238bbd2aa5c13b3ad5589","datavalue":{"value":{"entity-type":"item","numeric-id":1687746,"id":"Q1687746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183528$4CF1C768-E829-46E6-83B6-987F68F84C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2459dc77e279bbc9b5ed625e678e226c3ba4ea28","datavalue":{"value":{"entity-type":"item","numeric-id":1051649,"id":"Q1051649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183528$9763BE71-441E-447D-9051-A51CD7D54271","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183528$BC493E17-DB6D-4D3B-B09D-3533B273D816","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b03fe0d32567f363cc3207214473a7371265cf3","datavalue":{"value":{"time":"+2009-10-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":"Q3183528$B16B4745-EC8B-4D32-9BB1-081C1F3A5680","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183528$3989452D-665C-464B-B914-A48A0FD40E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183528$26301245-EE0F-4EF7-B8A8-CBA226DAAF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183528$A478A2E5-3A70-4A4F-BEFC-3CB90DF5DB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183528$05F460DC-6C8B-4440-9E4B-EA9AF20148DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183528$AC99A13E-0DE8-416F-B939-5B1E3845315C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24d532c822e4fbe36829435e95bb885b7bb06675","datavalue":{"value":"5618508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183528$271B0517-1670-43A9-8103-8E7A5A2AC9FA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183528$7AB295AC-26AA-4493-BB87-B12BA520B9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183528$CECF519C-6953-47AA-A677-D27F281234B1","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":"Q3183528$AE164C51-C691-43F8-A597-ED68E5B89C8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e04c4e6018abe1db7a7925a719eebeccc027e7ed","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03359-9_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q3183528$C84E40EE-8C3D-43C0-A742-DD229A64AFEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"818585dff46cad722251baa25d4969e23e0f6331","datavalue":{"value":"W36867940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183528$FE1E832E-F54A-4871-B71C-B53E59777506","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183528$02A7C5AA-949C-4258-B10E-CFDB7ACC9803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd7f535b99990e97c48b21b4f729647c06639dd","datavalue":{"value":{"entity-type":"item","numeric-id":4230922,"id":"Q4230922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183528$50D2658E-C3C1-4803-AA69-2FBBCA90761D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183528$8499D9CE-AAA5-47CE-82D9-C0C7B3052A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43ed076b922bab4526d2e55f06121ec4c2de885","datavalue":{"value":{"entity-type":"item","numeric-id":4535055,"id":"Q4535055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183528$8866EAB7-4BBB-42FA-9BFF-4E98FB180B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f24efce6992803e4942eeccc04599e8963e887c","datavalue":{"value":{"entity-type":"item","numeric-id":2784489,"id":"Q2784489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183528$80C1B027-BC55-4874-94E8-CED69D4BCC42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de25303ed0884d9845a31473529d650f74e6157","datavalue":{"value":{"entity-type":"item","numeric-id":5311472,"id":"Q5311472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183528$7C676260-08DA-444E-BFFE-77F8DD63ABF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e9f3619ca3d6b2ce6e8820f8ce4979ea0cf459","datavalue":{"value":{"entity-type":"item","numeric-id":5462665,"id":"Q5462665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183528$DC15619E-3B27-4CBF-A547-512848CA851B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183528$BD2AB561-1A37-4026-B8E0-938F51EC8327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b676665afd22925f578269f91eda5bc9c6a056","datavalue":{"value":{"entity-type":"item","numeric-id":3507444,"id":"Q3507444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183528$D52BBEAB-5087-40E4-BDB4-C552AAD5A161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183528$D2875498-CBE5-4339-831B-96FCA2233FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183528$FA7EC120-1B2B-4F06-91C6-F23E76A7D1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c48845d1510f5f2ff8effd0c1e717b436521df","datavalue":{"value":{"entity-type":"item","numeric-id":3498447,"id":"Q3498447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183528$ED036C97-2D29-4670-AF8E-8DBE40767772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c825bbb7582b4df81bf827ec761a386f365935f","datavalue":{"value":{"entity-type":"item","numeric-id":5902125,"id":"Q5902125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183528$7A6B3688-F00A-41A8-81CA-BCC47146CDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1837aae353ce3d28a1359a1a3eef34d561d959a6","datavalue":{"value":{"entity-type":"item","numeric-id":2946633,"id":"Q2946633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183528$8B084B77-2F96-4461-88C0-32762BBA820A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191255e3a2941778a5ecb58cdb43515fd82d7818","datavalue":{"value":{"entity-type":"item","numeric-id":4270079,"id":"Q4270079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53235a5271691eee902c83159d7f3abdc387a245","datavalue":{"value":{"amount":"+0.7345897555351257","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":"Q3183528$26D9224A-8844-4DDC-8D11-D8E2EBEA634E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc40447aa0163b5fb9e136798f4a7b6be94e8446","datavalue":{"value":{"entity-type":"item","numeric-id":5462665,"id":"Q5462665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"282ebf0464fef302e309ce0df91e4c61256b8206","datavalue":{"value":{"amount":"+0.7315369248390198","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":"Q3183528$D8D3B43D-5AC6-47C2-810B-503E0B73F1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19ebbaf52060a9a1cbe1a50119acfcb47dcc52ab","datavalue":{"value":{"entity-type":"item","numeric-id":5311472,"id":"Q5311472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8697d53de391b7a33cc303bd780cff8444d68c21","datavalue":{"value":{"amount":"+0.7237009406089783","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":"Q3183528$A1A30B91-EAB2-4F48-8310-81B11B627FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51424281b9812533847d9811813d74c32707a82b","datavalue":{"value":{"entity-type":"item","numeric-id":5458829,"id":"Q5458829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66ead6c9901d76aee2261bc5224ccc4d274ed675","datavalue":{"value":{"amount":"+0.7223072052001953","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":"Q3183528$15270F64-8199-4A2F-8C67-2CF9C922C041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"141f4c317f3b11bda07211ace3e7f96eba56978a","datavalue":{"value":{"entity-type":"item","numeric-id":2996142,"id":"Q2996142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ab9023f17ae49441442cdca2942e753e9ba19e","datavalue":{"value":{"amount":"+0.7185196280479431","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":"Q3183528$BC4B2D72-0274-42DC-8B22-1BDB1C224539","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalising Observer Theory for Environment-Sensitive Bisimulation","badges":[]}}}}}