{"entities":{"Q4399714":{"pageid":6429313,"ns":120,"title":"Item:Q4399714","lastrevid":97109168,"modified":"2026-06-05T13:20:04Z","type":"item","id":"Q4399714","labels":{"en":{"language":"en","value":"Computation of prime implicants using matrix and paths"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1180609"}},"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":"Q4399714$35D1E388-6BA2-4F1A-8C07-C6B1ABB727D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1c86032a596decf6f9f0426f023878e02720056","datavalue":{"value":{"text":"Computation of prime implicants using matrix and paths","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4399714$9CEEF967-E2C9-4188-81F5-0598564C82D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"884b85ef2bec2dd2c2387c6c84d72213fab454e4","datavalue":{"value":"0901.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399714$87800616-E4B8-4887-9FD8-C41144C403F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a3fea5d31e6d43e4fe016d441271ae5c8f90b64","datavalue":{"value":{"entity-type":"item","numeric-id":1283200,"id":"Q1283200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399714$803E5A27-BDA1-412E-AD36-912D295D33A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"220241cf5154090b3eefc2116a7cc6813a76d462","datavalue":{"value":{"entity-type":"item","numeric-id":526649,"id":"Q526649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399714$9DDD5AA8-DF81-4F80-9D10-7AC19EFA9EE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4fd8fae299cf234170554d2e7553be2d1d5401b","datavalue":{"value":{"time":"+1998-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4399714$CB42CE7F-43E8-4AF6-A612-F09BBDC65815","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f02eff92af85d7533cd145d174d89cc123bb7418","datavalue":{"value":"https://semanticscholar.org/paper/a59dfb6ead7c80eeb899b381cee1313cfa18767f","type":"string"},"datatype":"url"},"type":"statement","id":"Q4399714$769B4D26-899D-41C8-98DB-EACC44956F96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"73dccdfb072fb026a86af92d74fe625efeb2b023","datavalue":{"value":"68T35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399714$355096CF-432A-461E-8F20-5F8D54CBE27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399714$CED0B9E6-0C41-4C26-B6B1-EADFB6FCED26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399714$F19F7C34-DD2F-41CB-9695-E449C94792E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea7a8389f21e9989c6a80fa09f1fe6082fda1664","datavalue":{"value":"1180609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399714$80540F82-3E6B-4793-9532-F85ABC57C2E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"828e479c39c5c64293eb95e0403dbef7bbf79066","datavalue":{"value":"conjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399714$F0869AB2-7478-4D7B-8536-11AECE14F714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0310612276ba38f53645cae15a9411efb38d504","datavalue":{"value":"knowledge base","type":"string"},"datatype":"string"},"type":"statement","id":"Q4399714$70BFEAAE-0DFF-4937-8527-4B7E89292220","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":"Q4399714$758194F8-7E26-4256-8DCB-FAA196F3248B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"413c3f82bcfb96c48d7a5414ca1ac7ce6b4e9dc7","datavalue":{"value":"W1980926834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399714$07765359-B076-4CFB-87D2-A01F864B486E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3f6233f5c9ad9d87a7f09d9518f8fdbb7baee75","datavalue":{"value":"10.1093/LOGCOM/8.2.135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4399714$96BAED7A-13C1-4A48-96B9-974626DE7437","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4399714$BFEE5DFF-1E96-4A85-816F-CAC569D272EA","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":"bfdf84165a47b28a4f62a55bd468526d59c25701","datavalue":{"value":{"amount":"+0.8366751074790955","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":"Q4399714$136D0874-11F2-49F0-AD00-81B2574CD18E","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":"24ed168e06e87c8ac31df34084272f3b41db6fc4","datavalue":{"value":{"amount":"+0.821610152721405","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":"Q4399714$BB1F586A-0D5F-47AB-8737-C1609CB997C7","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":"8b6464cdf6597773d403a8769deaac57afd3e026","datavalue":{"value":{"amount":"+0.8107706904411316","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":"Q4399714$2F03F576-2D55-496A-A53A-E624491CA562","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":"17d042cb63cef19c7754428b20bbd815e8fb3d89","datavalue":{"value":{"amount":"+0.809575617313385","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":"Q4399714$E4523283-B299-4C0D-80A6-144826C0003A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computation of prime implicants using matrix and paths","badges":[]}}}}}