{"entities":{"Q5255086":{"pageid":7284654,"ns":120,"title":"Item:Q5255086","lastrevid":91719869,"modified":"2026-06-04T23:53:50Z","type":"item","id":"Q5255086","labels":{"en":{"language":"en","value":"Abstraction-guided synthesis of synchronization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6445106"}},"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":"Q5255086$3AB7BFF9-B94E-4EF5-8884-405862E0816E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09ca34bd5b104efc4d6b2b0e4fef0a8aab8d99ee","datavalue":{"value":{"text":"Abstraction-guided synthesis of synchronization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5255086$21E23EE1-E80C-4F5F-9857-3E35AD36F306","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6aad00f77716cce4e49dbd965928bb675e76c9ce","datavalue":{"value":"1312.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255086$256B86D4-B284-4275-B636-657F7FC091F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca84830695c1e59309a0ef86f811c34e1804b7f2","datavalue":{"value":"10.1145/1706299.1706338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255086$D25F4523-337F-4659-AEC4-AA091C4E8E40","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58e1f45a09a9a289346056c16d3533cd18ecb557","datavalue":{"value":{"entity-type":"item","numeric-id":681345,"id":"Q681345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255086$B6DD7AC9-6953-45FC-A8BE-F8D625262517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc8ce85f8ab9ad80866582a2d5e4f0d4cad5e8b4","datavalue":{"value":{"entity-type":"item","numeric-id":300405,"id":"Q300405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255086$C457E6BD-3F9A-43C5-A1DD-B183DC9566DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8dcba1a85b5ac0deee4d501754b8864049a4eff","datavalue":{"value":{"entity-type":"item","numeric-id":2643336,"id":"Q2643336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255086$CAD359B2-3C8F-457A-B77F-F45CA2ABC57B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a5bbee3666eee3a652778234a38c4005afc7cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5255055,"id":"Q5255055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5255086$30BF2FCE-BFBF-49BD-9622-63B35F425CFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c841ea08739fa38b76821129fbbdb6fe48b753","datavalue":{"value":{"time":"+2015-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5255086$D7828424-0C37-44E5-A467-12E267A21F35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255086$4AEDD5FD-2A9D-44E6-86F1-0BB8881669AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255086$92A01E7B-9D31-42C9-BB5C-9745D7921AA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d40096950c3618efd84afad47d2c9a794730cfe","datavalue":{"value":"6445106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255086$6795DDF6-C111-4EF1-82F0-25A47A9A853E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255086$63FD71E0-E104-4630-8E42-DFA6C7D57A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255086$B4C5EB6A-6552-4EBE-AB0D-687DB4880BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5255086$B6CD9B43-98EB-4D84-AD0D-50B0060E4088","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":"Q5255086$AB09A1EE-7C01-4396-92ED-679782316150","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fe907de9c515e488466775acab566d1af5c45de","datavalue":{"value":"https://doi.org/10.1145/1706299.1706338","type":"string"},"datatype":"url"},"type":"statement","id":"Q5255086$8B9F7C01-1D57-4DF1-B350-DD77D2D27AFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbaa21e5d74f40b98ca1ac9acecc20fef3f3c71a","datavalue":{"value":"W2122735631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5255086$D9DF014E-3932-483C-9322-897842207162","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b293978a359b9b010a636f2b0a5d674da329a99","datavalue":{"value":{"entity-type":"item","numeric-id":3617756,"id":"Q3617756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe083a3147945e976b5384815f22a6145124f03","datavalue":{"value":{"amount":"+0.8252235054969788","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":"Q5255086$AAB3E69F-5DB4-46D7-B16B-368E8AB36956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34eb3e48a9cc40a864671b5821b71b2bbe0535eb","datavalue":{"value":{"entity-type":"item","numeric-id":3172943,"id":"Q3172943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e385ebb8f658961d8e0852ea6531dd2d46b7c9","datavalue":{"value":{"amount":"+0.813216507434845","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":"Q5255086$11718EDB-6E2E-47E8-B73E-C34DE073DB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b80530fed140a1587c2a574746083fe2a484d8f2","datavalue":{"value":{"entity-type":"item","numeric-id":5308403,"id":"Q5308403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5d8ba69dbae80acc649f94c40992860d9c0fa6f","datavalue":{"value":{"amount":"+0.7778600454330444","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":"Q5255086$B2D70B2E-160B-41B5-8E04-65774D7E002A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce3129a06bedc309045b13475804b13920885236","datavalue":{"value":{"entity-type":"item","numeric-id":2942882,"id":"Q2942882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b696dcb7d924459c06660feaf53d8f9031a4ef7e","datavalue":{"value":{"amount":"+0.7719916105270386","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":"Q5255086$1CD6A762-7150-42DB-8C9B-FBCAD2FCA295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d25d71a9f028e34771ce103694a0c3c98dbf25a3","datavalue":{"value":{"entity-type":"item","numeric-id":5009435,"id":"Q5009435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5180b4f11664d5aabc02082fdb02fcfac399c266","datavalue":{"value":{"amount":"+0.7460381984710693","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":"Q5255086$1BD3DFC1-6FA5-4FEF-AAD5-46132702E57B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstraction-guided synthesis of synchronization","badges":[]}}}}}