{"entities":{"Q2842565":{"pageid":2853285,"ns":120,"title":"Item:Q2842565","lastrevid":51800885,"modified":"2026-01-20T02:49:59Z","type":"item","id":"Q2842565","labels":{"en":{"language":"en","value":"Well-behaved translations between structural operational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198614"}},"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":"Q2842565$A551DE5B-3E50-462B-B197-6A6414E8B716","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dade3e38f1310da56efb0a67230ef732290d31f8","datavalue":{"value":"1270.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842565$D821A211-8C22-408F-8618-609FCD4C8D12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a17679bc99b93efa38c797a891c259ffccc11c79","datavalue":{"value":"10.1016/S1571-0661(04)80372-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842565$4BFE4C5B-C77D-4862-AC61-84016C86F661","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842565$A2210FA5-8043-4464-914A-946E44042246","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cae65d5bdd2bde2e45e093857c98fd868d4f335","datavalue":{"value":{"time":"+2013-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842565$CC87224B-B098-41E4-B66A-0069B8AA6C0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842565$02E3C053-5511-47A8-979F-3FBDB7B2E6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842565$AFF08F33-C4A8-4762-85A5-2B4401F9763A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842565$B1FA5ABE-108D-4FE6-9DDE-11D0F9173419","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4b40f9e36948da00b6d9c2ce8e7f9be34891e88","datavalue":{"value":"6198614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842565$964E60BB-13AF-4DFA-B2AA-D83D9DB613B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b93d188838f0a19c9265187eef4c671ea0c962e","datavalue":{"value":{"entity-type":"item","numeric-id":703524,"id":"Q703524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842565$BFF7A481-FD8B-474C-BC05-8B91874FC4FC","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":"Q2842565$5C62003B-AC5C-4DF7-BBA7-33B88877F436","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a96493c7b77b8338a8aa19e96cffaf76fbe4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2760240,"id":"Q2760240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842565$361F0241-C714-4D53-9B4B-1FF57B508F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740e35ec6a97dccfab3cea00fb5fb7d4602bef5d","datavalue":{"value":{"entity-type":"item","numeric-id":2842551,"id":"Q2842551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842565$06F95B8F-192A-43BF-8D19-0166D48FB4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10be44b382ceb44eaafeb4044db6f2b193dbf650","datavalue":{"value":{"entity-type":"item","numeric-id":3907039,"id":"Q3907039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842565$097DC968-3671-47CF-9A47-A9229F61F219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faed41a247bd69339f207eb893ee9beb58f308d8","datavalue":{"value":{"entity-type":"item","numeric-id":4075064,"id":"Q4075064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842565$D0B37D66-223A-4059-AAF2-1F528A69D758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaa62ef6ae788995fcc51d9c3d7d0db41920cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4100671,"id":"Q4100671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842565$21ECDF93-C3B8-45E1-9EDA-7904F4A01843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d2af99d6b473896566689317eadbb771e387b5","datavalue":{"value":{"entity-type":"item","numeric-id":4499306,"id":"Q4499306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842565$F49DE4C9-E201-4E1A-908C-C9DB04F9E35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60670651fe34c8574d07c10a2fd425d5e1806fae","datavalue":{"value":{"entity-type":"item","numeric-id":4256313,"id":"Q4256313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842565$72B77118-C872-4B2E-9996-E8EF62FD4B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881b85c54254a99d57525a41dec86a49f187bd5f","datavalue":{"value":{"entity-type":"item","numeric-id":4362964,"id":"Q4362964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842565$F8A06983-470E-4D7B-BE64-0294862813C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6b90f6f52b12a1d9d4b32a8b2b37a90b2e1941","datavalue":{"value":{"entity-type":"item","numeric-id":2842565,"id":"Q2842565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842565$E014E36A-7FDE-4CB4-900E-BFC5AD69AEF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5fd283a9d42b0688dbc555f40f1493b9923e1c0a","datavalue":{"value":{"text":"Well-behaved translations between structural operational semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842565$EE7FEAB2-D278-4815-A232-92CBDAD1F1F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26746d437ce05e678cbb25fa8383f94e1484057e","datavalue":{"value":{"entity-type":"item","numeric-id":5275351,"id":"Q5275351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899d68214aaa7f71a0123d24425373c70da8513b","datavalue":{"value":{"amount":"+0.8309928178787231","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":"Q2842565$7EC71B21-30EE-4D76-A4A3-A6BCA5C1FB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9435aed126ffff79b1ddc12736d828627312152","datavalue":{"value":{"entity-type":"item","numeric-id":5014802,"id":"Q5014802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52bda3e4c6120e23817e391fbd5dc6639782c15a","datavalue":{"value":{"amount":"+0.7277225255966187","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":"Q2842565$6ECBEA74-B643-465A-9B78-4FA152FDFCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8823e911df796197fc9bfb254830998730edcc5d","datavalue":{"value":{"entity-type":"item","numeric-id":2329307,"id":"Q2329307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6ee59fc3adc4f2614479c19a83b5ddf77f37a5","datavalue":{"value":{"amount":"+0.7264867424964905","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":"Q2842565$0487E78D-9D3F-4416-A9B2-232156A69DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6cf59597732e6d8218138eae7b10440755f1207","datavalue":{"value":{"entity-type":"item","numeric-id":703525,"id":"Q703525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7106c5a53dbd86037368804a6fb8b6a5aa60cd5a","datavalue":{"value":{"amount":"+0.724595844745636","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":"Q2842565$F3A01EBE-BC66-4013-8980-EDB8F548D8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e436d1017ac1089354b170f809060d95ccd0548","datavalue":{"value":{"entity-type":"item","numeric-id":639646,"id":"Q639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b90da2f67f3e9d9c8941b3ebce903a9cf8fa7206","datavalue":{"value":{"amount":"+0.7238928079605103","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":"Q2842565$7CAD32C4-44B5-4153-9040-FDF3B412484C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842565","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842565"}}}}}