{"entities":{"Q6083697":{"pageid":13218004,"ns":120,"title":"Item:Q6083697","lastrevid":98649734,"modified":"2026-06-05T18:09:27Z","type":"item","id":"Q6083697","labels":{"en":{"language":"en","value":"The expressive power of Structural Operational Semantics with explicit assumptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7774598"}},"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":"Q6083697$46EFCAE9-E3A7-493D-BCD9-CFD2C20C6ECE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f675967c1e2eea227574c8e347e03749b277a2a8","datavalue":{"value":{"text":"The expressive power of Structural Operational Semantics with explicit assumptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6083697$23331CC4-8899-4B48-BD25-6671E345C7A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b6cf74a16be9d813e9614a521ad5755d3d86fb5","datavalue":{"value":"1527.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083697$C4D333F2-9253-4F52-A767-10901714918D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f89197ca84c0894550eefec3eb553c6fae9127db","datavalue":{"value":"10.1007/3-540-58085-9_80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083697$FB3CD0A5-333D-447A-B89F-909418FE6F71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"980feb4557ce980fc3913fdc63a43f303f4040ab","datavalue":{"value":{"entity-type":"item","numeric-id":418840,"id":"Q418840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083697$2AEDEA15-627D-4E27-8988-9533285AEC45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083697$92957530-0203-4173-B105-F23902E79BCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80837e4f107d88dc61f75b08f8b7aa1a590aa151","datavalue":{"value":{"time":"+2023-12-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":"Q6083697$6E9ACA10-8A47-4682-B2E2-640559971862","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e40f321225ceb8edc2ee84447b44a575ca094ef1","datavalue":{"value":"http://hdl.handle.net/11390/1128033","type":"string"},"datatype":"url"},"type":"statement","id":"Q6083697$4F8C6EA0-40D3-491D-99A8-7DDA16DB2B1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083697$81F93826-83F8-4722-902B-5B4AD3DCAF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083697$CC011783-50C4-484B-914B-63391AED4CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083697$B7629429-6CAA-491C-8453-D8CB06384605","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25c4e610aed4e38e178392158e227d10ddcea94d","datavalue":{"value":"7774598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6083697$EADA9DEF-F75E-43F1-934B-0FB5C47D6158","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":"Q6083697$A81F9FB5-834C-4E13-99AD-F9D67A7821E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64008b4c107ef7e4a7969f67350470b1da25942a","datavalue":{"value":{"entity-type":"item","numeric-id":3686011,"id":"Q3686011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083697$0DE3DF7D-5F73-4E46-B82D-42C2EDCFD818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083697$35D67AB6-9552-44C0-A3D2-A65C8A9A9A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7c99e107348aa82bd1ed9ca721c57c6ffc4f86","datavalue":{"value":{"entity-type":"item","numeric-id":688571,"id":"Q688571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083697$18B82DCD-B3D5-415E-B204-13DD4830A442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4369bb7a7eefc379e23b1aff3cce7967f176389","datavalue":{"value":{"entity-type":"item","numeric-id":4012880,"id":"Q4012880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083697$43FE3196-0FCD-449A-A65F-27482215691F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbfbae7f3af0a4568d5900068d085401f43ab2ac","datavalue":{"value":{"entity-type":"item","numeric-id":1232295,"id":"Q1232295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083697$9C7AFC6F-81CE-45D8-A63F-302A3977F4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083697$AA02FD3B-5018-4D84-9BCE-9DF4812A4504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573c6c41ed26aa070e75225c6352a26e064dd624","datavalue":{"value":{"entity-type":"item","numeric-id":3774923,"id":"Q3774923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083697$8FED699B-FC04-4EB0-B336-6D5CC6A60D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083697$6511337B-BE24-4192-90D5-0B9BDE48D21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"479a60a2a10cdde5afbccc2fec990ae497ad248e","datavalue":{"value":{"entity-type":"item","numeric-id":4058943,"id":"Q4058943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083697$1695580F-5381-4BAF-B0CA-114A927CE380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083697$37BEDEDA-C959-45A6-BB6B-A12C858575A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ffb78e1862447c8ce655b5a67759e1a1fa39b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3204068,"id":"Q3204068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083697$E1B7936C-CC4E-4BCA-8283-BEDD5D94A35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6083697$DCA5EEF1-3850-4C0A-9A44-B8EE1D533EDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83af85c931239d72126d78c06fe16b9aebfeda0a","datavalue":{"value":{"entity-type":"item","numeric-id":3819967,"id":"Q3819967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5f30833c761f369e0948a6cb95ba2e3be63e1b","datavalue":{"value":{"amount":"+0.7945764064788818","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":"Q6083697$26E4F46D-FAF2-45B4-87CB-C91C22EF2008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8ef178d2e5ff5721088d140512ce06e0451a75","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d5fddfba6e12111d286a0a4eac026ab057a201","datavalue":{"value":{"amount":"+0.7781078219413757","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":"Q6083697$DF19BB8B-BC75-432B-AE3F-979596CBDE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2b6fe2ea66041cf5df76aa375fa5f440359ba46","datavalue":{"value":{"entity-type":"item","numeric-id":4012880,"id":"Q4012880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa21fc9c9f1bde40db7e5b5680819524756c5256","datavalue":{"value":{"amount":"+0.7597182989120483","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":"Q6083697$5D640F17-6AB6-45D5-83D7-0D56DE6C6ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5c915451936990a23a750cd6ff3d101356a126","datavalue":{"value":{"entity-type":"item","numeric-id":2810690,"id":"Q2810690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc3023680da05fc2e91a624bbcc96218a4613ee4","datavalue":{"value":{"amount":"+0.7581936717033386","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":"Q6083697$AD3F17D6-35DC-4964-B7EA-FF5F870A0524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b1e862f787840ab42d18a58176aec3398bde8d6","datavalue":{"value":{"entity-type":"item","numeric-id":4236882,"id":"Q4236882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"479d189db6887776756442d4a5b8c12a14039e74","datavalue":{"value":{"amount":"+0.7481732368469238","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":"Q6083697$BA4571BE-F364-4D1C-AA55-657A2C40E3DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The expressive power of Structural Operational Semantics with explicit assumptions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_expressive_power_of_Structural_Operational_Semantics_with_explicit_assumptions"}}}}}