{"entities":{"Q5146379":{"pageid":7175950,"ns":120,"title":"Item:Q5146379","lastrevid":32918856,"modified":"2024-03-20T01:04:54Z","type":"item","id":"Q5146379","labels":{"en":{"language":"en","value":"Compositional synthesis via a convex parameterization of assume-guarantee contracts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7300857"}},"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":"Q5146379$441B54B0-01BC-48DF-8E05-DF4A9AD97109","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"931060f16f89908dd3a0dab88cc37c5537477bba","datavalue":{"value":{"text":"Compositional synthesis via a convex parameterization of assume-guarantee contracts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5146379$AF0DD502-9BCB-4E6B-B9BA-9285F0B2FEB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7ec0b1e4e9ae27c677715c3839e13631ed668e7","datavalue":{"value":"10.1145/3365365.3382212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146379$3AB237BE-D2AB-40EB-A176-212C36F6F34E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24d3e067112f772df33aa86b31fbf76343efd73f","datavalue":{"value":{"entity-type":"item","numeric-id":5146378,"id":"Q5146378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146379$417DA368-0A9A-4B8A-8E0C-04A85E602682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fde2f41e6b833c25b748176d2f729d27ca32ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4561446,"id":"Q4561446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146379$C8A89CA7-255A-40F0-8D10-74ABE0FCEE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72a9bc0dd2218172a714bfff2e47becf5e5a96ec","datavalue":{"value":{"entity-type":"item","numeric-id":184778,"id":"Q184778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146379$03EEC447-CECF-4593-8D9B-46FE0349E79C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00d79ec26a05c4c4c6269c083164f9555ddd9a1d","datavalue":{"value":{"entity-type":"item","numeric-id":5146359,"id":"Q5146359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146379$B8483D98-D20C-47F8-A0FF-D76E3D455FC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0827198be489c99d5ba6559ec16692e838cc43b","datavalue":{"value":{"time":"+2021-01-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":"Q5146379$9523B088-29E2-437D-B679-887FB348081D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9fb0c3140e9966edc0239e02ed84ba3ed1f8311","datavalue":{"value":"https://arxiv.org/abs/2002.06494","type":"string"},"datatype":"url"},"type":"statement","id":"Q5146379$0A0BDD83-B311-4F0F-9B14-249BB2C3879B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146379$A0DE2C64-AC24-4B10-97FA-6DDEB40F51E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146379$6C7E6B0F-FE31-4307-B35C-198E04A8E6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146379$CC930429-52B8-4BEC-A352-25D98AC2B8C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b559794f11c297dc0b2fe248c43c8a5556915d95","datavalue":{"value":"7300857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146379$1395D0D4-DD71-446D-B98D-AA132B87F45B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e996707b7447e003edbcbc024e51d7b9eee5a25","datavalue":{"value":"assume-guarantee contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146379$2B9D04C3-584D-4B50-9ECD-90FD045B96B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe5448baf44020b0001eb7bc71d160c44f47ec3","datavalue":{"value":"compositional synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146379$CE3587F5-80BD-4FE7-AC8F-1555D3A3DF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f05c896821d42b58d4a4b5240cb0f1ccdd6b927","datavalue":{"value":"linear systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146379$7DD28D6F-5E61-41AC-8176-0B06AA9A8613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1262528655aef9028bceca97c23634e8ff7b8d99","datavalue":{"value":"viable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146379$0FE914F1-4DD9-4CC4-99D0-85E6BB9D719D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dacafb13c7424032099496b7b9301abe189895e","datavalue":{"value":"zonotopes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146379$4ADBFCD5-1BAD-461B-A17D-0979CB65C6FE","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":"Q5146379$9931E65D-8ABA-4265-8CD5-4A91FBBFA282","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bff1e2e4655f3e623d58dddee1e1c17a9bf851dd","datavalue":{"value":"W3006348814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146379$CAF5CC93-0D3E-4812-85C9-79C2308186A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5146379","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5146379"}}}}}