{"entities":{"Q3449462":{"pageid":5199570,"ns":120,"title":"Item:Q3449462","lastrevid":58181712,"modified":"2026-04-04T03:29:50Z","type":"item","id":"Q3449462","labels":{"en":{"language":"en","value":"Automated synthesis of distributed controllers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6504577"}},"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":"Q3449462$EBA37DE0-CD06-46BB-B813-E9F0073586EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7befda5a92037806667b7a758841b3cb9f9d6cf","datavalue":{"value":{"text":"Automated Synthesis of Distributed Controllers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3449462$F46D2957-3624-4DD1-9B7E-9AF457778F9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0877d23f00fa8c2d8bec9007652811263dced3f8","datavalue":{"value":"1440.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449462$17651AD2-FE0F-45C6-AF41-604DF7249E71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad11f05eafcce871b38aae2c8c7969465fc3b25f","datavalue":{"value":"10.1007/978-3-662-47666-6_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449462$F23ACE37-3454-4756-AD87-AE9C38E5C78D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a53865c1f184b73cba92d65c57544179b9e023","datavalue":{"value":{"entity-type":"item","numeric-id":407517,"id":"Q407517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$2145F732-05D1-4A3D-A3E2-A5B672A16834","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$F6277630-2150-4E1F-A7E1-34C57EF5AE64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87b5c622b344036d13fd1ced0604456063cc2441","datavalue":{"value":{"time":"+2015-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3449462$0DE6649F-D133-4119-8B96-3271C8BCEDE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5801bc94e830a770fc8d20ac698fc2e6100e6d80","datavalue":{"value":"https://arxiv.org/abs/1506.02369","type":"string"},"datatype":"url"},"type":"statement","id":"Q3449462$863246DB-96D9-4F8F-BB27-D19C5E7EE67E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449462$1993F6B4-859F-49D4-9622-90484564B287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449462$E0479FF6-B425-45AC-BC98-331C86E609AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0af2aae33fbd4ac82189aa433744f74a52b36607","datavalue":{"value":"6504577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449462$2EADBF4A-F420-40BF-A193-4F9938E04CCD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b687213a8375e65a3248834735a16b100440644","datavalue":{"value":{"entity-type":"item","numeric-id":19254,"id":"Q19254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$97BE4AB4-09D5-40F0-9C3D-F2E717679BD1","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":"Q3449462$00FEB7B2-E6B6-45E7-BD3F-2639AB9EC007","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f82e6de616747db9d2ae03f475455788d6edae57","datavalue":{"value":"W1787612524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3449462$DFC1BFE9-97B1-4F56-A484-3E86EA69ACDF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b93eee614fd2df5a7bd0e9779f4833f20891d7","datavalue":{"value":{"entity-type":"item","numeric-id":5408432,"id":"Q5408432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$79593193-818E-4CF1-805E-CBD30D7B4BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59e56e2abeec4a2f4dad55d96af1b72e13cc9529","datavalue":{"value":{"entity-type":"item","numeric-id":2963915,"id":"Q2963915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$7D7C7CC5-ADA9-4C14-A27B-EF71C0EF3622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad72a83fa0fa0da4bafc434415496b5de96ed423","datavalue":{"value":{"entity-type":"item","numeric-id":1854357,"id":"Q1854357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$D91B7668-6307-4B25-9912-57C204F1E782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a42ca104bf98dce40fc9a27c1ba9e302c14731e7","datavalue":{"value":{"entity-type":"item","numeric-id":3617744,"id":"Q3617744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$562D5304-0A4F-4036-952E-7DA6E3275364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cad72f183563a822760617a5ef6445d62af8f5b","datavalue":{"value":{"entity-type":"item","numeric-id":690237,"id":"Q690237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$D4399871-BC8C-4F78-93E3-5ADBE7D0D336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a184d0c024c0c20cacd94319ffd65f48287943","datavalue":{"value":{"entity-type":"item","numeric-id":4909348,"id":"Q4909348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$4F6CE3D8-A7FD-4CFA-927A-725F315EF2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca06766684d6875f2b6c3dc42b2014a90381129","datavalue":{"value":{"entity-type":"item","numeric-id":911308,"id":"Q911308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$B254D1BD-832E-406A-9640-32BB5B7D73DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09079fa5d022197877ebd11afb370e2609ae7bf","datavalue":{"value":{"entity-type":"item","numeric-id":3512481,"id":"Q3512481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$7E7B496C-4FA3-4219-9382-F519AF1152FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e35d6c7eda7b15211e8969f9247637ed3b0046","datavalue":{"value":{"entity-type":"item","numeric-id":5491869,"id":"Q5491869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$E034C809-1937-45D0-B7A9-C095C3044294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c96acf389200ae0a7534eb1dede3d1d0c171ad","datavalue":{"value":{"entity-type":"item","numeric-id":5465860,"id":"Q5465860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$2A867827-C775-40FB-935C-18EDDADD4D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b3dfdaf569a80f3c28c51a3c70ee8ae46a953","datavalue":{"value":{"entity-type":"item","numeric-id":2946693,"id":"Q2946693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$28B0C3C5-D3BC-4A07-B9B6-5DA027F01658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3433e81f38bf4d36eab932542c2a15ccaad9561f","datavalue":{"value":{"entity-type":"item","numeric-id":3587426,"id":"Q3587426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$294F4995-A71E-4F1A-9E85-1A0BBCF78607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77eaae5f3f3287304f74412ab11d87eda5bd150f","datavalue":{"value":{"entity-type":"item","numeric-id":5327440,"id":"Q5327440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$DC742D16-CDE8-41A5-8BA2-1B0978E223D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610f18af86e72d607815e49bf82138004c1095e4","datavalue":{"value":{"entity-type":"item","numeric-id":2496297,"id":"Q2496297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$E7DD8272-66B2-42F8-B258-B8F82EC0BC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0685d698c977ebb79b5d59f81e36ff658358900","datavalue":{"value":{"entity-type":"item","numeric-id":3591422,"id":"Q3591422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$E94CC18F-F597-46D3-A705-DFB5CBDE84FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$1BF09F4C-1B73-41EC-A760-7F22266CFD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e4cdf07d6930e1408d9abf4890e29c2486e75f6","datavalue":{"value":{"entity-type":"item","numeric-id":2453582,"id":"Q2453582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$77BB20B1-FF64-4182-A83F-2A442402B44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01bdc88213ad901fc13d8a639e5a25c91349bfab","datavalue":{"value":{"entity-type":"item","numeric-id":2573333,"id":"Q2573333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$C3BCB0C8-8CB5-480B-AA74-C0D942E02186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4843ebf6d597777fb56e7b61de2fec2c0cf06552","datavalue":{"value":{"entity-type":"item","numeric-id":407518,"id":"Q407518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$C1CAE610-1140-4BF0-BA7E-7924C2FD479F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c23415e046078c6c12f71e66b4ffe401fb291c65","datavalue":{"value":{"entity-type":"item","numeric-id":2957490,"id":"Q2957490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$3D5D5B4C-D5D7-4F55-A11A-C0B3A181FFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$3ED59A24-1CA6-4970-BCEE-8950A7AA2859","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":"Q3449462$0466AB11-EBB5-4F3D-A76F-46020716065D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f234712b1aa94710207e78d0463a15230877fc","datavalue":{"value":{"entity-type":"item","numeric-id":5897770,"id":"Q5897770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$D15A11E7-13AC-4D0C-866C-28FD42B5C2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"473157de33e9daafb8a601b8d009c0cc6f89ba3a","datavalue":{"value":{"entity-type":"item","numeric-id":2503039,"id":"Q2503039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$A00F7BD9-9DD7-4FDD-A62D-CFDA814366FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3c599a6d4390d928bfcaacd134fc8557765945","datavalue":{"value":{"entity-type":"item","numeric-id":5137336,"id":"Q5137336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$D57D5DBD-DECE-4A75-9DFC-AE9290BAF0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"782615f367b4c7981c5f415c8f3458e7e600e9de","datavalue":{"value":{"entity-type":"item","numeric-id":2978553,"id":"Q2978553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$F9C3201B-CDCA-48BA-8F24-FE340458131B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$D5ABF7A9-0F61-412D-B6DF-894B099F5BBE","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":"Q3449462$F17DBD7C-C90D-4A07-9FF6-F3E6E170AABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff1910bb3c0241d98d0996e4c11f3e32a28400","datavalue":{"value":{"entity-type":"item","numeric-id":3761703,"id":"Q3761703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3449462$249C6E3D-3FEF-4F37-B383-F1A0AA84F5BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d00ee20b7ccd9dcc6c3ffb70de3b0265cd2a901b","datavalue":{"value":{"entity-type":"item","numeric-id":5136292,"id":"Q5136292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e9a32847e7ad100434201e208dd39d5a3ca1edd","datavalue":{"value":{"amount":"+0.8389367461204529","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":"Q3449462$33AF7FED-A95B-4DB4-B812-95149F388C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30c265861856e4e9094d11250077731a3a1195d2","datavalue":{"value":{"entity-type":"item","numeric-id":5900556,"id":"Q5900556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9db2cde89cd982fdf09e4dea5d10b66d0bf7bf7","datavalue":{"value":{"amount":"+0.7866842150688171","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":"Q3449462$F9CCBFC5-34CA-4445-9A3A-416992748DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd4fc75fa627120eda29e8b8cc7e75f993486b6d","datavalue":{"value":{"entity-type":"item","numeric-id":4931279,"id":"Q4931279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b024685aa0dac8e5353d29198579180ee76270b","datavalue":{"value":{"amount":"+0.7856463193893433","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":"Q3449462$91BBB568-3525-47C9-A52F-A278CD0E550A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85b4feba24d88cd9a44e91bc0a1b6ffd5e629117","datavalue":{"value":{"entity-type":"item","numeric-id":5491869,"id":"Q5491869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3747bfd56019d8a3fe8520dffea6a4c10b063017","datavalue":{"value":{"amount":"+0.7755877375602722","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":"Q3449462$D73638F7-4A31-494B-A568-F25C2DC71111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2751d9a71623fdddfad00ffe4cf9328cf63d946","datavalue":{"value":{"entity-type":"item","numeric-id":3426790,"id":"Q3426790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61d62f59d43db5c98f16fd003d4a6d5e4b37f9c8","datavalue":{"value":{"amount":"+0.7739768028259277","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":"Q3449462$1830A1E1-9251-4D43-8252-942E37D2D9AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3449462","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3449462"}}}}}