{"entities":{"Q2096437":{"pageid":2107180,"ns":120,"title":"Item:Q2096437","lastrevid":43513145,"modified":"2025-07-30T11:23:14Z","type":"item","id":"Q2096437","labels":{"en":{"language":"en","value":"Covered clauses are not propagation redundant"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614505"}},"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":"Q2096437$EB5C024B-F064-4AA8-849B-921E79398EEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41d4d2cbc8db89b2109c8db16c7bfd635b1b0901","datavalue":{"value":{"text":"Covered clauses are not propagation redundant","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2096437$78A48D50-5D52-43A3-AE9D-A32B848F9AD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d85712751036b6bc612bc78aec8bab0dd3544b9d","datavalue":{"value":"10.1007/978-3-030-51074-9_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096437$6D9B6DD2-00F5-4AD7-A40F-DA98FCC91513","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8ed503fb0928b64ac618540085526ca199cbcfb","datavalue":{"value":{"entity-type":"item","numeric-id":1694460,"id":"Q1694460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$E206BB2E-7D74-4434-980C-A393FB417E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$452EF488-AF9C-44E7-B06C-BBD8FA1A08E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bfbc6aedeac132fa8fdf22a422318272d7dd6c21","datavalue":{"value":{"entity-type":"item","numeric-id":1694472,"id":"Q1694472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$0FB6B9A6-3D5D-470A-8449-CB26D96CDAF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2096437$1CCF0BC5-294C-4BC4-9AF5-DB2D7162E2F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096437$4E133740-C0A7-405B-8A84-929171419DF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4911774c5bc6c7f9472372eaf311d1a9191bb0dd","datavalue":{"value":"7614505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096437$C9A42C1F-584F-4CB4-991C-5BC201BB21D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096437$6DDBEDAE-9E27-480D-834B-00CC3C712BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f7aa0bb96839dcaf939e236b4ca8dfbf2867528","datavalue":{"value":"clause elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096437$DA27CE67-F883-4E98-9E7C-278B4CE6E3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5935250e4e60897f7fdffe660d9ac37d224e316","datavalue":{"value":"redundancy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096437$B5C3FB7B-261A-4DCB-B36D-D190B7F331E3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bbe2b9a97ce0ea3098b4e4971345da27fad3d33e","datavalue":{"value":{"entity-type":"item","numeric-id":39735,"id":"Q39735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$AF3B5BFB-4A24-4120-9799-E44755EB850A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d26b39677feb5ad5adc62495c285200e3aeefa35","datavalue":{"value":{"entity-type":"item","numeric-id":28607,"id":"Q28607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$30CC3E2A-6D0C-4B1B-8585-C232CA9667EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"301291d1e9b4069ab8b0119823c179d7d50daf07","datavalue":{"value":{"entity-type":"item","numeric-id":5973615,"id":"Q5973615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$ACE62C5C-F6F4-42B6-B44E-BBC8427181D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$7D1AD6F9-54BD-4C30-B435-3E1F9544F830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3810c7bf221b43532b3d15bc5d7a1106ebd12ec7","datavalue":{"value":{"entity-type":"item","numeric-id":25229,"id":"Q25229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$964EA11F-60FB-4E93-9537-AF46F4F0DC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90f139681161cf03fca3b88a13657b8b8fd37862","datavalue":{"value":{"entity-type":"item","numeric-id":25180,"id":"Q25180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$86AB3B73-4697-4D8F-971B-153B75C9CF89","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":"Q2096437$FDEB4C21-5B33-4A89-B6E1-4F131027DE45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c73e1c2e094c01a1b25373b5829f4e895190d9d0","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51074-9_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2096437$CFD5677D-CCA6-4532-B34D-00CBBEF22607","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d73b4e2240437d4208c777725ef214d545af2715","datavalue":{"value":"W3038140734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096437$0EA2ADF5-588B-417B-9470-7C685D374CAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"865a580c588e979f3485b9f8d3fefd6f0a924509","datavalue":{"value":{"entity-type":"item","numeric-id":1343166,"id":"Q1343166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$EC5FE562-1CE2-46F7-8393-E85B76F998E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c5f690cb88788b9a65178f418c5282ddff5245","datavalue":{"value":{"entity-type":"item","numeric-id":2181921,"id":"Q2181921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$EBC0D6D4-7B27-4FB8-B04C-D1B7750F109C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5257f71d98a6e1899a8d1ff1a09a30fa28cbba","datavalue":{"value":{"entity-type":"item","numeric-id":3751004,"id":"Q3751004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$2686CB8B-A319-4534-A158-0D69ACF730FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$83033BF8-2937-40F2-A210-A0EFBCC2FB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a238202070e1e284de0d683f3fbaa805bd68cf62","datavalue":{"value":{"entity-type":"item","numeric-id":2181926,"id":"Q2181926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$8185395E-D921-4CE8-85F7-A0D78977B665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$EE3CC78C-8BEC-45DF-B72C-25EDAAF242F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9787938b4bdd367ccabbe7faf36857ca182203e7","datavalue":{"value":{"entity-type":"item","numeric-id":2324225,"id":"Q2324225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$D004E5A8-FCB6-49DF-810F-CD72F87D1753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4140c1175bddc4c685fd37c0a5c7adcd0a184434","datavalue":{"value":{"entity-type":"item","numeric-id":4933317,"id":"Q4933317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$FCD2E22A-99C6-4ED3-AC90-0E3103F43880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcb0e71d083cf8486de0b4db45626afe5608e21","datavalue":{"value":{"entity-type":"item","numeric-id":3557074,"id":"Q3557074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$3D6DB536-052C-4612-A44F-82E4BBF4C235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f89527defb7821d91c51c15ad00dbe2e1b3d605","datavalue":{"value":{"entity-type":"item","numeric-id":2941732,"id":"Q2941732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$89F1FC96-A95C-4463-A31C-1B65BE4A45E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7f4338d79de40b34fd30046415813d87c344b6","datavalue":{"value":{"entity-type":"item","numeric-id":2405245,"id":"Q2405245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$CBE483C4-4567-4074-9822-EF12273A62BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca8d2505e096cf9fe53d26bdd635adf378816b1","datavalue":{"value":{"entity-type":"item","numeric-id":6091331,"id":"Q6091331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$04F90EE7-6629-4ABD-9E7C-6140C95DAE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf772690cf31a35a32c2f2f4f39692662f8aa11","datavalue":{"value":{"entity-type":"item","numeric-id":2303251,"id":"Q2303251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$AE59B0C0-E2B0-401A-B558-C02140C9AFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7012bf2c8e1ba10cf9896acdd463864da284937a","datavalue":{"value":{"entity-type":"item","numeric-id":2818017,"id":"Q2818017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$FD429FB4-F3E9-4D56-A885-344F3A49A594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87be12daaa9049d37eba12568fd639bb8a1c86c9","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$DF526B4B-92AC-4965-BBF2-F24785708D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640de92cd025449456d2567d0f8aebb34907ab95","datavalue":{"value":{"entity-type":"item","numeric-id":3297584,"id":"Q3297584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$51C03952-D551-4C8C-B6A1-D63C88DFD9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7e8358f58e1397be654c43936d21c1d809ce15","datavalue":{"value":{"entity-type":"item","numeric-id":2817910,"id":"Q2817910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$5C939FFB-4D6E-4166-BB05-F65BFABB787C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdfc9df2b22ccfe710854f5a13d2c017a857dca","datavalue":{"value":{"entity-type":"item","numeric-id":892235,"id":"Q892235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$F10EA951-08D1-4D86-929D-EBF14C029A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0d3508621c44cb1e31d1449d9069f4f0e7ae434","datavalue":{"value":{"entity-type":"item","numeric-id":1961452,"id":"Q1961452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$928FAC53-CEE4-4865-B4EE-EB962F6A3FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8481b9dfe0d480f4985193de48055a1bd81e23c","datavalue":{"value":{"entity-type":"item","numeric-id":5756584,"id":"Q5756584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$4D1151D6-5B76-42A0-A1D9-8E16B063AA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800321fe9f6efe205a2eb283e0da5841a2b5eaad","datavalue":{"value":{"entity-type":"item","numeric-id":1061485,"id":"Q1061485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$4FD41A8E-A8DF-4540-AB2B-AA03C5251F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83662ae316121ea72100b37e1d7f310700b0f0a","datavalue":{"value":{"entity-type":"item","numeric-id":3703297,"id":"Q3703297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096437$F6B90806-F27D-44B7-9B5B-840463F1DC6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2096437","badges":[]}}}}}