{"entities":{"Q507377":{"pageid":509144,"ns":120,"title":"Item:Q507377","lastrevid":62359689,"modified":"2026-04-11T05:33:23Z","type":"item","id":"Q507377","labels":{"en":{"language":"en","value":"Structural operational semantics for non-deterministic processes with quantitative aspects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680834"}},"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":"Q507377$C6B82CBB-C023-4B1F-A0D5-DF62BF4FCDBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"791442ae0182983a650c381aa9442d8ee9bc6576","datavalue":{"value":{"text":"Structural operational semantics for non-deterministic processes with quantitative aspects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507377$5462B8D6-151F-4318-8A50-2E42C65A2666","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5af877e0f79bfe4668a9d203b58d5812fb4a5f8b","datavalue":{"value":"1356.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507377$4529F315-73ED-4377-A1BC-2EE86D55A8D8","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":"Q507377$33535BB2-F425-44C4-90C8-4AA2FF03887F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43e353580e5ce9b57bc9090fa734ccf46d1f2d3","datavalue":{"value":{"entity-type":"item","numeric-id":507376,"id":"Q507376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507377$29F9B937-C24B-4793-B7A4-568CB9A88835","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507377$AA579793-8E7F-411C-819F-52AD2CC1CF4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69224595960101be6ec21574e4c403135d7942f5","datavalue":{"value":{"time":"+2017-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q507377$26282DC1-A09F-42A2-ADA3-E35EDA9F4E93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30acb9b5e802b3b32d13e015f10aeae168c553cd","datavalue":{"value":"https://arxiv.org/abs/1410.0893","type":"string"},"datatype":"url"},"type":"statement","id":"Q507377$8B812B44-D850-4AE8-B3C1-6AE870CF82A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507377$457CFFF0-6232-4E49-B94B-2AC3C79E82D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507377$F19F5C62-6ECF-47BA-8123-073F55836002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507377$6FFEF5F4-D884-410A-8A89-7181AA8691E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0960bdf864ac649536a8b3547a5d5f8634c5ac4","datavalue":{"value":"6680834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507377$08413282-CDC3-4971-9989-B78F20389283","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a70f2b66d80319d5c576190c5bbba86ed8f1068","datavalue":{"value":"rule formats","type":"string"},"datatype":"string"},"type":"statement","id":"Q507377$E3FAAD22-569F-4FEC-8ABB-F8B9B227C858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ef001e113be1ba653a250510d5bc19791285a91","datavalue":{"value":"behavioural congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q507377$368BB1C7-BD97-4721-804B-D8A42176C752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"645e65ebe02c1c2aebd1d25295e4683d64663b5b","datavalue":{"value":"quantitative models","type":"string"},"datatype":"string"},"type":"statement","id":"Q507377$2973500F-52E0-47AB-9F53-140AEA8B55DF","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":"Q507377$545B70B6-F4E9-4789-8655-0F161FFAA9AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d63d6a4f306b7b96712f41d68b2c82ec8aa0ff5d","datavalue":{"value":"W192542240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507377$556C397E-9571-4130-8E0A-D4C15063C6A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f3cb810fda8385e2773743c2e86927cd4a8040","datavalue":{"value":{"entity-type":"item","numeric-id":5096269,"id":"Q5096269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507377$7AE3E38C-18F4-4BA4-A4B5-A3371252D618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1237b1e64e3388891d632a1d46de0f21fdbf46c","datavalue":{"value":{"entity-type":"item","numeric-id":2341700,"id":"Q2341700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507377$0D0A69B8-5E11-49FC-9BBF-F4A8D0FB875E","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":"Q507377$91F3B337-A069-4C40-89D7-083AE3EB0402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d8c1b223e1ad4347765b393bd3e2efa8abf27a","datavalue":{"value":{"entity-type":"item","numeric-id":384933,"id":"Q384933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507377$4A11F4E3-7EB4-47A4-A0F0-E7B1AF23C683","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":"Q507377$10990646-051A-4B37-8463-F36DA7D4F43F","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":"Q507377$82F4FCAF-C5C3-4895-82C5-7AF34A533009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1a41600084c868c2f2e1a966257db21d5f3088","datavalue":{"value":{"entity-type":"item","numeric-id":890383,"id":"Q890383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507377$713D1CD2-477F-4292-9617-64AC715BF910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f0f7f73f6d9dc767a83384ac84831a61bd07750","datavalue":{"value":{"entity-type":"item","numeric-id":890618,"id":"Q890618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507377$4E1D8D2F-EA99-4D9B-893B-760C7B2554F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f3a5a4b201492acfb23963eddffbae6568bfc4","datavalue":{"value":{"entity-type":"item","numeric-id":4986263,"id":"Q4986263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507377$0DDD8D41-A505-4CC5-BFF6-06174DA714FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a90b2d28fac9587e166b346b7381bc4f656d8d2d","datavalue":{"value":{"entity-type":"item","numeric-id":5419173,"id":"Q5419173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507377$5CB4EC96-4E36-4CF1-8D04-D2DEA261CD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989952aa1582438a5332ec0bd4cee56dab73a9d","datavalue":{"value":{"entity-type":"item","numeric-id":836989,"id":"Q836989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507377$CD97AA6D-B655-478B-9EB5-34F58FD2E018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c3fe4fe60e46216ce5fae043f36e24fe49d426","datavalue":{"value":{"entity-type":"item","numeric-id":4917038,"id":"Q4917038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507377$E8960437-FC8D-4DF2-9D72-0A27FE04E6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdfc480f1fb47c7db3936fa934d6bed4ac48111","datavalue":{"value":{"entity-type":"item","numeric-id":1012126,"id":"Q1012126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507377$89E8B08B-0C03-4531-A32A-1CB1E0E6070B","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":"Q507377$9E62B9AD-5510-4AA0-838B-233F8FCC6E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08b593d954e090bc85314cc28db71bf748c6207","datavalue":{"value":{"entity-type":"item","numeric-id":4995156,"id":"Q4995156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507377$F2B54C30-7D1A-4281-A1DD-924633BFB292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d542e96861fec0ab243023169a6047f150193627","datavalue":{"value":{"entity-type":"item","numeric-id":383372,"id":"Q383372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507377$4D5364C7-B265-4EA0-B3B8-D8EDEF605353","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":"Q507377$9FADA52C-B542-4D1A-AFCC-1DA479316C17","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":"Q507377$ECA364F1-5AC1-4EE5-8344-8D2DE0EAE25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507377$2E9F969B-8D3C-4940-BA21-4A28B2F594D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2e8f3a5a320336c6de7fafe54e5ec000b5382ee","datavalue":{"value":{"entity-type":"item","numeric-id":3003316,"id":"Q3003316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507377$0A6002D9-712B-4866-9276-3650846EAB4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b7c2be1c96cc005534b29030f7e39c10fbd6bbf","datavalue":{"value":"10.1016/J.TCS.2016.01.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507377$AC438645-D70B-402A-A691-6037E751759B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac525baa455253495fc70b3b64924abedd19617f","datavalue":{"value":{"entity-type":"item","numeric-id":383372,"id":"Q383372"},"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":"Q507377$841DE8C1-B6D0-42A1-AE25-C5A61C1CBFB8","rank":"normal"},{"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":"89e135a850b32d00190de394b552c4cd1f7698d0","datavalue":{"value":{"amount":"+0.794335663318634","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":"Q507377$B850FDE7-463E-443A-AC6E-08E7D4C14A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776c55c4b11213a5948a033b2fb5f94aab200162","datavalue":{"value":{"entity-type":"item","numeric-id":2629851,"id":"Q2629851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ae4fca6ed8253bde97c5c0fe02bf29df605d53","datavalue":{"value":{"amount":"+0.7769244313240051","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":"Q507377$E06BB780-408F-4EEB-9A35-957E747E99F3","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":"56d6e222c795d1577490e7cc030f27ad64eb4977","datavalue":{"value":{"amount":"+0.7707093954086304","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":"Q507377$A2F49C77-34ED-4FE9-8B50-D91C0AE88449","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":"fd8d8d51e96a836f5ce4ad5a24af4e6253b2c4ca","datavalue":{"value":{"amount":"+0.7614964842796326","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":"Q507377$9DBD3E24-FE07-4CA3-AEC0-D0E75F9699EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Structural operational semantics for non-deterministic processes with quantitative aspects","badges":[]}}}}}