{"entities":{"Q2891421":{"pageid":2902146,"ns":120,"title":"Item:Q2891421","lastrevid":51491354,"modified":"2026-01-18T11:59:22Z","type":"item","id":"Q2891421","labels":{"en":{"language":"en","value":"Effective synthesis of asynchronous systems from GR(1) specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046585"}},"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":"Q2891421$19DB4E2D-2434-4D77-84D5-56F1C6F9F181","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4c546b8b70782268246a4a3c504243bfea86115","datavalue":{"value":{"text":"Effective Synthesis of Asynchronous Systems from GR(1) Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891421$32480ECB-B16E-44B0-A788-EB6101B8B78E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df19f7a69134be72fff723ce2948d7be97148d04","datavalue":{"value":"1326.68186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891421$BCEE13E9-64F4-4D66-82FA-2FB90B4D3759","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebe3a8ea46e28efd8687eeeb73dacec24601c58c","datavalue":{"value":"10.1007/978-3-642-27940-9_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891421$4A1A0869-09F0-41C6-87C5-854A0D38B8C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2e621960a3afd30cbe03facd67ab5439dc0a2fb","datavalue":{"value":{"entity-type":"item","numeric-id":2891420,"id":"Q2891420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891421$FCE8B617-F0D7-4EFC-986F-64E2227C6872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd1d437ad385d0c2e631f017473e3c972acd186","datavalue":{"value":{"entity-type":"item","numeric-id":439953,"id":"Q439953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891421$BC083AE1-0618-463C-889F-65A6A2AD7E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f609d14c1727f970ab5a0ef43992b4a7d4a23fcd","datavalue":{"value":{"entity-type":"item","numeric-id":208770,"id":"Q208770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891421$1EF10F21-A7E0-45D2-BF2C-83531A5FD5D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891421$836D8420-DC4B-40C4-A89A-32907AA61976","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2891421$836F7779-2248-4133-84D5-1D6617A83407","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"582a70148dc3e6eb82c7fa325b0722e5b23eccd1","datavalue":{"value":"http://hdl.handle.net/2381/10445","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891421$2A80CB50-89E5-4164-9638-8B03C1E322AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891421$E2A5C2A4-F2D3-46FD-8508-652637B743E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b7c3cf27d88dfe38c2a81b91142df7cd9e62c64","datavalue":{"value":"6046585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891421$A1C54821-877E-46F0-A059-1FD46B3B91F4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d73dd1d2420347810145e9b0595b720ed4f2fd21","datavalue":{"value":{"entity-type":"item","numeric-id":20857,"id":"Q20857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891421$726F67DC-99AE-4939-9710-7B18CC9B7965","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":"Q2891421$472CEEFE-4483-44F5-A612-7033DED681D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e31140d09ecf17b4c82b8f2d6d31cfe07aaba6d7","datavalue":{"value":"W1548230619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891421$897DBBB5-E4BC-4599-8037-993D4721571C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891421$B9294693-1F4B-4804-B996-A82953C786B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead8421943a1be8110df254acca9ad1e8d64eb52","datavalue":{"value":{"entity-type":"item","numeric-id":5725991,"id":"Q5725991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891421$98B72AC2-9AA1-4365-A97F-99E6133F5349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79853adba7dabb9e347fbe23d83de53aae6e7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3613352,"id":"Q3613352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891421$76538599-26E6-453C-A9B2-4D3E787DDD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e01196a377d49f98745e25c87cd87f0f15a3569e","datavalue":{"value":{"entity-type":"item","numeric-id":2891421,"id":"Q2891421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891421$FDCF571D-1C42-43F8-8E99-41AE582EC414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee375c7bcc9847e2999b97cdff8f98ca7e0a19de","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891421$3CBD43CB-A153-46C7-B6BB-357CBAEC4163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891421$7AA4120F-5EBE-4AC2-ABC7-4BF1570E41C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f9e3cc2faf98359d56e38ca22c138678e8b5a9","datavalue":{"value":{"entity-type":"item","numeric-id":3512440,"id":"Q3512440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891421$9750A036-890D-40B7-A47F-93F949DAC13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75292f6880dd3275361618ebb07df15f46377e02","datavalue":{"value":{"entity-type":"item","numeric-id":4074888,"id":"Q4074888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891421$1B667781-BE59-4105-8EA2-3C42110514EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cf804769cde4eacb437edf170de07127ea8b3e","datavalue":{"value":{"entity-type":"item","numeric-id":3591079,"id":"Q3591079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891421$2CC1231C-1DE6-4279-BF93-44A314CD31C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891421$4DEF581A-4926-44AE-8673-11EBF205096F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891421$F32B123F-609F-46FF-873C-738E7C60A952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1a3b54a2e5ef3ea09f6af9ccb4be610b88e93d","datavalue":{"value":{"entity-type":"item","numeric-id":2985871,"id":"Q2985871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891421$19AEAADD-C157-4537-856B-F44970B27E92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f8fefdb63394d42595a52d52a858b79b7a1b25","datavalue":{"value":{"entity-type":"item","numeric-id":3591079,"id":"Q3591079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d3fab1fb58b850514b3a7b8a24ce7f20343b743","datavalue":{"value":{"amount":"+0.8535926342010498","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":"Q2891421$AD5E0C84-A985-4B64-B740-5FB3DC1AD650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07fa7898f81858dcdd92a4a778118665ccd1a4a0","datavalue":{"value":{"entity-type":"item","numeric-id":6045013,"id":"Q6045013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"163d088fcd2a652df7b4c7700015eb9e9d093398","datavalue":{"value":{"amount":"+0.8467001914978027","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":"Q2891421$76385F5F-1640-448A-80CA-CA3C3830FBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c255db051d96037fdab45204b4f7f4d94d800c","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6d3e35fe20772c0d72a93dd2ecaf49e1b4771be","datavalue":{"value":{"amount":"+0.7979158759117126","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":"Q2891421$5BF9E81E-B2BC-40B0-9821-3193693769F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24baa67ecda617c7ee4717a88ac2034f0c959c02","datavalue":{"value":{"entity-type":"item","numeric-id":1776590,"id":"Q1776590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d807d4dac913d982476a9316391e23b04e20bcf6","datavalue":{"value":{"amount":"+0.786634087562561","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":"Q2891421$1F594687-17BC-4589-B982-69B462A593C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1499ad98aba4b821d50174bcfee1c6e7a31820f","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa2c848646371f2f4f951c832508dde7375702f0","datavalue":{"value":{"amount":"+0.778019368648529","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":"Q2891421$E7E42429-BCD4-4123-9D28-0D01C7EF97D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2891421","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2891421"}}}}}