{"entities":{"Q5557457":{"pageid":7587017,"ns":120,"title":"Item:Q5557457","lastrevid":92658980,"modified":"2026-06-05T02:20:38Z","type":"item","id":"Q5557457","labels":{"en":{"language":"en","value":"Partitioned List Algorithms for Prime Implicant Determination from Canonical Forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3272703"}},"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":"Q5557457$12DC1637-BF90-4D46-88CE-3A5BC195460D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"457fe1010007f37f297e53185c3d28674ac59bdc","datavalue":{"value":{"text":"Partitioned List Algorithms for Prime Implicant Determination from Canonical Forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5557457$62AED23C-3D2B-4EA3-ABF1-CD9D71C14987","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2025976d960ade7d2e52420beac880842052164c","datavalue":{"value":"0171.14704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5557457$0FD22ABD-BAC3-4376-B9A2-62FFA6A35428","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df325be61a9d111e3c21a9dd050de54ef788027d","datavalue":{"value":"10.1109/PGEC.1967.264768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5557457$D1000ADF-4126-4C6D-A5B4-9074B01DB058","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fb7f1b50c2e6652efda1fa08823b390fa0ca0eb","datavalue":{"value":{"entity-type":"item","numeric-id":5557456,"id":"Q5557456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5557457$8BA92DFD-D021-4949-84A4-F0FEDE92BE91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"334010e94d0e10f1ba01cae9027889eabe8e299e","datavalue":{"value":{"entity-type":"item","numeric-id":5328459,"id":"Q5328459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5557457$77ED2B70-1884-4975-A5F0-9E724C0ECFCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7d628e8c937a22d7d86104d43d6122808f1e938","datavalue":{"value":{"time":"+1967-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":"Q5557457$3A90E482-76F0-45A9-A13A-DC33939CBB41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80350989b8f040d8189bea9287e570d10e369e6d","datavalue":{"value":"3272703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5557457$E0FE13E5-604F-43FB-8D57-EBC167825F09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63f4b05707b550cfb67a57522ffdf0a6ea1fb73","datavalue":{"value":"numerical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5557457$FA207725-93C5-4A9E-A663-6AC118C45A70","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":"Q5557457$ACF35D3E-5BC5-4DA7-AE3B-0E13EB563573","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partitioned List Algorithms for Prime Implicant Determination from Canonical Forms","badges":[]}}}}}