{"entities":{"Q6930241":{"pageid":21084778,"ns":120,"title":"Item:Q6930241","lastrevid":75805423,"modified":"2026-04-21T02:23:32Z","type":"item","id":"Q6930241","labels":{"en":{"language":"en","value":"Unit refutability of Horn constraint systems -- certification and parallel complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8093338"}},"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":"Q6930241$808823A6-1EA8-427F-9E6C-CF30AE692DB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"040fd3b600110511cb498b057c87d9ccf7319540","datavalue":{"value":{"text":"Unit refutability of Horn constraint systems -- certification and parallel complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6930241$A8646B7B-7622-4C23-956D-D9C7277C2D02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d38b219c43dc92e9d9e736ab4c198f1615139842","datavalue":{"value":"1573.686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930241$EAED2CFD-7687-4CA7-A955-1F5AF778CCD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48c52cc33aae4f7fe1071d4fc918c1a4bb467f4f","datavalue":{"value":"10.1016/J.TCS.2025.115419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930241$5289E4FA-F5EA-480B-BDEC-B126C8879C1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09fecd042f765d4f9a49a91ca3baa11cd4be1e9f","datavalue":{"value":{"entity-type":"item","numeric-id":624349,"id":"Q624349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$1E42E663-6799-4238-954D-D5D0B5447B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$33BC91CD-C0B3-4AC3-8D1D-2F721D257FBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$E0D5288E-124D-4B27-B2F2-D1F2995D6932","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89702df27b41bf3bf3c052e0e7819f38e8fd190f","datavalue":{"value":{"time":"+2025-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6930241$D9427D27-4E1A-4002-B306-F1BCB90DC83A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930241$0BD1CA4E-EE67-4755-939C-356E5CF32DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930241$038245F5-8509-4ECB-84BD-BFB3E41C02FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930241$0049C426-86CB-4554-A41F-1C9C04AB83B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930241$2982771E-C69F-4B9A-BAE7-9DD2E475B144","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb03d2c785690ba282471fea6286f4ccef225288","datavalue":{"value":"8093338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6930241$1E53BE81-1DE3-4473-BC83-B9F759A30616","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":"Q6930241$8BAEC72C-051A-44AA-BAAF-17FC702AD21F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unit refutability of Horn constraint systems -- certification and parallel complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unit_refutability_of_Horn_constraint_systems_--_certification_and_parallel_complexity"}}}}}