{"entities":{"Q2796231":{"pageid":2806969,"ns":120,"title":"Item:Q2796231","lastrevid":83418545,"modified":"2026-05-07T07:39:18Z","type":"item","id":"Q2796231","labels":{"en":{"language":"en","value":"Rule formats for bounded nondeterminism in structural operational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6560022"}},"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":"Q2796231$F592B2EC-823F-4C55-BD17-3FD10A34C282","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef960002be2acc9a96ba9eea7cc2f63b91ec564f","datavalue":{"value":{"text":"Rule Formats for Bounded Nondeterminism in Structural Operational Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2796231$CC04B310-C3E0-42EB-86E9-55318781C4F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87357aca932d0ffe15d47380661d248f43f14a8c","datavalue":{"value":"1474.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796231$8FEC9E3C-66D3-4DD4-97BA-A232C82A9471","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b2da6ee049fa363e78563f29692447d97948a33","datavalue":{"value":"10.1007/978-3-319-27810-0_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796231$3A3E7C15-E56E-4A03-8E18-1368C9985BDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796231$D24DEED9-2A6F-4256-BA49-D9109516C9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eca54fe392e745d9898202aa45be4e90bc1ba592","datavalue":{"value":{"entity-type":"item","numeric-id":2324014,"id":"Q2324014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796231$D3DBCFA6-503F-4FA3-8A32-D3359CB5AD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796231$4EDC5E2F-B315-448C-8CDD-39EA0968353E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f94ffa06b19cc9d82d2141f11cf9ed4508c448b2","datavalue":{"value":{"entity-type":"item","numeric-id":2796213,"id":"Q2796213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796231$33CB37F3-FF16-480C-B421-F30D2C56BA81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4e0833fdb30e5d55a1ed86554b76ff3f3cdc33c","datavalue":{"value":{"time":"+2016-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2796231$B1EE8D78-D669-4F1A-B3D5-6A5153A6CAE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796231$EE03D6DE-2260-4059-A5DE-FA7EFE4E64A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796231$DFA41EEB-A067-45C2-9666-1AFAD48450CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7de909cbf666a6b3a950a3a642cc64fdd4ef1de4","datavalue":{"value":"6560022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796231$001ECEC3-6009-4F2B-8BD6-6437E02C9DE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff752cf670ff5db0f5f83bc555b8adabdac80cb","datavalue":{"value":"structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796231$C7B17DA8-8D25-4918-BF84-ACBD9DEB58F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9523c24efa700af875ee817308c1bedf7383f5","datavalue":{"value":"labelled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796231$35610E1B-D459-45CA-9F44-F2BE53E2B4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a70f2b66d80319d5c576190c5bbba86ed8f1068","datavalue":{"value":"rule formats","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796231$3D38B203-D0F5-40DD-A18C-7A63D97BD0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4ce0166617d2ac95331636db988db19aa614793","datavalue":{"value":"bounded nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796231$5781FE34-B317-4A44-933A-EC2A1F883758","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":"Q2796231$3A4C8D87-22D8-4CFE-B555-51930D9A94FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b3d2592df5439dbcb5800c7352c85d23b0959d7","datavalue":{"value":"https://doi.org/10.1007/978-3-319-27810-0_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2796231$029406FB-1533-4BF2-B37A-B3618368F44E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49edc6fe9876e9861e355b8f58852406ec39622d","datavalue":{"value":"W2295431939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796231$9AB3B595-AAD4-4653-BB4B-12C9A9BD85A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b4f7f9ee0292fef5c54e3d049e62355f8d467e","datavalue":{"value":{"entity-type":"item","numeric-id":2403821,"id":"Q2403821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e779d8eb0d485cd9beb91f1181b1feab76b577","datavalue":{"value":{"amount":"+0.9018253684043884","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":"Q2796231$F986B35B-42DE-49F3-8AFF-FD4D0D0B6EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6502048d48bfc14a99e826434572722cec3bad4","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb7a8be82c04d50a838a204dd34784b548757a9f","datavalue":{"value":{"amount":"+0.782900869846344","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":"Q2796231$6C90C32E-5FC7-4C14-809C-50123ED2DA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a8b769e5889b7203cfa43430fbcaad7e3dc2efb","datavalue":{"value":{"entity-type":"item","numeric-id":2852093,"id":"Q2852093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c349d04e452f64095f3fbd2790f82e4d6049c5","datavalue":{"value":{"amount":"+0.7561770081520081","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":"Q2796231$F1006DBD-29D8-4A08-BB92-7FA750C15456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afd1d2aabe6ceb9b09a5b94edd86a2e786e8512f","datavalue":{"value":{"entity-type":"item","numeric-id":1331924,"id":"Q1331924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d81fbcd51434b3bd752d5e4ad9b7fed9a29cfc2c","datavalue":{"value":{"amount":"+0.7546320557594299","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":"Q2796231$7939AD29-8032-4EA5-967A-394A5CDBB581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfd43ac385ee2dfef0490c42029011b84d948587","datavalue":{"value":{"entity-type":"item","numeric-id":3004568,"id":"Q3004568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8eac52b453752691960302b39a1f9c68e04e8311","datavalue":{"value":{"amount":"+0.740129828453064","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":"Q2796231$4098CDB5-DE13-4952-BAF8-915BF51505F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rule formats for bounded nondeterminism in structural operational semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rule_formats_for_bounded_nondeterminism_in_structural_operational_semantics"}}}}}