{"entities":{"Q2864402":{"pageid":2875122,"ns":120,"title":"Item:Q2864402","lastrevid":56883819,"modified":"2026-03-24T10:40:06Z","type":"item","id":"Q2864402","labels":{"en":{"language":"en","value":"Model-based theory combination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236410"}},"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":"Q2864402$A1256556-1724-48E9-853D-FB897BD0E182","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"397238d74be08badf1475435e4e179dca3cd0d42","datavalue":{"value":"1277.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864402$3948671A-F95F-4F18-8A33-A90F42BAA5C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"899468d0fe4ec0ae9c5ef91b63881ae72bf40a46","datavalue":{"value":{"entity-type":"item","numeric-id":438532,"id":"Q438532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864402$BD860F62-D797-42F8-8421-1A018652AD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f1a755ad39b856fc5a2e4101b7c12f7b83c7256","datavalue":{"value":{"entity-type":"item","numeric-id":483050,"id":"Q483050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864402$68082ADE-79B5-4D9C-8DA8-4734F9B96C59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864402$C5CF42CD-E325-46ED-B45F-C94F5D65DE2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864402$DD28072E-C448-4BFF-A34F-BD81217B0BDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864402$BC8D151D-E6FA-47FD-A5E4-867443000C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864402$BCE546E9-2CB4-4B3E-BD37-29990FA78B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864402$AADE7ED6-4110-45A4-9D81-A92CD801C228","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8877daea4d3c4b3779973aaa3b687b0f1c3424f","datavalue":{"value":"6236410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864402$06B44C19-B9B3-43F3-ACCD-9C47327B527B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c97c87aad358aaa4a159991a487a984d3a19cc4","datavalue":{"value":"theory combination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864402$9B0ED926-6172-454D-AAFF-97E08289D26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864402$C324DC1E-7EAC-4C04-8A48-3DC6355C7D4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864402$2E89BB27-4BE0-41C2-ACCF-AE893F19607A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864402$779179C0-0EBC-468D-8D47-2457957F6CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"842bcffb0bb918fd12447e4f670f8dc61d68f929","datavalue":{"value":{"entity-type":"item","numeric-id":21432,"id":"Q21432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864402$0E0DC743-C2AF-4224-A53F-A6BBE1A576E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864402$20525CB2-B544-4F1A-BF50-326A2ED1F55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864402$F77C6951-F246-4271-B822-77959B6F7900","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":"Q2864402$C9B5BA3B-2AE2-4EF5-8BA2-4E6155B9DD93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da13995620bb85495bfbd3a1fc3233952f9bea2a","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.04.079","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864402$DF8005C4-1F90-449E-A976-4998FBD7121A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"372b873895ed186082525a6973a5a2cac2307d05","datavalue":{"value":"W2110780548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864402$E9C6E700-F53B-4E4A-A715-E79A33C6BB94","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b2673bf036beb0708e9a25319f486f5c7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2651970,"id":"Q2651970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864402$9FC52E8C-16B9-49A9-BD83-2DFAC2E1CC72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b0f81481964ce2c3959f44994546ec67aa5a63","datavalue":{"value":{"entity-type":"item","numeric-id":2432765,"id":"Q2432765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864402$BBD244C5-FAD0-4E9B-B92E-D9E7D652FC1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02b09c1652d02e3c79a7796cbe37b711593d40a","datavalue":{"value":{"entity-type":"item","numeric-id":5387920,"id":"Q5387920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864402$0BFC0D59-1368-427C-80F9-BDF4D19B9227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc40c812d63ac65a43f7097e08e541074138fd0b","datavalue":{"value":{"entity-type":"item","numeric-id":5387917,"id":"Q5387917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864402$9AF1A04E-5C93-46CC-B417-617C34DA13CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864402$FB5C7E90-1A90-4ED7-AE7B-0291C31D16CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da96dfa99f70c6b2b69c48b417a516b8fa851830","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864402$6A85B64F-E4B5-4F60-9C67-88CDD4F619C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864402$8F10E5CC-6F09-4FC7-A5AA-4439A33C53AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09716697edb234ce77c2288fe827cd22e3a8915","datavalue":{"value":{"entity-type":"item","numeric-id":876046,"id":"Q876046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864402$F7743061-78D8-46C7-B589-D442F2E43949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864402$64D70FC7-5D49-441E-ABC4-D90189710DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee2617cef1cf0c9ff3231738b768f1c996bcadd","datavalue":{"value":{"entity-type":"item","numeric-id":1141138,"id":"Q1141138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864402$0FBD6235-E394-4FA3-803C-8612873D25F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d23d752af51468669438a65727e2f56ea73491","datavalue":{"value":{"entity-type":"item","numeric-id":3766889,"id":"Q3766889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864402$490D1CCF-9185-4C98-BA9D-F8D33771BA92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00602d23722de67db6d0e8c1fcb176fa9419fc37","datavalue":{"value":"10.1016/J.ENTCS.2008.04.079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864402$B7208B02-F46B-42B5-925C-05696E8CCAC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"661184ac1cdd6fc0664a90d4ef071e559d19c542","datavalue":{"value":{"text":"Model-based theory combination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864402$B8725DBC-6395-495A-81D0-9DF61571CD26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7726690b137095bde80746d4aa390a20336f08b5","datavalue":{"value":{"entity-type":"item","numeric-id":2441773,"id":"Q2441773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb087d697a4bdf224ed48f456ede6d2081ccbb13","datavalue":{"value":{"amount":"+0.8299400806427002","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":"Q2864402$AB0A3751-3970-46A6-AD52-ED315D631ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64897cf9e7011c6f9fb9626035f5334d40e22842","datavalue":{"value":{"entity-type":"item","numeric-id":556677,"id":"Q556677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b25592a959da62f8a45b0d48c07992286c059319","datavalue":{"value":{"amount":"+0.8021703958511353","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":"Q2864402$EBE99F17-EA45-4BF0-8379-F405626E9181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34b87172d3a030e82a30d7b6ae77c17dc6df669a","datavalue":{"value":{"entity-type":"item","numeric-id":436376,"id":"Q436376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8dc6c4825dfd498dd384797e203571b5b15338","datavalue":{"value":{"amount":"+0.8014751672744751","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":"Q2864402$7E34073C-DD6D-4C59-AAD2-F5B580234B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a27d644bc37c8513cc96e390f432ba6042278a","datavalue":{"value":{"entity-type":"item","numeric-id":2432765,"id":"Q2432765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bc8406993fc88faa9fc15c53006a33345594cd6","datavalue":{"value":{"amount":"+0.7980341911315918","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":"Q2864402$3275F727-A1DA-4E48-A610-818B429F8396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71bee125ea54a8e54d6d488c54ec9675e6f5fb42","datavalue":{"value":{"entity-type":"item","numeric-id":5900552,"id":"Q5900552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee3ef1827a38c04aa92ab9d9096ea4421a43e588","datavalue":{"value":{"amount":"+0.796776294708252","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":"Q2864402$4D574F9A-C114-43EB-8EFB-7970E7BE1E47","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864402$ADFF4BBA-4D62-438D-95F2-2EA6BC356E2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864402","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864402"}}}}}