{"entities":{"Q2232285":{"pageid":2243028,"ns":120,"title":"Item:Q2232285","lastrevid":82677848,"modified":"2026-05-06T21:28:33Z","type":"item","id":"Q2232285","labels":{"en":{"language":"en","value":"Tree-like unit refutations in Horn constraint systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7405990"}},"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":"Q2232285$76894B92-1936-4E41-9134-5A06B3D2FC3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fec04190afa2eeefe96284c3a042fbca6009d5e","datavalue":{"value":{"text":"Tree-like unit refutations in Horn constraint systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2232285$DEDFDB78-C550-41A6-9780-DFF6596D913A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7695529be324eb5839ebaaa992d072199eee557","datavalue":{"value":"10.1007/978-3-030-68195-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232285$89AB0318-620A-401B-B62D-50DD91A392A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"976d034b8adfd472494985806b6c8781bda75133","datavalue":{"value":{"time":"+2021-10-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":"Q2232285$E1129D6C-045D-4169-A5A2-5E931E21582D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232285$E6BBBA1E-B93F-44E2-826F-1BA8E01B20CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8adac0f306e7ea48d644904024ee66e65800702d","datavalue":{"value":"7405990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232285$0625FC15-A132-49BA-9595-C23FC97C0C35","rank":"normal"}],"P16":[{"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":"Q2232285$371F3570-5E03-4A46-BE8F-26C3221A007A","rank":"normal"},{"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":"Q2232285$EB5C9DEA-653E-47FE-8FB8-0C092815EBDF","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":"Q2232285$1FB7988B-7589-45CB-AD4B-CA3F280449C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c3952eee3f9a2346e4034b2b0011b644908363b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-68195-1_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2232285$AA25BAB0-6D48-4900-B0A7-C7DBBD9592D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"709a7b88d1b691154250bd9e6af287374a5437a7","datavalue":{"value":"W3129261105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2232285$882FC2FD-14AC-4B88-B727-5B96ACF2E661","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34686cb53d80f18257aca33afcb94482547eb0c","datavalue":{"value":{"entity-type":"item","numeric-id":3920645,"id":"Q3920645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232285$4BE84BCD-DC64-4104-8C3F-6AD5508EA251","rank":"normal"},{"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":"Q2232285$4A919DA6-7B54-46DB-9814-3D8C8C3F61B1","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":"Q2232285$AC2CCF18-8F37-42AB-9C6A-F0287073CFD7","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":"Q2232285$DE63A812-007E-4F8E-AD58-3BFE924CABC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97899b2a503251389d97100a20e4ddcb6332a1d1","datavalue":{"value":{"entity-type":"item","numeric-id":4646517,"id":"Q4646517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232285$56E22703-4761-4AEC-BA30-E352B10ED736","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":"Q2232285$75DF5D53-5A75-4FE3-917F-AFB7E473770A","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":"Q2232285$66C633C6-019A-4DE1-A2C1-83097D01D8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d65f813b7bf62e89eaf2eb886e2ecf258499df","datavalue":{"value":{"entity-type":"item","numeric-id":4221106,"id":"Q4221106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232285$809CCB5F-80CD-4DE7-A8A0-B2D451C27C34","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":"Q2232285$4087056A-3894-4417-A535-788FDCAE9E11","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":"Q2232285$73DFE2FD-A248-49A5-98CB-9D74463FA081","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":"Q2232285$B3FC5850-A105-42F3-B227-B0C1DF463B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef86d27229f88234625ab5cf631770a7bacc164","datavalue":{"value":{"entity-type":"item","numeric-id":794427,"id":"Q794427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2232285$BBDED18F-646B-481A-A6B5-00498F48A3FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tree-like unit refutations in Horn constraint systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Tree-like_unit_refutations_in_Horn_constraint_systems"}}}}}