{"entities":{"Q4916071":{"pageid":6945652,"ns":120,"title":"Item:Q4916071","lastrevid":98178539,"modified":"2026-06-05T16:51:33Z","type":"item","id":"Q4916071","labels":{"en":{"language":"en","value":"Canonical ground Horn theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155885"}},"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":"Q4916071$F1716068-4530-4F72-ABD0-9029EC17F016","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0392d0923455d13e12dc79ca3bc5f3fb878fbfc4","datavalue":{"value":{"text":"Canonical Ground Horn Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916071$DA215294-A36B-48BE-B875-CA017A1E22CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c14155482d64b426817dfbda68048ed0146d951c","datavalue":{"value":"1383.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916071$28A0C040-580E-452D-97D2-9906C1BB7661","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b85e2362d716d1dec19330e14a481e533fb3f018","datavalue":{"value":"10.1007/978-3-642-37651-1_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916071$5F1DAE8B-4B42-4316-ACC5-5976B1CDD725","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":"Q4916071$631FBD90-93B5-43DC-9909-8DD06F155077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"423424ed34b7dac382d00344caf66effb4c7fafb","datavalue":{"value":{"entity-type":"item","numeric-id":199247,"id":"Q199247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$6E7DE3B3-9E32-43E0-BF06-85171803DC13","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3a046867d8df4ef9ef42dfd906417229d4e733e0","datavalue":{"value":{"entity-type":"item","numeric-id":4916068,"id":"Q4916068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$21024633-7F3D-443D-A6DC-D8016F652CD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916071$7728648D-1180-4306-BCFD-3B2BABBAC9AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916071$1E6BD417-0F16-40A9-A147-6B02731E0B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916071$AEFFD6AE-61A6-4228-98B4-AA4602307078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916071$98939BD8-DF24-428A-87B7-D103FE3AB291","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1778326c2f91d92e1f8638d8b91c5e0eeb16eec3","datavalue":{"value":"6155885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916071$4EC1B05E-6815-4C9D-867F-6860AD335EEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd9b48e0f63bd31aba7983c4b529381f34b00c34","datavalue":{"value":"Horn theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916071$7C2792BA-1C2F-4D53-B70A-A1537DAAF877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84d87a24adbd18467caaece0c807228f27dbb730","datavalue":{"value":"conditional theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916071$8AD11528-8232-4950-86DD-DA8313F4AF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c264cac643d5233aaa550f61837241e994db433","datavalue":{"value":"Moore families","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916071$2FA3972D-3C01-4DDC-B00D-024619671D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916071$6540443F-D397-4D72-867B-6F4CF3DCE55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b0bdb0d34b374b5db897e31ca9a19a4aaecc60","datavalue":{"value":"canonical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916071$0BE6E9B4-17B2-4124-8CE4-E14E48BFAB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916071$96701284-7818-49E2-BEC6-384398F5CA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916071$9706F629-CE8E-4B05-BC16-2A4453AF88D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5935250e4e60897f7fdffe660d9ac37d224e316","datavalue":{"value":"redundancy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916071$19B9DDEA-A6D7-4548-BFA1-0F7534192B6B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"650e761a5f418c574655712b35b1fe882f756011","datavalue":{"value":{"entity-type":"item","numeric-id":19297,"id":"Q19297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$27F1FC0F-AAD6-4CE0-99E1-FF4F04307055","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":"Q4916071$8445D28D-5B19-471E-9AC5-0880E2826BE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35345ff6922e11782b940a208665711da714c880","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37651-1_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916071$2806C508-1756-48DF-BE41-8ADFF6F76FA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e86523feebe2570f426801fd6ad29685284100a4","datavalue":{"value":"W64666703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916071$A46AC847-3CBA-4A70-A3C0-E1E339E4D447","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4174a7ffe887fe44527991607626ebbc7d92563a","datavalue":{"value":{"entity-type":"item","numeric-id":4385536,"id":"Q4385536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$8305E378-828F-4696-90AC-F2C9EB7264CB","rank":"normal"},{"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":"Q4916071$678D1C52-4AC7-4AC0-BF49-A4C7966FE2BE","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":"Q4916071$54C350C6-2650-4F14-BA96-3D6F791FADF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa3cb4eed92e572c0b080c767bbb92340713510","datavalue":{"value":{"entity-type":"item","numeric-id":4299008,"id":"Q4299008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$354E5C41-04AA-43FC-9863-4F5F74140B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$A9F71835-59F5-42B4-8522-794A076BD621","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":"Q4916071$B3D8F112-0239-4F3E-9BEB-F93B302EAD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7493edc7ee086f0a6cb67b2f7fefd939c712cfd2","datavalue":{"value":{"entity-type":"item","numeric-id":1276499,"id":"Q1276499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$EEEADCD4-1F0B-4436-A0B2-697FF22EF61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fce644f9f846c82ec00e7b8118a4b08947addc5","datavalue":{"value":{"entity-type":"item","numeric-id":4667609,"id":"Q4667609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$A8C03F84-41A2-44BD-A0D6-CBC23DD5D1F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc888a076de43aba6ae566aed76169c6ee4074b","datavalue":{"value":{"entity-type":"item","numeric-id":5789040,"id":"Q5789040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$2BEDF10A-0563-4CA1-B7AF-97ED0108F956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d47d7f807ff440d37ec1151957e0741b3996e143","datavalue":{"value":{"entity-type":"item","numeric-id":5277771,"id":"Q5277771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$19177C00-9186-4B76-BAAE-7257988BFEE0","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":"Q4916071$7F81DD82-C584-4579-8504-F490CD976D45","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":"Q4916071$7987CCD8-0D01-40D1-8656-7DF3728B8F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b18a75aad9c9a7a5a4368c62a0e4bea68bf145","datavalue":{"value":{"entity-type":"item","numeric-id":1041591,"id":"Q1041591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$0859C19C-8DF4-44EC-8F5E-622E1E9DBBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3988f573486bc39534cc4acf743cb25ad4c3b3","datavalue":{"value":{"entity-type":"item","numeric-id":4015955,"id":"Q4015955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$1D8C10B0-BD59-4F71-B5AE-7916B1534E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67be0822f2ea25493074f855c573aed35f47e829","datavalue":{"value":{"entity-type":"item","numeric-id":673134,"id":"Q673134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$E21CA063-ED6C-4722-BEAC-8B34FA139FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f85fd02f887f9e6cdc6efa73686f469882f2acf7","datavalue":{"value":{"entity-type":"item","numeric-id":438533,"id":"Q438533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$5B3C5839-AD6A-4EEE-8A3A-12B8A8B62F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c86958bb9d4dc68885a0aa81c3d8045081a3d3","datavalue":{"value":{"entity-type":"item","numeric-id":5757934,"id":"Q5757934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$39155EE3-8F9A-4BA4-B4B4-9CC4CEEC7FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3e12a03ecd27f469fd91b07242cf3d7ad54eca","datavalue":{"value":{"entity-type":"item","numeric-id":2741274,"id":"Q2741274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$23B58B4A-9301-4C5E-8ED2-2FD178F38F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$6F0738A6-D436-4B85-B0E5-4CE17C89B35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff8a97b4b9412cf94d02fb85f3195ed2195f2be","datavalue":{"value":{"entity-type":"item","numeric-id":4447230,"id":"Q4447230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$3E833653-4782-431F-935F-DFC9C817399F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f4147474a7e5a4baf84f193c7501316743b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":1139374,"id":"Q1139374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$A03C4CBD-51F9-4868-8FFC-0A53BA5611ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ec45a842bd7bf87466a82e7175870b8977fe49b","datavalue":{"value":{"entity-type":"item","numeric-id":3707361,"id":"Q3707361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$6B725E68-C3FC-4B69-A32E-BDC5C5BC1F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be4dafc54f71b3ccd796706ada540b8979e083aa","datavalue":{"value":{"entity-type":"item","numeric-id":4036569,"id":"Q4036569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$40AA1C01-1281-4009-9937-AF6CECD7F11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07af20137e8f1ab11361fe0eae07186b9f258c1b","datavalue":{"value":{"entity-type":"item","numeric-id":4012174,"id":"Q4012174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$6160F99C-FB51-4992-B907-773430048DBD","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":"Q4916071$6E82406D-6932-406A-9E6E-C693F79AF003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a66e7053955b21444ac78a908fb8b393ff56a8","datavalue":{"value":{"entity-type":"item","numeric-id":2500482,"id":"Q2500482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$50DB002F-1849-418C-BEF2-070F282D5CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$304AF5A0-0540-4D40-8D16-63A72A46ED8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85f2b15a33604f166e71091b012fd17ef065385","datavalue":{"value":{"entity-type":"item","numeric-id":3806799,"id":"Q3806799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$22E7FF9C-1BC1-4DEF-AA54-DB2B4A1B51F9","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":"Q4916071$B0DF29CC-7349-46DB-821C-0380A2DE1772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63122194b3ddae51c07012542f84f5383e4f333","datavalue":{"value":{"entity-type":"item","numeric-id":1322836,"id":"Q1322836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$F08C96E0-FC13-4F95-892D-E3F807B659B0","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":"Q4916071$24FA516C-83D5-425E-857B-7B63BF59F0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$DD1716DE-36F3-4E82-AC09-3B6FD3AD4B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebba25ec6e30e98195fd89fc28af9b9ec829611","datavalue":{"value":{"entity-type":"item","numeric-id":2751377,"id":"Q2751377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$D010B910-29D7-4CA5-88AB-F51452708B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9741e06ce9f548b05466c57084eff41a74813bc1","datavalue":{"value":{"entity-type":"item","numeric-id":4033833,"id":"Q4033833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$0CD98361-8BB2-45C9-AFDD-EB67ADFDC2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4964d7813db95b59d880c148321ae9fd8c270a","datavalue":{"value":{"entity-type":"item","numeric-id":1100933,"id":"Q1100933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$E703452B-38CB-4CEE-A31F-EEC719129451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ab79f8fe1e91b63e9c6e6379a45e52f1e9d8a2","datavalue":{"value":{"entity-type":"item","numeric-id":758211,"id":"Q758211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$F3E9CFC9-160D-42B1-A728-63F08950F971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83880f170299ba13e2e839890cba27cc20df7932","datavalue":{"value":{"entity-type":"item","numeric-id":4305632,"id":"Q4305632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$86C4BB31-D9D1-4344-B0C7-9C0E4376DAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4fadbe040952e672c3232da507a94e0f314469","datavalue":{"value":{"entity-type":"item","numeric-id":5805954,"id":"Q5805954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$FA95040A-4102-4C7B-858F-DA7BFBDF7FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7814c93fd14c472a24a528c1ff4a97ba1b2c10db","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$0BE1C328-1DE5-41EA-B8DA-C5D14CA55C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd5bc215c224415a5ecec5a6f82537a0a3ef141f","datavalue":{"value":{"entity-type":"item","numeric-id":1098649,"id":"Q1098649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$886C4524-73A5-4F7C-B80E-7C0FFEBC8A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b95a10e194b852a6f6838734d909c8312bfc826f","datavalue":{"value":{"entity-type":"item","numeric-id":3028369,"id":"Q3028369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$7E87138B-AB99-4984-B1D9-178E79329727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7dd076536f3668f703f8f8e17b2cfee8106654e","datavalue":{"value":{"entity-type":"item","numeric-id":1154801,"id":"Q1154801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$09AF5D44-F22A-48EB-B136-49F157C90DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc38d5f7a802e9ea35c5abdf22fc0003a899e4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1100891,"id":"Q1100891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$7E6E64DC-8291-4799-ACD1-047B9534D3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$78ABB787-A82A-4DEA-BDF0-A193DD8F6C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"985955d42b923cfa0515d9e4152c08273fc9f86a","datavalue":{"value":{"entity-type":"item","numeric-id":757095,"id":"Q757095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$73DBCE50-3B3B-47F5-A022-1A75D9DA21D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63cf6b15c983713cbbd36be99d9e86424440205c","datavalue":{"value":{"entity-type":"item","numeric-id":4539637,"id":"Q4539637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$4DA7034F-1326-414B-8070-7185E93ED392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7add01291c95ebcb031afac6fc8c8b1659115c10","datavalue":{"value":{"entity-type":"item","numeric-id":1229761,"id":"Q1229761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$C10B8921-805F-425D-8123-8D4E0C471627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15b2a2283434fa49d8b91fe8e50cb7a13f457d5","datavalue":{"value":{"entity-type":"item","numeric-id":5844609,"id":"Q5844609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$07864337-D999-476B-9818-23841E9B2CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda45515c8d113abab4b261c568e2d4dc9ee55aa","datavalue":{"value":{"entity-type":"item","numeric-id":1917087,"id":"Q1917087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$50B1E524-8FF2-4CCB-AC18-B4B0F71F5AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86948ae383981e54b1af98cd1b8691bd9899e11b","datavalue":{"value":{"entity-type":"item","numeric-id":2859380,"id":"Q2859380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$F5CA60AD-DEA7-4090-ACBE-D207078A86BD","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":"Q4916071$F47AEEFB-82DD-4289-A44F-182D2E16DC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$19966030-E75D-40AC-801A-1FB53F18ED3B","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":"Q4916071$FA50078B-A54C-41F8-8951-960D2ABB21B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae422186a92e736e4c425a4929cdfada9920423c","datavalue":{"value":{"entity-type":"item","numeric-id":1333173,"id":"Q1333173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$499B7378-D532-48B1-829E-62BB2D52808C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1942c8a63628b04c1226686a2854b9947e991ca","datavalue":{"value":{"entity-type":"item","numeric-id":4847001,"id":"Q4847001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916071$163E6CEE-B1CC-4C31-9362-7A8D5D805D7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adfc47f2d8bfcf958fd873d6042d6e7ffa415602","datavalue":{"value":{"entity-type":"item","numeric-id":3541718,"id":"Q3541718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5116b2b583ec385ed4082f5f298f238243a43332","datavalue":{"value":{"amount":"+0.8303446769714355","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":"Q4916071$21E72535-8435-4D5C-9837-B6BEC2602506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e22139889fe6a0c06c71328055c35a5e40949a3","datavalue":{"value":{"entity-type":"item","numeric-id":3818295,"id":"Q3818295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2c7d0195a8ccff34c1526580679c3fcd14d74b9","datavalue":{"value":{"amount":"+0.7835677862167358","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":"Q4916071$581F694E-1E56-4078-8208-0EC2D9996A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ddebfaa58972e8775fbf551391a2a8e86e729ce","datavalue":{"value":{"entity-type":"item","numeric-id":2500482,"id":"Q2500482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec2d801ed8826b3a26e4790796bb9dac63fdfe2","datavalue":{"value":{"amount":"+0.777937650680542","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":"Q4916071$BE9F6E5C-D47C-4C5D-BF48-2A88DB6917B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a59a3a7b5d0a65eed6813342966633f36dfe714b","datavalue":{"value":{"entity-type":"item","numeric-id":3541714,"id":"Q3541714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9981d1889644144d38b3e13ac66ad7f0b470bd8","datavalue":{"value":{"amount":"+0.7747544050216675","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":"Q4916071$D65451DB-B4F6-489D-9527-627ED954B66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9671da2ace0d3eac481c7b09bdd1ba55db0362f5","datavalue":{"value":{"entity-type":"item","numeric-id":3798649,"id":"Q3798649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88cf1322409058ab2089efef1969206e1008d1db","datavalue":{"value":{"amount":"+0.7737886905670166","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":"Q4916071$C752FD38-BC6D-4D60-B67A-BEC8C74E990B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Canonical ground Horn theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Canonical_ground_Horn_theories"}}}}}