{"entities":{"Q5448644":{"pageid":7478203,"ns":120,"title":"Item:Q5448644","lastrevid":50299049,"modified":"2026-01-13T18:58:03Z","type":"item","id":"Q5448644","labels":{"en":{"language":"en","value":"From Asynchronous to Synchronous Specifications for Distributed Program Synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5245991"}},"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":"Q5448644$53004B60-1BB2-4707-AE97-23CFB6BE49C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4dc4e4836a2be5484dcef4c6f88771572f96434b","datavalue":{"value":{"text":"From Asynchronous to Synchronous Specifications for Distributed Program Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5448644$78A8E9DE-8C65-40D6-8320-4573409C672C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34d44b45bd0d60ad5fa18ad0d9165042e121dd5b","datavalue":{"value":"1133.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448644$B9755169-C776-48EB-ADA2-30945E33553B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18c26899514453c9f6692bc288d114a76bc16288","datavalue":{"value":"10.1007/978-3-540-77566-9_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448644$335ABFC3-8E7B-4058-B1F7-1EBEF49B1CE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a76490bcbac695294d3aea5328989b40e958d864","datavalue":{"value":{"entity-type":"item","numeric-id":3613066,"id":"Q3613066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448644$2B3D4795-18D6-4340-B12E-C1E48BAAA90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63b87220b128340149e10ebf560470ab65c97307","datavalue":{"value":{"entity-type":"item","numeric-id":906980,"id":"Q906980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448644$A77C9380-7900-4348-9CE4-483EE415B3D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"289e9518bae23f8ef3fef424d4152fb57471f6fc","datavalue":{"value":{"entity-type":"item","numeric-id":5448635,"id":"Q5448635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448644$BD012433-0623-4DD1-A6A9-382110514897","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"408bb415b0e4e91f33eb35fe43922ec8a2030622","datavalue":{"value":{"time":"+2008-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5448644$FD397EFE-68DC-42D6-82B1-BFC6707323AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448644$2DF91046-1272-423E-B7EA-03D5FB292D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448644$1EC889B8-F7F7-428E-8117-CAE338D21677","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77400c923f1f254811c6d2c3f0c419325ecb65a5","datavalue":{"value":"5245991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448644$9928E52A-38F8-4D29-9854-38AE23DD1B8F","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":"Q5448644$ECCA9DEE-CC26-4A88-9738-DC4BDA078593","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b967865b7f8667f68d908f76ede12ce495448c6","datavalue":{"value":"https://doi.org/10.1007/978-3-540-77566-9_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5448644$1D49D3AB-CED6-41DD-951E-80AE34229CBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4270c5f76a719198f86cb5d4a806a5a2124d53e","datavalue":{"value":"W1493457507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448644$616342B5-3C16-4AAC-BD8B-B3F0848B98F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c92ae5e2b9be9590a09163a105ebb9a4c3004d41","datavalue":{"value":{"entity-type":"item","numeric-id":5492958,"id":"Q5492958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448644$F8329FC8-5AE8-447C-8378-5F9AF351AFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa8109f35d24e1b79faa782fa98c5c2f27c5c3f8","datavalue":{"value":{"entity-type":"item","numeric-id":5448782,"id":"Q5448782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448644$81A76442-DA00-4E55-B7DA-D9DF3F565525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac7f6378635e57edf3022367896f6113439d295","datavalue":{"value":{"entity-type":"item","numeric-id":5202104,"id":"Q5202104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448644$B94631D8-AE94-41BC-A51F-744834515DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038a119376752c8e014cdd5dc9e112517a380d5c","datavalue":{"value":{"entity-type":"item","numeric-id":4535033,"id":"Q4535033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448644$A83A5F2D-0D0B-461E-902E-C568D25B3984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8d35691c4359f85cf61b888d8c79d316b4ccda","datavalue":{"value":{"entity-type":"item","numeric-id":5191530,"id":"Q5191530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448644$4E039680-EAB7-454B-A020-7039C385F725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448644$4D37C4E5-E821-45FF-9E41-00E44C3A28DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c27494c3a9640956096f8f7a0ba35162654a7b","datavalue":{"value":{"entity-type":"item","numeric-id":5901665,"id":"Q5901665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b9b1915760ffb4fd435938316bf0272a7ddbb95","datavalue":{"value":{"amount":"+0.8329910635948181","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5448644$F69B3708-7704-4888-93F7-8BB4216DA289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11d14afcd3206e62c0912fe8a48f188b9c9179b5","datavalue":{"value":{"entity-type":"item","numeric-id":5191530,"id":"Q5191530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09cf3bce67ddc60a7d902b6f595a950fcc81971","datavalue":{"value":{"amount":"+0.7937386631965637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5448644$FA4F28A0-8ED1-42BB-B6EA-71C57E29A205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f1456e214f8bde4bd4ad0f905df28e07e62b3a","datavalue":{"value":{"entity-type":"item","numeric-id":2946693,"id":"Q2946693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0c9fed1977138c9ed52ca0e6252bb32b6e98f4","datavalue":{"value":{"amount":"+0.764718770980835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5448644$585E4088-DE22-4342-97FE-11271169EE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"151c2b0a0bf34266926b7d6f96bc2227dab15b8a","datavalue":{"value":{"entity-type":"item","numeric-id":3613067,"id":"Q3613067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"010a65d811f8af5f7005e0eed082c2d7c63cb447","datavalue":{"value":{"amount":"+0.7641152143478394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5448644$F01495A0-D541-4899-A997-38E6E87ABFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5daebd12befc49456f52b112720ff89591ad7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5136320,"id":"Q5136320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baa7409693d33346c44a074d2498d0ffdb8cf916","datavalue":{"value":{"amount":"+0.7638953328132629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5448644$973F3E94-19B9-462A-B47A-2A83F88FB5CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5448644","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5448644"}}}}}