{"entities":{"Q3172943":{"pageid":3183653,"ns":120,"title":"Item:Q3172943","lastrevid":85993016,"modified":"2026-06-03T13:16:00Z","type":"item","id":"Q3172943","labels":{"en":{"language":"en","value":"An algorithmic framework for synthesis of concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954815"}},"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":"Q3172943$5503C19F-D206-4594-A38D-774A96E55393","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3504c87af57b33f9da2591b5c283e6e8382222ce","datavalue":{"value":{"text":"An Algorithmic Framework for Synthesis of Concurrent Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172943$B1AD1C34-1831-4E14-9B1D-C01D7C8F89F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb81baa75194adc151b634631d7ae80303e092e7","datavalue":{"value":"1348.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172943$9BFC9D6E-1F1C-4820-8398-6E51B21E1F1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8118f69f3c1b8288d1a073ced34b81e03337c7b","datavalue":{"value":"10.1007/978-3-642-24372-1_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172943$E35F2DB2-C4D3-4B5B-8368-81288E9BD2B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71afe46297f18a421d1fd41065521af956244fc9","datavalue":{"value":{"entity-type":"item","numeric-id":526751,"id":"Q526751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172943$AD4E4422-7480-4D99-AF54-9E96189B05E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172943$F5BBBD67-5785-40DE-B222-15CDFED403BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172943$36F26AD8-1092-41DF-A0DC-BB6D810DA15A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-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":"Q3172943$4B215809-4A7E-4801-8B5C-3C1C5792DB99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172943$82D6A80F-4755-46B4-BB82-3DB05476ADEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172943$2156C59C-58D3-44A4-BE5A-643D17413E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172943$42508EF5-2BBF-4AC6-A18A-953A417BC8B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b3a4b0ce86a9ae40b41773579c1d8c3641f012f","datavalue":{"value":"5954815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172943$1896CFD8-62ED-4A6D-B09F-07239392FD20","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a58344ca6620cc2911a46ed8252c861b469b4da","datavalue":{"value":{"entity-type":"item","numeric-id":14536,"id":"Q14536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172943$E62C3813-4733-46AB-B916-9F0FF8C23F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"399ca3bbf3e4d3a265db2c0e95d3e871677c08c4","datavalue":{"value":{"entity-type":"item","numeric-id":13688,"id":"Q13688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172943$44B79588-BCF5-4CE2-915C-3677454C4152","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":"Q3172943$6334512B-6489-4457-AD98-E061CE7D450E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30dd30ed844a56758e303eb859672c5d25252ff9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24372-1_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172943$23CCFBB0-A3EB-451E-969F-1F7AE0A91E34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff43c70cbe0802c5128ec9cb32e4ff04783a535a","datavalue":{"value":"W1503426638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172943$75ED0616-3A8D-42B7-BA7C-C6678E4D571B","rank":"normal"}],"P1643":[{"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":"256dd5402fd566e95d717c297ce66f9eeaa17d44","datavalue":{"value":{"amount":"+0.8221844434738159","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":"Q3172943$901A34CD-EE91-4A6B-A4AC-A9DF2B50EA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21088c4a66251029a26f54903401216c57e5b31","datavalue":{"value":{"entity-type":"item","numeric-id":5255086,"id":"Q5255086"},"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":"Q3172943$5090B6C2-F367-4A6F-A6E1-F71F04D55658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb3761f8979427ac83fecc15ba213f555b3de8a","datavalue":{"value":{"entity-type":"item","numeric-id":4902316,"id":"Q4902316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4ed092516d03bdfdb274b2d86382b835847dfa","datavalue":{"value":{"amount":"+0.8124173283576965","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":"Q3172943$3B7FF656-0485-47E0-8506-D7C96133530F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7947db12a37086a05314e704d4010b4a2455d1a6","datavalue":{"value":{"entity-type":"item","numeric-id":4270054,"id":"Q4270054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"162093f89aec90454a1129b9af0d997e7e5fd6af","datavalue":{"value":{"amount":"+0.8102357387542725","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":"Q3172943$4B186212-3F4B-4BE6-9372-3F1E689811F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"421940e95db26cdd0db128bbc9b5797a786499d6","datavalue":{"value":{"entity-type":"item","numeric-id":346790,"id":"Q346790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d61b1b276a949e41d2e23c10149348172a2a46","datavalue":{"value":{"amount":"+0.807998538017273","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":"Q3172943$4E7529DA-E1E5-4D81-B03D-2DA3543F4700","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithmic framework for synthesis of concurrent programs","badges":[]}}}}}