{"entities":{"Q5452621":{"pageid":7482180,"ns":120,"title":"Item:Q5452621","lastrevid":50326961,"modified":"2026-01-13T20:11:07Z","type":"item","id":"Q5452621","labels":{"en":{"language":"en","value":"Invariant Synthesis for Combined Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5259448"}},"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":"Q5452621$0342CC28-D635-4B7C-96BC-5D74CE88F352","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69f0fb44d90cfe29a2466a96505e8e1d0394fe08","datavalue":{"value":{"text":"Invariant Synthesis for Combined Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5452621$8427584D-B18C-4820-A6D4-2955BC0BC650","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3a46132f917da0c4c47d9e422b581a61e0e8ffc","datavalue":{"value":"1132.68333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452621$3AC9BDDE-18A0-4C27-AAC3-C8D36FB0C093","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b448f199808872a93540e9ca5d8a6aad6f2d5b5","datavalue":{"value":"10.1007/978-3-540-69738-1_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452621$1ADBBF9F-05C6-44A9-9A5A-4DF908DCF3A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4125ba106c69323576edaf1300fa9e74bc379cdb","datavalue":{"value":{"entity-type":"item","numeric-id":930432,"id":"Q930432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452621$C03B74A1-002C-4C05-B22E-60E0EBAFF3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452621$2356E96B-F6AD-4881-A156-9E37B1E40256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f09e7b1eefa8c699a9d529da40fe033eb88541","datavalue":{"value":{"entity-type":"item","numeric-id":604393,"id":"Q604393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452621$20964394-2EC9-4FFF-A257-A00ECB7961C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452621$65B89CB9-5E6F-4F6F-AB51-06346E02F3B8","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":"Q5452621$417108C8-135F-450C-9815-9097D114620A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"283c808929f873b84bd7c8d7eb4dc979113b8f01","datavalue":{"value":{"time":"+2008-04-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":"Q5452621$2FC3F543-E2BE-4E43-9B47-388CB1239E95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3419b6857c2ab26b9f4f33eccc6210062a10b75","datavalue":{"value":"http://edoc.mpg.de/356708","type":"string"},"datatype":"url"},"type":"statement","id":"Q5452621$5795844C-1FD7-4E30-81C1-792AA8BDB7CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452621$EFFA247C-4827-4353-B142-C93D593C16F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452621$C940F568-5E42-4837-B1E2-E73E96870A04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02c345c844174e1201ebeec70b07f70ef2c69e99","datavalue":{"value":"5259448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452621$67DEFF77-8BBB-4689-8017-27426189B75E","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":"Q5452621$2E75BAF8-B2D6-4878-BA7D-80023DD5F1AD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d428be9275be816e6911af9b722447d8132d74b2","datavalue":{"value":"W1711276981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5452621$1BCB2115-B440-4AB5-9120-EB31B4DF6B48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452621$790BCE5D-4E3A-4369-A8F3-63294C719025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452621$20F43668-F361-4DBB-8C23-40EEE3C40058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452621$CB1B5EED-ADFA-4178-980B-1FC456CCDF1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee35b920b29b4f9dcb2d3243c04d909ecceb6c8","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452621$46A25E9C-0991-4493-937A-758FAC41FD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cca9f9428ea63e6117d5a41c3da120c355291ed","datavalue":{"value":{"entity-type":"item","numeric-id":5711486,"id":"Q5711486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452621$F352AB77-CCFC-469B-9B11-CCD9D92B8FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452621$C95172FE-DC3A-41CC-BE7C-012F314BBA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452621$72C83E9E-490C-4DCF-90DB-6FB5F6BE28E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d31587db9fc2bf1e4c778f1f84d35a04e852bc","datavalue":{"value":{"entity-type":"item","numeric-id":5466578,"id":"Q5466578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452621$12D74077-1F82-4DB1-B98D-D549B0F5EFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632143a12812e0e87ca17f511a00c35f2ee01dd5","datavalue":{"value":{"entity-type":"item","numeric-id":3452270,"id":"Q3452270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452621$614CDA4B-F23D-4B45-94D5-9570A6BC7A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86346ec7f69bcc942c27a0f9a2665a249b5ca158","datavalue":{"value":{"entity-type":"item","numeric-id":5711496,"id":"Q5711496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452621$42249C40-B548-4045-8E84-F51B3F02D599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452621$1B75F8A1-93ED-4535-B202-A57991623AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97410c5f75f024969fa496104e5d0f6c8e839095","datavalue":{"value":{"entity-type":"item","numeric-id":5394615,"id":"Q5394615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5452621$DECB5DD7-E3A1-4E19-B77B-C3C9EF34DF1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df382d8d1b86451a6937787c5c53ef4f54c6c488","datavalue":{"value":{"entity-type":"item","numeric-id":2842643,"id":"Q2842643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"505b5bd57d465b82ad2c878a8d1677730681314e","datavalue":{"value":{"amount":"+0.8027490973472595","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":"Q5452621$06E29BA6-9F63-49C4-9B9C-D80244AFA35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc47d371be75bc56a3d19a2e60b717b0a46b1228","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f09b93f8c7f3c3626d72487c1f97a5fcec22ce2","datavalue":{"value":{"amount":"+0.7718284726142883","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":"Q5452621$749FB526-1E05-4785-9830-0FA0452BD212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e06016963fa7603b778e3bb1f46482d10e1b53c1","datavalue":{"value":{"entity-type":"item","numeric-id":3648730,"id":"Q3648730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c334f57d20667dc1fce61a3a7f7fdd4013bd3ea","datavalue":{"value":{"amount":"+0.764404833316803","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":"Q5452621$B5D419C6-4521-40F8-9C45-F347897131A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a99fc288dba578a1db3b585fe6c3675f247f4c41","datavalue":{"value":{"entity-type":"item","numeric-id":1930180,"id":"Q1930180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a404981b8659af24852ededfd4d6b7e77d09e4e6","datavalue":{"value":{"amount":"+0.7624354362487793","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":"Q5452621$B3B4170E-9C37-4E64-A4EF-0DD3ECDAFF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb23bd8c9cdca6792eabcff20647876a470cc75","datavalue":{"value":{"entity-type":"item","numeric-id":5096093,"id":"Q5096093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca30eb7f7baff24715dde09c9bd89d0716b5349e","datavalue":{"value":{"amount":"+0.7498700022697449","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":"Q5452621$9B0F7012-37FA-4FC8-86A0-DB202B20BB39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5452621","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5452621"}}}}}