{"entities":{"Q2441773":{"pageid":2452516,"ns":120,"title":"Item:Q2441773","lastrevid":44099082,"modified":"2025-11-19T22:50:39Z","type":"item","id":"Q2441773","labels":{"en":{"language":"en","value":"Being careful about theory combination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6275290"}},"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":"Q2441773$046FFE0D-8100-4C8E-8D43-37DE3E634AB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c84f642dd6ba675acd32dd69cc2b6f9971a59632","datavalue":{"value":{"text":"Being careful about theory combination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2441773$0D026928-B3C4-4CE1-9E94-CC5B91F22E09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"512e26e466deb17243a34676d6cdaec34c10d233","datavalue":{"value":"1284.68518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441773$E50C62CD-65EC-45A5-A96E-CDB4D914AAEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"397d77ad8bd1a3f514ce08804fba49d28413c3f4","datavalue":{"value":{"entity-type":"item","numeric-id":832266,"id":"Q832266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441773$D16C5DEA-4B1B-4B18-AD4F-5C7BEEA8C17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441773$B03C9E64-FB8A-4AEF-9B89-C78D45BE0677","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441773$D9FF0F1F-5A17-4016-A370-14B497B0124A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8e12da0e8bd681f94b625e1ea013bf02fcfebe5","datavalue":{"value":{"time":"+2014-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2441773$6EEE7FFF-96F6-4E95-A351-7A40FFEC0D16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441773$B09E08F5-DEEE-4002-9A26-68337EC3AB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441773$954EEDAE-15F0-45CA-B3CE-FA550F749455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441773$25FACB81-CD49-4B23-88AA-1B9893E7A9EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae418dea9d5840bf84ea1887e8a5fa2b7ff8996e","datavalue":{"value":"6275290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441773$A135CD7E-7AAB-498C-B589-D4C442C467DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c97c87aad358aaa4a159991a487a984d3a19cc4","datavalue":{"value":"theory combination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441773$78259C14-6199-40E2-A73F-40C34AC94FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b7fc5f2d87a1444223a1dda849876ec94e66123","datavalue":{"value":"Nelson-Oppen","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441773$B1013314-960E-41EA-9A10-48CAB9AA96B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441773$54539556-BFE0-4C1D-BC1A-1FC8306D71E0","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":"Q2441773$6B7357EB-0135-435D-BB6E-BE51AAD7FF16","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":"Q2441773$6557ECA6-82C0-4640-9ACC-8E34A9CEB8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"075bd4f0d0f46efa06d0219c176262a3c479185a","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441773$FBA46EA6-2E73-4094-87EF-235EEF1E50DE","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":"Q2441773$B986B112-B138-41EB-916D-E67050C67EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441773$7D17E131-32A5-4CF0-998D-5FE91DD06B2B","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":"Q2441773$FEA6079E-0EA5-40A7-A862-63A782961C0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b306eef2e9793abf5bc14d1f1cb4f24d3d2e5f0","datavalue":{"value":"https://doi.org/10.1007/s10703-012-0159-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2441773$99C59A81-569C-4198-8BAB-819883606D3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a58111c08c3a36cfeed151baf6e53a5b161fbfb","datavalue":{"value":"W2058903513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441773$90B910A8-A96A-4D90-9F94-DA8BF18B9547","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bd97e9dec390545916db4e89e737371beca26b","datavalue":{"value":{"entity-type":"item","numeric-id":5387916,"id":"Q5387916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441773$6F7FD592-DC29-4B5C-A9E2-C08E1A2072F8","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":"Q2441773$631EEA2F-CBD6-4C79-9C37-F47BB0BEED04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea4a12dac1b0cda2b9b66644bbd386bc6ecbd84","datavalue":{"value":{"entity-type":"item","numeric-id":1037399,"id":"Q1037399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441773$D63A7246-8DD4-42B0-A0FB-9E504C22C5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64a9ce1df6d32a732886ec13ebc30e0107b2809","datavalue":{"value":{"entity-type":"item","numeric-id":2864402,"id":"Q2864402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441773$90F4926B-27EC-4100-B733-9B45081E3879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441773$578828A2-C1D6-46FC-A357-0F435EBF3715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d28d1219e29c4a80580daac11ef44292c3abd11a","datavalue":{"value":{"entity-type":"item","numeric-id":4933320,"id":"Q4933320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441773$399471DD-086B-4FAF-9394-93865C8E6BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0935562160404eb7beee2a862bd06bed764fe33","datavalue":{"value":{"entity-type":"item","numeric-id":3172894,"id":"Q3172894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441773$2F0815D5-E29F-488F-A2F5-31019EC9B5A9","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":"Q2441773$AE93AFAA-41BC-4082-93F7-7A8EC91E409B","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":"Q2441773$942E0350-0196-492A-8C73-84621F3705BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55234d08de3fc0bb2ef7aa7f9a37f83d6ee9b9e7","datavalue":{"value":{"entity-type":"item","numeric-id":5491892,"id":"Q5491892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441773$1C5250A8-BBBE-4DDD-96A2-4CC92971AE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6866f585cfa776b9fccf0895bf6dd97331fa91","datavalue":{"value":{"entity-type":"item","numeric-id":4385439,"id":"Q4385439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441773$DD758BE1-E7FD-49DB-8BA8-5A0120E8C16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28039a446a03faca9d112ce464bbb91b9adbe1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5394160,"id":"Q5394160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441773$6CE7E3A7-6B67-44A9-919C-AF1AC964304E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed001dbf8dc7882d9db43960f65c6b313fbdbf25","datavalue":{"value":"10.1007/S10703-012-0159-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441773$4BE09708-53B1-4A32-B5F6-80D31A5EC6C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1470a97030887b8d84f75ee646436a0f66f52b","datavalue":{"value":{"entity-type":"item","numeric-id":3766889,"id":"Q3766889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65cfdba8740bade92d3bc1c1615ed967b15c29d2","datavalue":{"value":{"amount":"+0.83575135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2441773$BDC09CA7-A39B-43B6-BA3D-2C9B05B90138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7753b0ba6315f743e142b8c993760203261530","datavalue":{"value":{"entity-type":"item","numeric-id":4808733,"id":"Q4808733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"951441ae5d01e9b954943e4b81189404971f5551","datavalue":{"value":{"amount":"+0.7769453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2441773$2ECD6C0A-2C2E-408F-957A-0DD8336811B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e79fcc1bbcad425ef1610c6cd4594098765d402","datavalue":{"value":{"entity-type":"item","numeric-id":3514064,"id":"Q3514064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7762eada6ef6d1fedb48bedc991c497a57706a5","datavalue":{"value":{"amount":"+0.7710123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2441773$F66E980F-0B90-4A84-871D-A8C2B2FB40B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8151ca2cae8452d037b9924346cc08106c3f33a6","datavalue":{"value":{"entity-type":"item","numeric-id":962914,"id":"Q962914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36809605e7b7c6015b6d6c54b5689970b53ce8a","datavalue":{"value":{"amount":"+0.7539487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2441773$9BFD80EC-18A6-4D4F-B55A-FB15B9E8F360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663aa1de8a6d978e2db16aaa337bd4bfbec378db","datavalue":{"value":{"entity-type":"item","numeric-id":2185458,"id":"Q2185458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10b1013cd5a1fb9027cdc95e671763516aec15df","datavalue":{"value":{"amount":"+0.752823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2441773$73F6C500-C777-4623-8D65-6EA319E45A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1a56570cd0c242749bdcb3ec929fc5653ced2b","datavalue":{"value":{"entity-type":"item","numeric-id":5716815,"id":"Q5716815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb4efca1c304a4aeca115b51c39cdc43e842aac4","datavalue":{"value":{"amount":"+0.74948436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2441773$B9891E2B-D90D-4AB2-8F43-174DC0B37E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"462eaea579e850b0c6b9d5e120f7dcafc3d54eb8","datavalue":{"value":{"entity-type":"item","numeric-id":3003399,"id":"Q3003399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b094c560c2bd5414ae4f5aba893329f6157561f","datavalue":{"value":{"amount":"+0.74943423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2441773$AD4E8F11-3E78-4F78-B182-47DF90603588","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2441773","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2441773"}}}}}