{"entities":{"Q4644489":{"pageid":6674070,"ns":120,"title":"Item:Q4644489","lastrevid":53313368,"modified":"2026-01-24T17:18:30Z","type":"item","id":"Q4644489","labels":{"en":{"language":"en","value":"Minimizing disjunctive normal forms of pure first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6997876"}},"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":"Q4644489$888A2B00-6054-4073-8BF4-8963D2A0B0BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a1ae75852cb2859867191cf04052cddefd7e9c6","datavalue":{"value":{"text":"Minimizing disjunctive normal forms of pure first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4644489$3AB25DE6-009E-497C-8AA3-8269C7D346E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce76435256de57d289d96a391994f809156873e5","datavalue":{"value":"1405.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644489$340E184B-E664-4FB6-8763-B685BE564691","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba78823b0b0d1a81604ef865e854fb8c30911e0a","datavalue":{"value":{"entity-type":"item","numeric-id":1024866,"id":"Q1024866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644489$BA2AEFDE-A2BC-4839-883F-0B8AE25A1054","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4644489$D536048E-D51D-441B-A9F0-35252F5E7C81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34ad1c5244615701b343bddfc2f0d0c1bd63f8ab","datavalue":{"value":{"time":"+2019-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4644489$889DC98B-8330-48C2-BAE5-4FDB271ECA11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644489$66290139-168B-4CAC-9761-37DB76198507","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ee1efefa803f0002e3141b9fe3e8d761d5937df","datavalue":{"value":"6997876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644489$B2637009-3EAE-4245-AE0A-391ECFA158BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644489$94D0EC5E-331B-40BF-A078-9767465C1BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51176d6ab6a2bfd9014bb0739f50697325704bb6","datavalue":{"value":"disjunctive normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644489$65B5C11C-82D5-4A44-821F-7B40DEF18D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acfb56d6b6a8ff68561c3c8589be627381a9fa0f","datavalue":{"value":"purification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644489$086F0026-D5CC-4C0E-B398-6EC55AAEFE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644489$26E195DB-FA67-489C-88A0-9D4C9E832E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3faf792eb2ea9e1bc20b7d3163fdf09ffd56376","datavalue":{"value":"Quine-McCluskey algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4644489$C6F743EE-C4BA-421E-A6EA-9730486072AC","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":"Q4644489$762A4AC1-F582-4974-9792-C5AB73E1F9C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6872787fa1350c75936961a51f07e8512a08b9df","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzx003","type":"string"},"datatype":"url"},"type":"statement","id":"Q4644489$0CC520FC-07D0-4DEC-A42D-784B72F53D6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"724c16332c2b93b607c64b67623efa3f88e7cb4f","datavalue":{"value":"W2604868491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644489$83BB8E7C-903A-4A40-A7BF-7AB39215F90E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98a2937f7b8936a0e1d395fa243c74bda350cd1b","datavalue":{"value":"10.1093/JIGPAL/JZX003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4644489$E0EE5553-31B5-4871-AD44-15494F9B5B90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36794b826963fbb6f929da435bc85cea78e27648","datavalue":{"value":{"entity-type":"item","numeric-id":5956118,"id":"Q5956118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217cb32c9dc825d2253ca5d1f448f17c4b30e77a","datavalue":{"value":{"amount":"+0.7063146233558655","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":"Q4644489$A607D014-D0EB-495E-86F5-C72E46757126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e02d392373419bbbd849b43e455e8a45e7356fc0","datavalue":{"value":{"entity-type":"item","numeric-id":3818370,"id":"Q3818370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38eecf59e1d13ab733ed63653a49e7bd60d502cb","datavalue":{"value":{"amount":"+0.7028455138206482","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":"Q4644489$694174E6-7295-4869-9FAD-30FF08FA4DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"976d96dae3023f87b19b7124a94c14220e884a99","datavalue":{"value":{"entity-type":"item","numeric-id":1915295,"id":"Q1915295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf9686fafbad02b723a280a284ed3cd6a74abf7","datavalue":{"value":{"amount":"+0.7016309499740601","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":"Q4644489$97AA18E1-C08F-4571-A40A-CCB84F91CC82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c949677d8d131886ae303232c583692666336025","datavalue":{"value":{"entity-type":"item","numeric-id":1150352,"id":"Q1150352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"934996f9d8db18556215704555ebad1916f4320a","datavalue":{"value":{"amount":"+0.6981891393661499","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":"Q4644489$170F9D70-9631-4130-BBA9-9F89A8B0598F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9b2b265b796547eea8cc1017526ada7e488762","datavalue":{"value":{"entity-type":"item","numeric-id":3562720,"id":"Q3562720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ae6eb55859bae1c701e51cabfa490890144a1f","datavalue":{"value":{"amount":"+0.6923163533210754","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":"Q4644489$121788AF-0700-4C58-B22B-DBE867C69BC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4644489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4644489"}}}}}