{"entities":{"Q6930241":{"pageid":21084778,"ns":120,"title":"Item:Q6930241","lastrevid":84122762,"modified":"2026-05-10T14:58:02Z","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"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8ad2bfadd858fb13762c674e08625e20ae137b","datavalue":{"value":{"entity-type":"item","numeric-id":1923821,"id":"Q1923821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$CFF7C64E-8482-4FC5-9152-A325EA442315","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":"Q6930241$658B2DB9-46B9-4256-8E44-F424D036E6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89df7c280a99400b8f816e3dc3b2d0d14b612ce","datavalue":{"value":{"entity-type":"item","numeric-id":4302833,"id":"Q4302833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$4FCCAF36-102A-462D-A97A-A19091CD340D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd2d94005cf638be560bebea9f4aaaa8555421d","datavalue":{"value":{"entity-type":"item","numeric-id":4255462,"id":"Q4255462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$F8E89CF5-89A3-4C44-923C-22B6381E5443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e0ec301a2daa50bbddaee495d81db74f852f2b","datavalue":{"value":{"entity-type":"item","numeric-id":5613968,"id":"Q5613968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$1B494922-6BB9-4BE8-ACEC-49F9D8BAE0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53913ed9eebaeddbc1df0a6aa23fd470277e1e","datavalue":{"value":{"entity-type":"item","numeric-id":2387427,"id":"Q2387427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$35DC2378-6521-40A6-98CA-1C00EA3D5BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39247c00a7ce4823ead5de23d97d8ba01016b1f6","datavalue":{"value":{"entity-type":"item","numeric-id":2445839,"id":"Q2445839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$A2855732-B678-426F-AFB1-136388EA37FD","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":"Q6930241$2AF19192-CDF1-408A-A0C4-BCC1A736878C","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":"Q6930241$89C8D28A-1022-4574-A48F-0B2758A43B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41051290dad36879ad016b201152054fc1f7f49","datavalue":{"value":{"entity-type":"item","numeric-id":5307060,"id":"Q5307060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$4DC15F1F-B6CE-4E2F-9D85-12956E08C744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23658341dc791ef695df619485437ec6440f373a","datavalue":{"value":{"entity-type":"item","numeric-id":1509284,"id":"Q1509284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$AEC61F97-EF5D-4979-965D-ED46289DA645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d6321a3b15489d3ed6e73cf55ba5d79230f775","datavalue":{"value":{"entity-type":"item","numeric-id":4809071,"id":"Q4809071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$851AF784-BA2E-45B7-8F0C-1CA60D1725F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b45f388842b51b5a2da088b450fd6a6bbb068d","datavalue":{"value":{"entity-type":"item","numeric-id":4843270,"id":"Q4843270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$5B9A9B28-7CDA-4ECA-BF23-F4DE82848347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$22B321CC-E631-45EE-93F7-24EBDAB60F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4960d97c11c0cd0f282650fb582b7cd310577033","datavalue":{"value":{"entity-type":"item","numeric-id":3256638,"id":"Q3256638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$F2B4F7E2-7E01-4600-9631-53DCC8110479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af682f907b9834233441de06294bdae71e9206a1","datavalue":{"value":{"entity-type":"item","numeric-id":4702567,"id":"Q4702567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$2EABA410-1831-46CF-A435-0A50EBB52505","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":"Q6930241$065C350F-A51B-4167-8222-C6476EEA055B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98f0de6ee54b022737f8389aea6b9f8f6ac6eeb","datavalue":{"value":{"entity-type":"item","numeric-id":4096462,"id":"Q4096462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$A0B5B907-420B-4B68-A35B-58B4B6F70067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05de296e121fb7c75e48d1e2ce77bc16cf43eee0","datavalue":{"value":{"entity-type":"item","numeric-id":4018154,"id":"Q4018154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$3E93EBD7-C5F0-4AE7-AE5A-67E264950734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041184ced68ec1bcfc7e3558db4714d4dc908858","datavalue":{"value":{"entity-type":"item","numeric-id":4050192,"id":"Q4050192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$7FA59508-7224-4035-8AE3-AFAB674C4D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54df13eb01be31e77d317d82a5c7216e0c97116c","datavalue":{"value":{"entity-type":"item","numeric-id":2180223,"id":"Q2180223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$6E5A7BA9-90ED-47FE-8387-5EEA61A3CD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9fc22a32f500a3420cc5b4ffc482e11c1338e3","datavalue":{"value":{"entity-type":"item","numeric-id":1749535,"id":"Q1749535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$74D214D4-2B90-4E6A-B1B3-521FCDB25E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f2a499aa442a03c1708933f2c21f395f3a4f4d","datavalue":{"value":{"entity-type":"item","numeric-id":1610491,"id":"Q1610491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$2DC7E8A0-C546-470D-81A7-7BC6A04329EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3e59c111d12cf14599d3ca95b269f4dfc54948","datavalue":{"value":{"entity-type":"item","numeric-id":4140416,"id":"Q4140416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$3AF2E7F8-3D58-4875-81F8-E93DA3E49280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c930d91b45cc74101e54a805b7b01145d43e7ef","datavalue":{"value":{"entity-type":"item","numeric-id":1699519,"id":"Q1699519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$403B00E7-EF05-4E64-BEBB-96B5D87E74C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b727f36fcbaabb8015ffe634c3469ac7c0019f","datavalue":{"value":{"entity-type":"item","numeric-id":5491898,"id":"Q5491898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$E91E7684-AF90-421C-B7C5-FC248C81D9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"608f85c99c321358adbffe61ad0596cc0587b9cd","datavalue":{"value":{"entity-type":"item","numeric-id":1111776,"id":"Q1111776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$D4927272-67E4-4DAE-85A0-A0C568DA21E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c11a3656bdd9767b08f88d08fbce19aff9f396","datavalue":{"value":{"entity-type":"item","numeric-id":4529777,"id":"Q4529777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$EED7942A-2D57-489D-9AD2-3A22E4B4C812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216e0413113ac9dc219e168d002afa53fc556cdc","datavalue":{"value":{"entity-type":"item","numeric-id":3485884,"id":"Q3485884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$51D0CD21-0389-4A88-A620-48E6D70462CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccd0cb4bb703794f0df447100cf1cbb2a5da6e32","datavalue":{"value":{"entity-type":"item","numeric-id":4417685,"id":"Q4417685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$AEDDFFE5-4456-4741-9627-4B9F84F1CA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff3b564b9966733fb2eba8af126a57bd6d93a22","datavalue":{"value":{"entity-type":"item","numeric-id":673602,"id":"Q673602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$B2F7716D-DB54-43B4-85E2-946CD44F68B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd877b6e0ee76607d8a0a907e313c72ea9b6cbfc","datavalue":{"value":{"entity-type":"item","numeric-id":3079912,"id":"Q3079912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$136EE64A-9C97-4C38-B042-CDD7D1171E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83ed8ce59c0eb8d7f29eaf2566826020c5c15da3","datavalue":{"value":{"entity-type":"item","numeric-id":846163,"id":"Q846163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$78036594-C946-4FE3-BEDD-FA2F440B7EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11aa9ddb4b381c324d5d28a112727fdef1d51ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1893159,"id":"Q1893159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$358196D4-044C-4021-94DA-2CC02C3C13D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cc0deca078f11a055615ef53b3ff36babd45ebe","datavalue":{"value":{"entity-type":"item","numeric-id":2415363,"id":"Q2415363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$2A618590-B8FE-47ED-A33C-55F074F1E4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b952b9ca3e60ee9ac867aad391bfcf6a2a76fde4","datavalue":{"value":{"entity-type":"item","numeric-id":2055789,"id":"Q2055789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$F352A05E-DCF8-4C13-B712-079CF5104C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61bdeccde015f89c3da58aa4740c8e6d4c77d8e0","datavalue":{"value":{"entity-type":"item","numeric-id":2232285,"id":"Q2232285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$9162BB02-8644-41FB-8932-78992928259A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b68667341db3a920165f7b8d83eb05cfbbceb4","datavalue":{"value":{"entity-type":"item","numeric-id":6902212,"id":"Q6902212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6930241$A9439FAE-736D-4844-BDFF-3D09AD00B942","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"}}}}}