{"entities":{"Q1041591":{"pageid":1043439,"ns":120,"title":"Item:Q1041591","lastrevid":66015663,"modified":"2026-04-12T06:58:00Z","type":"item","id":"Q1041591","labels":{"en":{"language":"en","value":"Theory decision by decomposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5641699"}},"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":"Q1041591$11C765D0-C3EB-42E6-921D-11BEE62C43B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e58b2f18638f40450308811257825d724fb0e82","datavalue":{"value":{"text":"Theory decision by decomposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1041591$2CAAB520-6B3B-4D5D-B362-404C51EAB01D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3157c825bcac3dd1eaf1947728a060afd6fa57cc","datavalue":{"value":"1192.68626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041591$506CC3C3-8385-4505-84F6-39B6B06B16BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b455290f5b835c3773a6eb2262897ac70e7a163b","datavalue":{"value":{"entity-type":"item","numeric-id":287273,"id":"Q287273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$3DDC0C7E-9621-4B15-AB75-428090D025A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9d0bb1bba7f8d78f26f8b0456c3cbe905220ef","datavalue":{"value":{"entity-type":"item","numeric-id":438577,"id":"Q438577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$746F0247-18E2-4515-82DB-2C0E9EFC9F79","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":"Q1041591$F943A1ED-2DE1-4534-9886-E8654F176A38","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":"Q1041591$8834F2C2-272E-4B96-BA7C-259DC3DFB014","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041591$ABCAAA87-3EF8-4851-BCAC-EF60D32F4FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041591$C8734AE2-64A0-40D5-B649-003DB738C2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041591$D014ABC6-1288-442F-AA15-07E2FF7CF17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041591$4DD30CEB-73A5-4EBF-B448-9453DF2E432F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"475beb9d18a68b63127d60ee6311ed9703703c03","datavalue":{"value":"5641699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041591$F87ACE0B-F959-4854-9D95-A0DEA4F797A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6d9e1db28f1a39eaa71326c3abdc6e4ad04409e","datavalue":{"value":"satisfiability modulo theories: decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041591$0F636AAE-D141-4B73-9FDF-933200FFB8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfff88c2380e4c25bc3fa0710ad2e9544dd0740e","datavalue":{"value":"combination of theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041591$F8F4AF61-9366-4B22-902F-C627A31F038F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"678675b935aa688428355cbd7f28bdad7790e090","datavalue":{"value":"automated theorem proving: rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041591$5FB93B86-881C-4D15-BA4D-582554CBDAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86a171fa82c1ea15db4e7a7c23402cbb117f3b1","datavalue":{"value":"superposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041591$50CF8AEE-B32A-4C70-8AF2-01F21D97CDFE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3672d7e02d9f1e10e36edaa35b5c5b486c0a28ca","datavalue":{"value":{"entity-type":"item","numeric-id":24314,"id":"Q24314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$9D9106F1-A55C-4730-A81F-B1812D81AC82","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":"Q1041591$A048DEF5-B521-439B-9087-32AE751A3831","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":"Q1041591$55FB56A6-E50D-434C-A37D-62A59F03540E","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":"Q1041591$CD314B56-F3F6-4F86-8338-CC6A5E081C74","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46f7f5a4a58a0570fc0373862b78b0a734a62570","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2008.10.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q1041591$6ED657A0-C345-425C-A3BD-9F03051F9EA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0ca2d7dd6786b3a0fe6056df831294b76d99255","datavalue":{"value":"W1980250820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041591$F80EAB82-EF2A-416D-8F0D-3EE3AB35B391","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":"Q1041591$ED81F216-1984-4451-B120-ADB0305EFED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a976a6d6a088dd093dbfbb375175fbac38994986","datavalue":{"value":{"entity-type":"item","numeric-id":5714755,"id":"Q5714755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$87A7F5BB-0179-48CC-9497-0EEBDB8C5C60","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":"Q1041591$3CF728D2-91EC-4FE4-9E3F-E67387FCD510","rank":"normal"},{"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":"Q1041591$51571D29-17FC-439D-98EF-6D4A89C6194F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc64d6d31493ac74da4f6c177f509ec4a9d4b14","datavalue":{"value":{"entity-type":"item","numeric-id":4804899,"id":"Q4804899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$61EA2633-4A9B-4E15-A7D3-5C8D65593BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2eaf1c8e5e649a3c59e663efd73652b24868feb","datavalue":{"value":{"entity-type":"item","numeric-id":4941840,"id":"Q4941840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$FC4EFC37-9FEA-42AB-9EEC-0385C236F4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e01be3df09c8a3cb318e550873aba7f5df4fc2c","datavalue":{"value":{"entity-type":"item","numeric-id":2864358,"id":"Q2864358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$81A23489-7CF2-4DB4-8815-877939871407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe638b8906f8f43ecb88c7284ff6ff2706007295","datavalue":{"value":{"entity-type":"item","numeric-id":2864524,"id":"Q2864524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$30AFCF0B-6ACA-470F-8420-6ED177EDAF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052ddb75aa13cdd2dbb8af5abd6bc30957b1530f","datavalue":{"value":{"entity-type":"item","numeric-id":3608774,"id":"Q3608774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$5EC72D5B-0D48-4A41-8959-D8F299087028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6386f9d9d555cce966644dfe59274fe1062f77ec","datavalue":{"value":{"entity-type":"item","numeric-id":5450569,"id":"Q5450569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$B08477C9-0EAA-4ED2-BBE1-373538D425D3","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":"Q1041591$3A9DBC0E-8F87-440D-8759-C8BF3B4A4776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa65580a37f1a15e222036995b50e2d2433afd75","datavalue":{"value":{"entity-type":"item","numeric-id":5452598,"id":"Q5452598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$E6349168-9311-4D8D-91A9-D86048010E8D","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":"Q1041591$FC67AB1A-BA85-4D5A-9E3A-5EBD8F6BE8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ffd063b19f75595f78df5a07ec83544c6e288d","datavalue":{"value":{"entity-type":"item","numeric-id":862395,"id":"Q862395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$CEA9C4C0-4336-4A00-BB03-F5984D76A237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64edbd4b0368a46cc24983dcdc802e4982142495","datavalue":{"value":{"entity-type":"item","numeric-id":5310200,"id":"Q5310200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$7B029FF0-5ED8-4404-B0C8-C24EE25E0113","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":"Q1041591$EB5244F2-E72C-4228-AE60-A2A02F47A5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fb53dc30cdc46111c93a6e7de143f2e9b39160","datavalue":{"value":{"entity-type":"item","numeric-id":4099229,"id":"Q4099229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$3F2C6964-0B11-470F-80F3-3B9B74F55944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e242557b370e70ca22794bd752775ec0bac8856","datavalue":{"value":{"entity-type":"item","numeric-id":4804887,"id":"Q4804887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$EB5CDCD7-236B-45AE-AB53-143B277A0F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc85061b2e01b3c39004d0ba311d60367a81324","datavalue":{"value":{"entity-type":"item","numeric-id":5738912,"id":"Q5738912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$B482607B-63E9-470F-A883-6BABDAF3E7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0b555d657cb1f5a17dad4f6c65786062114626","datavalue":{"value":{"entity-type":"item","numeric-id":2487870,"id":"Q2487870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$9B584769-E8ED-4775-9233-5EB4FB7788A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$395607BA-681B-4162-A56D-E7057C81786C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$2C8A8829-1ED9-41D6-876D-7CE5274C620A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4f714dbb33bba32b50777c1d77c1cb7ff5fe56","datavalue":{"value":{"entity-type":"item","numeric-id":3608773,"id":"Q3608773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$84210E07-99CD-4787-85C5-90271C641FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8f27245772c2159d3ccf93c502a4163695153f","datavalue":{"value":{"entity-type":"item","numeric-id":3541724,"id":"Q3541724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$2C5AF5BB-C273-40E4-B05A-FE1A28F778D7","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":"Q1041591$54744682-C61C-4A5F-90DA-34B5834D21C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da6ded218db8e1aba2fc38982f0c41333c8292d","datavalue":{"value":{"entity-type":"item","numeric-id":4809077,"id":"Q4809077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$00BD09EF-E3BA-45E7-9BF6-07B48EE58743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db15afe119e4d8924199889dafaa491710809a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2751361,"id":"Q2751361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$242B1220-95C8-49EE-B84B-D1D4A7B0D597","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":"Q1041591$24444CAD-47A0-4F06-A57F-BAC6A01D2E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7474c1769098271dfa8760cf06b0b45182f69ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2432764,"id":"Q2432764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$DFF19E6B-9B5E-4004-BACE-F3B55B62A12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d425524c539f34b2c20b8cfec23a758c1eb81a6","datavalue":{"value":{"entity-type":"item","numeric-id":3608772,"id":"Q3608772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$0194AA64-D197-4B10-B10E-658CA5A0FCB4","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":"Q1041591$B766E276-1F0B-4746-8677-3ED35BCFB816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3904852aeea37a07aba2d985ed989efdfafe8fd","datavalue":{"value":{"entity-type":"item","numeric-id":5491890,"id":"Q5491890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$A08E8708-33B7-49EA-812C-47BF2B072564","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":"Q1041591$9D72BFC7-62D9-4CA1-9EF7-D45C154CC1FB","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":"Q1041591$1B2C2B8D-C4E2-4F46-97E9-EA016A7014CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e6adf13c6408e6c2eebe9bb0eee05dbe30b987","datavalue":{"value":{"entity-type":"item","numeric-id":3524998,"id":"Q3524998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$0B82C42C-A9D0-4AD4-8E1D-A6BA4110DD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b727f36fcbaabb8015ffe634c3469ac7c0019f","datavalue":{"value":{"entity-type":"item","numeric-id":5491898,"id":"Q5491898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$8E152D82-AB19-44C0-9134-914208E88CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0107293e5a161b96a51a1cd082064c48cc78da52","datavalue":{"value":{"entity-type":"item","numeric-id":3608782,"id":"Q3608782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$9D12D6C3-E9CB-43CF-AC8E-51D8D53E1D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f34fe1d4b44c1ab8f4db03dcee5c3401c79c9d","datavalue":{"value":{"entity-type":"item","numeric-id":3540073,"id":"Q3540073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$2F05C9DD-C932-472E-A3FD-57F0A867AB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b989bba6cd8fbc41aa7bf6fe0537ed3e72818db","datavalue":{"value":{"entity-type":"item","numeric-id":5716573,"id":"Q5716573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$A0812542-5045-4D7A-917D-1F6C34D2E47C","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":"Q1041591$438E7065-E3D5-4C38-BE6A-D7D995A1C67E","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":"Q1041591$88D5B5AF-A6AB-4BD3-80F8-FF424CDEB95F","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":"Q1041591$A6D33922-A6C6-444A-ACC9-3C02D1B39032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc3878f9df5b6107a28c21f85873329086200c14","datavalue":{"value":{"entity-type":"item","numeric-id":4345253,"id":"Q4345253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$5EF76321-FD78-4EAD-AD19-24CCF0B46FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601ec2c706ddf45de31ee679a12674e1ca489252","datavalue":{"value":{"entity-type":"item","numeric-id":4916225,"id":"Q4916225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$11F28387-5B0D-4DE3-B4B3-94C9F809DF7E","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":"Q1041591$65AD20C0-3B65-4124-AECB-524FFF4EB329","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":"Q1041591$84F1946B-4537-4885-B02B-278C1031B908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf7a93d9fd055f21d4bf9911f205499faf8d773","datavalue":{"value":{"entity-type":"item","numeric-id":4809068,"id":"Q4809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041591$5B2AD323-3875-4481-B440-C602C4671473","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16635f16bde06bca756b7f8569bcdf5cafa50029","datavalue":{"value":"10.1016/J.JSC.2008.10.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041591$2B7AE04C-3773-485E-8294-C731E98AA4B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344b7ce42afdc81a139cf848803148cfbbc3bed5","datavalue":{"value":{"entity-type":"item","numeric-id":3608774,"id":"Q3608774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34839549f3bac9d6bcfa453e72e5411208401af3","datavalue":{"value":{"amount":"+0.9142043590545654","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":"Q1041591$1861D813-E855-46A9-ACDC-CE910350D7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f943c54080b27de44312af7634875e7f707904","datavalue":{"value":{"entity-type":"item","numeric-id":5716582,"id":"Q5716582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c845eeab9be329e5c103b0ead838e4d607458e8c","datavalue":{"value":{"amount":"+0.808226466178894","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":"Q1041591$6469FABE-57FA-4455-9163-4C282A98A39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e71bfb5b68d2283442ce2c6ed865faa5ef3fdb","datavalue":{"value":{"entity-type":"item","numeric-id":5756564,"id":"Q5756564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e8ddad54aa5770ac83bb16d2326877768a04e72","datavalue":{"value":{"amount":"+0.8039261698722839","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":"Q1041591$EC91014D-6D50-4E21-BF2F-638CB44A2AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da7ab68d40b0021aff99a5d8e758a7d99a62e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5450569,"id":"Q5450569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd88f6d1dd142eda98eb1484f411cbc0a04fc30","datavalue":{"value":{"amount":"+0.7964324951171875","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":"Q1041591$A3918022-42BB-467D-B3DF-17121E5FA33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a43da73541e40b8d93166832aeb92cd4bee415","datavalue":{"value":{"entity-type":"item","numeric-id":2830018,"id":"Q2830018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e69009a8bb77ecdc67fb45383ef41a44a95cad","datavalue":{"value":{"amount":"+0.7937778830528259","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":"Q1041591$FB889DB6-7CBA-4979-9FA1-3FD9FC7612C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory decision by decomposition","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theory_decision_by_decomposition"}}}}}