{"entities":{"Q3907056":{"pageid":5936961,"ns":120,"title":"Item:Q3907056","lastrevid":54939103,"modified":"2026-01-30T19:41:14Z","type":"item","id":"Q3907056","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3716769"}},"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":"Q3907056$A498500F-3301-4A91-AF0E-9A2E55B7D826","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30db896a3f3c687a3e22481ec4c8602e2c8afafa","datavalue":{"value":"0457.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3907056$DC57641C-E806-4F5F-B9B8-66E252647CC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45c6065481c2331fb0756742cd7aef75e8a67fda","datavalue":{"value":{"entity-type":"item","numeric-id":1083184,"id":"Q1083184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907056$F9122B27-AD87-4940-B170-BC4582B98717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3cbde0d462a2a8ff5eccb9f8b4566180dc7f0f9","datavalue":{"value":{"entity-type":"item","numeric-id":1402460,"id":"Q1402460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907056$77A738A3-0F88-43E4-9B36-87155711F4A9","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":"Q3907056$E74F8044-F8C5-4E0F-830B-DE58D95B4D08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3907056$5135A87A-E55A-4C4B-9365-279B812310E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70fd93562f46367e590fbbec4f1d3a8fba4c80a9","datavalue":{"value":"3716769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3907056$F4A465D8-E29A-43B3-9EC7-27CAC271C455","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bc47faa071de0989dacb4ce19efef69e2a1dc70","datavalue":{"value":"formal semantics for concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3907056$5B8947A7-BC41-42D6-AC9F-2A713EC6E08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dda071691da20b97b2d41968cfdda63371c5bc39","datavalue":{"value":"synchronisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3907056$110405BF-BC03-471B-A20B-EDDECED3AD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d223165a18e07e7b02381ef8dba442e6e18a8ffb","datavalue":{"value":"COSY","type":"string"},"datatype":"string"},"type":"statement","id":"Q3907056$72AF5F32-08DA-4DCB-85DF-47FD32160013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q3907056$A09EA6BB-61EF-4A21-B251-6CA8309CBCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31936d24885062d566f4f810268a09ab0606e6b","datavalue":{"value":"starvation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3907056$8DD74950-E420-49E4-ABCA-0A06A324A17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a125a2b8c88c30e2e238d34505df4ceaaf5f41","datavalue":{"value":"distribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3907056$DA32932B-937A-48D6-BECA-41D7572B5FF8","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":"Q3907056$447BFF9B-317D-475D-9E88-094DF7A29773","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3907056","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3907056"}}}}}