{"entities":{"Q1151025":{"pageid":1161774,"ns":120,"title":"Item:Q1151025","lastrevid":70140939,"modified":"2026-04-13T12:43:05Z","type":"item","id":"Q1151025","labels":{"en":{"language":"en","value":"Deadlock absence proofs for networks of communicating processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3714910"}},"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":"Q1151025$6E953480-880D-455A-B1D9-9F2254769FFF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f463fbad820d3f09eefcc96908ed255380dd75a4","datavalue":{"value":{"text":"Deadlock absence proofs for networks of communicating processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1151025$78352CDB-A0F1-4128-994B-7BA33B9A99EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52fa624506ee8631387b6b7162927783ea4f2730","datavalue":{"value":"0456.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151025$E3FDB256-2D86-4CFE-AA92-8F0E6E65E7E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a53e4375cf9a48a9a963b83d8cd72cf16a8ebcf4","datavalue":{"value":"10.1016/0020-0190(79)90065-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151025$842C13D4-0B80-4AD2-A12C-3FB99E3BB686","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151025$31F29A59-3E82-4CF1-9188-5FCCA72518A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1151025$3CAB98FA-EB20-4CC5-9FE6-A79538A3011C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151025$931D0984-22F5-4D4B-BBC2-84E8C893F2E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b36b37683de6d192b0be06d90b75cbbdc330a590","datavalue":{"value":"3714910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151025$259AA0B0-0AC3-4864-8F87-48E990190687","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac2a8abd48c5221228184ceb553b05532f3ecf7","datavalue":{"value":"deadlock absence proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1151025$201D0724-723C-46D8-9AFD-DD4A3136D88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30f6fb39388d1fb612150f5e69372740c7cc58","datavalue":{"value":"communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1151025$D83D80B6-B28B-43BB-B863-39B9F9A52D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"369b1ed3a533f3f8d132ff14ed965d61165ca90c","datavalue":{"value":"processor networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1151025$DE13ED3A-5774-459A-A2BD-CF29CF47FD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dda071691da20b97b2d41968cfdda63371c5bc39","datavalue":{"value":"synchronisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1151025$551E963E-5A2B-4D78-9F39-F100319096C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08c70abc74354f81e14c1950aab27c1fd80288d6","datavalue":{"value":"deadlock avoidance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1151025$B98FD99E-C552-429B-AF61-BAC4B720173A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"613df68fa62667b65d3e5e1997bd8d1766de280b","datavalue":{"value":{"entity-type":"item","numeric-id":239148,"id":"Q239148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151025$0CAF0D8F-BF59-4114-B7CD-1897EC9D9617","rank":"normal"},{"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":"Q1151025$3633CF33-7DE7-443A-9DBB-C04CB4129FB8","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":"Q1151025$169C3284-C533-495A-8B02-B73EAAE23DC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e79c8e173b09789dfcaa3d682e50ba5b5720a4d","datavalue":{"value":"https://doi.org/10.1016/0020-0190(79)90065-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1151025$785CA86F-5F39-4BAC-A17F-64D104900EA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fce97df3490529e514f6a01d0e51478f6282f12d","datavalue":{"value":"W1968841918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151025$DCF5082E-0F4F-4775-8B7B-D8BBAB9DB2C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"039b377d08e0a230939a8439d1f12c5a8b483a30","datavalue":{"value":{"entity-type":"item","numeric-id":1151025,"id":"Q1151025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151025$688ED4B0-6FA9-4FF9-92FA-FA201CC6FDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155688b505186ad5b78714f884d024171d947f02","datavalue":{"value":{"entity-type":"item","numeric-id":3206283,"id":"Q3206283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151025$C8B02337-95AF-46F6-9601-FCFBB7F3DE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151025$367AE44D-838E-4D0E-B2D2-1E4EB173E0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151025$B33C6F65-D9FA-4501-AE15-3840CDEDCD5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deadlock absence proofs for networks of communicating processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deadlock_absence_proofs_for_networks_of_communicating_processes"}}}}}