{"entities":{"Q1707345":{"pageid":1718086,"ns":120,"title":"Item:Q1707345","lastrevid":72826710,"modified":"2026-04-14T08:06:13Z","type":"item","id":"Q1707345","labels":{"en":{"language":"en","value":"The symbiosis of concurrency and verification: teaching and case studies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6854756"}},"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":"Q1707345$A13EF721-7705-4DC3-A030-281203797F53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f7c62e2f3d877a488704e0e95b479cd7a74b428","datavalue":{"value":{"text":"The symbiosis of concurrency and verification: teaching and case studies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1707345$B6A45DCF-5292-48AF-A1B0-63BE489E2CF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bab1c65e2a4cd28701c70cca4fb49bfbbe7979f","datavalue":{"value":"1382.68144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707345$D1E9677C-9658-4322-AE8B-69D00B3FA97E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b391fa5209bfd318a940d1fa583b5ec4f2419241","datavalue":{"value":{"entity-type":"item","numeric-id":1707344,"id":"Q1707344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707345$EEC9D45D-1DDF-4143-B41F-366CF2710D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92c6bc733c186b322a5a3d44522e7b1a30561a8f","datavalue":{"value":{"entity-type":"item","numeric-id":436882,"id":"Q436882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707345$82C5FC3A-4138-433C-A9BD-31C2A83BE3EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707345$26DF6094-F17F-4FC9-9202-372425F43310","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd3c7a1512e9f937cd8f2a23c9198445c7d7808b","datavalue":{"value":{"time":"+2018-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1707345$363CC360-C8C5-4375-80D8-2744E2FC088C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707345$C3635BC7-F496-4FE4-9731-04B144B9E648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707345$16303AB0-481C-4AD9-8B17-5B512E939CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f051f08f5da0f618fe1ab2809081adb47e3b04b","datavalue":{"value":"97P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707345$2B43B914-B86F-4A0E-8AD2-1FEB4CA90C45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff8df276f45d129eb16fea9ed8b4f0404380c40c","datavalue":{"value":"6854756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707345$D155B9C0-287F-4B45-83A2-9EB6501BCE65","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16ec60bb2354e6b31bebf82eca73dec9c31f014d","datavalue":{"value":"process-orientation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707345$1700253B-47DC-40B6-AD6F-C73F3AEA70F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707345$85672AFD-05AB-4E55-856A-66252304526A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707345$E6F1AF95-329B-4334-8264-4BE417D7DDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b5f8a2d14f127b822995e83c29dca2b7a2eca8","datavalue":{"value":"event ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707345$DAF3A4C1-1390-4247-8B39-8F022B35B00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707345$EADA0A56-49CB-4E96-B62E-AE73D799096F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707345$903CE32B-FA11-4DF7-B2B6-5B88494193C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"990acdb2a565540ac111d5be11e4eb08d16eed67","datavalue":{"value":"Occam-\\({\\pi}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707345$5EDBB9C1-ACEC-462B-95C1-490B58D06AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1707345$A3A07EF6-C0C4-47CD-AB7C-104A34430C29","rank":"normal"}],"P1463":[{"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":"Q1707345$008743AE-AADD-478E-810C-5EA03D9A47CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707345$A6444BF3-BE13-4D4A-923D-FB211004FA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d7ea53cf5c383c985eee57b2335d35b1f65940bb","datavalue":{"value":{"entity-type":"item","numeric-id":17611,"id":"Q17611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707345$36B8C45D-1D1E-4A6C-A7CD-AB7F88EEFFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707345$6376D38A-B5E5-46D7-9B4D-422300133047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"97873e1476593719fe9ae012a9df7469c6caafee","datavalue":{"value":{"entity-type":"item","numeric-id":24316,"id":"Q24316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707345$9374D351-6FC7-4FE8-928E-F13FDD8D0963","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":"Q1707345$452AB1F5-713B-4D91-B66A-2D393EFC4B3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17d40f307f5eb532dd2dc1360cc7f1c9dcedf3a7","datavalue":{"value":"https://doi.org/10.1007/s00165-017-0447-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1707345$EB6F0A16-C1CC-4E48-8D8A-AA2D9A690DA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0105a555271e4ca2a0077a0628a01e5b07f07ff","datavalue":{"value":"W2778176582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707345$D125CAFB-C9E4-4520-BEF7-9728417D4063","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f5f067187680e9ffe1df61fac1cd483399b252f9","datavalue":{"value":"Q59612703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707345$1BB8DD31-90E7-468D-A5A2-A66980DB6B93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e13ace8be47b1832c205d8aa9496eb50e3d031f","datavalue":{"value":{"entity-type":"item","numeric-id":5701004,"id":"Q5701004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707345$F5EE12E8-0E08-4AE7-85B8-CB8AACDE25FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3cf1cedd6927db9ac791d4260e61eec660e0495","datavalue":{"value":{"entity-type":"item","numeric-id":5498738,"id":"Q5498738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707345$AE438184-F398-4578-B027-6B78FDEC91A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707345$DFFFE469-0C94-4184-B294-0B3A880C05C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707345$05DE106B-1723-4FEA-B187-82F8084ECD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca70bfd44259cb94ab44e920e30e216e1cc0383e","datavalue":{"value":{"entity-type":"item","numeric-id":1707345,"id":"Q1707345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707345$DA8EA183-9412-43AD-8FA0-0791301E0B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707345$7549581D-9F45-4E49-884D-3B53D8F76D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafb0e0a58c3353a14f65d9b53dc934fe5ec110c","datavalue":{"value":{"entity-type":"item","numeric-id":2269718,"id":"Q2269718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707345$F78BC4F5-BF95-4F99-8809-E1A4B8EA1BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb4b3304ba482c83cd7cff9ab39b6cad3460f8a","datavalue":{"value":{"entity-type":"item","numeric-id":5709372,"id":"Q5709372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707345$FDE46369-0233-479F-8345-602964893E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12dd10baba3416e13b3ebc54e38e2e38c64163aa","datavalue":{"value":{"entity-type":"item","numeric-id":5709368,"id":"Q5709368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707345$A9A254D0-FF3E-4372-8479-D65226AFFDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355b4fefb42e631c943c991cc873b502c26f6ce4","datavalue":{"value":{"entity-type":"item","numeric-id":5687956,"id":"Q5687956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1707345$52EBA173-2CC9-4EF8-A68A-A8B8C022FB1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b5ca2a7a83dd12a24ac156c1e8ad01e2fc7d7c3","datavalue":{"value":"10.1007/S00165-017-0447-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1707345$2044C105-2A3F-45AC-9580-46B929A087CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70604aef0b10bced3d8e81701d5fcdd8df1daa6b","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ba0150c611c864b91cb719f12188cd567cffb49","datavalue":{"value":{"amount":"+0.730856716632843","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":"Q1707345$CD813D6C-96CD-452A-AA25-1BDA67183592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0da850116a8888040cddbcf66694d262a8b513","datavalue":{"value":{"entity-type":"item","numeric-id":3599211,"id":"Q3599211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33badafcac196f1ef0ed365e32c0e876dbe7a4a3","datavalue":{"value":{"amount":"+0.7302607893943787","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":"Q1707345$0DF87084-4002-4B18-B57F-E84EA3151B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef5f46373af811c79ee6677dea873cc5adfc1cb","datavalue":{"value":{"entity-type":"item","numeric-id":4551158,"id":"Q4551158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb5ef6719a4bb70aa5e9f83ccccfab1c0f18edc","datavalue":{"value":{"amount":"+0.7225778102874756","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":"Q1707345$948D3DB8-588E-4A5F-8CE4-7F75DB9768DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3579b92783ac4c94b33f26f3d5ad05becdee062","datavalue":{"value":{"entity-type":"item","numeric-id":3999717,"id":"Q3999717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb5ef6719a4bb70aa5e9f83ccccfab1c0f18edc","datavalue":{"value":{"amount":"+0.7225778102874756","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":"Q1707345$990CBD17-1031-47DD-B731-256865F75B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ba59c2f8712c0458e809ea7b22220c640a3e2a","datavalue":{"value":{"entity-type":"item","numeric-id":1606799,"id":"Q1606799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78add398c0c414a7114393b4ae5d6a4e9cb4350a","datavalue":{"value":{"amount":"+0.7192301154136658","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":"Q1707345$B1D6850C-3E54-4198-8094-B90B71231271","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":"Q1707345$70BEAA20-4B6E-4AF1-8B02-D294A089EF54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The symbiosis of concurrency and verification: teaching and case studies","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_symbiosis_of_concurrency_and_verification:_teaching_and_case_studies"}}}}}