{"entities":{"Q1878718":{"pageid":1889460,"ns":120,"title":"Item:Q1878718","lastrevid":69065226,"modified":"2026-04-13T04:19:27Z","type":"item","id":"Q1878718","labels":{"en":{"language":"en","value":"Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2099292"}},"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":"Q1878718$BC6EB57B-D2BC-409B-B70B-9C16790D9F91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ab53e2672e96d7eabe5d64af6e89c7cf5a56e9b","datavalue":{"value":{"text":"Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1878718$CC11387D-17C3-450D-A329-D4CB27CCB4A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"503a31eaa6d23755d3f76197457705bf7e430791","datavalue":{"value":"1072.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878718$820AE7D4-22A2-40C1-BB86-5BC0188C9DB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fbddf08e8bb755ad124129fba5bb3db28e89060","datavalue":{"value":{"entity-type":"item","numeric-id":890615,"id":"Q890615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$6076F9C6-6B42-40A7-885F-6911CC3A830C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f646f9e624e4f21f0c774cd39c8ef72040fbf73","datavalue":{"value":{"entity-type":"item","numeric-id":1012120,"id":"Q1012120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$E3FDA958-1405-4F87-9618-C85B7C170656","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$2D792B31-C96F-42A9-ACA2-5A1DCE9FA422","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2131ab0fa6a717351ae1e3ad21854c6ca6be241","datavalue":{"value":{"time":"+2004-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1878718$1354D5BD-3643-43B7-A9FC-89768EB3C3E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878718$F6D010F9-3AF8-4D79-872C-757EE928A2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878718$CA0A02D9-67BB-4616-91E9-3919316B9620","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b41719e2c6e75ff9f2974d576df737c0aefa9126","datavalue":{"value":"2099292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878718$81E6C73E-489B-46F9-B290-85B4ADA8958E","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":"Q1878718$9C4FA1E3-BAAC-4A61-AB50-C0A2931F8C84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51f358bc7ed9e55eda739d942378102e4ea784ef","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2004.03.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1878718$29FBD0FB-344A-49DE-BD95-8D4A4A54AA13","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21e2f1a3981cb99abe1b97a415a39ffcb74b9a49","datavalue":{"value":"W2046810743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878718$400308EE-6CF5-4D49-86EA-32AC1C59D907","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3889c3aaae9df20ce7481b19c53c5a0516bc52f","datavalue":{"value":{"entity-type":"item","numeric-id":580965,"id":"Q580965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$9E691696-E965-43E8-952B-10CBEB7C924D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$0BF30D4A-9AA6-4319-B1C3-A63C05F6DEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd631a861a9695337cddb0b15d0ba386658e13d","datavalue":{"value":{"entity-type":"item","numeric-id":1923086,"id":"Q1923086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$7E39BC71-D242-434D-A455-9D0FDFD3E5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60577f3314c849b2d8dc56a4ebbc25b9494a0eb","datavalue":{"value":{"entity-type":"item","numeric-id":4375631,"id":"Q4375631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$C4DDC30A-FD0E-4CC8-94EF-08B5EE6F69F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74579a1e6c088011d27122ce3e8676200d51e898","datavalue":{"value":{"entity-type":"item","numeric-id":4917024,"id":"Q4917024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$C7ED44D5-3B2E-42C6-A7F3-12FFC8F51FBA","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":"Q1878718$1EE9C3A4-6A77-41BC-9608-9520C1EFAEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a32b662cb24ebd253010e4d2dd1171bea9b2c50","datavalue":{"value":{"entity-type":"item","numeric-id":1914041,"id":"Q1914041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$EBB8B1C7-27BE-4A5E-AC9B-A38C199A52EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fcd254ec8f657762d462bbc49ef06ba594d598f","datavalue":{"value":{"entity-type":"item","numeric-id":4727412,"id":"Q4727412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$3626F970-E91F-48D9-93FE-89A0A0B18918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a71c1a2d83eda62a52b711e714b9d81f69641bb","datavalue":{"value":{"entity-type":"item","numeric-id":2760247,"id":"Q2760247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$8371172B-CD51-4943-BDF4-737F2CD1DA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d64b884e9d9cc0f3addb629ebe46d62b6bdc5","datavalue":{"value":{"entity-type":"item","numeric-id":1847280,"id":"Q1847280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$16A7BDFD-5833-41E4-A106-2AAB16378E76","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":"Q1878718$D5FCE0EA-81D4-48C4-AAB8-7BC6D82C2299","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":"Q1878718$AEE0B373-C23F-4AF9-B292-92F7985196A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$FBC8EAFD-92BD-492A-B1A0-ECAB124C75B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2460002d0adbe8417dfc0562899200f110b197","datavalue":{"value":{"entity-type":"item","numeric-id":4371690,"id":"Q4371690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$C81EEA57-5177-4784-BB92-45D57270AC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f61dbae4a30f08ddf795a4f68494f79ad4122a","datavalue":{"value":{"entity-type":"item","numeric-id":1975965,"id":"Q1975965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$4D478DAC-161F-43F7-97AD-B986FB294C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$4C66AA31-BB18-4DCD-B772-36C9CF742F03","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":"Q1878718$4600794C-98D9-4A47-ACC1-A79C43304840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e73c058e3df5c701e63f0f6d9f39f2b9e12c36e","datavalue":{"value":{"entity-type":"item","numeric-id":685387,"id":"Q685387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$B9D9B663-C3B1-48C8-97D1-C77327445C75","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":"Q1878718$CD414514-FB0A-4B0C-83C4-6DCA08F6A266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05dea0129140e41c658532fe8120daa17e8e4adb","datavalue":{"value":{"entity-type":"item","numeric-id":1892877,"id":"Q1892877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$76A053A8-E5CC-4493-BF92-63479DD8A42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$03153473-2E39-4CA9-B528-68C22A7A4BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d1adbc37458a3bd46e69f27e008dfacb55907e3","datavalue":{"value":{"entity-type":"item","numeric-id":1293890,"id":"Q1293890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$897FFF47-7281-466D-A90D-E012E69215E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5512372227b73d51e646f93b09237b2a8d0d7e21","datavalue":{"value":{"entity-type":"item","numeric-id":3929062,"id":"Q3929062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$FFF9952A-0A74-41D2-9BE5-C04F6A61DD90","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":"Q1878718$57202C1C-6A2A-4B46-AFF3-9DE528305695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$4A730F6A-6051-46E0-85E7-19DBD4E14216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a181ff97f28ae7ee677b649366008cb5a78c308","datavalue":{"value":{"entity-type":"item","numeric-id":1336052,"id":"Q1336052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$C5882161-DFF9-4933-BE33-3159EA55CA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c516c05f43b68537a5c72310725dbfca17470f25","datavalue":{"value":{"entity-type":"item","numeric-id":580961,"id":"Q580961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$22480D5D-88BE-4CDA-8785-854464FF5046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbece7571be501a7c5bea5b915e00289f365146","datavalue":{"value":{"entity-type":"item","numeric-id":1109561,"id":"Q1109561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$EBD81EB4-2CEF-473D-940B-C472AF8AFF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3588e2885b6aa24897be30d497cc066aeffc96e7","datavalue":{"value":{"entity-type":"item","numeric-id":1891147,"id":"Q1891147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$9EA68429-B342-47C7-9755-4060F62A3E06","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":"Q1878718$C8D13D27-7512-4939-8BC6-9F0C199D8F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2b6ef7829b1f1653c38a19e4d033bd8c87449f","datavalue":{"value":{"entity-type":"item","numeric-id":1575273,"id":"Q1575273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$C2AAC193-C8DA-423B-88F3-F06A2474CDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ca6a8194707f956f8c0eefbc9a02b003fdd463","datavalue":{"value":{"entity-type":"item","numeric-id":5900560,"id":"Q5900560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$7078C4B3-E241-46C5-B86A-4DACF7BF98E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d0fcbb5e6356255f5fef09569ca437cfc21d66","datavalue":{"value":{"entity-type":"item","numeric-id":1854563,"id":"Q1854563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$88477708-A82F-4A30-81AF-CAB3E995A464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b2c3818eb29d879ad387886680e3a7124c33e01","datavalue":{"value":{"entity-type":"item","numeric-id":4536608,"id":"Q4536608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$81D6B65F-A540-454C-98AA-04284EC0F66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a0cdcfdba2cb7be20b3ff60a87448ba5f273bd","datavalue":{"value":{"entity-type":"item","numeric-id":4847024,"id":"Q4847024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$144A8B77-2FEB-4F21-8536-43194D46C7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f69bd18b3f6bb5d8e8f72efa9f61b3d8c22c3376","datavalue":{"value":{"entity-type":"item","numeric-id":750163,"id":"Q750163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$673F8CF4-4278-479A-BFDA-5AB9C0C64083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5bf5927d83ab8103c1013d7aaad1bb82405d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4733394,"id":"Q4733394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1878718$AA3A29C6-0193-4B9A-8B37-62D393746D0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8311df29fb7da31bbe439caaef4665bd3c400fbb","datavalue":{"value":"10.1016/J.JLAP.2004.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1878718$B65BF5CD-DFA0-453F-A9B7-C42A0298D344","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6bb01035880c8eed1db3fa955425385f4ebf668","datavalue":{"value":{"entity-type":"item","numeric-id":4536608,"id":"Q4536608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6180ef29e4f10e958ac48c51397549a7470f4f28","datavalue":{"value":{"amount":"+0.8130940794944763","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":"Q1878718$B17B149C-57FA-48DC-BE1D-73C81A82B2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fbd7d4509508c042573c54a5423b3276917722c","datavalue":{"value":{"entity-type":"item","numeric-id":1854563,"id":"Q1854563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ace9db9d92da5e9802c80e74576443fe62fccf","datavalue":{"value":{"amount":"+0.806820273399353","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":"Q1878718$12E2CD7A-D492-4582-A6AE-1531AA538884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce37e7d26f894bd97217ac9bc2b96099e9d015b5","datavalue":{"value":{"entity-type":"item","numeric-id":2841307,"id":"Q2841307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fcdfe66989297c6c56d48a006fb9768e25efbcc","datavalue":{"value":{"amount":"+0.7572519183158875","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":"Q1878718$426596F6-04D3-4265-B151-6CB0B46C422C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c45db0230f12d15ec881213c413c18dee543597","datavalue":{"value":{"entity-type":"item","numeric-id":2760247,"id":"Q2760247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da275c2d51f1884d40abf7bde7b6d35d77b2e0a8","datavalue":{"value":{"amount":"+0.725150465965271","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":"Q1878718$1D167C46-D4E4-4C5F-AFA0-A0689D2ED73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55eba52c79c70f4952b7eb5c9f04aee1c310e7e","datavalue":{"value":{"entity-type":"item","numeric-id":1336052,"id":"Q1336052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d6aec8fdf1191e5479bbbb7e090d1bb45e6205","datavalue":{"value":{"amount":"+0.7229494452476501","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":"Q1878718$9664B5C0-9A02-4AEE-93DC-6C4BB816C981","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Process_languages_with_discrete_relative_time_based_on_the_ordered_SOS_format_and_rooted_eager_bisimulation"}}}}}