{"entities":{"Q6902212":{"pageid":20912257,"ns":120,"title":"Item:Q6902212","lastrevid":84175805,"modified":"2026-05-13T02:07:37Z","type":"item","id":"Q6902212","labels":{"en":{"language":"en","value":"Unit refutations in Horn constraint systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8119321"}},"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":"Q6902212$A4D462AF-08C7-4F49-BC80-E202D8CEC756","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7470c24a269b3400023809789036ef64b6e77d33","datavalue":{"value":{"text":"Unit refutations in Horn constraint systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6902212$FE41F266-E74E-4BE0-B7AA-E2909DBF2E04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6ff4ab5c0d5b75b2b6075bed146d353d1a20402","datavalue":{"value":"10.1007/978-3-031-92932-8_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6902212$4F5D2707-EC58-4403-BF27-F2AA0A75E334","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":"Q6902212$1FCC26CF-6A96-4092-88DA-D9389AE03650","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":"Q6902212$874D44A3-3DFD-4FF6-94D8-496B771339DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aadfe502d9fc0f96faafdf2a3ce941165f259b74","datavalue":{"value":{"time":"+2025-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6902212$9BB605C9-09C4-4A57-8A3A-34500622F7D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa684c8d52e9da1094b0c2d762898ace723c7ee3","datavalue":{"value":"68Wxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6902212$9DC29994-E6A6-41AF-BBD1-8F22A223C781","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08016f083de894a99301026bf8a831171d5cf1f6","datavalue":{"value":"8119321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6902212$01555826-C382-4739-BB02-31CF2A234C30","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":"Q6902212$FE63C708-1146-428E-A2EF-E71B5C71645A","rank":"normal"}],"P223":[{"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":"Q6902212$B3630796-29EF-435C-B3E8-E1E708F26CCB","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":"Q6902212$9E9F76E3-7DA7-4734-BC6C-34B5BD8DE1C7","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":"Q6902212$43189218-8D73-4349-B584-1382A378AC40","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":"Q6902212$0211D993-D740-4791-9661-0FE949E88747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b02adb637486ae94a0ec4d7ccd744b928273df7","datavalue":{"value":{"entity-type":"item","numeric-id":4256671,"id":"Q4256671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6902212$B93721FF-B2D9-48BF-B11F-A01C737E3A92","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":"Q6902212$CB4219C2-29CF-4CA5-AA21-003A77534280","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":"Q6902212$AE3A19BA-ECA4-4D18-B477-3CCDBE630CEF","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":"Q6902212$37BF22F0-116A-47DF-83C5-53D93037DB95","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":"Q6902212$13610C83-08C9-4E41-8A5D-A9169ACB607F","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":"Q6902212$4E8517D1-04D3-4D4D-A037-AC849B41F108","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":"Q6902212$ED88F0A3-2F7E-469E-B91E-634A0F6B02A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unit refutations in Horn constraint systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unit_refutations_in_Horn_constraint_systems"}}}}}