{"entities":{"Q4464262":{"pageid":6493861,"ns":120,"title":"Item:Q4464262","lastrevid":48274978,"modified":"2026-01-04T04:59:23Z","type":"item","id":"Q4464262","labels":{"en":{"language":"en","value":"Prime implicants of first order formulas via transversal clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2067696"}},"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":"Q4464262$CC09355A-B9C2-4FC4-8A45-19BB9977D86D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6804e1e0f39f8296e37049a6492061fa2cdb3b2f","datavalue":{"value":{"text":"Prime implicants of first order formulas via transversal clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4464262$33E791D0-3C5A-4269-8290-CDB46F7B4CC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5601d9cc7d12b955fd105565f5ad05393d7b6ab0","datavalue":{"value":"1103.68801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4464262$A28353E2-9038-4C88-BCDE-84D0BA186063","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bafbbbf86e1e987b6dfbd9a9fb31c08286d2b056","datavalue":{"value":"10.1080/00207160310001650071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4464262$2E0DB853-53E8-4C96-A5AD-2D380E244258","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25e6482b4d532ce97e15e32701ddd00de8016f93","datavalue":{"value":{"entity-type":"item","numeric-id":3451455,"id":"Q3451455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464262$ED716C0D-A4FC-41CC-A88B-6C40D4EC412E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f41c21c2d1d6fa97e47966607cb4f740348cddb0","datavalue":{"value":{"entity-type":"item","numeric-id":316596,"id":"Q316596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464262$6DDDD438-CD00-4F9E-86BF-C7CDB9A03C08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464262$9FBEFDCA-B479-42D7-8A5A-72CEC43EC61C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ba9d052c1c742a2c2f9206a1b4282a8f44ef61e","datavalue":{"value":{"time":"+2004-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4464262$73464036-BE3A-437B-B785-9911B046F6D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4464262$F7CB62BA-4632-45B9-B326-058729460984","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09d2d630e0a23bec31697cd8aafe3210472b9e19","datavalue":{"value":"2067696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4464262$61759BE8-5AEC-4228-B77B-316E635EC5E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4127cf70d7f4803445c85a28553c41593b6fdc4f","datavalue":{"value":"propositional knowledge bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q4464262$4E7F921E-DB8B-41AC-8D6C-233A7B55FD62","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":"Q4464262$D6E2D9E5-82D8-4015-B866-79D8A8D20F50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7fd1b79d3f9840129f38426675e8c815e35d446b","datavalue":{"value":"https://doi.org/10.1080/00207160310001650071","type":"string"},"datatype":"url"},"type":"statement","id":"Q4464262$957C44B9-7A7E-4D8E-9F93-83CA6BD4AE8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bda7fba11f0c38d129b66fd4ab51c828d196efeb","datavalue":{"value":"W2089149568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4464262$6DA76A0D-AFA2-437E-809F-A87EBAA9BAF1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c850a8136c805b20b792799c7e9935a978938","datavalue":{"value":{"entity-type":"item","numeric-id":1367074,"id":"Q1367074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464262$4EA71071-5725-4769-A3AE-B0A376EA8F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc55c48f81c080a3540856af12a650c2dc47a48c","datavalue":{"value":{"entity-type":"item","numeric-id":4399714,"id":"Q4399714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464262$86E1B4BA-C32A-4B77-92C0-EC1D35D5B48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"124dedafec5f24e1c2610244b95678c3a9275618","datavalue":{"value":{"entity-type":"item","numeric-id":1190532,"id":"Q1190532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464262$B5A10152-D5C5-42B3-904B-0315E133F333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2b50566ce720cb7818b8b7477ad5e57263c6ca","datavalue":{"value":{"entity-type":"item","numeric-id":4243266,"id":"Q4243266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4464262$356C5450-E82C-47EF-B451-DD96BFA214F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42720ae6925ae837e99cfd1e847306b4f517017","datavalue":{"value":{"entity-type":"item","numeric-id":4243266,"id":"Q4243266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5d3becac067af3767e84f45a74e33b80eecfd39","datavalue":{"value":{"amount":"+0.8201649188995361","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":"Q4464262$63967722-EBA3-4906-8C75-378B4AE0DBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d88e62012da57e08bc2a27a6ed10d659a688f14a","datavalue":{"value":{"entity-type":"item","numeric-id":4282528,"id":"Q4282528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e88a6579d913c2a677211c6441f06bcdd9bc389","datavalue":{"value":{"amount":"+0.8173539042472839","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":"Q4464262$E1F39DD6-55E1-475F-83FD-9E65827FBFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e6902b64e1b718289182e4f48efa63d61cc412","datavalue":{"value":{"entity-type":"item","numeric-id":2938491,"id":"Q2938491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05baa0ef08d331aa9e1bd677450ad5cba2222882","datavalue":{"value":{"amount":"+0.8173537850379944","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":"Q4464262$A06B66A4-15E8-4012-954A-09CBBCBA5AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec897f03cfd4fa723f652ddb9d52346842cbfed","datavalue":{"value":{"entity-type":"item","numeric-id":3651483,"id":"Q3651483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8db3082466e3eaf493449bf328e50a8def1021dc","datavalue":{"value":{"amount":"+0.7988832592964172","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":"Q4464262$C649D9CA-2DA9-4B49-9C52-1EC6853AFEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ef8de85a063b189e894d4f314de10fb7741189a","datavalue":{"value":{"entity-type":"item","numeric-id":1367074,"id":"Q1367074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b50e5b3b739f02d59f90a1e36cce1a85cf0697","datavalue":{"value":{"amount":"+0.7936049103736877","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":"Q4464262$6E9A9D79-DCCD-405E-B7EF-EFE8C1559545","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4464262","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4464262"}}}}}