{"entities":{"Q1165571":{"pageid":1176320,"ns":120,"title":"Item:Q1165571","lastrevid":66283971,"modified":"2026-04-12T08:46:35Z","type":"item","id":"Q1165571","labels":{"en":{"language":"en","value":"Complexity of analyzing the synchronization structure of concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3767026"}},"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":"Q1165571$643A4DA3-C958-4D0D-8864-77698280847B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a0d4d53218e660ad541913a1432a0fbca2c2c15","datavalue":{"value":{"text":"Complexity of analyzing the synchronization structure of concurrent programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1165571$DED3FF9D-F763-46D0-9A0C-9E957DCFD8F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6cdbcd22d05bfe6ba3e5a327fcc8e4fbcbb06dd","datavalue":{"value":"0487.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165571$00933924-91E2-441D-8772-493EAA3FD98F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18dc335212c5f83ad6cde2a36e27959a6eda787e","datavalue":{"value":"10.1007/BF00263928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165571$BF84FB22-7B9E-4758-BACA-B4624CCC1A06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6bc192aaa8a6bfaf26318a4ebda784f817ac0ac","datavalue":{"value":{"entity-type":"item","numeric-id":1165570,"id":"Q1165570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1165571$EEEC8226-802B-466A-9D51-5295D8760999","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1165571$557F0A56-9CEC-4298-8BFB-E944188244C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1165571$851F84BF-8C2B-4323-91A9-6CAD0CB9CB92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165571$28A7B14D-BB7E-467C-879C-7620DF227DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165571$B74B09D2-7CF1-4EDE-8BAE-44F979439ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165571$1A250795-20EC-4BBD-B036-9B05C43693EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0423f7f80c96238f8ab18095e61ea8870a74a425","datavalue":{"value":"3767026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1165571$2EB29F0E-2F39-46C1-BD5B-6F5758ED1058","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1165571$309C7AFC-C309-4647-8720-669C110A08AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09c2fb94c748484f86485909f8ae94b279f2dad4","datavalue":{"value":"communicating concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1165571$FE10AD5F-7FD6-4491-AAB1-D66B03B9EB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1908c8ed5e59766bf87046d515fb1c3e65308a6","datavalue":{"value":"program data flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q1165571$853A2493-1DE3-4C29-824A-D9E59200F38A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q1165571$773D7CEC-A136-4B91-9563-1A0B7BE36C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f796eadffa28c4d2fdf9ea0a2a6a61692493446e","datavalue":{"value":"synchronization structure of concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1165571$0169E9EB-F50A-43CC-A497-5B7CBA195922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a3f8ceab61581919b96b9f3a82f1782a56a8b46","datavalue":{"value":"automated static program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1165571$5AD27C61-04EB-4CDF-874B-7E2849F9A078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1165571$BAF74C98-D9DC-42D3-AB9F-CF8CA585CDD8","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":"Q1165571$B67C81FA-F185-4099-98DF-B0AC4FCF9649","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of analyzing the synchronization structure of concurrent programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_of_analyzing_the_synchronization_structure_of_concurrent_programs"}}}}}