{"entities":{"Q4037394":{"pageid":6067112,"ns":120,"title":"Item:Q4037394","lastrevid":55250104,"modified":"2026-02-05T07:59:16Z","type":"item","id":"Q4037394","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177525"}},"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":"Q4037394$98F90A40-DA20-4BF6-964B-C426008680D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"320f25206e614d8a6c1e4f55340887c1e19f0d5d","datavalue":{"value":"0765.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037394$0ACA630E-E77D-4252-9604-055FC516C8B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdf985ac530c97013023bde93040fbec3fc531c9","datavalue":{"value":{"entity-type":"item","numeric-id":1225933,"id":"Q1225933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037394$137D5CBE-0DDC-41DE-9D5B-90BF153B8EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d449846a3ab7a8e90cb747a77c5ecf2bfd408322","datavalue":{"value":{"entity-type":"item","numeric-id":1924993,"id":"Q1924993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037394$FE5A2B10-C433-42F9-A683-AC01F506AA4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4037394$68D3A7C6-D231-45DE-A7E3-23A31F74E67A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037394$8B5A42F4-0B5A-4DA6-B099-327B928EAE3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3b53329fc4b5a5604a2c70403e327c3da095a06","datavalue":{"value":"177525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037394$162B4467-5187-44C1-94C2-BE120EB1A3B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037394$F774C87E-9625-49A2-94F4-46C6DB03337B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"035e13f6b02a79015335b0978cbf5adacf0421dc","datavalue":{"value":"freedom from deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037394$5FDE829D-1ECE-4237-ABB7-3E57DF542573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037394$230DA86F-E1B7-4C35-B1AB-F7746637C160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"975d965445a56ded6086b20f6c12874cd14c3d2a","datavalue":{"value":"automated program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037394$97D7C23E-2C8A-4DBC-B105-D29A9A79E30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d4529458b0c327b965fb0cd939cc8a2582a7f60","datavalue":{"value":"automatic synthesis of synchronization code for asynchronous processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037394$76232A13-6A06-4B6B-AD6E-62893968EF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037394$CEF7E9D3-69F1-4D56-8FB6-D1702A66FFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fe3f6d9487883a7591f25dda81a79ec382fd24a","datavalue":{"value":"synchronizer","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037394$E13CDD17-FA2D-4044-B07A-2D749CD4BE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f40d419c3fa26b2514bfe6acad0af4c3d2cd5290","datavalue":{"value":"state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037394$A3E38C72-1518-4B1F-ACB6-57168A9BC951","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":"Q4037394$C428AF41-5F01-4B2C-B0F4-556F69E905F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130a73633fff28832fbe684b4d4940f895217aa7","datavalue":{"value":{"entity-type":"item","numeric-id":4037387,"id":"Q4037387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ec96b44dc347451495f965d2382e3de00b5035","datavalue":{"value":{"amount":"+0.88472015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037394$9D5EEE17-EDDB-49D1-93B0-C07813329220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c9ef6e43b2ed5f3e86cbf9d49a047d09cd8abd","datavalue":{"value":{"entity-type":"item","numeric-id":2943770,"id":"Q2943770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5e7fe865a03e707229790f63d3b05854777d20e","datavalue":{"value":{"amount":"+0.8714726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037394$F232F761-7B53-47BB-B1CC-2753C7926F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae63d6c8447a0a39cf3d39408c0467f134b5a16b","datavalue":{"value":{"entity-type":"item","numeric-id":5206959,"id":"Q5206959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe1c7df2d1435de15ad8bdaf6b07679af34d966","datavalue":{"value":{"amount":"+0.8704098","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037394$32E97827-5D6E-402A-8310-8B91FB6DBAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2328ba74fb7a04ef9c4c6b136966010a61ec6c6","datavalue":{"value":{"entity-type":"item","numeric-id":4037126,"id":"Q4037126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00147245eb6a5b3ef158721513781c690d8af97","datavalue":{"value":{"amount":"+0.87031996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037394$8C1967C4-6D5F-419A-AC74-4C0B572B8E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d21ee0f204110533d888447534135dc49ebd253","datavalue":{"value":{"entity-type":"item","numeric-id":4791836,"id":"Q4791836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"064e94b0bb935991c469192e4328f0ac2897dc34","datavalue":{"value":{"amount":"+0.8665003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037394$98C1A443-8231-495D-A6D8-E0041CAFAA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780b41ab67584bea9b4bef87901346196078c81c","datavalue":{"value":{"entity-type":"item","numeric-id":4945222,"id":"Q4945222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab28dc504621829d14b21a446b569ad18abc86ef","datavalue":{"value":{"amount":"+0.8663723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037394$5964940C-091B-4244-B754-6FCC6E525B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85c8c487760a0f7469bf3c53ab1894e03ddf591","datavalue":{"value":{"entity-type":"item","numeric-id":763239,"id":"Q763239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe83f08405f25fd23d6f26d2403fad80b825c2c","datavalue":{"value":{"amount":"+0.86630607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037394$85D6AF1F-6748-4063-B757-C8BADFB4CAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241ec2cea260bd150c560a081d963c8d53f2af09","datavalue":{"value":{"entity-type":"item","numeric-id":2465051,"id":"Q2465051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1606f00dd183840ee42a7fe7a905f1e484677c78","datavalue":{"value":{"amount":"+0.8627571","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4037394$3AC820CB-A180-4DD8-B67A-C8BA7A028AB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037394","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037394"}}}}}