{"entities":{"Q1575240":{"pageid":1585980,"ns":120,"title":"Item:Q1575240","lastrevid":72229335,"modified":"2026-04-14T03:29:35Z","type":"item","id":"Q1575240","labels":{"en":{"language":"en","value":"Towards a unified view of bisimulation: A comparative study"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1493195"}},"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":"Q1575240$22C6C7B6-8841-4802-A7A1-11A0647241DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b78cdd5924f1f0c880ea13798563ea33d6777ffd","datavalue":{"value":{"text":"Towards a unified view of bisimulation: A comparative study","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575240$AA35B40C-59D7-496F-ABEC-FB150BE71442","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c31420f2254abdb25e01271c74e9c8a02d3af0c","datavalue":{"value":"0944.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575240$12FCDDA5-99CD-4F4A-837C-09D596A05310","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"746f3163b7057b843598986e5d9be1488472f961","datavalue":{"value":"10.1016/S0304-3975(99)00303-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575240$68E469DD-C332-4035-82B1-2B0C4292B78E","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":"Q1575240$B86FCD48-5CEB-48F6-98BB-E3B4BF5E533F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3a497233c3b9babc42d370358782cbff338a7a1","datavalue":{"value":{"time":"+2000-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1575240$1167ED67-9995-43CC-8484-28F6A40516FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575240$79487CB4-A849-4F57-A411-5594247BFF61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c905c02295716cb4257507b8c6a93b1c6710b759","datavalue":{"value":"1493195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575240$ABA5AF2A-A5A0-4F6A-955E-7CA8A6DD017A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575240$7D47C448-57A6-4800-8522-87CB2A7D467D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575240$3E5A06C0-C6C7-4B9E-8AA2-73F19DC163BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575240$396F87D1-CCE9-4FDD-A0F9-D763E99DBC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543d191890c3fc35c2b31a437a879636e45869b","datavalue":{"value":"event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575240$B90B51E7-D89C-442C-BD37-B0EE33974665","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f61f9cb4afb1dbe639f74b5529d2947c5bac5f81","datavalue":{"value":{"entity-type":"item","numeric-id":293332,"id":"Q293332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575240$BCCBDBE5-0C97-44A7-984F-8BF3E5EF7DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6be0758ab24e32065513e953f1c6c34b492ac29","datavalue":{"value":{"entity-type":"item","numeric-id":671405,"id":"Q671405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575240$BC4FC049-BE8F-44BE-AED5-2FDBB4334853","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":"Q1575240$706D21F9-EA7A-4E73-98A3-942B9778F5BA","rank":"normal"}],"P223":[{"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":"Q1575240$4C6FF0CD-DA32-4B9A-B392-099B0F384EFF","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":"Q1575240$B17BCF81-FF76-4740-8C64-03AACEAF2FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575240$19F89E8C-96BE-431C-9F21-B895D5634366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc59e1a97f709973d7c5b044b91b207ea41b5c1","datavalue":{"value":{"entity-type":"item","numeric-id":2639636,"id":"Q2639636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575240$849CD1C2-18DE-4CE9-A1C1-ADC7B6E262E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5df2fb86edcc40277014fb6a7645d6ed57c553","datavalue":{"value":{"entity-type":"item","numeric-id":673123,"id":"Q673123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575240$3E3DFC07-AC8E-403A-A388-8C3FE86C8D67","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":"Q1575240$438A2E9C-28F0-4A8B-B001-1DC9DB5C4059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea474838f3dd9b4aaf51f3836816b8973a7b42e6","datavalue":{"value":{"entity-type":"item","numeric-id":4251927,"id":"Q4251927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575240$EFA087BA-623F-478F-9F76-FF38F79AB289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366be872515b5995b7dfb37655e8f4acc040a5fb","datavalue":{"value":{"entity-type":"item","numeric-id":688717,"id":"Q688717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575240$AB6AE4E0-B94F-4993-A739-6C6C6F9685F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ebab1a15130c4096edab086c1604ab2961cab1c","datavalue":{"value":{"entity-type":"item","numeric-id":685411,"id":"Q685411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575240$45900418-3059-49DA-A347-679A230BECBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e961e3a41aba0c299586df0decbe45224cd9e3","datavalue":{"value":{"entity-type":"item","numeric-id":1193655,"id":"Q1193655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575240$486ED48B-B4FE-4890-9F46-6049D986E08C","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":"Q1575240$78B6EF9C-D60D-40F7-BB9B-03C56BCC2AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba48914134c600e6b8ae84cd71f60a176b7faa1","datavalue":{"value":{"entity-type":"item","numeric-id":1391753,"id":"Q1391753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575240$F734664C-6EE7-454A-AF74-3D6B146E69F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad2f53ed97625d5e2a1db8c24f3e93151854940","datavalue":{"value":{"entity-type":"item","numeric-id":3997397,"id":"Q3997397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575240$5940ED80-568F-42D3-B385-C4F0464641FA","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":"Q1575240$3504FBBE-7E03-41B2-A13B-0F2D2D98903C","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":"Q1575240$7F95BC36-E65B-4BF0-9E06-DA13F666AB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575240$0F35581F-C79D-4EE1-A2DB-4932C3528B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8ecc117f68362cc4251c762f604a6e42e3969f5","datavalue":{"value":{"entity-type":"item","numeric-id":673968,"id":"Q673968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575240$5AE971AC-E587-4FEE-8290-148BFA7A1961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6e901c5c842941b0458bcf72c393eb1245f0be2","datavalue":{"value":{"entity-type":"item","numeric-id":4896928,"id":"Q4896928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575240$2359B0C8-A008-4453-8CAC-74933E7CCDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56edc5cc598036953eda8e04462cb1b7931a0940","datavalue":{"value":{"entity-type":"item","numeric-id":293333,"id":"Q293333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575240$5C586F28-9D0F-4D3F-B24B-9C97FA44EBFF","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":"Q1575240$13B0FE8C-B327-41B8-920F-22D06B38A427","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":"Q1575240$69B419B0-63E1-4BDE-9475-8B038519BB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d809b7eaaa3d56d487e054f3ebab40ac8d962a30","datavalue":{"value":{"entity-type":"item","numeric-id":672873,"id":"Q672873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575240$E698A031-0A3E-423C-AB36-ABF34E608940","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":"Q1575240$4297B715-9807-4A0D-951F-7D93E6777D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe07080838d558f770c476f92c4ea04919ea9ee","datavalue":{"value":{"entity-type":"item","numeric-id":685407,"id":"Q685407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575240$D7C94539-F78E-4B0D-B734-FB2B7F381397","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a5637025216b25568e41e510c0471faed89a5c91","datavalue":{"value":"Q127628855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575240$6C3F39E7-1B55-446C-9284-F3D32B602697","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"667ccd1e9d3f9460033ac65546ef03a27df98f88","datavalue":{"value":{"entity-type":"item","numeric-id":4896928,"id":"Q4896928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5332082de12875701ba3f9a99b68d29f58f663e8","datavalue":{"value":{"amount":"+0.8110975027084351","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":"Q1575240$A9DF450D-AB6D-4665-AD91-E3D3D114545F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3f4bc11a7e7f8d62f5a484faaa6d9a2ac44243","datavalue":{"value":{"entity-type":"item","numeric-id":3168195,"id":"Q3168195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37282fe77f5d7df6cde30bf763d72523b2aa2c4c","datavalue":{"value":{"amount":"+0.7885271906852722","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":"Q1575240$203B28BC-9723-4969-B900-4E67C66ED220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a34fb33233288677cb4d36670355a53519645dc","datavalue":{"value":{"entity-type":"item","numeric-id":4571977,"id":"Q4571977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9181d9c74d8f3343304744bb35cdc8fe694b809","datavalue":{"value":{"amount":"+0.7780321836471558","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":"Q1575240$9DCA90C6-FDDB-48F3-B696-D3347F725684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb36327b19e2de87448d0b99c90a7a4959155fe","datavalue":{"value":{"entity-type":"item","numeric-id":3507553,"id":"Q3507553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5911e35f53d84ccaff95c9df5fdbdaa59172b4d5","datavalue":{"value":{"amount":"+0.7769399285316467","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":"Q1575240$630A4045-859C-4CF2-AFC4-36A8AAE65FA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a unified view of bisimulation: A comparative study","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_a_unified_view_of_bisimulation:_A_comparative_study"}}}}}