{"entities":{"Q2945722":{"pageid":2956442,"ns":120,"title":"Item:Q2945722","lastrevid":52344518,"modified":"2026-01-22T09:47:44Z","type":"item","id":"Q2945722","labels":{"en":{"language":"en","value":"A denotational semantic theory of concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481951"}},"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":"Q2945722$034CFC84-7D27-4C79-9294-C573DF496F1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"873fc6f341bce37cfb23e0fb6b7318b9683a358a","datavalue":{"value":{"text":"A Denotational Semantic Theory of Concurrent Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945722$FC66A77D-1F06-4695-A41D-01CA4FACDAB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"523a2d62f582e008ced4dcb6abf3b86a15409ad4","datavalue":{"value":"1321.68362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945722$F55A9B44-2960-47D2-91F5-CCE30672A2A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c63c05f43d6ea74c08b8ec8a9b6e9160bed9200d","datavalue":{"value":"10.1007/978-3-319-23165-5_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945722$88A29967-2FB3-4229-9CF6-075306DB76D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945722$0D6C2F09-A793-4787-B8CE-9DA42B40BE79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945722$19ACC68D-CBE2-4A96-B9EB-640D4DC14CBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945722$6B14E136-88EE-42DA-83A3-5CEAE2E57EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945722$6A04A61D-7C17-49FC-8047-7A2B80AF4AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945722$54E53A54-4970-4647-8231-97B7A5C16039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945722$14A18858-CB34-4477-ABCF-5C5455CDC155","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f247c96c994ecab5a7306f57fbc60da526eac36d","datavalue":{"value":"6481951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945722$E57941CB-F3FD-4AE2-A6F2-35E8D7C59C4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945722$083148C7-0AAA-497D-B316-F15E003C848F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e199d5cf96cd2329a40ab04d233c49b577260b88","datavalue":{"value":"specification transformer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945722$A6C34DDD-9D02-4215-A475-BCA541F8F41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"400bd69675555409ba5e39b7c2688d319e23b2a1","datavalue":{"value":"smooth transformer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945722$D9CAF52D-AEB6-496F-A86E-24E395B7EACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"397e4bc90806550a39c8a65aa86b1f1c2d247cfd","datavalue":{"value":"bismooth transformer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945722$8CC05EF9-E0B3-4BA8-8EDF-4C5A5D75B8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c94938e0b172f96849ac7588b638802728826022","datavalue":{"value":"specifications of recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945722$049B1FC0-6BD3-4DB9-A442-4281F76829C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da7638bc3e9806342134c6b9ddffbaec798b37b1","datavalue":{"value":"fairness and recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2945722$F14AAF01-9787-4578-A99C-5EC25B2A1BC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c68a16c5cbfcd2b4f037f5d1ee5ded1c873b2444","datavalue":{"value":{"entity-type":"item","numeric-id":239151,"id":"Q239151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945722$FA6FAAF4-3D24-4E32-B04F-220939580F2F","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":"Q2945722$B704A953-D7CB-422A-9835-F182E676C176","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90b9bf5ba8e12afa0c7464de14894a4f5e9e596e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-23165-5_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945722$D6A00565-32EF-454F-827E-2136166B7354","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c2eae5050c15b92cc9e06bbad48ae46460758277","datavalue":{"value":"W2294833835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945722$1C1F23AE-69B9-49D1-97A4-5333581DF2E6","rank":"normal"}],"P223":[{"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":"Q2945722$475C3FB2-EA44-41DA-95E8-513EC42786B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945722$834DB7DA-B803-42FD-BD11-B11179CDB609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b5200280a5a5e74f54a5bb0c35e4e9bffb18d56","datavalue":{"value":{"entity-type":"item","numeric-id":3946206,"id":"Q3946206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945722$8CD74568-58E7-4C5D-9E26-504C566F15CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f626358dc2497f6b0e1e85da77138f2bf194e347","datavalue":{"value":{"entity-type":"item","numeric-id":1055871,"id":"Q1055871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945722$F721A179-70AE-4A3E-8435-F367C8122D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945722$7FAE4970-8278-4FC9-85ED-AAE75FA209A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68024eab8b197e489d34d98b2dc4e71c532a0d79","datavalue":{"value":{"entity-type":"item","numeric-id":2339600,"id":"Q2339600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945722$DB482000-EED8-470A-BB2E-291695E9E87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ced8777200e419a87b3d16001799ea7f2175196","datavalue":{"value":{"entity-type":"item","numeric-id":3634722,"id":"Q3634722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945722$332B46FB-B40D-4138-BC91-EC3606065328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945722$35E280E2-09D7-43D3-A829-870732D292F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882d93c69c7ed7ad382958774ea4f9ca8a239ebe","datavalue":{"value":{"entity-type":"item","numeric-id":935476,"id":"Q935476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945722$28024AC1-F695-4412-A719-566CE09BFFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5cacb4ab303cc7c9b6cd6474a07b57d8333f8c8","datavalue":{"value":{"entity-type":"item","numeric-id":809105,"id":"Q809105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945722$86083D63-5E98-462B-8B9D-98F1F09C1233","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"513fb70b2c7da06b197d77aa2c4a7c4452060d4d","datavalue":{"value":{"entity-type":"item","numeric-id":3347276,"id":"Q3347276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e23ec2c1b7f573ac4f72c3bdd673dd7fa15c0b82","datavalue":{"value":{"amount":"+0.804831862449646","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":"Q2945722$7C6D3507-32E0-4D8D-B12E-1477E1B57DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c7d4b669b11aa55c1a6323bd393c288d1d3598","datavalue":{"value":{"entity-type":"item","numeric-id":3680259,"id":"Q3680259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86a98a9d0a121b16955b59ffb71ef9154903c0ab","datavalue":{"value":{"amount":"+0.7853959202766418","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":"Q2945722$1D73B7AE-B33C-4D29-9D64-81565A56B2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e957aa84b22d6d0512e1ef39b969567103d176","datavalue":{"value":{"entity-type":"item","numeric-id":4018067,"id":"Q4018067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d030a25cde90ce43311e818f89d93132902d1ba","datavalue":{"value":{"amount":"+0.7844141721725464","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":"Q2945722$382CA996-0D85-4030-8FE2-F9964271ACB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68493d945d8207adf0a92b093a60e70f7858f18","datavalue":{"value":{"entity-type":"item","numeric-id":3742700,"id":"Q3742700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9142c79c334a2cbd59fab2b08d6aa825e532fe20","datavalue":{"value":{"amount":"+0.7825843691825867","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":"Q2945722$C085F625-1EDF-4D11-909D-73737168EF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb451f92517ccfe6e6f5b5c05c0155c5286d557d","datavalue":{"value":{"entity-type":"item","numeric-id":4490760,"id":"Q4490760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7402a2e51d8e8cbe43053ebb8fa270afb7fae228","datavalue":{"value":{"amount":"+0.7718712687492371","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":"Q2945722$6DC920E1-093A-4453-82F5-06CA555BF0F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945722"}}}}}