{"entities":{"Q383372":{"pageid":385139,"ns":120,"title":"Item:Q383372","lastrevid":61465083,"modified":"2026-04-10T23:32:54Z","type":"item","id":"Q383372","labels":{"en":{"language":"en","value":"Structural operational semantics for stochastic and weighted transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235546"}},"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":"Q383372$09642CCD-C42C-4551-B18E-0908BFE09572","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29726a6d72b1ac96881ee5352aab5de043059921","datavalue":{"value":{"text":"Structural operational semantics for stochastic and weighted transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q383372$FCE8C04F-1317-4227-A169-BECA1F5C278F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e16174d9f106c1ec00a44c02c191f4cc8ea4711a","datavalue":{"value":"1358.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383372$1FD66022-7413-4669-BA5E-75304ACFF748","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d3118136e3f1e7a1e2bfd0b43cb9b6b990ee60b","datavalue":{"value":{"entity-type":"item","numeric-id":383370,"id":"Q383370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383372$D516055F-700C-46A2-8AEF-11FA6B2BC985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72cf230e3fde5ecd81513857d6a2a255a86452d0","datavalue":{"value":{"entity-type":"item","numeric-id":383371,"id":"Q383371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383372$9D0D8C64-64E1-4679-A225-0184898177AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383372$DBFA2DF3-1D01-46B6-8AF0-8AE8594FC396","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q383372$BC7E45E6-6A15-4705-A56C-87DEB50BEEFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383372$C8EBE336-19AB-4603-B0E9-A4F5762CC931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383372$0BCD2F17-5EAD-4C04-AF58-C29BDEBA4F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383372$155F25E0-946D-4C4E-B80D-DD79252587D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383372$A43BC958-A243-487F-AF12-0AE169286A7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b00a25338235a709af8243902cae3a8afab7d986","datavalue":{"value":"6235546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383372$7F8B3210-2545-45D8-BF5B-4215B06A7358","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":"Q383372$3A26B474-ECDE-40F5-96C1-F342695D2F8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"535635d4ffac2472e895ca00b5f60a18c7faa135","datavalue":{"value":"https://doi.org/10.1016/j.ic.2013.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q383372$FC3A93B0-A0E4-4A75-81DE-C46EDC8167BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99b8d8e996c1b8f01217aa80beab1b37fab975df","datavalue":{"value":"W2137336375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383372$DFFB757B-48A9-47F8-8755-718A06912C8C","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":"Q383372$EE8F0E7C-3B17-4912-A159-7D9FD854A6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383372$766D7D34-8E24-4D23-BEA3-0679E25AB471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48f52de9a4a1b8cd2deeeaf3402deb174d136fd","datavalue":{"value":{"entity-type":"item","numeric-id":1128976,"id":"Q1128976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383372$1D49B368-1684-4C5B-A8E7-676DE7BA7D8E","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":"Q383372$6DCFC4F6-4E50-4770-97AD-1C126DF69B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383372$1B723459-E698-4CAE-9578-5CCA71E0C813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ebbdbe489d732ca60b412ff40826adba84b496","datavalue":{"value":{"entity-type":"item","numeric-id":5321675,"id":"Q5321675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383372$7D32AF11-CF7E-499B-9799-5FB817C93E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7eb418764ae243753274c2b93b3d69488191fa","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383372$155806DF-7459-45DD-8641-FE1DE6724191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf75ae3bbb86aaaa95ce7d83fadffede3af73d0","datavalue":{"value":{"entity-type":"item","numeric-id":5958464,"id":"Q5958464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383372$7A12D7A7-8C74-40FE-9C7B-8EA3CF778A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b473c9c36129e08c9103b0cfba5f9e3ac9f87d7f","datavalue":{"value":{"entity-type":"item","numeric-id":3184746,"id":"Q3184746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383372$10C21DBE-3A83-4068-B7E8-AB156E778AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ce10e2b1fb07550fba97d8e7cbd91e0c4a573e","datavalue":{"value":{"entity-type":"item","numeric-id":639646,"id":"Q639646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383372$85F899B2-C0FD-4EB7-85B9-0F91665B6EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68cd30e72facb3a17c3ce130db42caf44e920c1f","datavalue":{"value":{"entity-type":"item","numeric-id":5458377,"id":"Q5458377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383372$E0F5BFA8-E1CC-4BB6-AD3C-BCA326804F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383372$69165475-FFB4-4AEB-8AE0-A24FB6FF7366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383372$7931A52C-C5DD-459E-B2C7-AB7A99B19C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383372$E49BE6BD-F44A-469D-8165-EBBCCE3E8165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ec886213d7f0d04a5e4b8058cd2b79c19b8de5","datavalue":{"value":{"entity-type":"item","numeric-id":1854534,"id":"Q1854534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383372$374EB4F2-6751-4F42-947A-D85854CC8391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5274edf95cbfa00f50d26f8311358f99b7856e2","datavalue":{"value":{"entity-type":"item","numeric-id":1607114,"id":"Q1607114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383372$137CE9DD-2DEE-48AE-AB17-09B90E7B1E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q383372$0FA73773-9A1E-4E11-A3E3-8095EDED804E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c2c4f482a25c6ce20b9d515b1a3073b11163b13","datavalue":{"value":"10.1016/J.IC.2013.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q383372$673BBE59-445A-4F72-A450-1D6F88A07AAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e1fa5197949c4246bf5c91ee28e36c70013f74","datavalue":{"value":{"entity-type":"item","numeric-id":3184746,"id":"Q3184746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbab46df7eba30334398091c263c9d399d708327","datavalue":{"value":{"amount":"+0.9070143699645996","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":"Q383372$C3A70F57-6DA0-4473-80AE-1E55BEFCBF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df3e2e873be154265e083e94d3bd6d31628b2c28","datavalue":{"value":{"entity-type":"item","numeric-id":5458377,"id":"Q5458377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd471c239431782d8ae952eaac74c063f6469b5d","datavalue":{"value":{"amount":"+0.850251317024231","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":"Q383372$4DBBBB60-B4A0-4536-B1A3-ACC44030FCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8be5689b0ab5f5c4382f84f25f48b88c9ab28d","datavalue":{"value":{"entity-type":"item","numeric-id":507377,"id":"Q507377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55356bc4a9dde0dd23b83a50c40cb5cffc77814","datavalue":{"value":{"amount":"+0.8055787086486816","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":"Q383372$AA6D8902-D5D8-4010-80C6-AA411D6C850A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4835429856cac86642c0dd2a05b60e2747a5d6a","datavalue":{"value":{"entity-type":"item","numeric-id":2341700,"id":"Q2341700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deab30012004b48b5a391afeb064cb152c05ebb4","datavalue":{"value":{"amount":"+0.7925919890403748","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":"Q383372$5271A88E-FC84-4744-A77A-76A732E4B923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d09e9f351229d6d6203dc7f7bd4b5780c7f4ece6","datavalue":{"value":{"entity-type":"item","numeric-id":2842551,"id":"Q2842551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10cd839e869a2bf5d290a1605605b0bc56c7bba4","datavalue":{"value":{"amount":"+0.7839399576187134","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":"Q383372$94148CA9-D935-4591-A4E7-15356A4F1EE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structural operational semantics for stochastic and weighted transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Structural_operational_semantics_for_stochastic_and_weighted_transition_systems"}}}}}