{"entities":{"Q1337669":{"pageid":1348408,"ns":120,"title":"Item:Q1337669","lastrevid":67616481,"modified":"2026-04-12T19:02:55Z","type":"item","id":"Q1337669","labels":{"en":{"language":"en","value":"Recognition of \\(q\\)-Horn formulae in linear time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 683676"}},"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":"Q1337669$CCFFC0F7-4EA3-49A7-88F2-BC2F55B57670","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e23aea151e6df7162b98bc78196fa9bc3aad7b6e","datavalue":{"value":{"text":"Recognition of \\(q\\)-Horn formulae in linear time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337669$B0439143-A6B4-447A-89F6-B0F5F3A869FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e934bd701237b679407719cafc3de959f410e71e","datavalue":{"value":"0821.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337669$BB482AF3-1D2E-489A-B1C3-5CE5F38A48F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c4ae471bc2375ad51ab2397dbb5867199289c77","datavalue":{"value":"10.1016/0166-218X(94)90033-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337669$815F6D2C-751D-4289-A691-0D0E7A9A6D50","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":"Q1337669$5F615581-1F07-430D-B32F-ABD4CA763934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54ae8a1f67117b1c40e7224a6ee62353a2cf60cb","datavalue":{"value":{"entity-type":"item","numeric-id":188437,"id":"Q188437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337669$E429464B-ACAC-4944-8B74-1E7B0EF3578A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f47c56840fa7db97993da33114a5fb2ea9b9d252","datavalue":{"value":{"entity-type":"item","numeric-id":752727,"id":"Q752727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337669$CD5F7CEE-C19A-47F1-9DD5-520D28A69FE8","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":"Q1337669$5EC2B7FF-D819-4E37-AA73-B58728F2FD2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d0748a4d25cfb37a1cacfbead02ac546f0ecda5","datavalue":{"value":{"time":"+1995-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1337669$FF85A2BF-3752-4349-959D-FF6F0CD06771","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337669$5C0B6650-C6CB-4B1C-AA36-D5CB7848E592","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58c343c80f1355a698f0a3f557b908b0a03169e0","datavalue":{"value":"683676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337669$DD439CED-1D9A-41D5-BB1A-C6735A7074D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80e580559f9722c0aa99df97ba6ac0f4bd247788","datavalue":{"value":"\\(q\\)-Horn Boolean expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337669$D516C4EE-2744-467D-BDE6-17A709D91C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b17f05e4289c7582cd773cdd4edb907a56b3cc","datavalue":{"value":"disjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337669$3543C3C2-0E7B-4C75-A2B0-55960CF16BF4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1af1896900e9f630007329333735d39b0f854ce8","datavalue":{"value":"Q59560996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337669$F461E6C2-D029-4E9B-9693-9C1519E69118","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":"Q1337669$56EAA1A3-23A4-4232-A66A-4CD9D95E7526","rank":"normal"}],"P223":[{"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":"Q1337669$D6D3CE81-156E-4386-AF73-191D12298076","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":"Q1337669$223E6ACD-5A0D-4769-BE56-47EECC3DADEB","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":"Q1337669$5EB2D04B-7504-4A0F-B69F-33E863053D33","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":"Q1337669$2C84FFE9-943A-41FB-BC5E-C9143271C928","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":"Q1337669$66833673-5E29-4964-A0AF-A5BC0B26B8BE","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":"Q1337669$7F505604-DE33-4D9F-9868-319BD1F2A846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337669$4C1CECE4-6220-47DA-BE04-A3E2F5B3E5C3","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":"Q1337669$E84F30DD-23AD-4234-B81E-CA3F8DD7A1EE","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":"Q1337669$1413E0A4-F098-4D2F-B7FB-CD68F7252375","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":"Q1337669$463D415D-9E67-4DE0-B0E0-D8623DD4C0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ffa4e4bc3d10ec6bdc26a4178f8b255a99177","datavalue":{"value":{"entity-type":"item","numeric-id":1356203,"id":"Q1356203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337669$1622E07D-9166-4B15-851E-401C1836770A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2261e03fb7a4b873cc7bf0aa682c707ae43c92d9","datavalue":{"value":{"entity-type":"item","numeric-id":1356213,"id":"Q1356213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337669$99335DEB-27B5-4436-8C48-61D3FD196C0F","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":"Q1337669$F10F1CEE-3556-4DD4-A502-B9AEC86BD1FE","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":"Q1337669$E111590B-DD25-4D65-B796-8A90EB79E139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337669$96BE1578-966D-4726-916A-5A0E5C72DC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50041fd827b9a880db5475227f379529c471731","datavalue":{"value":{"entity-type":"item","numeric-id":790612,"id":"Q790612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337669$BE6374B2-6D81-417C-A45E-9DE88664E9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa70158e4922f9bbfcc066f9ac778c67b56bdf78","datavalue":{"value":{"entity-type":"item","numeric-id":1356226,"id":"Q1356226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337669$4E6410B5-018D-4E97-9547-D47D40050E4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53b57c0e3c8f057fd53cb1bb3fa5a3c6c461085c","datavalue":{"value":"https://doi.org/10.1016/0166-218x(94)90033-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1337669$F633C4D4-FCDD-4316-B0E1-60003B825016","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61199d8f82ea2d6f070f67475f3fd52855f085c1","datavalue":{"value":"W1974563688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337669$6CBD83B6-23D8-4D5C-A3BE-FC1F9CD2C682","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2105f0c71536059d0b6d9a52909981c1a5ac2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"441efebf2bf53075b700a881aaf739b84a0a699c","datavalue":{"value":{"amount":"+0.8330428600311279","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":"Q1337669$F2936AE3-2CC0-4FBA-9437-CD7F2C3E6711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dff7bcce7cc9619d1f2879285177956c39aab73","datavalue":{"value":{"entity-type":"item","numeric-id":2387427,"id":"Q2387427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f1208c7181b62d394c3dcae76bd84a3c5edcef","datavalue":{"value":{"amount":"+0.830963671207428","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":"Q1337669$EC6311F1-B6D5-44A6-907D-923DEFE3AA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca1dc2e9e7622c1772f0cae038aac883f4e25e37","datavalue":{"value":{"entity-type":"item","numeric-id":673602,"id":"Q673602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0392a8d06ac4da7a3d5932ebe819a5fa7dcaf2a","datavalue":{"value":{"amount":"+0.8142154812812805","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":"Q1337669$734AF883-6A38-44E8-8E90-878E446E4146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b00201e619432e0b4c5bcbf701c63c11818d9644","datavalue":{"value":{"entity-type":"item","numeric-id":261394,"id":"Q261394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1d57e4dc8b5a393d7b5e18e06810c69f2a73420","datavalue":{"value":{"amount":"+0.8069441318511963","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":"Q1337669$C42B4FDF-01B8-4242-A770-8CFDE51648A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1d99c39e4a60a3272e2f4342211f082563accbf","datavalue":{"value":{"entity-type":"item","numeric-id":1353999,"id":"Q1353999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc90570e9f9fe1cb08c59e67b9db3b3c33f29ba2","datavalue":{"value":{"amount":"+0.8065497279167175","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":"Q1337669$08F23E5F-A98B-437C-A0C2-6D7B32DA0493","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Recognition of \\(q\\)-Horn formulae in linear time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Recognition_of_%5C(q%5C)-Horn_formulae_in_linear_time"}}}}}