{"entities":{"Q3014301":{"pageid":3025025,"ns":120,"title":"Item:Q3014301","lastrevid":45263356,"modified":"2025-12-03T22:33:43Z","type":"item","id":"Q3014301","labels":{"en":{"language":"en","value":"Determining the <I>SHOIN(D)</I>-Satisfiability with a Complete Disjunctive Normal Form Group"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5926114"}},"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":"Q3014301$3D8E19FC-9804-4911-8E77-27F54C434FF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ac53a107b6dee9ee940da21644270c4616da4c2","datavalue":{"value":{"text":"Determining the <I>SHOIN(D)</I>-Satisfiability with a Complete Disjunctive Normal Form Group","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3014301$5BE2224F-9814-41EA-B9D2-B31E59D0A14F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a22b2660b972d9ff1ce33fc3d777df00c33f173","datavalue":{"value":"1240.68355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014301$012B32E9-548B-4346-B002-8A8691B1CF4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1428795e4d91245f0647241e3c69b868a6419ebf","datavalue":{"value":"10.3724/SP.J.1001.2010.03597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014301$5A7A5957-369A-4144-96F0-DC42BDB1B546","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2320e40a42f0ae5834c1af04348ee1a7346d528","datavalue":{"value":{"entity-type":"item","numeric-id":117016,"id":"Q117016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014301$6D1B136D-CBF0-4A55-BFBB-B5255F62A9A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31178e5ce36c889b8693b47a1db458ac7d81a215","datavalue":{"value":{"time":"+2011-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3014301$AA7CC707-3C5D-43B1-BAB4-7ECD71A6186C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014301$E13733AC-EC22-4056-852D-0AEFFB7947B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014301$63451E0D-3B07-43CA-8BD6-236273C88066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014301$66F3041D-052A-46E6-8028-647EEAFE1963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014301$3ABEA5C1-0D51-4CF5-B855-4DEFD6FF3FDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"206f0bf6c6bd84126e088e851982568fc0f1376a","datavalue":{"value":"5926114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014301$F689B532-BC66-41EB-9022-EA78D95AC117","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ecce045d1084f3462f989c390290a2042128314","datavalue":{"value":"reasoning in description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3014301$38CA2BF9-7EBC-4A1E-8BE7-636F29F2353B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3014301$1B44AE90-6E25-45FE-B24C-3EE3E94D6609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b17f05e4289c7582cd773cdd4edb907a56b3cc","datavalue":{"value":"disjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3014301$050456A1-BE9E-49CB-93ED-C8D54BE065EC","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":"Q3014301$A4958024-3A8B-4D7B-885A-F3594D9D0960","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46a08af1f83c5d69cc6c901fec990e87b1efea13","datavalue":{"value":"https://doi.org/10.3724/sp.j.1001.2010.03597","type":"string"},"datatype":"url"},"type":"statement","id":"Q3014301$128C13AF-1F7A-40E1-AEC1-924D6E98B447","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94e3248e4679bcfcc0bc1b3f2f8166187ce359c9","datavalue":{"value":"W2318401716","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014301$564205AA-1122-4F68-9FD4-6853752AF225","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2083bde46c2cd2947475edde20aabc55334f380","datavalue":{"value":{"entity-type":"item","numeric-id":852241,"id":"Q852241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5973fd6b4aba27e56ee368a3bd8276af3f4c2534","datavalue":{"value":{"amount":"+0.8291807","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":"Q3014301$025062A5-C1A2-453B-AA40-BCA15B08F461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25827029be60ffc4e1340fde32781535ba7af3ff","datavalue":{"value":{"entity-type":"item","numeric-id":1816091,"id":"Q1816091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a64a584cda3bb22c4deedcfc5b1b0b2e32a1c2b1","datavalue":{"value":{"amount":"+0.8269664","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":"Q3014301$8EF298BF-9A0A-409E-B2B6-F43535C0A0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38e42cdd50b8f7a451d8d34e37aaf9538b8b78c5","datavalue":{"value":{"entity-type":"item","numeric-id":2508787,"id":"Q2508787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56478e84c0d201219a62fc01dfbb0667c27080b","datavalue":{"value":{"amount":"+0.82621634","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":"Q3014301$96986525-E747-461F-8F90-6D3B87300CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"463ab8d9999e915ee1ab24ed6ac67df301430cdb","datavalue":{"value":{"entity-type":"item","numeric-id":3323915,"id":"Q3323915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e2bb8e2fba01556364452343a5e19fc99d9bd4b","datavalue":{"value":{"amount":"+0.8198311","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":"Q3014301$6C7F5A1E-64BB-4AA9-A8B5-85C33B9D91E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d5ec719d84d988af6537d5a43f98db4addae0d","datavalue":{"value":{"entity-type":"item","numeric-id":4636562,"id":"Q4636562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa0b2907558544ecc87058a59d53302c5ad3d49","datavalue":{"value":{"amount":"+0.815809","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":"Q3014301$E762B39B-0C22-4EA8-9A08-6ABC90DEFF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea88359cdc57f8f55e53f08c9c2ee3b2f9c8051","datavalue":{"value":{"entity-type":"item","numeric-id":5261679,"id":"Q5261679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc6ac03fe3ba825658f13249fa799d19a36aaea3","datavalue":{"value":{"amount":"+0.815413","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":"Q3014301$F4323E30-A9C1-4180-AD24-4452CA6FA659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"600b0c4da878f2f88b34704efeb13a3c1c5d34f9","datavalue":{"value":{"entity-type":"item","numeric-id":4542577,"id":"Q4542577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"119a7887414de765292bbffab2aa36f67dfb0b51","datavalue":{"value":{"amount":"+0.81424844","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":"Q3014301$CA883F30-161E-4128-94CC-52CF71B0012D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7bec6c78c7115f2df4d1f10a6b68361d87a40e2","datavalue":{"value":{"entity-type":"item","numeric-id":3835695,"id":"Q3835695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00f24f910e6407cb5f9d06db78210a4851b9f85","datavalue":{"value":{"amount":"+0.8138721","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":"Q3014301$E94B2B09-7573-4CC7-8F72-C9246CD239C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"528831c1f9ee1e33a01b0fcfdd31b08472100510","datavalue":{"value":{"entity-type":"item","numeric-id":2965238,"id":"Q2965238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05870064f6716e4333a36bd05f2273ef52876c53","datavalue":{"value":{"amount":"+0.81032825","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":"Q3014301$C0183E42-4965-4831-AD0E-F5D442172416","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3014301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3014301"}}}}}