{"entities":{"Q1961445":{"pageid":1972187,"ns":120,"title":"Item:Q1961445","lastrevid":72038688,"modified":"2026-04-14T02:15:17Z","type":"item","id":"Q1961445","labels":{"en":{"language":"en","value":"Maximum renamable Horn sub-CNFs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1389862"}},"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":"Q1961445$54346BA7-D4FE-43E3-88CD-5067EC2F6B2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab8fec23f28b4faa9d47da506f692d344c760f65","datavalue":{"value":{"text":"Maximum renamable Horn sub-CNFs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1961445$C8996A01-5317-44DE-9A22-3FC6DF6AEC3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b91cfa4c272e322d5925993a7fc8206d460ccee1","datavalue":{"value":"0941.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961445$B741E74C-E298-4D15-8789-1C2565195049","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad03ffea6e4b9ada61082371eeb3c84513216915","datavalue":{"value":"10.1016/S0166-218X(99)00031-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961445$96C5A991-816C-4FFF-BCA3-D9B9459B2E3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1948172daa46442222e070757b29802cb238c10d","datavalue":{"value":{"entity-type":"item","numeric-id":226794,"id":"Q226794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961445$BA9A5A06-71A6-4F05-9333-F0E676390930","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961445$F17BEC89-FF1C-4051-A6F3-B4CDF9785EF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4807edd6e640ad656e01e00a44b61d620e873df6","datavalue":{"value":{"time":"+1999-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1961445$0012E5BC-805D-4162-B210-80FD822C2430","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961445$C219D269-F623-4DB0-9C1C-AD7C74D6EB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961445$99A8FAC8-11F3-4D63-89D3-ED55348CC028","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"257838e0512e60443875b3c2b99d64669335809b","datavalue":{"value":"1389862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961445$92E6B0FD-2979-449B-8519-9226FB36278B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a7bb62e5318141ce9484a4a810a2ef1a7830cc9","datavalue":{"value":"Horn sub-CNF","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961445$78B6F8C0-5536-48DD-B849-03403F5EFC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f96c2fef07b016bb85f647d04605650c315e0f89","datavalue":{"value":"polynomial time approximation algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1961445$D19D9E58-118F-47C5-8B02-683EC6D64369","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"54b5f181748fd7b81d4470eaba9eb165333a970c","datavalue":{"value":"Q59560771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961445$1A17195F-2C58-4D8D-B99D-61C55063DE6A","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":"Q1961445$9EAC1327-C7F8-4BB3-AD2F-59A0CFB618DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7258962f550bf808b8ce0edfe0f9b2099a09d076","datavalue":{"value":{"entity-type":"item","numeric-id":4230322,"id":"Q4230322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961445$72972F28-C9FF-48E3-89E4-59B35C4F6D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b5b0535e606fd0713aa3bc3ecec575e7f5e28b","datavalue":{"value":{"entity-type":"item","numeric-id":3898029,"id":"Q3898029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961445$AFDF858B-25D6-410C-9E7E-F0000DEAD32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf035d2fecb7e445991dd16e141f37bab3768a8","datavalue":{"value":{"entity-type":"item","numeric-id":1254112,"id":"Q1254112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961445$3F5AEC24-AF57-4792-8681-AE4C1C818F31","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":"Q1961445$F8C17760-90DB-4D10-80B7-B8CD1E840209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71f2d332360f09a62b7e9e7a47b5aa0286a78e4","datavalue":{"value":{"entity-type":"item","numeric-id":4286227,"id":"Q4286227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961445$9ABCF1E9-8D3D-4348-B997-353A3CD23BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5eacefc5e1c594f98798d4d7c96b5f584d4ce46a","datavalue":{"value":{"entity-type":"item","numeric-id":1337669,"id":"Q1337669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961445$77307CD1-3C51-4022-9598-D8A77C35A146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614d1626d13f62399d54d633b59543c5071310bb","datavalue":{"value":{"entity-type":"item","numeric-id":920845,"id":"Q920845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961445$C51041B5-4889-4323-96DD-82DA28745FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46599fad5219aa3aa37e01866121623c89c30ae4","datavalue":{"value":{"entity-type":"item","numeric-id":1356207,"id":"Q1356207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961445$477F6409-0383-4594-B2DB-C433DAA0AEAE","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":"Q1961445$E8139AE7-A699-4F75-AE5D-4799FB7FE08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3429f66618842c840bb9501fb60cac94143f7658","datavalue":{"value":{"entity-type":"item","numeric-id":1198035,"id":"Q1198035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961445$7DA4919E-D0DC-404D-AAF7-C1245BDA2244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a3e0be83c0e8ac3c380da47298a5b77b23dba1","datavalue":{"value":{"entity-type":"item","numeric-id":1363769,"id":"Q1363769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961445$BAB8029E-1D93-47B1-8E7B-7D4DDFD33B0B","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":"Q1961445$8F0599DC-BE55-4F8C-B370-53550E551E74","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":"Q1961445$8C311540-2C18-481A-8B89-E0A6A1025D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ecb7524e03e885eff0a1c3c3b63046bd70d1cd","datavalue":{"value":{"entity-type":"item","numeric-id":1114394,"id":"Q1114394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961445$6C3374F0-F068-450F-A324-8831705B4DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903be65f2ce4dfc9de2cb4616261a15d63aa1637","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961445$9E4C6326-CCDF-47DF-8F44-38C79CD60AB6","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":"Q1961445$9B44D359-7479-4C39-AC43-59229A0A52AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73a40325dd6ccbd07c8cdeabd3636cb7d9c050b","datavalue":{"value":{"entity-type":"item","numeric-id":4317711,"id":"Q4317711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961445$BB949205-BA9A-43B4-AE65-3F031CE2A61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd7366be4fb014e19a626ef8e0bbfe54e4dc7a91","datavalue":{"value":{"entity-type":"item","numeric-id":2817633,"id":"Q2817633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961445$E32E6568-4557-4F01-821C-2DD6CD990F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4aff056159aaf1cff504830007d8fb1af49169b","datavalue":{"value":{"entity-type":"item","numeric-id":3782840,"id":"Q3782840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961445$013744B1-041A-483E-BD5C-83A55E12476E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373c65ef4069b52a23fe230e08a271e32f56a00a","datavalue":{"value":{"entity-type":"item","numeric-id":1235982,"id":"Q1235982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961445$9C5C02B6-7590-41B9-BE51-EBBD31298270","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":"Q1961445$E1EB59CE-EA3F-4B48-B04F-F0EC7FFE8DEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89324d361b37a034b5349ba872fc20e8e4a8c32c","datavalue":{"value":{"entity-type":"item","numeric-id":1112724,"id":"Q1112724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1961445$17CC40FB-55E3-426E-B348-04B9D4290CE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79603a76de881956af76e5b3cffb511e0c55cb64","datavalue":{"value":"https://doi.org/10.1016/s0166-218x(99)00031-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1961445$68377404-06AA-456B-AAC1-675060694155","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8c078ebbfdab1d4115266808dae9245c585e2c0","datavalue":{"value":"W2056365656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961445$0E105841-0489-49AF-AD1F-307313E9FC54","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"f7720f040c2a56e2ed6307360347c701c91c83fd","datavalue":{"value":"journals/dam/Boros99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1961445$6E6EA280-A44C-4E95-909F-410DBFAAFDA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7b9c238c8f10597e3407b04b616e63ddf833564","datavalue":{"value":{"entity-type":"item","numeric-id":3612457,"id":"Q3612457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"848cb6e70cf30ff2c7dfff80b321e3f7b2801264","datavalue":{"value":{"amount":"+0.8377018570899963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1961445$622C2779-8C2B-496D-A706-3A91E62EB8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4463b4e2f587d9af4b877f40a061d2772f960c2e","datavalue":{"value":{"entity-type":"item","numeric-id":2387435,"id":"Q2387435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dca5c4713e6d6254e6e0b8b9df29027adabb2258","datavalue":{"value":{"amount":"+0.8331337571144104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1961445$E3A6439F-11EF-46CC-8EE5-76166C16583E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfd86d8a029c64a434e45a813df0d3cca99a6acd","datavalue":{"value":{"entity-type":"item","numeric-id":3006474,"id":"Q3006474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24774f1db0bece03db6bd6658b744112f2983581","datavalue":{"value":{"amount":"+0.8321921825408936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1961445$C7D18ED0-E27F-4BB9-9DB2-97C54B9912AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49221f60d644fe8c85cff136f21dc1a4416d8cac","datavalue":{"value":{"entity-type":"item","numeric-id":1198035,"id":"Q1198035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef85280aa2fb6b19c4861ae7ffd5d6382d4f069d","datavalue":{"value":{"amount":"+0.8055047988891602","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1961445$C9F2A80B-8DC1-431F-9048-062DD7B730A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98560825370a391c5831253acb725427d4ad6f7b","datavalue":{"value":{"entity-type":"item","numeric-id":1356207,"id":"Q1356207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56370a235929e8f0bf24be1d0ba7d3b92627f326","datavalue":{"value":{"amount":"+0.7986894249916077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1961445$467E205B-142E-44C0-9168-15F9D7D30858","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Maximum renamable Horn sub-CNFs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Maximum_renamable_Horn_sub-CNFs"}}}}}