{"entities":{"Q4251064":{"pageid":6280665,"ns":120,"title":"Item:Q4251064","lastrevid":46830201,"modified":"2025-12-25T16:35:13Z","type":"item","id":"Q4251064","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1304333"}},"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":"Q4251064$52672544-A975-4D99-9C6C-C14B7C421C43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d08a5bf92a448714413c4c6153a1d306926bfaf","datavalue":{"value":"0924.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251064$E505776A-1C0E-4D65-BE28-4919D140345C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e2771a73d1b8d307276d7afc6997154a7082ea","datavalue":{"value":{"entity-type":"item","numeric-id":171927,"id":"Q171927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4251064$C395814B-0949-4D79-9AE1-A2D80F5E3095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"746535ddb96ae77c4a55cf2874e59b3bf4f00d57","datavalue":{"value":{"entity-type":"item","numeric-id":171928,"id":"Q171928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4251064$5FE4B418-70FA-4C79-ABDD-3A3B06A509B4","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":"Q4251064$A63F61B2-4552-4724-BD1A-652DDBB1746C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"179b40780f93d89d986b6f1110abe8d9772f7f5c","datavalue":{"value":{"time":"+1999-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4251064$D1092E78-FB8B-40F1-807A-ADDD8136ACCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251064$F1EA4085-13D3-409B-8778-2DA2005AE343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251064$85361B2C-DBF5-47A1-A127-612648F0AB47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cb1accad3e6a8cbc7cee5cfef872da3a7546ed0","datavalue":{"value":"1304333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251064$E6247062-8FF7-49A1-BF46-BD294E7D845A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239c8cb5372e9f4f71c8ed480d01b39e693574c6","datavalue":{"value":"knowledge compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251064$2CA0A1D7-05BB-468F-BA5B-777D83BEE261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"393dd02d789d1c021e4b96ee08bd091c8bdad0ee","datavalue":{"value":"Horn approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251064$A399BB2C-33F7-4634-AA14-35D275BE7D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee9612ac0cd1a0aed318c1aea3d77838752b12fd","datavalue":{"value":"theory change","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251064$137B5572-359A-4330-A5F5-A89A1904167F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0310612276ba38f53645cae15a9411efb38d504","datavalue":{"value":"knowledge base","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251064$1A0F6CF5-00EA-4D08-ACE9-7E4502DA4874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65eb5a9d866075041c1782cdcea7779a16765b7","datavalue":{"value":"difference of Horn theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251064$C1E980F3-4F22-48E2-9F9D-75B45C8B8378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa6cc9e9eb3e9ade942d58494055994d3f5f60e","datavalue":{"value":"Horn cores","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251064$B7A1E9C3-2033-4C95-BDDC-E19B5471EFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfaf07ba01b21f48de25fbb8c50ff8b582a2e970","datavalue":{"value":"Horn CNFs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251064$298C6311-D71C-4C37-B184-4D64644E3D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f576a7b51a7646e9ac720b32da479787afaadd","datavalue":{"value":"model-based representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251064$4140BD35-FDAF-4B00-97DE-A5346C8E3B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fcc38ef7a2eca14e0500744dc3db7ed68cd18b6","datavalue":{"value":"characteristic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251064$E0F4EFD6-A186-4B0B-85F9-B61ABD4275C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d85c121e6e6200a1d4667137fca957de2656737","datavalue":{"value":"polynomial time algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251064$E53E0D32-D2D3-4065-BF9C-A1D154708BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e712b3e4e3e6e09e1cf21493dde485ad82b860","datavalue":{"value":"intractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251064$D5788C12-0978-43D0-A885-1C97B46ED63A","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":"Q4251064$99C5AF35-59F5-4288-B29F-4A535BFD6461","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45eaad16464ecee003a7a935a7d28baea439e061","datavalue":{"value":{"entity-type":"item","numeric-id":2784452,"id":"Q2784452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5594d818895b2aa8ea803dcb7b7a48e0e6417710","datavalue":{"value":{"amount":"+0.8373681306838989","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":"Q4251064$52D80142-300C-4C3C-8E0E-CBEC0E522AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac8deaa0c1e1d623c19101872b46620ed1e83bf0","datavalue":{"value":{"entity-type":"item","numeric-id":4249522,"id":"Q4249522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3af5d54df72088ed138a165c888d1e7e6e50b94d","datavalue":{"value":{"amount":"+0.8178552985191345","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":"Q4251064$75C50ADF-FFFE-4B64-B220-62676A192228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"644e4aaedbb296a7df190ad7ecf69f39338f09de","datavalue":{"value":{"entity-type":"item","numeric-id":1606297,"id":"Q1606297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53899b30765e6bb703b393126a8a135f02788b8a","datavalue":{"value":{"amount":"+0.8145867586135864","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":"Q4251064$D1F7501C-A36B-4693-BECD-503CEEA6989F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4251064","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4251064"}}}}}