{"entities":{"Q7354401":{"pageid":31487156,"ns":120,"title":"Item:Q7354401","lastrevid":105269600,"modified":"2026-09-29T12:55:26Z","type":"item","id":"Q7354401","labels":{"en":{"language":"en","value":"Contract-based multi-agent logical controller synthesis under uncertainty"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8258907"}},"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":"Q7354401$5FF1B5A4-683F-4928-8D4A-EE8B9535B0DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59934c30634e2b6f0ced56bf60022b8f41871190","datavalue":{"value":{"text":"Contract-based multi-agent logical controller synthesis under uncertainty","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7354401$0A21DDB9-04A2-402D-8545-984521D5F776","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"900da201a826e96490854cdbc9cc78f4037f92c0","datavalue":{"value":"10.1016/J.NAHS.2026.101783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7354401$06FB518D-1897-466C-A593-274A7B97D681","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccaac606e2461150312f5f4852a6287804273157","datavalue":{"value":{"entity-type":"item","numeric-id":6202123,"id":"Q6202123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$9F32BF36-BB06-43E7-970A-BC0577B7289A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16e960cda4915cb44b80d86ecf43e2d86ff390bd","datavalue":{"value":{"entity-type":"item","numeric-id":6120682,"id":"Q6120682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$10EDB3D2-7FFD-4C7E-A944-396721EBC72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"556d50c1b83e8f28bc968c0bdf2bc4419b8ca47a","datavalue":{"value":{"entity-type":"item","numeric-id":262423,"id":"Q262423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$89AF355B-1200-4A0D-BC2C-DB9DD5A7F5BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9d0f2155ba9995cae9f99d2ed79b4b1c769519a1","datavalue":{"value":{"entity-type":"item","numeric-id":254169,"id":"Q254169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$0481FEB5-F9A9-4EBE-9BF0-C965EB22FA6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1de36ba349ecf938303a3b76f3911a5862243252","datavalue":{"value":{"time":"+2026-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7354401$0470E1AA-1B85-4FAD-BFE4-A041B21CBE71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7354401$AA91FDE8-1C2E-4D42-9A2F-48EE2E7D14E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2bfaecbf584554114e0043b0c6c7bffb91e17209","datavalue":{"value":"91-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7354401$5E158D87-AF39-449B-88EC-8D24180F4783","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35dd97f1816399f1dc38af88e883dfff84de187a","datavalue":{"value":"8258907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7354401$95D7A90E-B6A0-42D0-8562-7D81B9A7C577","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":"Q7354401$0D91519C-4211-4C3B-8C2E-AC86324B762F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a589c4aba38b2f4c2b6f1f33840f4f0eb6c51422","datavalue":{"value":{"entity-type":"item","numeric-id":6535644,"id":"Q6535644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$A14A144D-6034-446C-AEA0-E6813DC849CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$72B1EF6D-7E72-47F2-8419-49BF0296B40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd1e017b36c8b2e79265938fc70761ebf75c7b9","datavalue":{"value":{"entity-type":"item","numeric-id":6993502,"id":"Q6993502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$7C90BEF2-07E9-4E96-B15E-76B8A5A08526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ab46ab5a901c5beb5ec6cb2c5bcdc36eaece6f1","datavalue":{"value":{"entity-type":"item","numeric-id":6536127,"id":"Q6536127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$0C29F949-4E14-4359-9706-BB8F16EE2472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f5e7b9368615051c1055b4de5c53078517205c","datavalue":{"value":{"entity-type":"item","numeric-id":5281987,"id":"Q5281987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$FF8BF865-D1FF-45D0-8CFB-C5780758F893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aced22ca1650c3a3a207c0528ee0933cd822ce9","datavalue":{"value":{"entity-type":"item","numeric-id":6160737,"id":"Q6160737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$2C0E6BC7-6B4D-48BC-8C50-EF7F1CA050B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d224c656833e63bb01e9bd0da629aafb6bb828db","datavalue":{"value":{"entity-type":"item","numeric-id":6846612,"id":"Q6846612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$701AFFBB-78E5-4150-A90B-6CF90A1A05F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a7311c2cc3ee6e63514aa6bee27428e1f9211cb","datavalue":{"value":{"entity-type":"item","numeric-id":2012356,"id":"Q2012356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$A3B9EA74-214C-49F3-9FC5-D785C6E25322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"069b530e2254d8251d778c92758824d3faae6421","datavalue":{"value":{"entity-type":"item","numeric-id":4633556,"id":"Q4633556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$4A618AD9-5C03-44AD-B74B-834D9807E33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72cb41865cb235d812cbec7253fb221b5bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$EBF39437-0EAE-4C4B-875F-1312C2D667AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a43cd86c4e56de3188d95c3407dd857965f3ff","datavalue":{"value":{"entity-type":"item","numeric-id":5282424,"id":"Q5282424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$678C3E99-7E06-4FFB-903E-95520F5F91D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3515890ca165cc8640106ea5636e2eceb7ca41b9","datavalue":{"value":{"entity-type":"item","numeric-id":5223778,"id":"Q5223778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$19A1D76C-B663-4CDF-ADDF-9B52522CC209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6a4124d76e5449877c4923a5fb858149480e879","datavalue":{"value":{"entity-type":"item","numeric-id":4630123,"id":"Q4630123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$FFA064B0-2C6C-4925-A727-60F06F9B0D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4405757a29168e2d7f22a3338e2f39041151064","datavalue":{"value":{"entity-type":"item","numeric-id":4560092,"id":"Q4560092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$14D5B8C2-0942-4D97-BFA3-4CBCF74EE830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e137dd1c7950f809903f5978c0a212378e19c8","datavalue":{"value":{"entity-type":"item","numeric-id":5275333,"id":"Q5275333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$803CFE6E-AF40-4124-9413-0D6E10B6A84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4857472ab7a7fc0e2b77e238d9cbcb3d364d796f","datavalue":{"value":{"entity-type":"item","numeric-id":5758113,"id":"Q5758113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$C16F34E8-91AC-4086-9F47-F83106E8B874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faab337e9d7f0e9705d3a9540cc5e613e59a70db","datavalue":{"value":{"entity-type":"item","numeric-id":520340,"id":"Q520340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$86169984-6234-442B-9291-E7F5D5120AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83b67224a5e8ead35f59986066c4b55f0ff0f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1641032,"id":"Q1641032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$C84F2B34-01B8-443F-A45E-FC008E5875CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1587524a79c4b9ac078dd6cbdf5a36392a53ef","datavalue":{"value":{"entity-type":"item","numeric-id":5194960,"id":"Q5194960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$37656455-E138-46CA-97AF-8E2E1F47F5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b3a63191708fcbef13555df7dd8e686610d49c","datavalue":{"value":{"entity-type":"item","numeric-id":854165,"id":"Q854165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$A20B22C5-1377-43E2-B8A3-7515B33E1006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab98f9d075e736218c3e96cb796315f50ea82db","datavalue":{"value":{"entity-type":"item","numeric-id":5793846,"id":"Q5793846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$78AAA6CF-94C4-4A0D-B2B3-FCCF8249D28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8266eff96f4b39f0179e9a0475194c39406fc6cb","datavalue":{"value":{"entity-type":"item","numeric-id":6604654,"id":"Q6604654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$0EB02988-98CC-4F7E-BBEC-D23ACB332AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb24b2fbbc8df282d5ad9fab3a580bd2906e1de4","datavalue":{"value":{"entity-type":"item","numeric-id":1693819,"id":"Q1693819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$24CE5617-44DA-4C0A-84B3-F916158D7C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff1b284d6d773d50f8f97f2c3bc1c31890466e6","datavalue":{"value":{"entity-type":"item","numeric-id":2177781,"id":"Q2177781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$C4F29CBB-E707-4534-805D-65F612A2FA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afbb8e090880fad7cead525488953cc5fb026935","datavalue":{"value":{"entity-type":"item","numeric-id":6137513,"id":"Q6137513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$28FB2622-E368-4861-ACA8-0F53D8EDA562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafbe109f120b38c7a904eaf59f442fb7da79b66","datavalue":{"value":{"entity-type":"item","numeric-id":3541016,"id":"Q3541016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$A6DF01FE-5BC2-4D9A-8C2E-B2C1E3CDB382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee12246077e1046f20447c080ff87f9448e9f4c","datavalue":{"value":{"entity-type":"item","numeric-id":6979821,"id":"Q6979821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$C5603F48-2BB8-4337-8EBF-92557C530BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$8B93867A-1DA3-4178-A106-A7E9AD53EB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$B03CCD01-225C-4557-A078-4FDAE6AC1B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d925545028cebbe906f88a63611519e302be1c5","datavalue":{"value":{"entity-type":"item","numeric-id":3709867,"id":"Q3709867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$E99F8372-1A0D-40F8-A0FE-B870C475F0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$4B9D759E-0606-45BE-9764-0FD3B8CA4F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0f06f8149ad9449d52f3e00709cc707f14bc42","datavalue":{"value":{"entity-type":"item","numeric-id":1276252,"id":"Q1276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$E291398B-5CF8-4D53-BF03-AA3D6214B57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77967261911b0e8c69ed8b8494c80615c4953039","datavalue":{"value":{"entity-type":"item","numeric-id":5758061,"id":"Q5758061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$230CB04F-8C86-44C9-90EC-A405CB2363D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92c7e06b4a7732e8ee0d2cecda6c01c2a543a7fd","datavalue":{"value":{"entity-type":"item","numeric-id":2330591,"id":"Q2330591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$4DD3D6C9-1865-40C5-97CB-23F4DD9B3611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49097e5722e060f524c33c4a300a87aade989ce9","datavalue":{"value":{"entity-type":"item","numeric-id":2350495,"id":"Q2350495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$72368241-43B1-41DA-9D1D-3C4C8E1EB512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad4df618221afbf206f836d4261798d74d51258","datavalue":{"value":{"entity-type":"item","numeric-id":2769435,"id":"Q2769435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7354401$E7362EDC-1CED-4A98-8A54-14F58D37389C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Contract-based multi-agent logical controller synthesis under uncertainty","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Contract-based_multi-agent_logical_controller_synthesis_under_uncertainty"}}}}}