{"entities":{"Q1742887":{"pageid":1753629,"ns":120,"title":"Item:Q1742887","lastrevid":72886281,"modified":"2026-04-14T08:31:14Z","type":"item","id":"Q1742887","labels":{"en":{"language":"en","value":"Autark assignments of Horn CNFs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6859026"}},"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":"Q1742887$40360647-FFB6-47DC-A409-9023A1305773","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fa0f2fe25cc3cd3e886b2bb488fe3384595656d","datavalue":{"value":{"text":"Autark assignments of Horn CNFs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1742887$5F2DDF51-7174-483D-BCFC-DDAE51D63A74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d115d2e76a5105e3877216fc2d8d6e4e01a5f4e","datavalue":{"value":"1390.68599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742887$74D7DF72-2833-48B7-BC08-CE457C7E6761","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83db0661e40017c63525304c29eaa29678428650","datavalue":{"value":{"entity-type":"item","numeric-id":782207,"id":"Q782207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742887$A705340A-249B-4D13-ABDB-7095CFA677CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cffea2588f41343c1ca50bec4f0b17d24b9d478b","datavalue":{"value":{"entity-type":"item","numeric-id":171929,"id":"Q171929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742887$873ED9F0-8F81-41DF-85BA-0F5E365CC16F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"50de7b9ed51593cffb5647baaa00c046f50e702c","datavalue":{"value":{"entity-type":"item","numeric-id":189352,"id":"Q189352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742887$0D6B0AE0-9560-453C-A157-ECE6423B6A6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34667658b2053643f4cfa7606566623ee095ba","datavalue":{"value":{"time":"+2018-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1742887$F1D4DF33-FBED-4024-ADC6-FBF6308A9645","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742887$15582567-C24F-47A8-B944-371984816D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742887$ABF86964-9C97-4824-A4ED-315D803F6C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742887$01E3637A-3DDC-4CD5-89E2-E6476E22FD4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ac72b66b81b0f3198b8ac8036faca6388a2afcb","datavalue":{"value":"6859026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742887$D757051D-4F3F-4020-9039-7C3808086100","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"161ea9d619e2573068407ba281e68e0cf97de1fa","datavalue":{"value":"Boolean satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1742887$D7538BE1-BDF3-47F0-8097-E99F2E65D598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bb2c4e3ef9b8edf651a74051e6a7ec1c8270462","datavalue":{"value":"autark assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1742887$4237596C-92BF-4B63-A5A8-A6E0A5204B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"564f4dc190b7b954caa47c7583ec3a72b77e6521","datavalue":{"value":"Horn CNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q1742887$EF107C20-45C6-4233-9CFD-AA603475B5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4ddfae683b7de787c5ee4b9221a39122f95f38d","datavalue":{"value":"combinatorial algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1742887$5F5432EA-249E-4EAA-9D72-F6AE5E59C558","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce514966e327ded3c17917f258854330d9f0ecdc","datavalue":{"value":{"entity-type":"item","numeric-id":18319,"id":"Q18319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742887$F1B71B78-CEDE-4E16-8BCE-123F0F2C33C3","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":"Q1742887$B2D4E711-4E2C-4340-8C8D-6C30A5C2FF5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d6e13b95710d02a2b9638f6c3f033e94998a1297","datavalue":{"value":"https://doi.org/10.1007/s13160-017-0284-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1742887$13B3CA94-43B1-4661-8902-3743FF371A63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86f60f6c39b3ca72e04d21a3220c1684240ec84a","datavalue":{"value":"W2780854972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742887$2297BB9E-273E-44DE-9F52-935CCFA921BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742887$06E6FA39-E8BC-4A21-87CC-1515FC152C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f53683ef323d99def8db920b583feaf053fe0f","datavalue":{"value":{"entity-type":"item","numeric-id":1100931,"id":"Q1100931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742887$5BD25A9C-3BC0-4F32-85EE-694E629BD2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c88b6cc73c03c7f6e59b9df82ee73d81dfba54a","datavalue":{"value":{"entity-type":"item","numeric-id":1356205,"id":"Q1356205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742887$54736EBF-1B22-420B-8917-0875B48CA873","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":"Q1742887$8635A06C-05D1-469F-8987-C5618C903713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd9d41de292e3fe88a7d1837b26ece3d8fec8518","datavalue":{"value":{"entity-type":"item","numeric-id":3077976,"id":"Q3077976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742887$465A05C0-884B-4AA1-8AD6-EBD099D0F0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55223ae6f91a9a3c0f6a3be0cfb6236eaf5fcb6a","datavalue":{"value":{"entity-type":"item","numeric-id":4132234,"id":"Q4132234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742887$B88CB164-B4C3-4251-96A9-2AB6D2FF9ED6","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":"Q1742887$914AC4ED-A1A8-4F83-AEC4-E52ED49AB80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93080a274c000731f23d3466d9f6aaee25a38e4a","datavalue":{"value":{"entity-type":"item","numeric-id":1841885,"id":"Q1841885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742887$33AE3B13-C494-4210-B9F1-D663CB96CDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14744950525d0d45f46f3cdfa3d4d384984627b5","datavalue":{"value":{"entity-type":"item","numeric-id":1408381,"id":"Q1408381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742887$B06613B3-4631-4319-94F3-218E56E2FE57","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":"Q1742887$BDBD6A55-7147-40D1-B86E-9A061B727328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f37d6fb50852bfe397f1c73e9678e22558cfe9b","datavalue":{"value":{"entity-type":"item","numeric-id":3399426,"id":"Q3399426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742887$4F5B9E3E-F364-4041-96AB-8E934F25F4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742887$65249DD4-711E-4E48-B84C-46AD97C96B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f53ba28a5c135a05bd32731248e907577dec793e","datavalue":{"value":{"entity-type":"item","numeric-id":1978017,"id":"Q1978017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742887$5AFD1AE1-D74C-4DDB-8AEA-E0174362A516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b455b1e5855c6d34c8725f7418c9f5e03cd3944","datavalue":{"value":{"entity-type":"item","numeric-id":1854345,"id":"Q1854345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1742887$408B5657-5B04-4692-9E65-05F74239DF27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"657798f4e5c2ba5dafec971987b53ce9234abcc6","datavalue":{"value":"10.1007/S13160-017-0284-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1742887$0794E668-AC95-47D2-965B-D6C2F9173ACE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38d531ebfcb6c94fc098771aa782e50b1cbb06b","datavalue":{"value":{"entity-type":"item","numeric-id":2164260,"id":"Q2164260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d27fa4caeda15a5edee711a12d13932e57f0e92f","datavalue":{"value":{"amount":"+0.8705987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1742887$06926869-04F0-41B3-8929-B22E7B79406B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0532edaea92fa8866fcb1b69b9b43c97a50fa2bb","datavalue":{"value":{"entity-type":"item","numeric-id":2399383,"id":"Q2399383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a59f0b98a031b14d6a62e7fa99d60ada6ae42e7","datavalue":{"value":{"amount":"+0.83363986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1742887$77D18BB4-7043-4201-9BB5-9E050BB5FB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53cf4c363a6591328077d874863524e6b1931b6e","datavalue":{"value":{"entity-type":"item","numeric-id":2786908,"id":"Q2786908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc310c65be9621ce92b7ccb754b517ad6a99db9","datavalue":{"value":{"amount":"+0.8333284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1742887$6312FF6C-7675-424A-878B-3FCE1A17977D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a078659d6252a8b97172c86b4af6ca904d7c3452","datavalue":{"value":{"entity-type":"item","numeric-id":3384902,"id":"Q3384902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eeccc23e815472643cbc9461ddb7600075d05b4","datavalue":{"value":{"amount":"+0.8285066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1742887$766378F4-4025-4F72-A17A-AD8F8057A76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0710bcb54d08efe82099eceeab9ddba784fcf2f","datavalue":{"value":{"entity-type":"item","numeric-id":5172644,"id":"Q5172644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd1b81c220d77f33ec0767563d1b3ca06f9cbfd5","datavalue":{"value":{"amount":"+0.8230815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1742887$F795AA22-802E-4681-8EC6-3AEEC36C84ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a5bb51e3095387c40d880ae273a0fce71d2c1c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6ee299241b7c765c08ef42a00a58d07d5f0a551","datavalue":{"value":{"amount":"+0.822897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1742887$F9465065-0ECE-4B1E-8ED5-2C8D9B09798E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63999194c9b9e26473d947a010bcbd1b4bc3ad19","datavalue":{"value":{"entity-type":"item","numeric-id":2254607,"id":"Q2254607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"391ba1d89205305005a17bf67f1a6a40762b6fab","datavalue":{"value":{"amount":"+0.82199776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1742887$96C0BC7F-EA57-4DA3-9473-A1AB6361D545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d67c3f840645caf7ab1e8f4a31ce81f55f522f","datavalue":{"value":{"entity-type":"item","numeric-id":3782842,"id":"Q3782842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"959e2912787e6640dd304b6cc299fd9e25912e2d","datavalue":{"value":{"amount":"+0.8206637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1742887$0759CF19-EB97-4D9A-B8AC-ACA91D284747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92dc2b1c5be19a0c09819b38e5d02e9d5c24b63b","datavalue":{"value":{"entity-type":"item","numeric-id":5015366,"id":"Q5015366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d3ec2b98a91f963fd43053e80efe01e06c59aa","datavalue":{"value":{"amount":"+0.82045794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1742887$BD565F8B-A2A8-4C06-8BA2-0B111EACE5B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Autark assignments of Horn CNFs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Autark_assignments_of_Horn_CNFs"}}}}}