{"entities":{"Q917336":{"pageid":919184,"ns":120,"title":"Item:Q917336","lastrevid":65365017,"modified":"2026-04-12T02:05:12Z","type":"item","id":"Q917336","labels":{"en":{"language":"en","value":"An incremental method for generating prime implicants/implicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4155938"}},"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":"Q917336$C2426AAC-9BA2-4D4A-87ED-2BB58B0A321E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fcad6672dad024ae8620567ab408e786e8d5ca9","datavalue":{"value":{"text":"An incremental method for generating prime implicants/implicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q917336$02F2924E-F581-40C6-9BA2-36DFB4998394","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df5b0a205d00b51f8948ebd254d0e3464f53ed4d","datavalue":{"value":"0704.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917336$DA441F2F-B903-4211-B0FF-87963117983C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f79fbb61497ef9134ef0db0270cf7f58a8b6d6b","datavalue":{"value":"10.1016/S0747-7171(08)80029-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917336$86954372-A290-4B94-9B81-639829B39E42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef1f886ce1b2c0f823619c8171d3cea5f9a498ed","datavalue":{"value":{"entity-type":"item","numeric-id":917334,"id":"Q917334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917336$7D33E1D6-2BBF-4D4D-8519-73E12615ADA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2f7de2a89f849f3a92cdcc6b9b1fd093923caf2","datavalue":{"value":{"entity-type":"item","numeric-id":685419,"id":"Q685419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917336$833D5F2C-6DD2-44CA-A3C8-EE37391F9725","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917336$19D82C27-D7AA-4879-8255-CAD705ED7ABD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q917336$E3E051CE-466A-4AB6-8D01-419A037CF196","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917336$D2500688-2B81-4F2E-9E0F-88CDCDD26AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917336$DC5E9B50-C9F2-4E6F-B504-88D5DFFCC88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917336$D13CA237-D7D2-4652-8405-57C93E646473","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"107c181d0023bf76bdba5de526a5cf2a7e187485","datavalue":{"value":"4155938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917336$7387C298-A89C-4B5C-86D0-37563BC5E30A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf509a57edc4ef5770a9df45b8b93fe72c26e7b","datavalue":{"value":"truth maintenance systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q917336$D0A655F0-166C-41A2-8E36-17A1134DEE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0295d734641bfad525000e133175dc079cbc0f19","datavalue":{"value":"clause management systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q917336$FCCC260B-E129-4257-ACC7-02DD3C53AAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bc8c5bbba976a2d4a04cff9c97ee9567968b27","datavalue":{"value":"prime implicants","type":"string"},"datatype":"string"},"type":"statement","id":"Q917336$1BA848BA-318B-4C1F-BC09-68A3F6773268","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":"Q917336$8496C71A-D23C-4B46-96AE-5FD5E9B671F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac8d02391993f48384ce4eac365b4a952f10c7c","datavalue":{"value":{"entity-type":"item","numeric-id":4074809,"id":"Q4074809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917336$E68462E3-76DC-459F-AE22-A2A21DD09640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3473eed0b42d8882044e6832ec67f9aafdec7f3","datavalue":{"value":{"entity-type":"item","numeric-id":5721398,"id":"Q5721398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917336$6D7917C3-9CA2-4957-991E-438A6825BB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45cc2363be2a12bd9971ae6fb9370037234d3ab8","datavalue":{"value":{"entity-type":"item","numeric-id":1251656,"id":"Q1251656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917336$87C0F133-2E47-4C9C-9630-8B580912BD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917336$403A53D4-2DA1-4B1B-9E18-CA52B6C5751F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6733b7bbb3da2725018c9c6a7b544f9ef86c0eb0","datavalue":{"value":{"entity-type":"item","numeric-id":1101418,"id":"Q1101418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917336$6C62995C-D93E-4E19-A4AE-8CE815E64FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72ed2ba05efe385a1261d7bfae22fc75ac0e06a","datavalue":{"value":{"entity-type":"item","numeric-id":4766908,"id":"Q4766908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917336$7A026E24-6433-4A15-B1E3-654D976BA70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f2d30ff9736e273353ee12998df77eb6b21c13","datavalue":{"value":{"entity-type":"item","numeric-id":917336,"id":"Q917336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917336$008F8A36-87F8-4D9E-878E-328503421D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce3fdb25869b2331ba7a9099e1dd155ad2fca1d","datavalue":{"value":{"entity-type":"item","numeric-id":5606985,"id":"Q5606985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917336$68F8B8C2-9307-475F-A476-A7DC3869ED16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30368e005c8ee973a5e2132347b5b47d0a1dfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4140887,"id":"Q4140887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917336$03DFFB26-0AD3-4BF3-8063-51C5FD897B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917336$806972AF-5C4D-4C28-9418-AC807E69F0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d74de14e4a0933fb7b243db8bf6771302e5406","datavalue":{"value":{"entity-type":"item","numeric-id":5594188,"id":"Q5594188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917336$8612D4E6-4348-4643-8C45-404BC487B136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2c596f441194f665042523a84d61390b03b68f","datavalue":{"value":{"entity-type":"item","numeric-id":5540882,"id":"Q5540882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q917336$8B9176E7-E0F8-4D8D-BAB2-C0306501E283","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0ea606b902cc8e44457a15c14654f31d0fc72cd","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(08)80029-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q917336$8028782F-67EE-4FED-BD19-E206E00CA549","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"926ee251177631d8e4f21718c95acd81f04f0fef","datavalue":{"value":"W2144078201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q917336$5362A5D3-5705-4C71-851E-A008EE36D655","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7be220fcdbbcba624f28ef54fe592d6840c88e","datavalue":{"value":{"entity-type":"item","numeric-id":4934645,"id":"Q4934645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b858d84244f446153d3f7284f24da24cfc3ad31b","datavalue":{"value":{"amount":"+0.7458749413490295","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":"Q917336$5D659E5A-3C7A-4D6B-988F-A070C97C366F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ce9748e77b95bcb798d85b20b9a2d47caf8069f","datavalue":{"value":{"entity-type":"item","numeric-id":4399714,"id":"Q4399714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cfec3cbfa4c92c75ffb85f67d7da34b636a6f0c","datavalue":{"value":{"amount":"+0.738300085067749","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":"Q917336$3E630084-0D36-4105-9B83-7FE714140CA1","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":"07151f12f83cd1cc20d1942d123440e9f0ec7109","datavalue":{"value":{"amount":"+0.7156690359115601","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":"Q917336$6F3A70B4-6209-4C88-8038-D6CE122D9CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00627a547c1cdf646339f39d33fb7e3913e9dbff","datavalue":{"value":{"entity-type":"item","numeric-id":1283201,"id":"Q1283201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c6c9bea8aacc60ff13212731d47f17a628150c1","datavalue":{"value":{"amount":"+0.715427041053772","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":"Q917336$05FCC979-A7AE-44E1-8A45-2D6938A21B37","rank":"normal"},{"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":"8f7eaf15b441741f52d13e1acd9869422c406959","datavalue":{"value":{"amount":"+0.7060672044754028","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":"Q917336$70E3439F-21D2-4F0F-8F7C-639A532A3C7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An incremental method for generating prime implicants/implicates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_incremental_method_for_generating_prime_implicants/implicates"}}}}}