{"entities":{"Q1041593":{"pageid":1043441,"ns":120,"title":"Item:Q1041593","lastrevid":66610248,"modified":"2026-04-12T11:16:50Z","type":"item","id":"Q1041593","labels":{"en":{"language":"en","value":"Combination of convex theories: modularity, deduction completeness, and explanation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5641700"}},"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":"Q1041593$D2C8F0CE-0441-465B-97E8-6DDF6C70DC17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e278d8ce2b0c7914449879867185c0ff1ccc933b","datavalue":{"value":{"text":"Combination of convex theories: modularity, deduction completeness, and explanation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1041593$BF706500-C88E-4FAD-A1DD-0CA85E7CD8CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac9aa5018d3aecd4e3abb171d379e165abac6c4f","datavalue":{"value":"1192.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041593$A94DDB06-E37A-4293-B8F7-C9A440BD0D95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07a178d18a9f8c24a5f96b1a95fb87bf2a0de8ff","datavalue":{"value":{"entity-type":"item","numeric-id":1041592,"id":"Q1041592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$491580AE-EEA2-46A6-8CBE-41B9E5C11A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d2abcbf491e57c8b4eebf23b3e8446f4e5bbb9","datavalue":{"value":{"entity-type":"item","numeric-id":831918,"id":"Q831918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$C147B9DD-2BBB-42E9-B982-46B4637E496A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$C4628EFF-E5A9-42D4-A001-C29034A4E5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318dcafa750fdebd097595276bc4d8a687f38a37","datavalue":{"value":{"entity-type":"item","numeric-id":271708,"id":"Q271708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$F251B0C7-1F2E-428A-AB2C-99D15CD592EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$0108DA6D-40A7-4D67-9AE1-E7FEB98E8A2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05684a6a76ae208e2fab322cb348b334f82a2986","datavalue":{"value":{"time":"+2009-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1041593$29FA19B6-8CCA-4349-8A96-603D33A4148D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"960895d3a15897abecba588e0cbca0eb5c429bba","datavalue":{"value":"https://hal.inria.fr/inria-00331479/file/RR-6688.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1041593$86230DC9-9B05-4F48-8C4B-37AEDABEC2E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041593$A6C01979-ECD0-431B-998C-A72E84F1C281","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63d8e72427b967b25ef9ac70865345e2b65bb2fd","datavalue":{"value":"5641700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041593$1C10024B-1C3B-48A8-9447-5BDA07B87224","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041593$5EBE5691-A8AE-409E-87FC-C47D146B6796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3089277d918517224b20c530c0b7a6f9221b28e","datavalue":{"value":"combination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041593$977A88AD-1AC3-4999-A52D-1EC7F270C33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f2cebbbc87b0d91d7ca22fde75bacbd44254dbb","datavalue":{"value":"deduction completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041593$F68BDEF0-7465-4155-B677-9B8865569AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"751b3505be94784e85b245ca99bf9c3aabad056f","datavalue":{"value":"conflict set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041593$82A006C1-675D-4EF6-A4D0-7CF8125791B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041593$786C1E67-4D3C-4920-ABBB-8CDB5CE01AEB","rank":"normal"}],"P1463":[{"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":"Q1041593$4AA78E02-A60F-4E0A-9DD0-A23F79063663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a5cfe2823a956571e5a71ca4723f5f9b506773ec","datavalue":{"value":{"entity-type":"item","numeric-id":51891,"id":"Q51891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$86A43D4E-62CF-4125-BBA3-EDB870725BE7","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":"Q1041593$34C380EC-7C19-48CE-A173-273A29089196","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81fbefdbd02f9168c8c5b9b51952ec89db181f35","datavalue":{"value":"W1994486216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041593$F4BD7984-19B0-4789-8054-74C209D8CD8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d76e46128bb0e55696f95b3bb5f826ee9e8fcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5277822,"id":"Q5277822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$A8ED3E4D-AA95-4D78-A9A9-B307F2844C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103360585a9bffb1c1cc70bf60b5d74438ed3255","datavalue":{"value":{"entity-type":"item","numeric-id":1401930,"id":"Q1401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$E4EC262B-10A3-4A90-8932-6E1761C7FB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f2eefad08f445d5828ca880db484eaddd20fc85","datavalue":{"value":{"entity-type":"item","numeric-id":1425161,"id":"Q1425161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$96EACF67-F53D-41F2-ADD0-B5D6E3FB7F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c10bd59885420c4841d56d098f27b4158c1d680","datavalue":{"value":{"entity-type":"item","numeric-id":4737130,"id":"Q4737130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$48816B8B-68CB-4363-8BBF-81FDEF2922F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc74a420b6b7ea54906573084cfacb776d08039","datavalue":{"value":{"entity-type":"item","numeric-id":3613431,"id":"Q3613431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$E722074F-EBD5-4C34-A5AF-64783C3792D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88e35b05acb946cff9836402c683e31e61c64b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1329186,"id":"Q1329186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$0DF6B6F3-0FB2-49F3-AD92-AF8A9D10318C","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":"Q1041593$C527E7C2-C7E1-4F4F-A495-9535F0799572","rank":"normal"},{"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":"Q1041593$6536B77D-74A3-470B-BF7E-E973EEB6C7FB","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":"Q1041593$5CB85FD2-AD3E-4F66-A9FE-18283556FAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c29d495b02682c5a291d5d04cc879e0068f1641","datavalue":{"value":{"entity-type":"item","numeric-id":1380423,"id":"Q1380423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$AC435E96-269F-4615-A92B-746E0CCF942E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4542c9ffd74cfd8517fc4945adf5308379a37df","datavalue":{"value":{"entity-type":"item","numeric-id":5900719,"id":"Q5900719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$7F174813-9828-4F2B-9EA9-A2370E3BE8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"873c37885da5e032ee4622e4ded8eb0b10c52a1f","datavalue":{"value":{"entity-type":"item","numeric-id":4417954,"id":"Q4417954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$A39C2C25-EDFB-4B34-8F3D-3A3476101ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c5c9cdb6cd3f1038d3bc19f6f1bd7e7a7f182b","datavalue":{"value":{"entity-type":"item","numeric-id":4647541,"id":"Q4647541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$CB651E07-CDFC-4B07-878F-254D998D73D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea96e16b6c447e5438826c7902ec9745c5df66e9","datavalue":{"value":{"entity-type":"item","numeric-id":2848059,"id":"Q2848059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$0DA1C371-3D32-4ADB-96E2-AB1BA891B172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$7497BA6A-7468-4C66-8A33-60796FD801C6","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":"Q1041593$85CFC281-D01E-46A2-9682-EC62698003D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae19a70a8616a64987bb08271f6f085e5255b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3908476,"id":"Q3908476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$E708F424-0FEA-461F-9B87-70D6F5D2D06D","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":"Q1041593$F3750E47-816F-4C05-955F-DB0292CBD2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b783d0052b7f250a9573410e9be2b4624ef11e","datavalue":{"value":{"entity-type":"item","numeric-id":5899057,"id":"Q5899057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$C9A1CAA6-3B38-482A-972D-885133692D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ae4499d60c9f92206298cafeb8fd1f1998347b","datavalue":{"value":{"entity-type":"item","numeric-id":4809070,"id":"Q4809070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$DCEB8F0D-147F-4C0F-BB23-60C6161DE101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933b22d452873c71c1e8647c7fb6e720bdb4daaa","datavalue":{"value":{"entity-type":"item","numeric-id":2457800,"id":"Q2457800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$14A74330-D92B-46A0-B6C8-1F9F3D533F8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf31db5eff704badf24a749933b64d7b604a12b3","datavalue":{"value":{"entity-type":"item","numeric-id":5277797,"id":"Q5277797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$D697215E-23F2-41C8-840D-9AC0079861CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff043886c15344e26a5762a58f1c95f9724f12c","datavalue":{"value":{"entity-type":"item","numeric-id":4594216,"id":"Q4594216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$CC96C0BB-3FE7-458D-AC71-710FB5470F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ed4ca6a95b4a15e8d95614681253ce3667901e","datavalue":{"value":{"entity-type":"item","numeric-id":4737127,"id":"Q4737127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$F4C4EC5A-50AB-4B3F-9D20-DEA26953EB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e331302460f2671e277662ed8e19531c3d3e65e","datavalue":{"value":{"entity-type":"item","numeric-id":5395131,"id":"Q5395131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$914E0CF7-FD70-4AE6-B800-BC8004807657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"935217a246ae5adafd48508e6fe779ec4121b228","datavalue":{"value":{"entity-type":"item","numeric-id":5387918,"id":"Q5387918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$F02E4C3F-9603-464C-ACBD-125927BA8AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69cd3d0ab7baf861d4f18d631f83f4f2c47afc7c","datavalue":{"value":{"entity-type":"item","numeric-id":5900552,"id":"Q5900552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$36353430-F2C9-45B3-9DEF-04B8E644182C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d0777e830433e0900baf8da5e83b789312b8e0","datavalue":{"value":{"entity-type":"item","numeric-id":2563692,"id":"Q2563692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$1F50F364-4DA7-4E8F-A392-8C204429FF95","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":"Q1041593$A337C8DA-04B9-49AB-AB24-6B8F71DCA92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5791c716254aa1932faf4df96272562ac819ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5703869,"id":"Q5703869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$C57A0A5B-D051-417D-9D0E-18C0473AB4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$F1791E22-E536-48CC-A2A4-6D28D4581B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df215de52b8ed9be1b5d43c29310834a2b8b46b6","datavalue":{"value":{"entity-type":"item","numeric-id":1186723,"id":"Q1186723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$EC595A9C-6438-46E3-AC22-61250C810446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6262559df3842098f118ecbbb77dfbfa994753cf","datavalue":{"value":{"entity-type":"item","numeric-id":5709987,"id":"Q5709987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$B7F8B1D3-9D86-437F-BDCC-13F55A7908CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6ad8b5a3062e519fce2d0ba773e79e2b9b1c52","datavalue":{"value":{"entity-type":"item","numeric-id":3525013,"id":"Q3525013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$6F5E0B86-82D8-4847-9BBD-5BC29B16B2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba93cc581c3932098a5bfdcf573e626fe8b598f5","datavalue":{"value":{"entity-type":"item","numeric-id":4808733,"id":"Q4808733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$19E6A5BD-6026-47A3-937A-1CE209015A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1ef4c8566673a8a5c94d00ea3fc5ee04078d8e","datavalue":{"value":{"entity-type":"item","numeric-id":3506045,"id":"Q3506045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$7D050C92-F3DE-483D-B502-855BBA279C18","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":"Q1041593$E703FB2C-0436-43C2-B343-97070107D0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc3a61541eb0517ac7b63f9f303756a5a6805bca","datavalue":{"value":{"entity-type":"item","numeric-id":5703870,"id":"Q5703870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$66A47FE7-CE91-4730-86DD-F745F52EEFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932383d1ac997ed208ef47dcb574b592efaf75b3","datavalue":{"value":{"entity-type":"item","numeric-id":4065031,"id":"Q4065031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$7BDE7C27-C5D0-42C4-BA37-F0D556AF5881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a748714b8345f91d27541e05f92e23fd3e4dd2","datavalue":{"value":{"entity-type":"item","numeric-id":1853591,"id":"Q1853591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041593$029F4B61-B465-45A6-9541-55B860E916FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dde102c838ef1324b621320ff4d80b1441f36b11","datavalue":{"value":"10.1016/J.JSC.2008.10.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041593$AA30BA85-3FEB-4812-8660-1F0B86408314","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c1734539f185b588a6dc63233d5be8e98210d2","datavalue":{"value":{"entity-type":"item","numeric-id":5758134,"id":"Q5758134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b0a7b4818473bb0dee8490ce2b636936485a01","datavalue":{"value":{"amount":"+0.88566995","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":"Q1041593$E9812BCC-FAD5-4DEE-BCEF-7EC30E7D33C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7226cc533b1c6233d40100a93b78d920b0bdc6fb","datavalue":{"value":{"entity-type":"item","numeric-id":832719,"id":"Q832719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c68de2de8e18c460aa08550d5b4157d5bf30154d","datavalue":{"value":{"amount":"+0.8725444","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":"Q1041593$BD32C5FD-F830-47B5-ACA1-78723081D570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4ea264aba981e0f8695242063e7eeea21c350f","datavalue":{"value":{"entity-type":"item","numeric-id":2908497,"id":"Q2908497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a568c877c72c5def34365ee726df95a019debdd1","datavalue":{"value":{"amount":"+0.8708337","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":"Q1041593$FE3C2CC3-3951-4E28-AB0F-96C558E06076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fd8fa845b38dd909099ee3e571d9176b2c381f1","datavalue":{"value":{"entity-type":"item","numeric-id":5884933,"id":"Q5884933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d46352dae663b732c786211dbb13a8609b29e47f","datavalue":{"value":{"amount":"+0.868858","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":"Q1041593$BE8B8651-8009-484A-882B-7489C83F026E","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":"2e51f620a5fdd068c3d10e4207045c916cbac35b","datavalue":{"value":{"amount":"+0.86613095","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":"Q1041593$026703BD-34F2-47D4-84E2-B7F9EB9B31B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a05857f540d1b02f7b6c03a37b004899475483","datavalue":{"value":{"entity-type":"item","numeric-id":2204682,"id":"Q2204682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe5074e2d142f14ce18a05337ead5002aaefd5c1","datavalue":{"value":{"amount":"+0.86522007","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":"Q1041593$25C3EFC6-71AA-4B1A-B225-FF404F203DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab583233c0a233034976f5033241d1fe9c8aaff","datavalue":{"value":{"entity-type":"item","numeric-id":2180519,"id":"Q2180519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f1f97ca2d358d384cf2e93cf0f82b64223e88a","datavalue":{"value":{"amount":"+0.8640636","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":"Q1041593$7754DBFD-CB9A-4A41-8EED-42B3B2F51787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"088a7a3801c8338b687dff73ba626f6c01144058","datavalue":{"value":{"entity-type":"item","numeric-id":3367293,"id":"Q3367293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b8b405abbea4f5b7aeb19cbb766f13c90dac252","datavalue":{"value":{"amount":"+0.86337334","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":"Q1041593$5A0F5E0A-21E8-4879-A4E3-197F93F0AC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b866c7c979a963731935c33d2bcbe2cbdb860f39","datavalue":{"value":{"entity-type":"item","numeric-id":1633217,"id":"Q1633217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5c39185a3a21c70401b4016829d0cd38b7de75","datavalue":{"value":{"amount":"+0.86077845","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":"Q1041593$180B81BB-2CD2-4256-87CF-BA4EDCBF17B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f6f4df675809f35b27664fc1a3de25ecc4ce00","datavalue":{"value":{"entity-type":"item","numeric-id":4501138,"id":"Q4501138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ef66122339c8e0b14d57e5427070729f5eaf55","datavalue":{"value":{"amount":"+0.85844606","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":"Q1041593$2D16DF63-3C6D-4262-B0BB-4D3BF7E8A0E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combination of convex theories: modularity, deduction completeness, and explanation","badges":[]}}}}}