{"entities":{"Q6993502":{"pageid":21464004,"ns":120,"title":"Item:Q6993502","lastrevid":83965778,"modified":"2026-05-07T15:12:17Z","type":"item","id":"Q6993502","labels":{"en":{"language":"en","value":"Contract-based distributed logical controller synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8030839"}},"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":"Q6993502$5804AD3A-4B17-4F9C-8EBD-F565D31DDD9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e8db3a0c43625fd3e09589930030fc374ba1d9a","datavalue":{"value":{"text":"Contract-based distributed logical controller synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6993502$D5D04873-C5BB-40AA-B76E-88686637E62A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27c54379bf98b80f4a78b6face28e80b03cd75c4","datavalue":{"value":"10.1145/3641513.3650123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993502$8F15CB1D-E585-433C-8BB4-A115F85EF45D","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":"Q6993502$C7624476-2C49-4D15-BFB3-46A115E07848","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":"Q6993502$E75F836F-5D57-4546-BC02-8C814DF59A09","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":"Q6993502$DC50A827-EA1B-40AF-9CFF-8C27E4D28344","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36d5abadbf07d23923c3e363e6676c69e633cc71","datavalue":{"value":{"time":"+2025-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6993502$E1C94BD8-BE7E-408E-9435-DBE06A7C6AE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993502$34E8C4AF-2EFF-4B2C-8B16-3DBBD21DC2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993502$9F2E0AA8-E734-41C4-87D7-C21E2C6AF2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993502$97BA12F8-C670-4293-BF14-C4FA2139FEFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69eec603fa8c652558a7cacf901ac95a2466a0c7","datavalue":{"value":"8030839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6993502$3B19A7D2-48EB-4D56-B2E2-ACCA12CCEF7A","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":"Q6993502$7103D519-2415-4175-AA79-B46E53028BA3","rank":"normal"}],"P223":[{"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":"Q6993502$BA92A1DF-73EE-4726-868B-DE1AB946257C","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":"Q6993502$812BBEE6-198C-4C9F-A870-DFE373C9144A","rank":"normal"},{"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":"Q6993502$FBF460B7-8C2D-4333-AFD0-68484A2241CD","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":"Q6993502$692586DA-75B5-4490-A549-2312F75F1C3B","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":"Q6993502$2F079E1B-9001-482B-A601-FC43EEF71A5D","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":"Q6993502$EEC5ECFD-D530-4CC8-B41E-18F88B25B837","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":"Q6993502$4E87C0B8-ACA2-4DA6-B1CD-D416ED9ADC07","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":"Q6993502$09AEE84C-79BE-4A56-8401-7A828069042D","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":"Q6993502$042C1593-E637-4A74-9343-C44AF872A9B7","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":"Q6993502$8B158CD4-F6C5-450E-A391-A600A00AC4BD","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":"Q6993502$6987EF8D-1833-4E9C-9492-C2EBFA511DDC","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":"Q6993502$91DF700F-9A25-4376-93FE-00CE6089A7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54672907b00c329f6ad4b714b74abfab3d4ea8a7","datavalue":{"value":{"entity-type":"item","numeric-id":6202120,"id":"Q6202120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6993502$EDE2E557-9926-4CA8-87B5-BE8173083107","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":"Q6993502$E9C66C01-B915-4A05-B2A5-A351E0913A9D","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":"Q6993502$EF9003C9-259F-4F6E-B950-21151ECF4704","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":"Q6993502$641B2E31-AEF1-45CB-A993-8B2D567458A8","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":"Q6993502$6C988241-AD47-4E36-8FE4-305EBE9EBA67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Contract-based distributed logical controller synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Contract-based_distributed_logical_controller_synthesis"}}}}}