{"entities":{"Q2209546":{"pageid":2220289,"ns":120,"title":"Item:Q2209546","lastrevid":71553237,"modified":"2026-04-13T23:01:13Z","type":"item","id":"Q2209546","labels":{"en":{"language":"en","value":"First-order automated reasoning with theories: when deduction modulo theory meets practice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7268893"}},"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":"Q2209546$A31E519F-B6FD-4C01-8A83-10DE047E73F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a196e05cb0305b7af7122de72130b0098fb453e","datavalue":{"value":{"text":"First-order automated reasoning with theories: when deduction modulo theory meets practice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2209546$E50572DF-C9C1-4018-A0B8-CC6981E79EDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb944d7abedc961810011b9506ffe2002af66ee6","datavalue":{"value":"1468.68282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209546$47826991-5A7E-476B-A0E3-F15EE2330F22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8e409b4bd2cef152800e753211d297de864b62d","datavalue":{"value":{"entity-type":"item","numeric-id":2209543,"id":"Q2209543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$2DBD4D68-EFD7-4430-8A6E-802559599329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2e232f9a569557ee4e1f393921a3d258bfc235a","datavalue":{"value":{"entity-type":"item","numeric-id":2209544,"id":"Q2209544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$34EA3815-0BDC-408D-BF0A-C1D76DE08ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b00160be710a75cc1195473f68075c6fed97d9","datavalue":{"value":{"entity-type":"item","numeric-id":1687725,"id":"Q1687725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$F3ED60A5-6905-42C0-9C68-922EE7660F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"786f6c8f2a36da61e98b228bbd36b74e25ad6f92","datavalue":{"value":{"entity-type":"item","numeric-id":2104524,"id":"Q2104524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$4CC452BD-7E25-4593-A732-EB2D8FF84CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83f4bf2e0e09104bc6b76128ac61c84eb78f79c4","datavalue":{"value":{"entity-type":"item","numeric-id":2209545,"id":"Q2209545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$CE2A6F79-2EC9-4A0F-8640-E8C6E9A93ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8810b28319eddf2176b081cd070119a2cf8c13","datavalue":{"value":{"entity-type":"item","numeric-id":281285,"id":"Q281285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$1FB09260-E796-4540-AECD-F3452ABD3DCF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$6C3E8DC8-B49C-47A9-9A80-22994A4EB2C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4011c0437b0c50916bbdc1f2b0514a4c041c71e0","datavalue":{"value":{"time":"+2020-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2209546$4BBF0887-45C7-49A5-8713-6569A7D1D1ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209546$0863F5B1-6BC0-40C7-BADF-4793D14062AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209546$27DAC9EE-38F3-453F-AC24-E7796CBE3BEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e889cde3f8d887023cf37b40573cd45e73a47b4","datavalue":{"value":"7268893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209546$E758D4C2-062B-4FC9-AA5C-971D6EA21AA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209546$6E5DB4C5-C447-479E-B92E-FC788F9472C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8effad49d1ff8f79dbd0d2620b744c103ef1de40","datavalue":{"value":"deduction modulo theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209546$08F8023E-3988-47B0-91DC-58FAD4029238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209546$DD2ACED9-FF84-4A78-B568-7655E4EB4EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209546$8EA4BDAC-917D-43C1-96B8-6772AE853A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"273604acb53ea6a4e3de23d5bd889f3178a940a5","datavalue":{"value":"automated reasoning systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209546$380B2639-0484-48DE-99BC-06F6C78B9AB6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a9535c02a1c0253894e545c7b8e64e868f51a5","datavalue":{"value":{"entity-type":"item","numeric-id":25577,"id":"Q25577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$4F7E65A6-91C9-4FC7-BDF2-C7126D29A132","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":"Q2209546$7E656E9E-4B57-423E-A59B-D2310BA5C08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3fa1be4925f6565903e34254fe3ce3cb99beabc","datavalue":{"value":{"entity-type":"item","numeric-id":18828,"id":"Q18828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$7FB36630-32CB-41E5-8612-06E97CD90581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d1491f0152fe7d5b562e13071c6601d829d736f7","datavalue":{"value":{"entity-type":"item","numeric-id":43709,"id":"Q43709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$E909DAA9-39FD-4CF2-9172-A7F77FD2E701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6cc79540232abb39ae023a54a6b87fbaaafee3e3","datavalue":{"value":{"entity-type":"item","numeric-id":43963,"id":"Q43963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$0A673063-C190-43D5-8D3D-675D3C3D746C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$6F38CDE1-468A-4F64-8DBC-5CE63022958B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$B5CEF3A6-35D5-4EB3-83BA-FE1669B87CE4","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":"Q2209546$EBD0B41C-8BF6-4BAC-97A5-7BC377253144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$EFE63CCA-2F39-4353-A01A-041AC6F024D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"215d2b6d1a41d16324962359ed77fd383c2f9ef3","datavalue":{"value":{"entity-type":"item","numeric-id":22366,"id":"Q22366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$CDA61EDA-9D9D-43B4-A690-F03277CE123E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$E9892896-8DFA-4066-B608-1B6C1EDA1461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$F8746886-23DF-440A-970B-4404853C4DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83e2dec25ea583652d0e07d4393a843812f4b48b","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$2B3AC463-9494-461F-A38B-AE9194DF2892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5a9d17f73e0a3a248b9a5e7483cd5aefe01a8520","datavalue":{"value":{"entity-type":"item","numeric-id":25563,"id":"Q25563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$9A156FC2-B5D1-4D4F-A7F3-9D2BF3930086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8a38d0c3b215ef345f4b9f6556e53256642a6db2","datavalue":{"value":{"entity-type":"item","numeric-id":30969,"id":"Q30969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$EC727476-0967-4F0C-958D-C0CDD2C53FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e789552fbc9aecbb651052e981d7602fa3ea5d35","datavalue":{"value":{"entity-type":"item","numeric-id":38054,"id":"Q38054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$DD766CBD-FCAA-4898-B89C-957342096FC7","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":"Q2209546$69BF2178-015C-4F36-9E59-A90CDB4740B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76b28c094f5a255d2273e43436deed3b830d7538","datavalue":{"value":"https://doi.org/10.1007/s10817-019-09533-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2209546$0477EE19-411F-4363-A364-4FB6B44DECA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a29b4f17683d7c9547863aa5051655b9809b99f","datavalue":{"value":"W2975454041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209546$B45B0046-564A-4CF9-AFFF-AD782ED242A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$9461F7DB-B819-4D46-97B2-01626DD7C933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$822304D8-971D-4E5F-95C9-BDD92133432E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82a07a07c46b2f1ec006ff4842c6ba31c834c8b","datavalue":{"value":{"entity-type":"item","numeric-id":5277828,"id":"Q5277828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$E74B5D3C-B70C-4191-9443-B1F9AD05D57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$2A58B11F-152E-419A-A9D5-9C47AC871F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4db61376dc05e8ac9b799b75f45910b0e723393","datavalue":{"value":{"entity-type":"item","numeric-id":1328182,"id":"Q1328182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$8185BA58-06EA-4594-A7AC-A44A2167F229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f9dec41c7615ebddca88a5ee0923f61e9449fc","datavalue":{"value":{"entity-type":"item","numeric-id":1610674,"id":"Q1610674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$D0451F45-2A1C-414E-AA3D-A2DF23A5377B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$65DB39D7-8266-4366-A023-53E37956E356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$DF16DFBB-D72C-4C04-8146-74975B3D267A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a5f7ec14119349332290c2a3236ae73e2231fc2","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$4F276D0F-9644-4CED-8F01-8DD7B8652E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"673aa9e5ad6e36794517311b1f934f38da0d39c5","datavalue":{"value":{"entity-type":"item","numeric-id":4261066,"id":"Q4261066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$940EDB6B-E009-426E-BA8E-AEF3E8CD4608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e15b96a63d7af68382572c93c414025b4cf92b","datavalue":{"value":{"entity-type":"item","numeric-id":4255506,"id":"Q4255506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$CCF1DDE3-74A0-4748-B7DA-14D8A3719DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b77a4e29d4d4695946227ed1b94a36174d5d1ac","datavalue":{"value":{"entity-type":"item","numeric-id":3454107,"id":"Q3454107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$66F0298F-1EBD-4535-9EE9-8BE2591417AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df9e36bc833a6259fe4525e20648c4deed4f643","datavalue":{"value":{"entity-type":"item","numeric-id":4928427,"id":"Q4928427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$3871E9D9-BC3A-409E-ABA7-F18600A206C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83a17620ca62d9c8a8b0b475013574c89edba4c","datavalue":{"value":{"entity-type":"item","numeric-id":2785839,"id":"Q2785839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$F9B8384F-D5F9-47CB-A14C-F8FF39FEF5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36f3cffb1fafcc40e0a6784aa94a9616f4b841d2","datavalue":{"value":{"entity-type":"item","numeric-id":4645229,"id":"Q4645229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$01C1C0B5-573F-4230-9F1E-A8E24851A84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fd06da9348f1d52e2cbff62e89d8a526dbbeb2","datavalue":{"value":{"entity-type":"item","numeric-id":770676,"id":"Q770676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$203370F1-BDA5-4B1A-AAF7-7749B3E96A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b069f96fbc561b4a0b296c6a7fbad74f0b8e5f","datavalue":{"value":{"entity-type":"item","numeric-id":3290715,"id":"Q3290715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$2E38CF34-1939-4908-9DF4-A81E2742552B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c6990245e88cf35ce6df13fb7eecfc9e28e060","datavalue":{"value":{"entity-type":"item","numeric-id":2974796,"id":"Q2974796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$7E5AA9A5-87B3-4306-B785-F8E510026ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4669aa80f1b8115df57035710adf683c0764c3","datavalue":{"value":{"entity-type":"item","numeric-id":4928456,"id":"Q4928456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$9D638D43-9BC3-4E6D-B419-4C6FC0EEC0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14408ce3bc4d32d31c1f710f161db7f09add187","datavalue":{"value":{"entity-type":"item","numeric-id":4938611,"id":"Q4938611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$7703FB77-5528-4339-8144-A8499652AFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b5513f0715193610c61f3fcaf56a4ff1aca6968","datavalue":{"value":{"entity-type":"item","numeric-id":3996678,"id":"Q3996678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$A05DEAB2-F9A2-4A50-8292-CE246F33CC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948ccfb4f4da9ccf917a1c648bdfcfe1da8abbe2","datavalue":{"value":{"entity-type":"item","numeric-id":5307079,"id":"Q5307079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$47A11D38-155F-4855-9DAB-7F38281B6F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4370175d8030918ba7fe1c9ab8112224b76824d","datavalue":{"value":{"entity-type":"item","numeric-id":3498463,"id":"Q3498463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$A6EA733F-9DCE-4CBD-8E6D-A985E2255296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40395782237962d4bfc89b6ee5dee760563cda9f","datavalue":{"value":{"entity-type":"item","numeric-id":5387891,"id":"Q5387891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$B5502CDA-A888-428D-99CE-4CA1FFAF027D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3257fc26065fc6b21abb1f854dbeabc439d655f7","datavalue":{"value":{"entity-type":"item","numeric-id":3612434,"id":"Q3612434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$A279607F-FE27-470C-A620-256B00755661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d41c9fe05012f3b821e621dc4cf7c3fef4fcb9","datavalue":{"value":{"entity-type":"item","numeric-id":3490989,"id":"Q3490989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$A6FFC483-2C1A-4F15-8E2B-FC502C217AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e083ca1dc86b3d062c383762bcf1c551d67dd3fa","datavalue":{"value":{"entity-type":"item","numeric-id":3608815,"id":"Q3608815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$46B377EE-CEC4-4629-A422-DD0D77C2F5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba11741201ca0ebab49908d01bc6254ac7d2423d","datavalue":{"value":{"entity-type":"item","numeric-id":3586040,"id":"Q3586040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$0F7A0166-ED3F-49C3-88A8-DCBAFAA1835E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cc84d271608e0e7697e26c023416a9c061930ea","datavalue":{"value":{"entity-type":"item","numeric-id":3003304,"id":"Q3003304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$AD7A157B-2ABC-48E7-AE6E-3F0F690AF787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2355de38db0226d88af16a5aec137f4e5538cc2","datavalue":{"value":{"entity-type":"item","numeric-id":5170812,"id":"Q5170812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$CEB347FC-2E22-406C-A52D-5AE3136B890C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"426ca9ded4de1be1a8537da111e48343ed0e7f65","datavalue":{"value":{"entity-type":"item","numeric-id":2266989,"id":"Q2266989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$F51B766D-603E-4A6B-87D1-1F70C3B2D296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a93370dc477239bd2034dd100869034108baab","datavalue":{"value":{"entity-type":"item","numeric-id":5881455,"id":"Q5881455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$C4653373-1FD9-4CF2-864D-C5AC077BE091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b7bd347eb7bed688ba2acf2cd11076274aee68a","datavalue":{"value":{"entity-type":"item","numeric-id":3455763,"id":"Q3455763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$E391A2A9-6384-45B1-858A-F980D8D457E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70b7e36114cb3c393734b86e4e44d6b8e5d9c2d1","datavalue":{"value":{"entity-type":"item","numeric-id":3179416,"id":"Q3179416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$1D44B360-54FD-439C-AA87-E624DE2E61A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4bd04b587c0758390f2e0ced121ecf83881a76","datavalue":{"value":{"entity-type":"item","numeric-id":3323698,"id":"Q3323698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$5D46D404-4CB0-4B92-97A8-BFEFD7996BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b87924f23be2e9cf6d7b6faa675b811f5a3d7c","datavalue":{"value":{"entity-type":"item","numeric-id":3612625,"id":"Q3612625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$F7BF4E70-93A6-42BE-A51D-A5B9CBB284EC","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":"Q2209546$95E46B31-17E9-4CCA-97D2-23BAE900BE9F","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":"Q2209546$F099C4F3-D4EC-4E60-A4FF-ABE31084B122","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":"Q2209546$FB311860-DFAD-40D9-AF9F-1576C51159F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0007f6e6ddb56daad1917f282410760fb5b79ae6","datavalue":{"value":{"entity-type":"item","numeric-id":2870135,"id":"Q2870135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$FEE1E603-DFDD-4955-9F16-FC8CD15C3421","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":"Q2209546$88747F7B-4765-4644-A979-2909C1E7D888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f07a0aa3031101a608bd93862c80d071e41f25","datavalue":{"value":{"entity-type":"item","numeric-id":4447217,"id":"Q4447217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$EA4DADCE-9FAF-4E19-9905-A48D3711FDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ca1cbc94b6fcdbcc40aa9495bb45517f812686","datavalue":{"value":{"entity-type":"item","numeric-id":3163883,"id":"Q3163883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$8DAD165A-0BE3-4FE9-8C00-043B454CC73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$7F4D4267-AA1A-433A-BF7D-2A66B322ADB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e52f792aed007740441efa3e7b7b70e2d7b6c5c","datavalue":{"value":{"entity-type":"item","numeric-id":4650285,"id":"Q4650285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$EBD0272F-2588-4A81-AABA-4B2CC37A0AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd82c182f3ba29e8e7c6e8899bb4609fd961b4db","datavalue":{"value":{"entity-type":"item","numeric-id":5703867,"id":"Q5703867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$66CB59A1-6727-4104-B407-E8BDF129DB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$4B0996AC-AE30-4DF8-8761-5B14ACD6A513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8764d8364aa0df8893b959d7d0bc7a5f95624fe5","datavalue":{"value":{"entity-type":"item","numeric-id":5387915,"id":"Q5387915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$9B03C5AF-0696-444E-9B8B-BAD8224AF0F6","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":"Q2209546$010DAD3B-9F2D-4077-BDE5-589C6357BE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f33c7e2fc71303fd900c50bc37fd6728d3f12f3","datavalue":{"value":{"entity-type":"item","numeric-id":4539640,"id":"Q4539640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$3CCA7D73-B2BE-452F-8F16-D1C3058EA161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"791ec3b3de7018f8cc67257c7cc5d2311313d793","datavalue":{"value":{"entity-type":"item","numeric-id":3179401,"id":"Q3179401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$E1DC9691-A37C-4FBB-ADC8-69F9F985E5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$9198E075-0B0C-49CD-ABDC-31C1E2B1D304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c602d6bd2ddcfcc7066bfb369353de5ba2dd44","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$77A6BF3B-AE90-4265-9218-A93174F28C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c055962b6eedab5c053c34ba719ed9c04e679d","datavalue":{"value":{"entity-type":"item","numeric-id":972424,"id":"Q972424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$D5F5715E-F417-4B23-85A2-6C762A701361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f4db58eac15b5b8865eea8c9b5a55a362f351c6","datavalue":{"value":{"entity-type":"item","numeric-id":3228603,"id":"Q3228603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$CB9D5BFE-1282-4EA6-BD5B-19E1E3F4EE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae171cb009776ff965b66a7b067c7304d6508e82","datavalue":{"value":{"entity-type":"item","numeric-id":3227561,"id":"Q3227561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$270354C1-1ACC-455C-9A70-518C59FCBFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e147382af5dce9fff385d29b58be6f9e8be79469","datavalue":{"value":{"entity-type":"item","numeric-id":2908505,"id":"Q2908505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$B0F80288-6A55-4627-B57A-B2D7524E552F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$852E630A-F940-42A6-83E7-F7DE7E45A227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"491d79ebb333824e2a1d28fa415eece5d0654a36","datavalue":{"value":{"entity-type":"item","numeric-id":3371147,"id":"Q3371147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$100FF54F-59D8-4326-BD47-27210554FF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf570b4f8cfc364a1cf37af2845b521d40478adc","datavalue":{"value":{"entity-type":"item","numeric-id":1192582,"id":"Q1192582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$B0B1C5C0-6BC9-4623-9185-6A078E0CB258","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":"Q2209546$121DE2AA-DE6A-41EF-8BC9-57F2D35CE59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$F28A6C7B-179B-442F-A914-162B1BEFAECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd49e68ed32255258ded3f91652dc6ef8ac1954c","datavalue":{"value":{"entity-type":"item","numeric-id":4846259,"id":"Q4846259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$6A2B78FD-CE6D-43E3-8A6D-28AFCB0A458D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$4B8F0F90-6DB0-4E24-849E-534710176E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeade2cfdcfcd253e188a74e9e8eaa51de1f1876","datavalue":{"value":{"entity-type":"item","numeric-id":1575865,"id":"Q1575865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$0AC92B49-0555-4146-8AE9-233F63A04CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"012dab46df65700a88d5a165d577cb3792fae6c8","datavalue":{"value":{"entity-type":"item","numeric-id":4287512,"id":"Q4287512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$442EE6BF-799E-4010-8387-52A823E774F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$E12C826C-C9FC-4683-8C7A-24DE9839AFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$95B2144F-C94E-4E34-A829-A187FDDE3050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9adf66dc2b5bac8797ba402f3099e1cda29f69a","datavalue":{"value":{"entity-type":"item","numeric-id":3613421,"id":"Q3613421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$17491486-23BF-45A7-9A7A-CF080693581D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$AC7C51D4-37CA-443E-8D5E-F98D40037F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fe68dc912a4be45802e1a509289a669130abb3","datavalue":{"value":{"entity-type":"item","numeric-id":5505560,"id":"Q5505560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$ABA78C3D-D99F-438D-967D-A539A5B9E61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"779ca0489e27b75b6628f9c657893434501e9e93","datavalue":{"value":{"entity-type":"item","numeric-id":4013973,"id":"Q4013973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$6C9DA543-4A04-4C6F-BC0F-23A661303CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88a75a39f5ac98bf032aaca1eb03b5cd9c31ac38","datavalue":{"value":{"entity-type":"item","numeric-id":5307061,"id":"Q5307061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$F176CDC2-62EE-48A1-9EE1-C35FAD57D831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$15B55504-04B3-44BA-A0A2-CAEEB95FC9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac323e388c444a0ca95c4b018473e591435ea9f6","datavalue":{"value":{"entity-type":"item","numeric-id":4808819,"id":"Q4808819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$99721415-F071-4787-94F2-20CA9F5A2876","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":"Q2209546$E128EEF8-8296-4C2F-9AEF-7C8337FCC73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ee3b057142576093bd9e66364057980fafc0e4","datavalue":{"value":{"entity-type":"item","numeric-id":1821564,"id":"Q1821564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$D989D678-5FD1-4013-A1C8-E06C9575AA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f8296f73deb736ba66bda998af5bd6c9504133","datavalue":{"value":{"entity-type":"item","numeric-id":3586063,"id":"Q3586063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$DBA6B7CB-3C1B-4AA1-B4CC-526B5FA20E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$C5348F99-9082-4FA4-B57C-95D23C80D37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4e0edf0e28b481677ec6286aff34ea615b8e86","datavalue":{"value":{"entity-type":"item","numeric-id":2891471,"id":"Q2891471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$F9430D6E-E708-4598-AE78-8E3360254FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$598E6AEC-A345-4161-B697-CB1B6ECDD0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78611c23d99ac7ae6599e77d46b398442759275","datavalue":{"value":{"entity-type":"item","numeric-id":1810855,"id":"Q1810855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$9B2D9335-EAD9-4405-AEBC-81A621005725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff71e0133d53551329d80967df255d2d67f7a6f4","datavalue":{"value":{"entity-type":"item","numeric-id":4013971,"id":"Q4013971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$8F3A04BD-170C-42A0-AFC9-5474C59163AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f054e00d8c41d716c93e7c6fad80f0d0d75871","datavalue":{"value":{"entity-type":"item","numeric-id":4860657,"id":"Q4860657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$CB0D2FF5-D134-42FE-9B3D-1AD0D95A773F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$D0020CE4-DA9B-4CF9-8ED4-9102D7364327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bab4f7d1b2661e9a9ca3ddc35e5a57311ad582","datavalue":{"value":{"entity-type":"item","numeric-id":5507985,"id":"Q5507985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209546$CDA20EDB-AEE8-4EBD-8F5A-5F4F94F345F6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5b01caffb8ddf9afb0b13532dbc359d010d5216f","datavalue":{"value":"Q127218472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209546$3ACF924C-47E2-448D-A6ED-FC685D82D866","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"471dbedd6aa3c03e6d639c288964d34a5e2d7a80","datavalue":{"value":"10.1007/S10817-019-09533-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209546$8D3482E0-19E3-49F3-AC72-2D0940B06FD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336a295948b4612660cca8cf7bc92751b55f83ec","datavalue":{"value":{"entity-type":"item","numeric-id":387121,"id":"Q387121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59122606f9d5ad64ce7650d6cf433106e6feeb12","datavalue":{"value":{"amount":"+0.90632665","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":"Q2209546$E89E9EB7-AECC-412D-AE51-D1F99221F207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d370192bbaebdd64f89013897ae67d132d2f82a","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa0dfb73641807a93f505122a138847eea964418","datavalue":{"value":{"amount":"+0.89581114","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":"Q2209546$BCEE28DD-3879-4317-836E-CD4E9761FFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"006b7fde6af592f6799db7f14c1f8600cd6b606c","datavalue":{"value":{"entity-type":"item","numeric-id":3457212,"id":"Q3457212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa125e508660de8b6d75dfaa08ea21b69bd0e3f","datavalue":{"value":{"amount":"+0.8924361","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":"Q2209546$997C3E01-7CA8-4CC6-A9EE-F1F7B999BA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b5fe89c802bf99e3b7d049a8d7c4d9ef2f2e9a0","datavalue":{"value":{"entity-type":"item","numeric-id":4503899,"id":"Q4503899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699f355d2d3d7133ca701e2f577bcf95e3066a5c","datavalue":{"value":{"amount":"+0.8914757","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":"Q2209546$794E0288-3760-48D7-AB73-954832EDE69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5172a92f343de86c9809e312fd2211d411a7d7","datavalue":{"value":{"entity-type":"item","numeric-id":2964455,"id":"Q2964455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7034478677a9450171f24a7ccd3a6c6b2652ce06","datavalue":{"value":{"amount":"+0.8889178","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":"Q2209546$9B68E18A-8A6D-40B1-A1FE-63A29A9B3679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d63a881858e8d89834baa356991eb6ec6a671b","datavalue":{"value":{"entity-type":"item","numeric-id":3454079,"id":"Q3454079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9fc91f19a56bd1730f54dfa10e39f519cf15455","datavalue":{"value":{"amount":"+0.8879936","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":"Q2209546$CE69DC97-59C7-40F5-94A0-1C529A10ED94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c5dc37680c6ec85e6d860e9c85956e62539a0b4","datavalue":{"value":{"entity-type":"item","numeric-id":1655487,"id":"Q1655487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94296eb105c4f84c484ae3b0ae21ec95b93f553e","datavalue":{"value":{"amount":"+0.8865618","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":"Q2209546$7FCF5935-3CD6-4B9E-A258-635F907F90AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdeb7d7da162a5ed97c2dc87b40784b5b151e372","datavalue":{"value":{"entity-type":"item","numeric-id":1821564,"id":"Q1821564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a1512c186717a0cc6a5ac0ea5b079e2cb25aa76","datavalue":{"value":{"amount":"+0.8847818","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":"Q2209546$5623C790-FA2F-4D81-8D0F-3D44F5B2493A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaf49746178cebdd65335808acbecf9307429d89","datavalue":{"value":{"entity-type":"item","numeric-id":3655199,"id":"Q3655199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad3579096a65231f2e6eac1072460d70494ae185","datavalue":{"value":{"amount":"+0.8832268","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":"Q2209546$7959CEC5-E9E2-4907-8B45-E8E45F8C82B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedd594cc2a902359918705efd7e84cb73912978","datavalue":{"value":{"entity-type":"item","numeric-id":5128049,"id":"Q5128049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e8c8a46f6b439a8909188f0a4baa9e2fe01c619","datavalue":{"value":{"amount":"+0.8802753","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":"Q2209546$44B82493-76FC-455D-A138-08628BE4708B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order automated reasoning with theories: when deduction modulo theory meets practice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-order_automated_reasoning_with_theories:_when_deduction_modulo_theory_meets_practice"}}}}}