{"entities":{"Q5089272":{"pageid":7118848,"ns":120,"title":"Item:Q5089272","lastrevid":39528280,"modified":"2024-12-30T14:53:14Z","type":"item","id":"Q5089272","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559464"}},"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":"Q5089272$4FBCF249-7184-40D0-B48E-03124F5DDC93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c3f057a0d48aefd1923ddd9c2ff240d2a12acd4","datavalue":{"value":{"entity-type":"item","numeric-id":896907,"id":"Q896907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089272$6EE622A5-2467-4F9E-9CFB-E67D8F320974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089272$3A01428C-8ACE-4CE8-BF45-7FD8E6ECEBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe978d2758a8813ddd33d6cf1f2cc45fb4fcef57","datavalue":{"value":{"entity-type":"item","numeric-id":5089271,"id":"Q5089271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089272$F38B4F76-E3FA-49B4-9CE7-C4C7B61543DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46d3f99e48b59b557bc3dd9cf62b57fa91f92dcf","datavalue":{"value":{"entity-type":"item","numeric-id":1720447,"id":"Q1720447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089272$B5C4FA3F-74F5-4C70-9467-6254277388D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5089272$FCA26488-232E-410B-80C7-849A3D6F735D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089272$F85D244B-299F-4AFF-A43C-5E7361BF3FC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"72637d971a439ea4f471216840056eeb8e1437cb","datavalue":{"value":"7559464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089272$A37C5296-7D41-424E-AB84-270CE3D84416","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07545e3190c10d222c4524317f97cc37cdf2b23f","datavalue":{"value":"behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089272$24288B69-DF84-4DE7-AE2D-99738F2628A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0652d69d3bb722adccc86703c4029f8e936b3bb5","datavalue":{"value":"weak bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089272$9E26172A-CC0C-4FDC-9FEF-3D17B0735AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"397d9252ef89819a92633d8502b4000f6e56c083","datavalue":{"value":"Markov chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5089272$AE3D66CA-3C28-41DE-B87A-84E564828822","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":"Q5089272$99E76DCD-9CA3-4447-B774-18F1D88D521E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2679c29c0d26197f91a356070d95bfb2b5e55c98","datavalue":{"value":{"entity-type":"item","numeric-id":2387196,"id":"Q2387196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089272$4B020F8A-A3F2-48AF-A070-29FCDC4E3044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceac030f33768130384ff22d55a313bd82d103a2","datavalue":{"value":{"entity-type":"item","numeric-id":5212778,"id":"Q5212778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089272$819E15D9-6AC3-41BE-AC68-96046347D94A","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":"Q5089272$1B56434C-21B7-4BE2-BD6A-E8C116D74281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af2333299dade0fd100e50a8bf03f3a7c6d4446","datavalue":{"value":{"entity-type":"item","numeric-id":2915107,"id":"Q2915107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089272$E5CEF591-463D-462F-873C-70205BDAD5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f5443bb9284f87063c1317606853d9c7a7285a7","datavalue":{"value":{"entity-type":"item","numeric-id":1014448,"id":"Q1014448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089272$1B722B82-B19F-40B7-97CD-8CE54EDEEE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f2c2e2aabc37308f5d7abda56807c04ca8da5b9","datavalue":{"value":{"entity-type":"item","numeric-id":3902517,"id":"Q3902517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089272$FF307AAE-3404-4D59-A8D8-A9B878BC0A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089272$FF45D96A-A06A-4F2D-8E97-8F03203A2152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446b162a550d31227d3ef83b310ed5d95ae22225","datavalue":{"value":{"entity-type":"item","numeric-id":5278211,"id":"Q5278211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089272$4758584A-79DB-4A67-83C3-FA09045C763F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea09c38a326de51eeb6099e20dc7610f5e5b0c71","datavalue":{"value":{"entity-type":"item","numeric-id":4038723,"id":"Q4038723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089272$84510150-9FA4-4FEB-BE12-A57AD155C799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38d8193a987a1b350fe69c0da54fa64643ae6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2633253,"id":"Q2633253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089272$F37D4042-D543-4407-B839-EEC9F4CDE1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089272$0BFFE410-789C-439A-B61A-57791D12457E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47739ad8e05407804fcc23bb0b920702448c0c24","datavalue":{"value":{"entity-type":"item","numeric-id":5164166,"id":"Q5164166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089272$5D9717AA-88DB-4100-9900-28A31D1FD8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614c6e62be4436a6012854ed27b0876322223f5b","datavalue":{"value":{"entity-type":"item","numeric-id":5528211,"id":"Q5528211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089272$4B02B190-3A02-439B-B954-0E8920925400","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":"Q5089272$F5F2652E-9C06-4D61-9031-C149D5912E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0636fb432a900359a6f8d1f7c4517ee0ebee8012","datavalue":{"value":{"entity-type":"item","numeric-id":498403,"id":"Q498403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089272$8249BBAF-C9A3-4D89-88FD-80C3A6050D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24479907e5ff62f7e96f21e3a99db2257659f8ac","datavalue":{"value":{"entity-type":"item","numeric-id":3557064,"id":"Q3557064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089272$58AC4006-3792-473C-9F14-9ABDA962FBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4e668822caac3336661c86b6618488bc4ff6ba8","datavalue":{"value":{"entity-type":"item","numeric-id":2461535,"id":"Q2461535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5089272$932DA6A1-EB6A-4A17-95A2-E7BB035A176D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de4d8838e9361b8ec1d4e453c39985b7ee70b3a2","datavalue":{"value":"10.4230/LIPICS.CONCUR.2020.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5089272$A1295307-662F-4370-AF27-814F88552414","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5089272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5089272"}}}}}