{"entities":{"Q3938474":{"pageid":5968379,"ns":120,"title":"Item:Q3938474","lastrevid":81279881,"modified":"2026-05-06T18:09:26Z","type":"item","id":"Q3938474","labels":{"en":{"language":"en","value":"Deadlock-Free Systems for a Bounded Number of Processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3754014"}},"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":"Q3938474$8D3333E2-DD7C-4804-AEDD-B0D40D3E59AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28be5cae6318be6c2b9223eaa15b812d7d966a15","datavalue":{"value":{"text":"Deadlock-Free Systems for a Bounded Number of Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3938474$A0CC0502-4492-4CA2-9675-8E56372197DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c834f9478be9aceeb1835cd11e246c39d5bb7869","datavalue":{"value":"0479.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3938474$AD2CD205-5B4C-44AF-890C-1A8C929330ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2f5e6ea72da49481768cdfe6c693f027ec1289d","datavalue":{"value":"10.1109/TC.1982.1675974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3938474$9547B98D-2AA5-4F94-9B09-49DB41D3A7A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"746535ddb96ae77c4a55cf2874e59b3bf4f00d57","datavalue":{"value":{"entity-type":"item","numeric-id":171928,"id":"Q171928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3938474$7D10DCD3-64D8-4E7E-B0E9-A9F1F3A25544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8eaaa033e67ba881518aa74411bf0c77c000b68f","datavalue":{"value":{"entity-type":"item","numeric-id":284587,"id":"Q284587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3938474$DC936218-5578-4F9D-B58A-A0B5097FF360","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3938474$82DE4CE0-0108-41DB-8DE6-40238BE9DBA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3938474$D01ED258-59F1-46B1-9AF2-AED3BFD2CE4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3938474$D8B03207-961F-46EC-9F15-F41147EE6E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3938474$169BDDB6-93CE-489E-9802-A3D21F034C10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f797f19cef171764aa7b680db441648fd3a1516e","datavalue":{"value":"3754014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3938474$1A8AF74A-97B0-416B-BC6B-23C47AD0EA40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b685acef9baebbba70a348afa943c2c2ec475cf","datavalue":{"value":"algorithm complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938474$44124173-87EE-426E-B62B-C5C493E9F671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bbc9f72e0da6aa8de39db946cf240aaa4c6cf75","datavalue":{"value":"deadlock prevention","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938474$05DD4A97-76E6-4C73-AF83-E0BD6FC03A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938474$D15871BB-6A0B-4469-8B3C-4B5AF4E7E763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e278efc06f8225c382765bfa03cf3d084b8d9065","datavalue":{"value":"operating system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938474$17533321-D7EF-467A-B88C-35A54DEC87A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be94e0652db58f3504a5ea05be6df619cad5a25","datavalue":{"value":"resource allocation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3938474$E7D53D6D-9AEE-4A83-BA68-959FCC1919F2","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":"Q3938474$117656BD-26D5-49BC-AE2F-B7ECC4BCFCCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6010166598615d6a21f56ac223fc55cb268f6e7","datavalue":{"value":"https://doi.org/10.1109/tc.1982.1675974","type":"string"},"datatype":"url"},"type":"statement","id":"Q3938474$533CE737-1FDF-4F92-8074-816F53E685F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2b2c328b80dd9b1088e2f8fbc935cfcc6622a3d","datavalue":{"value":"W1887018204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3938474$764BE786-8A70-40F1-B6DD-A39789CC12BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deadlock-Free Systems for a Bounded Number of Processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deadlock-Free_Systems_for_a_Bounded_Number_of_Processes"}}}}}