{"entities":{"Q1944040":{"pageid":1954782,"ns":120,"title":"Item:Q1944040","lastrevid":51683375,"modified":"2026-01-19T11:25:46Z","type":"item","id":"Q1944040","labels":{"en":{"language":"en","value":"Resource bisimilarity and graded bisimilarity coincide"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6150230"}},"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":"Q1944040$F2FD52A2-B90E-4ABD-A30C-6651B4993190","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e2f87c364df8720d21b3e67c026ad91dba6b1ee","datavalue":{"value":{"text":"Resource bisimilarity and graded bisimilarity coincide","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1944040$4DE5F068-FA9A-4E75-BE47-D3637FEA1119","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4276cb0573d83e818bfb6b01807e3d2b50fb0adc","datavalue":{"value":"1260.68251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944040$5584DBEA-9729-4F5D-8752-C6F0C24C1D43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944040$2DDF5017-FA25-4B38-8C88-AC2B506FB203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944040$1791B4B2-8C62-4434-B027-983DCBAE3C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c966e7dbbd59a484367bbf8cf75fa2113f8ffd32","datavalue":{"value":{"entity-type":"item","numeric-id":426788,"id":"Q426788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944040$E9ADC059-F7F5-4C60-B3D2-CC9D2BEC9E97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944040$8C9A3B17-1A67-43EF-8F4B-C3FE44CF9515","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed03f72b49df8968931f2c7d2aea5cd917c04029","datavalue":{"value":{"time":"+2013-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1944040$4BA24637-859B-4505-B27F-C0FF981DE428","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944040$1ACCF8CB-5486-465D-B350-04FFE1281599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944040$E8C6A25E-77B0-4899-B07C-86DCBDE4D97B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b6f3bf520e70ff653a011b1e4e8f2dc5d4e3e9d","datavalue":{"value":"6150230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944040$F01E00FF-8AF4-4E04-9A6F-F64FD50FF6EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944040$FA8992F5-2950-4280-8FD3-50006C9FD15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69fe6bc056ff3cf24c8c6b6417c1a6d7fa3f2339","datavalue":{"value":"resource bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944040$39F73D60-BF2A-483A-BA7F-499F5846767A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a69b2e1dd28619f12bad7e79570af0cdef48e37","datavalue":{"value":"graded bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944040$26D244A6-7E1F-488F-BEA3-84DAAEEAA144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9341d5334d5eca6f44bdbc28f131ac5a99a01283","datavalue":{"value":"graded modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944040$CD43B138-6325-4C19-830E-3E6EAB56AE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944040$2AD58D81-71AD-4FED-9E85-8E4CB9C8D555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1944040$3E3CA9AB-DDB6-42CD-AC13-8D582562B3CD","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":"Q1944040$79C571F1-418E-4365-BAFF-190C64B11586","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28acc1fd2974afa60b9918ec5d4f9d9d4ea16808","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2010.10.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q1944040$C74F2622-4EF1-4BA3-9FF0-2BD28F4E9460","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c1ce73988d11b0138c6f59590e62af8bce3db96","datavalue":{"value":"W2154720032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944040$EDC70CB3-455C-4DEF-8428-7079BFC51FE3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944040$FFDCE916-B8A2-4EE4-9B8E-3F4BD5053E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944040$9B503A9D-41C4-45AC-8B68-A4F68C037EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43b0d359af541fcf6431bb8dfafc17e65ec401b","datavalue":{"value":{"entity-type":"item","numeric-id":1970200,"id":"Q1970200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944040$E6B8C763-8BA5-46FA-94D8-AA1EF28B51FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1f239ddb841adbc42e47157c05a5a31f37e18d","datavalue":{"value":{"entity-type":"item","numeric-id":4501684,"id":"Q4501684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944040$BA63797A-12F3-461F-9423-237469919995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"380e2da8428b3cc3a4a654b05a929c04c5f81ff6","datavalue":{"value":{"entity-type":"item","numeric-id":1975165,"id":"Q1975165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944040$9B69DE16-C5A4-444A-BD6B-E68258865A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944040$5A7510B9-EA7D-4C48-B0BD-249E6C3A78E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c3fe4fe60e46216ce5fae043f36e24fe49d426","datavalue":{"value":{"entity-type":"item","numeric-id":4917038,"id":"Q4917038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944040$BD2576B0-66DB-4521-B277-5EF4823004DC","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":"Q1944040$7C630728-2D0C-448B-8471-473A7B88DFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b1ed237b91f52f33e31470299fe61c5bb606877","datavalue":{"value":{"entity-type":"item","numeric-id":4533390,"id":"Q4533390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944040$DC97CED5-8C7B-44E5-92A9-9972539C6F45","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":"Q1944040$FCE90C31-EF29-4EBC-A3F9-14890EE4DBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944040$76B9DF3A-7747-43F1-B47C-960D5BE86CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e5b1ffc1fd8073de4f976d4764db5658742b24","datavalue":{"value":{"entity-type":"item","numeric-id":5790797,"id":"Q5790797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944040$8011CCEB-94E7-478D-A491-1FE7786C0101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2a146bae799e67d19c2792d562d311cc75bcfa","datavalue":{"value":{"entity-type":"item","numeric-id":2474056,"id":"Q2474056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944040$134B9759-BF0D-45CC-9DA6-C4AFF49D4208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1944040$6606F11F-85A6-47EB-A3A3-800EC13AF75C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"feae75f741d0e4158c595feea91508c9403a98bf","datavalue":{"value":"10.1016/J.IPL.2010.10.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1944040$154DF916-3C62-4FEA-9AF9-47D32BECDC4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c117b1206a8eac07cd26e112f892240fc2962c3","datavalue":{"value":{"entity-type":"item","numeric-id":4501684,"id":"Q4501684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"463af921c4f7ca56fbbd89af2bc693aeb04f5964","datavalue":{"value":{"amount":"+0.7985031008720398","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":"Q1944040$D6890A0D-CD04-497D-8DE2-A3F1DEA8360A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3625ef4cff7a2d64579d4d761b853e719a23638c","datavalue":{"value":{"entity-type":"item","numeric-id":1975165,"id":"Q1975165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06fec432119d9ea7526c4986e8612427052fb4d7","datavalue":{"value":{"amount":"+0.7362493872642517","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":"Q1944040$0F930C76-A464-4DBB-9247-EE186F82A60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e7d098ae19c51b5f6fe5fd025b3e170da3d7b31","datavalue":{"value":{"entity-type":"item","numeric-id":880715,"id":"Q880715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53f7838308051357599feb6a4fdf2b6969fc7f07","datavalue":{"value":{"amount":"+0.7249460220336914","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":"Q1944040$4EE4B2D9-3A1E-4156-81D0-385EDDCE8D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"385c214225be098a7943b1fb1b5b5b3c03295c9c","datavalue":{"value":{"entity-type":"item","numeric-id":4461752,"id":"Q4461752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6499dfdd7486b7a58b9861762b65a479f85f30","datavalue":{"value":{"amount":"+0.7244452238082886","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":"Q1944040$6F114BE9-8AEB-4AC8-BD2C-424B2DACE3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3cef1a22aad01b8c26aac7dc481393e11aa44a8","datavalue":{"value":{"entity-type":"item","numeric-id":5413341,"id":"Q5413341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba86027191a0c978cab7567a4d368ea6c71ba34","datavalue":{"value":{"amount":"+0.7208333015441895","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":"Q1944040$41404F09-B2C4-4F72-B2B0-68D7C27B2F71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1944040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1944040"}}}}}