{"entities":{"Q2365394":{"pageid":2376137,"ns":120,"title":"Item:Q2365394","lastrevid":46473267,"modified":"2025-12-24T21:01:15Z","type":"item","id":"Q2365394","labels":{"en":{"language":"en","value":"Computable processes and bisimulation equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 975775"}},"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":"Q2365394$7315DB8C-C625-4EC6-92F4-93A8FE7BA7D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"441a7775e093a07f1e59343b1d3979389fd0ef07","datavalue":{"value":{"text":"Computable processes and bisimulation equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2365394$296E5807-6B4C-4D12-8484-270A94A6912D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d80577339dd9b26972801cca11e489d0980df02d","datavalue":{"value":"0862.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365394$909EDA66-11F4-468F-93D7-2D469E377FFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c37c64bcc6de82112a36757142e620077d1e9ac","datavalue":{"value":"10.1007/BF01213493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365394$69BBAAF1-BFD5-4D00-B301-123BA7D6E286","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9602bef9505b2e60be78a89c5c30dfa6fcd5c5d","datavalue":{"value":{"entity-type":"item","numeric-id":190307,"id":"Q190307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365394$D9457110-73AF-4F6A-9CB4-DB59CB57D304","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365394$8C362833-52CF-42AC-9A8F-11ADF11BB6B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffb759767da9e25ed180753251b692c5922c1d9d","datavalue":{"value":{"time":"+1996-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2365394$E438DD82-7989-405A-9B9B-042B61C77984","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365394$971A41CD-DF6C-4BFE-A789-FCD60930EF4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1a33ac1baf395601ad01f2b2453d8f29f863c99","datavalue":{"value":"975775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2365394$98FDE397-042F-421B-A1FF-E40F80262F9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365394$D3E3D5C9-A5A1-4E1F-8005-1A4A0377C5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"939723cff3e567a7c0ca758b92e66734d2372fd5","datavalue":{"value":"finite branching","type":"string"},"datatype":"string"},"type":"statement","id":"Q2365394$FCB4BACC-757C-4B74-9434-C64EA930F6FE","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":"Q2365394$7C23BE69-721F-4FF4-BA2F-1459C7416E6D","rank":"normal"}],"P223":[{"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":"Q2365394$9A21C388-89CF-4B74-99D8-0693CC9DD9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"995e09e11031a81f0e8fcb1fd6203f3a1b4afe05","datavalue":{"value":{"entity-type":"item","numeric-id":2640341,"id":"Q2640341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365394$09EEA9E3-E804-44F6-8DCB-B8610F4B1194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a5fb5fbffea037d21a74110d86acc10df1cb367","datavalue":{"value":{"entity-type":"item","numeric-id":1090103,"id":"Q1090103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365394$5BB3B105-0F3A-4E72-A708-11848CFFE91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5750cb78f3442d519d740711482794aed2fa9fed","datavalue":{"value":{"entity-type":"item","numeric-id":4818834,"id":"Q4818834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365394$69293C68-CF7B-4359-8BFB-8B85DFEDB4CD","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":"Q2365394$BC772070-FCF6-4E1B-A639-0DBD3009C534","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":"Q2365394$845AB328-EF58-4DBB-A445-916CCC56443B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365394$3B49092F-B395-4EFF-8A43-9F5EC6E6DEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e404ea508b6da4207f69a38af26807c8e440c441","datavalue":{"value":{"entity-type":"item","numeric-id":4713369,"id":"Q4713369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365394$958D90EE-AE8D-443C-A01C-BCDE7E3837DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06819b49c3d7632d0f78c2eb753bd09f50a57ce3","datavalue":{"value":{"entity-type":"item","numeric-id":3346295,"id":"Q3346295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365394$6509DB09-8FA5-453F-BFDB-DE7F3A0CA11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e24fb73f0334e94937043851c5cd1e51e395fccb","datavalue":{"value":{"entity-type":"item","numeric-id":4312484,"id":"Q4312484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365394$FC577896-4239-4D18-BAEA-62E9330E1990","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":"Q2365394$6C59D229-EA7B-4F20-8629-6E2805631C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a51285ecc98c7aa36e85f90f6de1b67d1e1af30","datavalue":{"value":{"entity-type":"item","numeric-id":3766810,"id":"Q3766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365394$0080A5F6-9896-465C-8CE1-401C9E531B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365394$7288FE1C-4BF8-43CD-988D-694DCEBF09DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c3821cf47cd70fc66faac4bdb3dd1114362884","datavalue":{"value":{"entity-type":"item","numeric-id":1331632,"id":"Q1331632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365394$AB902731-3B84-45DB-A98B-FA39FCC8CE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365394$7FABE4DE-C159-4641-B0C2-98E0F3180524","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":"Q2365394$490DCDE8-2417-4F69-B0D1-51B513B5C818","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":"Q2365394$A2FC6C80-CBE8-44E9-B23C-ADD44DDEE041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb16cc67059cf490326f204c1ae943f947f5c92","datavalue":{"value":{"entity-type":"item","numeric-id":3485879,"id":"Q3485879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365394$965AD5B1-3A8F-49E5-A6F7-1C3A3656CF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"123095ddd84194f54454fe5eef440342c5a597d6","datavalue":{"value":{"entity-type":"item","numeric-id":4318837,"id":"Q4318837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365394$1AF539E2-861B-4940-B8DC-1383D5635284","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":"Q2365394$D127E754-FB39-497B-B3FF-F00D8286D528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526d2f55b6682865a97890a198c76ead0a9b8bfe","datavalue":{"value":{"entity-type":"item","numeric-id":1392290,"id":"Q1392290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365394$C75B25D0-D3AE-4827-9A2D-7C3BCB64D64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365394$EDB59CF2-CC51-49F8-A19B-507BEF78F482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a5be0c101b23bfa62ae4840034b8ca646534b1","datavalue":{"value":{"entity-type":"item","numeric-id":1079949,"id":"Q1079949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2365394$2B3BAA9B-DCFB-46ED-8DD2-B2D624B4FC70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ccdc897b623a6f8cef7ae042f1104ed9c4f267f","datavalue":{"value":{"entity-type":"item","numeric-id":4203808,"id":"Q4203808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"818946c6d7ae2a71cdd83406fcd264d6b95cfe0a","datavalue":{"value":{"amount":"+0.7600157260894775","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":"Q2365394$EE53E17E-804A-4E92-BF05-78A49EB3C2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f21765d88ce350a73e491fa6319dc1e4f2bfc5ad","datavalue":{"value":{"entity-type":"item","numeric-id":4818858,"id":"Q4818858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1be7659cd368e8c258c9278ea1196de374d7d2d","datavalue":{"value":{"amount":"+0.756389856338501","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":"Q2365394$BA61BFAA-C326-4E22-8BC9-FF6BDEFE2173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"497e752d5cf5e2389dbad8aba5832581e5431608","datavalue":{"value":{"entity-type":"item","numeric-id":4279257,"id":"Q4279257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"636587a381646b271bc43a7306657a901969fd29","datavalue":{"value":{"amount":"+0.754233717918396","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":"Q2365394$BA963E27-A71A-47A6-996A-778EFD223E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6337a461b509d6b31fe5dea096c2530f9f773c4","datavalue":{"value":{"entity-type":"item","numeric-id":3677164,"id":"Q3677164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ed984efe2191ced114f9438dd78d42fd9af820","datavalue":{"value":{"amount":"+0.7515960335731506","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":"Q2365394$DD1F2F04-3C6A-402F-B73C-DCC4D4FF8098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9278e9f779fc17ed5c802e17e5e528fdf75e13c0","datavalue":{"value":{"entity-type":"item","numeric-id":4733426,"id":"Q4733426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07b88e93a62f7392a57e1cb5e598d3287efda87b","datavalue":{"value":{"amount":"+0.7496816515922546","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":"Q2365394$D16599C5-4620-4527-8DA2-CF5A35914E0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2365394","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2365394"}}}}}