{"entities":{"Q6906384":{"pageid":20937913,"ns":120,"title":"Item:Q6906384","lastrevid":84168761,"modified":"2026-05-12T22:53:08Z","type":"item","id":"Q6906384","labels":{"en":{"language":"en","value":"Proving unsatisfiability with hitting formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8115373"}},"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":"Q6906384$108E670C-85D1-4B36-9EEF-01079EA12FC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9137e180e88ff9d230b96d3eb98dcf2c2a503621","datavalue":{"value":{"text":"Proving unsatisfiability with hitting formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6906384$06E84624-1A9A-421A-8ACF-025BCF1B44B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf3ce8d9d70c04bb4839f74b52c267210ebbbbb2","datavalue":{"value":"10.4230/LIPICS.ITCS.2024.48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6906384$1093CD6C-B9B3-429D-AE61-4D8864759D5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0fe0a7fa80a03dbe218a5c976959a59a29e24d","datavalue":{"value":{"entity-type":"item","numeric-id":312256,"id":"Q312256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$66867E52-9B1B-4C6F-A2C5-7A4289FCB343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"082fc9f964d52bb224385bf2fb43b8343199b054","datavalue":{"value":{"entity-type":"item","numeric-id":234710,"id":"Q234710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$241CFC47-D89F-4DD5-BFF3-086FAF6F67E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74efe74cf6a1a588fa17da7c35604ff1c2aea60c","datavalue":{"value":{"entity-type":"item","numeric-id":1625179,"id":"Q1625179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$3D539085-93F8-45BD-A2BD-129B5AACD51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"746e2a61742eb11dd23c6fed9979431e7e2c1d59","datavalue":{"value":{"entity-type":"item","numeric-id":1704572,"id":"Q1704572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$75893F7B-494A-4690-B42E-49AD16098883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5302b48d82eac44081d15b48583a3fafba169c6","datavalue":{"value":{"entity-type":"item","numeric-id":1656562,"id":"Q1656562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$A1945A1E-6A37-42EE-8029-79F337792030","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57d1246c8339bcdec3a59483c632c6d106ca03b0","datavalue":{"value":{"time":"+2025-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6906384$BB2D82AD-3432-45DA-BA5F-44E62282F94F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6906384$21A0CB7B-71D7-46A0-AD50-870F2B72FE67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4397218b377ccbc15459fa84877954166a03264","datavalue":{"value":"8115373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6906384$8ECA7662-599C-48A7-A0B3-674042B43B5A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$77BA9261-46E3-4050-AD16-55BCDF7C1BB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516cb0b11c1418e7ce0f052dfff449a7ca3f244d","datavalue":{"value":"hitting formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q6906384$21526186-3866-4FAD-BA16-AF1351A4D271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df315845aed3ea96e6de75c6806537745705a4","datavalue":{"value":"polynomial identity testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6906384$5C3FE8B6-8481-4BF5-882A-584661DA9FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8745712302d28813999fe70c270cd7743c07054b","datavalue":{"value":"query complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6906384$4D3DA99F-A1DB-4099-8D33-BE1DC9D80666","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":"Q6906384$368BF2B4-7008-4DA9-83AC-055DD61F1023","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"461e3880379ef51ab9bcbe94278aa6e1133e2b05","datavalue":{"value":{"entity-type":"item","numeric-id":5361886,"id":"Q5361886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$8E131EE2-2A6B-4C74-90FE-BBE6F55C9273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff8a1d983dc735fd82f262f00fed618f4232eaf","datavalue":{"value":{"entity-type":"item","numeric-id":3149864,"id":"Q3149864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$6FABB656-C28E-4464-8EF6-216A73FEABC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed649d2c385bac115f092b65543ccd87d6cd2968","datavalue":{"value":{"entity-type":"item","numeric-id":6115377,"id":"Q6115377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$3318F674-B0F3-4660-8948-C5829D7B2507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63288e6935cef7317d099613332fae59b3960c9d","datavalue":{"value":{"entity-type":"item","numeric-id":5368738,"id":"Q5368738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$4441FA40-5375-4FF6-B812-6B73E59761FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e608320df31f8e48c84ddb3e288d0df61ecac3d","datavalue":{"value":{"entity-type":"item","numeric-id":2475405,"id":"Q2475405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$757A2565-53BD-4A28-BAEF-C9C924E4ACA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe1958fb29532b90e09c713c0b31c18a6b57a9","datavalue":{"value":{"entity-type":"item","numeric-id":4892411,"id":"Q4892411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$239B3E35-A4C5-4CAD-B09E-D2BEC64B54AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$25632FCD-2503-481C-884F-9BE03470E09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d343f0c86a15e3332de5f05526fd4248852739f","datavalue":{"value":{"entity-type":"item","numeric-id":5716863,"id":"Q5716863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$CEABF381-1932-4481-AB85-FACD5023C1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9247f02580b0b7e54414a6a3913c3200e9561a","datavalue":{"value":{"entity-type":"item","numeric-id":4375784,"id":"Q4375784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$97FAAFA8-4CF2-48F7-B4CE-69C0A64F4F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4543d8f2ef36738c645393aea2d2e60cd486df7c","datavalue":{"value":{"entity-type":"item","numeric-id":3654387,"id":"Q3654387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$4573C09E-F6A7-4CAC-A97D-E4CAAB925577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25cd1afd6809f2236d203cad789f950bef0e99a8","datavalue":{"value":{"entity-type":"item","numeric-id":558312,"id":"Q558312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$C920AD19-05C3-4344-96C2-01FBF511C410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c56b39fc1daba2c0c6943a067d2e222ad8e0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1430569,"id":"Q1430569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$16AE2F43-3AFA-47C4-9929-A4D4DF90224C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc668831a6565a498110f2aeac4eebcb5e83ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4228469,"id":"Q4228469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$98C7E1F5-A679-45E5-A30C-1647D2D4D207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$21B7FE2C-FC6F-4663-B407-2252DB9A9FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc572d627a83eaa191f68127ff59e387905680","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$EA726674-6CAB-4ADC-9780-97D124EFD130","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":"Q6906384$3F966964-26CF-4848-A26B-3A2B31A7CA25","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":"Q6906384$29B9DA8A-B860-44B8-A415-760AD057DF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f76659c519edea1abe887621e91ed77cdb550b","datavalue":{"value":{"entity-type":"item","numeric-id":6946469,"id":"Q6946469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$D282D3AC-F1FE-41CB-B9C8-7D80CD617721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9de0839bfda831d3b3c5ee5da2140ecdd2db7809","datavalue":{"value":{"entity-type":"item","numeric-id":6890908,"id":"Q6890908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$E790BCAB-BF73-4F81-A926-E5D452415B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7eac0d0cb861156fc34b7d27b54259fdf5cbcd","datavalue":{"value":{"entity-type":"item","numeric-id":6115403,"id":"Q6115403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$82917198-0C97-4249-8ECC-0E33612CD2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e622144574aa2c2ba883d6895d25b36bd5a3b46","datavalue":{"value":{"entity-type":"item","numeric-id":1823009,"id":"Q1823009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$F016B867-202E-4DC6-B5A0-54B353F52DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c25f61979ec007ed140b2ad18ab5e9b5937153b","datavalue":{"value":{"entity-type":"item","numeric-id":6199189,"id":"Q6199189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$7F4FB40D-555A-42E5-8537-79379985B061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fd01ae611bdc1621b0ff2ccac7d01bf6e7f3b87","datavalue":{"value":{"entity-type":"item","numeric-id":5215904,"id":"Q5215904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$13402506-1BED-4B64-AFC9-C3BEC73446F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e2321b6c26b54c92ace8567b5efe73cce63c44","datavalue":{"value":{"entity-type":"item","numeric-id":5140848,"id":"Q5140848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$6BA54FFE-9D36-42FC-9112-8030C2D36538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baee9771963145efca5af6f86557ebcb92b31d84","datavalue":{"value":{"entity-type":"item","numeric-id":4617974,"id":"Q4617974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$EF717DCF-F27B-45B8-9A12-3BF1481F1828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c92e9f75df696752a1440734fe311d093a5ee9c","datavalue":{"value":{"entity-type":"item","numeric-id":6560928,"id":"Q6560928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$B6DF7FCB-7B12-4604-B4D5-F841475CCEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca5f96fbc34b09e5346c7b54e907eb6f5aedb8b","datavalue":{"value":{"entity-type":"item","numeric-id":1401356,"id":"Q1401356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$8DFE4653-E679-4CED-93D4-EAB381EE056B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"debdc80e243d285b50a44b4bca90d8ff20b6cfce","datavalue":{"value":{"entity-type":"item","numeric-id":4625658,"id":"Q4625658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$52D187DE-A8AF-4435-9BDC-3D3D4471D3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33c7dfb76bf9f2a13f6136f5d7f84829315edb9c","datavalue":{"value":{"entity-type":"item","numeric-id":2330559,"id":"Q2330559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$A69AAD69-6858-441A-823C-E2A33C223E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5deea84536a13c245ba51a2fdb97437a6ef30b7","datavalue":{"value":{"entity-type":"item","numeric-id":6942976,"id":"Q6942976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$0E4BD514-9B95-4A90-844E-2C3B534EE5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d58db2760833a6c730334867d69c8a014669330","datavalue":{"value":{"entity-type":"item","numeric-id":6946367,"id":"Q6946367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$10C523AC-6BB9-407B-BF96-C46207A7F7DD","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":"Q6906384$442083F2-BECC-4AD6-9654-F2C31558F35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d185feafbe17c7f4015ee208c31bd202651a36","datavalue":{"value":{"entity-type":"item","numeric-id":5415478,"id":"Q5415478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$82995813-402E-4A54-B0EC-06B53E6094FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae710656b0fa978e13bd222adbd9107b4577d8f2","datavalue":{"value":{"entity-type":"item","numeric-id":6115354,"id":"Q6115354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$8B6CF6D3-DCA3-436C-A0C9-9D2BF0ADEF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e4c593f68907b092d3ca7ad8f8e5e6d1cf5bac","datavalue":{"value":{"entity-type":"item","numeric-id":2334112,"id":"Q2334112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$19EAAF74-947C-425B-823F-1F2A7D57D11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37930b0e05a7c335cd484274c11b37ae7a7fbabe","datavalue":{"value":{"entity-type":"item","numeric-id":3829072,"id":"Q3829072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$9E6D66BD-B9C7-494D-9CAE-641D254EDCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88182aa7b77c4eb7005a57d5eab42f257cbc74f","datavalue":{"value":{"entity-type":"item","numeric-id":4254700,"id":"Q4254700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$B692441A-A862-47B8-92E9-4A50A4F3E553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"673c3d5678692681137b85515e0fa0ad94daa6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5325880,"id":"Q5325880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$D7223A2A-580F-4D22-BAC0-099F4BE2E69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29c4aecf5d014a97f9cae8dcb0a915c6ceb2d3d","datavalue":{"value":{"entity-type":"item","numeric-id":6828957,"id":"Q6828957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$48EAE690-9D40-4ACF-96AE-09A115F02123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"897cc99ad3ca7e1adb71b53880852990a3778129","datavalue":{"value":{"entity-type":"item","numeric-id":6826480,"id":"Q6826480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$BFE2E368-174C-4DF7-B1B2-AA0FE4F26A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec4896edc35f1e12505542682c8c6b6145a21f0","datavalue":{"value":{"entity-type":"item","numeric-id":4875692,"id":"Q4875692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$EE8C5D69-6CE6-4DE7-9D73-141FC031E5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"056dc5420e2fc7959d17ae88fc635923df61286b","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$690C2A29-AF3E-422F-A143-4317C0631002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"547393787ecd9fd7a123ee35d81ac7d16e2dff3a","datavalue":{"value":{"entity-type":"item","numeric-id":4353563,"id":"Q4353563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$6F67CD31-1B39-4300-9A83-27CC07513EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e2a2f871e761bb462059a6fbf00bdca7df4c3d","datavalue":{"value":{"entity-type":"item","numeric-id":2757489,"id":"Q2757489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$42275691-5A7E-42CF-9064-06D6D355FD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13e5fd2840fe679e9f15c3f99e81f0c7076054bd","datavalue":{"value":{"entity-type":"item","numeric-id":1781113,"id":"Q1781113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$E50BEB49-FC96-423B-83F9-D8826BF575F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c9b92d72030c1a3bcf2681465ffd6f2c8f3566","datavalue":{"value":{"entity-type":"item","numeric-id":952492,"id":"Q952492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$05EB31E8-3943-4CC4-A93B-5653DAD33449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf1cb13533682ea4db81d75690fd1d0d77bc40a","datavalue":{"value":{"entity-type":"item","numeric-id":2399382,"id":"Q2399382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$3C9FB22B-DE5F-431A-BA46-5A4A5A4C0478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6b871d25a3f2bcc10ef5d12d2a6df59054c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":5604434,"id":"Q5604434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$BD466A95-8D3F-4C60-B724-647708351371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6906384$F1BBB95E-D14D-47FC-BAE9-09CA62955515","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving unsatisfiability with hitting formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proving_unsatisfiability_with_hitting_formulas"}}}}}