{"entities":{"Q2329443":{"pageid":2340186,"ns":120,"title":"Item:Q2329443","lastrevid":71859741,"modified":"2026-04-14T01:01:08Z","type":"item","id":"Q2329443","labels":{"en":{"language":"en","value":"Dynamic structural operational semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7118982"}},"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":"Q2329443$FD238A3B-6149-43B8-AA5C-EDF9DECABF93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2407b0c3dfc77992b00e4d6574be560d28fd31c","datavalue":{"value":{"text":"Dynamic structural operational semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2329443$436E6D1C-59E6-4AF7-A81C-D1174C9BD0A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ddf594ff229e0b4cfc09331e38e5a0088972bca","datavalue":{"value":"1431.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2329443$A91AD75E-1F0A-4FA7-9451-DB91E2CC2F5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6800aeb717397b115258a9e735a6c4d17237fc87","datavalue":{"value":{"entity-type":"item","numeric-id":272299,"id":"Q272299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$C56452B0-0B88-4EAC-932A-C21CDF6D0799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49a3a8c4e00dcbc97f85642c2695ec01433ebead","datavalue":{"value":{"entity-type":"item","numeric-id":444465,"id":"Q444465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$9E189576-C665-4C82-9E2E-6D7D85811DF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$AB9086E8-BD24-47BA-96CB-172F78EC2FC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c664317ce83ea76073702df3451a3d16657d973","datavalue":{"value":{"time":"+2019-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2329443$E48E91B6-65E4-4166-B1C1-1ECE2D1BC6DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13744f76bae5918c203c7e9a44c8f6abab655050","datavalue":{"value":"https://arxiv.org/abs/1612.00666","type":"string"},"datatype":"url"},"type":"statement","id":"Q2329443$4B2E8613-9AE6-4AA9-965B-03CCA4C49B87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2329443$58B8100B-0E41-4DE0-9944-034087E35C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2329443$C857AFE5-9FA0-4A81-B7D3-46035AFA4DA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b08939dcbb3e57d255c3d42978d9498451ba791","datavalue":{"value":"7118982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2329443$E929502B-B480-4881-BECE-E05B1683FDE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f879d7a320fadd9c2ee526fe267d6fac5748ccf0","datavalue":{"value":"modular structural operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2329443$396BB842-AB8D-4590-AF4D-44F4F28444EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0736bb1ecd69efeadb390b0b17dae440ddd5035","datavalue":{"value":"dynamic software updates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2329443$CECFCAA4-2DDB-46F3-A5A4-35C59175E039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cddd74460f492f0f36fbb5bc278d8f60e7f328b","datavalue":{"value":"dynamic class upgrades","type":"string"},"datatype":"string"},"type":"statement","id":"Q2329443$D5DAF674-FBB4-40FB-AE23-094D445B9623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5bf9e66f5361018374a13fa5fee3bdd103841e0","datavalue":{"value":"Proteus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2329443$7C46AAE4-CBFC-47A7-9159-648D9824A1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0041dc87139075afd53fc3c0ca611ea25565ddd","datavalue":{"value":"Creol","type":"string"},"datatype":"string"},"type":"statement","id":"Q2329443$35EF5918-8044-42C9-A88C-7228ABA3FC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fd7674d447d1b2ee0a258e9d99d4419fdbdbb83","datavalue":{"value":"concurrent objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q2329443$60127805-1702-4348-BFD6-4C130E92298E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64d1a984084000b493e6f42a57c9ca6aad6c67b4","datavalue":{"value":{"entity-type":"item","numeric-id":13417,"id":"Q13417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$2BD3C27F-AAF7-4C8A-90AB-D27FC258C398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$AF36B055-3105-47CC-B616-176E1B43DF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$7EE06D46-1583-4647-9358-B747F89EEA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b687213a8375e65a3248834735a16b100440644","datavalue":{"value":{"entity-type":"item","numeric-id":19254,"id":"Q19254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$0B5B1CA1-38F7-4E17-8151-56951E17101E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c84a95fccdab14533447d10553494c021eb7f89b","datavalue":{"value":{"entity-type":"item","numeric-id":19921,"id":"Q19921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$525E6792-B570-4003-A008-D037F2BC81E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0ac0247293b49c3e9948991779381770d90674ff","datavalue":{"value":{"entity-type":"item","numeric-id":36727,"id":"Q36727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$7DFA1A42-081A-4A34-87B0-6C393B8DDE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c1eaaa18f24b6429a1a7810024a01c4ad8ffcb1a","datavalue":{"value":{"entity-type":"item","numeric-id":21403,"id":"Q21403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$D13FCED1-C1C5-4BBF-BE78-331DD3132EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8c9ff4a9eac2a34ae6381abc2842acda7fc49e9","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$CC5AA479-FCA9-4BBE-B4E1-D519DDA75635","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":"Q2329443$37E2C207-DA51-4824-982D-9E44434C5CDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ded79148ffa44ab226f3e9432b2535ffb0d594de","datavalue":{"value":"W2962931273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2329443$6C27B4E1-20CD-4478-960C-879027D26AB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5cba2f545e4905805f6fbaec8c0259c28fa1a","datavalue":{"value":{"entity-type":"item","numeric-id":4715213,"id":"Q4715213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$64CAD10E-31E6-40EA-B516-30EB331DD64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dae1d38029255eab2cdc9ad9b3173345667bb44","datavalue":{"value":{"entity-type":"item","numeric-id":5261503,"id":"Q5261503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$92B015BC-C77B-4F8D-830F-3DDB16B326B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1110b2f1061f481589606159129259a55c2a43","datavalue":{"value":{"entity-type":"item","numeric-id":3064166,"id":"Q3064166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$DD87BB57-5246-4851-AAA4-7EEF26CB41C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe703542a77b0dc5e0b564742fb1d6fe55ad9d4","datavalue":{"value":{"entity-type":"item","numeric-id":1327393,"id":"Q1327393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$E1161AE8-5D81-4285-9927-90FC7F24FD3E","rank":"normal"},{"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":"Q2329443$75119454-5FEA-4C60-974E-57910B7D26D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559a7a9603e048cf3db15734f71b7f75b908088e","datavalue":{"value":{"entity-type":"item","numeric-id":3656205,"id":"Q3656205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$45BB7CC9-8EE4-4A09-B25E-4CCDF1FECC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"549d0031328335eeadb553d8d00ea4f734879007","datavalue":{"value":{"entity-type":"item","numeric-id":4339018,"id":"Q4339018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$472AA710-AC38-41EE-8ADA-3753BE5815E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84a5db3ced24330f7f8d9d8a8e847c26d514f073","datavalue":{"value":{"entity-type":"item","numeric-id":3127246,"id":"Q3127246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$471077AD-5B7D-4F40-9557-8AF976BE74A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd586d92053abc0bb1bf3c558de1e0427fc7df2c","datavalue":{"value":{"entity-type":"item","numeric-id":4912847,"id":"Q4912847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$656B68EF-1AC0-4D12-A80D-37072A2AAA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$D88D049F-B30D-4631-82C2-E5DD883DFE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab35871a1fec77f933ff9898974fa9d467d9574","datavalue":{"value":{"entity-type":"item","numeric-id":4910414,"id":"Q4910414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$B8A4938B-0FAB-46FC-9C85-71E7981A0EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7061f3df30d1bbf2eb2a2f549478bc547eb73b90","datavalue":{"value":{"entity-type":"item","numeric-id":2842096,"id":"Q2842096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$FB100F37-66F6-47E4-8207-F67581137BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$9AFFDB91-45DD-4C23-B4F6-A8D25CF24E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39f41d52ff5e280daed5eda3593ba1616c383d1","datavalue":{"value":{"entity-type":"item","numeric-id":5756504,"id":"Q5756504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$C7205D81-4506-493B-B6E5-524153198A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1a7e4b474158f147651cf0ba89e06743562a007","datavalue":{"value":{"entity-type":"item","numeric-id":4256146,"id":"Q4256146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$16E8718B-2D0B-4999-BC25-9219458C0FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d92abb81e4c7620c439cb2525d42b7c192af975e","datavalue":{"value":{"entity-type":"item","numeric-id":2368979,"id":"Q2368979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$B209776C-2477-4EF9-AE62-C325629F38B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f8b7fd8474cfbe63d4ded4b019ceae248601d4","datavalue":{"value":{"entity-type":"item","numeric-id":4992500,"id":"Q4992500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$733C7D30-484B-42FF-AECC-AC8ECD1C4136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94de08579fdb4600625f8e9aff865488f3125027","datavalue":{"value":{"entity-type":"item","numeric-id":3703291,"id":"Q3703291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$783068D5-0667-47F4-A88E-20120B58E9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$A4233246-A8C5-4F60-A408-BDA27377BF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"983fa66ccb6676985e7a9e3eaea2d351d163180e","datavalue":{"value":{"entity-type":"item","numeric-id":3439883,"id":"Q3439883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$1CC151F9-3F7C-47DA-B7A8-FFA463E21BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4127da81685d09d0b6a73afcf8a6432964303df8","datavalue":{"value":{"entity-type":"item","numeric-id":1854507,"id":"Q1854507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$8969FF8C-E044-4510-B871-65B6E002A70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08380f1f6d5c256db5fc8bab355e7009c527dba6","datavalue":{"value":{"entity-type":"item","numeric-id":3561031,"id":"Q3561031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$FE737856-BF53-43A1-8B83-5001935ECEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe396c865cdda7de8f93af45959e4a901cdb4816","datavalue":{"value":{"entity-type":"item","numeric-id":5390275,"id":"Q5390275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$97D0BE54-D7DB-49DE-AD59-E9EABB708B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3afc21a1200cfc4583df1e09889a16a9bec4d8fc","datavalue":{"value":{"entity-type":"item","numeric-id":5897454,"id":"Q5897454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$B693B811-C3EC-4E00-93E5-250BD86846FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7207505ab49fd0a6dd27988b8c7946eb8a8d4da","datavalue":{"value":{"entity-type":"item","numeric-id":1734521,"id":"Q1734521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$E90B5AAD-3C93-44F7-8C2B-D69C764E4F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a40256291c1540202cd7a8572644541bce231f0e","datavalue":{"value":{"entity-type":"item","numeric-id":5434193,"id":"Q5434193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$13B8321F-D28E-4795-9E2C-A8D0885E0A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb899c7586ad0dfc222ed75e74347f254c4ca5c2","datavalue":{"value":{"entity-type":"item","numeric-id":4941890,"id":"Q4941890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$C223D8A7-7951-4B86-BF94-6CF1B403B4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d4ae7bdbe48148468de7cf4b48ebc920235126","datavalue":{"value":{"entity-type":"item","numeric-id":1878712,"id":"Q1878712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$ECCA8F05-E80A-46D8-B877-81949FD5F8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761e9c63d11074bd0aaefafb9107be4fbbe3c424","datavalue":{"value":{"entity-type":"item","numeric-id":2810689,"id":"Q2810689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$7FE7BAE7-6529-4D12-B797-94C5723601B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"428bf1219cd9aa6b9be11aca0a074773ae006997","datavalue":{"value":{"entity-type":"item","numeric-id":492687,"id":"Q492687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$D1C3BD1B-CAE3-4D6A-8887-4F337805FD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63fa74182997188dd8dd253d53ba13a1b0c51360","datavalue":{"value":{"entity-type":"item","numeric-id":2486401,"id":"Q2486401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$3ED425CD-F338-4182-A3C9-40B50AF09D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e608391d5fff20267259ee8e0ce0bb8fd94bb4f5","datavalue":{"value":{"entity-type":"item","numeric-id":877025,"id":"Q877025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$A6F373EC-BC25-44A4-AE04-F5B2AD05C02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6611ed6de8858c0611fd34fe4122695cc82d9e5b","datavalue":{"value":{"entity-type":"item","numeric-id":4023244,"id":"Q4023244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$AFD25D36-4DFB-4F65-9DD6-28C69F9995C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23623728af77877c2c658b5f16ea2ac66fec79f9","datavalue":{"value":{"entity-type":"item","numeric-id":987974,"id":"Q987974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$F89487F9-397F-4F25-8D44-5DB018E9DAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a37d46eed0861d3cef1d05ad4dceb687abd1a86","datavalue":{"value":{"entity-type":"item","numeric-id":5189646,"id":"Q5189646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$B2DC14D6-B0EF-4527-9935-F2FE64B990C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54359d6eff91436c14adcd7f017908697aefbb74","datavalue":{"value":{"entity-type":"item","numeric-id":5276145,"id":"Q5276145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$47FE0E70-B0DB-4B38-9A5C-88F835B731E1","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":"Q2329443$36C48B64-03B0-46E0-B1D0-01B4C4543B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5326594292a56afc67933a84d191119c405ebdd7","datavalue":{"value":{"entity-type":"item","numeric-id":854164,"id":"Q854164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$5A9F5202-26F5-47E1-AD49-36CDDB93ADEB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"24c5cc07740a1ad3f203eecaff1e58864917fe66","datavalue":{"value":"Q127747241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2329443$C97DFD29-EBA3-4FC8-BA86-4E8F326B208E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"657e4749fbbb13c208905334c7c3e8a434132fe2","datavalue":{"value":"10.1016/J.JLAMP.2019.05.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2329443$4C2FCD01-F1EF-4466-92B9-91E9B69E27DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7cb7b2052e3ea7e556ceee518dcffffbdbb659","datavalue":{"value":{"entity-type":"item","numeric-id":1878712,"id":"Q1878712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7fe105facf9661550650e2ca561e5a65fe76d19","datavalue":{"value":{"amount":"+0.7568416595458984","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":"Q2329443$7E2165CA-54C5-4402-9CBB-5D094150385C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ee5415950cee7fe2bfc32c67a87256e53c79106","datavalue":{"value":{"entity-type":"item","numeric-id":5277892,"id":"Q5277892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f390e8ffed9477cc64a0873f337d0f392697c50","datavalue":{"value":{"amount":"+0.7220419645309448","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":"Q2329443$44F804B4-61B1-4820-8EB6-FA6B1D50D122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959cd431ecf7be871dff18420255b1f3bd411512","datavalue":{"value":{"entity-type":"item","numeric-id":2996131,"id":"Q2996131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1273366ae3bdf8ba6e1f4f8fe8b214386252f59","datavalue":{"value":{"amount":"+0.7179872989654541","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":"Q2329443$933841AE-B272-41F3-B0A5-657781F1A476","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":"db5d32c5efbe44855bf8288e31616a5bd0606e9d","datavalue":{"value":{"amount":"+0.7142668962478638","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":"Q2329443$9FCA9CD5-0024-4F96-98B4-99C0EBE7AB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c182af01b0177ebb19d371c4fb0585f8b2246d78","datavalue":{"value":{"entity-type":"item","numeric-id":5276145,"id":"Q5276145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7e3e857bf419c46252cdb7edf7052ecbfc56d89","datavalue":{"value":{"amount":"+0.7109727263450623","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":"Q2329443$AA33C389-F6C0-4BF9-9FB3-88D89916CFCB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2329443$0063561E-E90D-4588-BAB6-527F1FA92995","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic structural operational semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dynamic_structural_operational_semantics"}}}}}